Abstract
An overview of the last 7 years results concerning Sarnak’s conjecture on Möbius disjointness is presented, focusing on ergodic theory aspects of the conjecture.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Most often, however not always, T will be a homeomorphism.
- 2.
μ stands for the arithmetic Möbius function, see next sections for explanations of notions that appear in Introduction.
- 3.
To be compared with Möbius Randomness Law by Iwaniec and Kowalski [99], p. 338, that any “reasonable” sequence of complex numbers is orthogonal to μ.
- 4.
In order to establish Möbius disjointness, we need to show convergence (11.1) (for all x ∈ X) only for a set of functions linearly dense in C(X), so, for the rotations on the (additive) circle \({\mathbb {T}}=[0,1)\), we only need to consider characters. Note also that if the topological system (X, T) is uniquely ergodic then we need to check (11.1) (for all x ∈ X) only for a subset of C(X) which is linearly dense in L1.
In what follows, for inequalities (as (11.3)), we will also use notation ≪ or O(⋅), or ≪ A or O A (⋅) if we need to emphasize a role of A > 0.
- 5.
For a presentation of a part of it, see [37].
- 6.
For a detailed account of these results, we refer the reader to [153].
- 7.
As proved by Tao [156], the logarithmic averages version of the Chowla conjecture is equivalent to the logarithmic version of Sarnak’s conjecture. We will see later in Sect. 11.4 that once the logarithmic Chowla conjecture holds for the Liouville function λ, we have that all configurations of ± 1s appear in λ (infinitely often).
- 8.
The same argument applied to the Liouville function λ implies that the subshift X λ generated by λ is uncountable, see Sect. 11.4.
- 9.
σ f stands for the spectral measure of f.
- 10.
We recall that Bourgain in [16,17,18], proved that for each \(\alpha \geqslant (1+\sqrt {3})/2\), each automorphism T of a probability standard Borel space \({(X,{\mathcal {B}},\mu )}\) and each \(f\in L^{\alpha {(X,{\mathcal {B}},\mu )}}\) the sums in (11.5) converge for a.e. x ∈ X. The result has been extended by Wierdl in [170] for all α > 1.
- 11.
Indeed, we have
$$\displaystyle \begin{aligned} \begin{array}{rcl} &\displaystyle &\displaystyle \left| \frac 1N\sum_{p\leqslant N}f(T^px)\log p - \frac 1N\sum_{p\leqslant N}g(T^px)\log p\right|\\ &\displaystyle &\displaystyle \quad \leqslant \frac 1N\sum_{p\leqslant N}|\,f(T^px)-g(T^px)|\log p\leqslant\|\,f-g\| \frac 1N\sum_{p\leqslant N}\log p={\mathrm{O}}(\|\,f-g\|), \end{array} \end{aligned} $$as condition \(\frac 1N\sum _{n\leqslant N}\boldsymbol {\Lambda }(n)\xrightarrow [N\to \infty ]{} 1\) is equivalent to \(\frac 1N\sum _{p\leqslant N}\log p\xrightarrow [N\to \infty ]{} 1\).
- 12.
We recall that if \((Z,{\mathcal {D}},\kappa ,R)\) is a measure-preserving system then by its uniquely ergodic model we mean a uniquely ergodic system (X, T) with the unique (Borel) T-invariant measure μ such that \((Z,{\mathcal {D}},\kappa ,R)\) is measure-theoretically isomorphic to \((X,{{\mathcal {B}}}(X),\mu ,T)\).
- 13.
The Möbius Inversion Formula is given by .
- 14.
We will not discuss here the problem of convergence of Dirichlet series, see [146].
- 15.
An analytic continuation of ζ yields a meromorphic function on \({{\mathbb {C}}}\) (with one pole at s = 1) satisfying the functional equation
$$\displaystyle \begin{aligned} \zeta(s)=2^s\pi^{s-1}\sin\left(\frac{\pi s}{2}\right)\varGamma(1-s)\zeta(1-s).\end{aligned} $$(11.11)Because of the sine, ζ(−2k) = 0 for all integers \(k\geqslant 1\)—these are so called trivial zeros of ζ (ζ(2k) ≠ 0 since Γ has simple poles at 0, −1, −2, …). In Re s > 1 there are no zeros of ζ (ζ is represented by a convergent infinite product), so except of − 2k, k⩾1, there are no zeros for \(s\in {{\mathbb {C}}}\), Re s < 0 (as Re(1 − s) > 1). The Riemann Hypothesis asserts that all nontrivial zeros of ζ are on the line \(x=\frac 12\). See [146].
- 16.
This proof of (11.15) has been shown to us by G. Tenenbaum.
- 17.
For \(N\in {{\mathbb {N}}}\) we write [N] for the set {1, 2, …, N}. Given \(h,N\in {{\mathbb {N}}}\) and \(f\colon {{\mathbb {N}}}\rightarrow {{\mathbb {C}}}\), we let S h f(n) = f(n + h) and . For \(s\in {{\mathbb {N}}}\), the Gowers uniformity seminorm [80] \(\|.\|{ }_{U^s_{[N]}}\) is defined in the following way:
$$\displaystyle \begin{aligned} \|\,f\|{}_{U^1_{[N]}}:= \left|\frac{1}{N}\sum_{n=1}^N f_N(n)\right| \end{aligned}$$and for \(s\geqslant 1\)
$$\displaystyle \begin{aligned} \|\,f\|{}_{U^{s+1}_{[N]}}^{2^{s+1}}:= \frac{1}{N}\sum_{h=1}^N \left\|\,f_N S_h\, \overline{f_N}\right\|{}_{U^s_{[N]}}^{2^s}. \end{aligned}$$A bounded function \(f\colon {{\mathbb {N}}}\rightarrow {{\mathbb {C}}}\) is called uniform if \(\|\,f \|{ }_{U^s_{[N]}}\) converges to zero as N →∞ for each s⩾1.
- 18.
An arithmetic function u is rational if for each ε > 0 there is a periodic function v such that \(\limsup _{N\to \infty }\frac 1N\sum _{n\leqslant N}|\boldsymbol {u}(n)-\boldsymbol {v}(n)|<{\varepsilon }\). Note that since μ is aperiodic, whence orthogonal to all periodic sequences, it will also be orthogonal to each rational u [12]. An example of rational sequence is given by μ2. For more examples, see the sets of \(\mathcal {B}\)-free numbers in the Erdös case in Sect. 11.7.
- 19.
To be compared with the estimates (11.3), where we drop the \(\sup \) requirement.
- 20.
The main ideas for this result appeared in [30] and [134]. It was first established in a slightly different form in [106] and then in [21], see also [88] for a proof. The criterion has its origin in the bilinear method of Vinogradov [164] which is a technique to study sums of a over primes in terms of sums over progressions \(\sum _{n\leqslant N} a_{dn}\) and sums \(\sum _{n\leqslant N} a_{d_1n}a_{d_2n}\). If a n = f(Tnx) then these sums are Birkhoff sums for powers of T and their joinings.
In what follows we will refer to Theorem 11.15 as to the KBSZ criterion.
- 21.
- 22.
As a matter of fact, in [27], it is formulated for the Liouville function. We follow [150]. For a discussion on an equivalence of the Chowla conjecture with μ and λ, we invite the reader to [143]. As shown in [127], there are non-pretentious (completely) multiplicative functions for which Chowla conjecture fails. For more information, see the discussion on Elliot’s conjecture in [127].
- 23.
The Chowla conjecture is rather “close” in spirit to the Twin Number Conjecture in the sense that the latter is expressed by \((\ast )\;\sum _{n\leqslant x}\boldsymbol {\Lambda }(n)\boldsymbol {\Lambda }(n+2)=(2\varPi _2)\cdot x+{\mathrm {o}}(x)\), where \(\varPi _2=\prod _{p>2}(1-\frac {1}{(p-1)^2})=0,66016\ldots \) which can be compared with \(\sum _{n\leqslant x}\boldsymbol {\mu }(n)\boldsymbol {\mu }(n+2)={\mathrm {o}}(x)\) which is “close” to the Chowla conjecture, see e.g. [158]. A recent development shows that it is realistic to claim that the Chowla conjecture with an error term of the form \({\mathrm {o}}((\log N)^{-A})\) for some A large enough (A depending on the number of shifts of μ that are considered) implies (∗). (Of course, everywhere Λ is a good approximation of .)
See also [138] for a (conditional) equivalence of (∗) with \(\sum _{n\leqslant N}\boldsymbol {\Lambda }(n)\boldsymbol {\mu }(n+2)={\mathrm {o}}(N)\).
- 24.
We recall that either x is generic or Q-gen(x) is a connected uncountable set, see Proposition 3.8 in [40].
- 25.
The point μ2 is recurrent, so there is a “completion” of μ2 to a two-sided sequence generating the same subshift.
- 26.
Consider Bernoulli measure B(1∕2, 1∕2) on \(\{-1,1\}^{{{\mathbb {Z}}}}\) and Mirsky measure \(\nu _{\boldsymbol {\mu }^2}\) on \(\{0,1\}^{{{\mathbb {Z}}}}\). Measure \(\widehat {\nu }_{\boldsymbol {\mu }^2}\) is the image of the product measure \(B(1/2,1/2){\otimes }\nu _{\boldsymbol {\mu }^2}\) via the map
$$\displaystyle \begin{aligned}(x,y)\mapsto ((x(n)\cdot y(n)))_{n\in{{\mathbb{Z}}}}\in\{-1,0,1\}^{{{\mathbb{Z}}}}.\end{aligned}$$ - 27.
Recall that if R i is an automorphism of a probability standard Borel space \((Z_i,{\mathcal {D}}_i, \nu _i)\), i = 1, 2, then each R1 × R2-invariant measure λ on \((Z_1\times Z_2,{\mathcal {D}}_1{\otimes }{\mathcal {D}}_2)\) having the projections ν1 and ν2, respectively is called a joining of R1 and R2: we write λ ∈ J(R1, R2). If R1, R2 are ergodic then the set Je(R1, R2) of ergodic joinings between R1 and R2 is non-empty. A fundamental notion here is the disjointness (in sense of Furstenberg) [73]: R1 and R2 are disjoint if J(R1, R2) = {ν1⊗ν2}: we write R1 ⊥ R2. For example, zero entropy automorphisms are disjoint with automorphisms having completely positive entropy (Kolmogorov automorphisms) and also a relativized version of this assertion holds.
- 28.
- 29.
The above proof was already suggested by Sarnak in [150].
- 30.
If Möbius disjointness in a dynamical system is shown through the KBSZ criterion then we obtain orthogonality with respect to all multiplicative functions.
- 31.
If we consider general sequences \(z\in \{-1,0,1\}^{{{\mathbb {N}}}}\) then we can speak about the Sarnak and Chowla properties on a more abstract level: for example the Chowla property of z means (11.25) with μ replaced by z. See Example 5.1 and Remark 5.3 in [57] for sequences orthogonal to all deterministic sequences but not satisfying the Chowla property. However, arithmetic functions in these examples are not multiplicative.
However, an analogy between disjointness results in ergodic theory and disjointness of sequences is sometimes accurate. For example, a measure-theoretic dynamical system has zero entropy if and only if it is disjoint with all Bernoulli automorphisms. As pointed out in [57] (Prop. 5.21), a sequence \(t\in \{-1,1\}^{{\mathbb {N}}}\) is completely deterministic if and only if it is disjoint with any sequence \(z\in \{-1,0,1\}^{{{\mathbb {N}}}}\) satisfying the Chowla property.
- 32.
- 33.
In fact, \(|\sum _{n\leqslant N}\boldsymbol {\mu }(n)/n|\leqslant 1\).
- 34.
Assume that (a n ) is a bounded sequence and set A n = a1 + … + a n . Then, we have by summation by parts
$$\displaystyle \begin{aligned} \frac{1}{\log N}\sum_{n\leqslant N}\frac{a_n}{n}&=\frac{1}{\log N}\sum_{n\leqslant N}(A_{n+1}-A_n)\frac 1n \\ &=\frac{1}{\log N}\sum_{n\leqslant N}A_n \left(\frac 1n-\frac{1}{n+1}\right)+{\mathrm{o}}(1)= \frac{1}{\log N}\sum_{n\leqslant N}\frac{A_n}{n}\frac{1}{n+1}+{\mathrm{o}}(1).\end{aligned} $$(11.31)It follows that:
-
If the Cesàro averages of (a n ) converge, so do the logarithmic averages of (a n ).
-
The converse does not hold (see e.g. [14] in \(\mathcal {B}\)-free case, Sect. 11.7.1).
-
If the Cesàro averages converge along a subsequence (N k ) then not necessarily the logarithmic averages do the same. Indeed, by (11.31), \(\frac {1}{\log N_k}\sum _{n\leqslant N_k}\frac {a_n}{n}\) is (up to a small error) a convex combination of the Cesàro averages for all \(n\leqslant N_k\).
-
- 35.
- 36.
We use here the standard result in the theory of unitary operators that mutual singularity of spectral measures implies orthogonality. Recall also the classical result in ergodic theory that spectral disjointness implies disjointness.
- 37.
Consider \({X_1=X_2={\mathbb {T}}^2}\) with \({\mu _1=\mu _2=Leb_{{\mathbb {T}}^2}}\), the diagonal joining Δ on X1 × X2 and f(x, y) = θ(x, y)¯ with θ(x, y) = e2πiy. The spectral measure of θ is Lebesgue, and all ergodic components of the measure μ1 have discrete spectra.
- 38.
I.e., we assume the existence of the limits of sequences \(\left (\frac 1N\sum _{n\leqslant N} a'(n)a'(n+k_1)\ldots a'(n+k_r)\right )_{N\geqslant 1}\) for every \(r\in {{\mathbb {N}}}\) and \(k_1,\ldots , k_r\in {{\mathbb {N}}}\) (not necessarily distinct) with a′ = a or \(\overline {a}\). It is not hard to see that a admits correlations if and only if it is generic, cf. Sect. 11.4.1.
- 39.
We have \(\|\boldsymbol {\lambda }\|{ }_{U^1({{\mathbb {N}}})}=0\) by Matomäki and Radziwiłł [126], moreover \(\|\boldsymbol {\lambda }\|{ }_{U^2({{\mathbb {N}}})}=0\) is equivalent to \(\lim _{N\to \infty }{{\mathbb {E}}}_{m\in {{\mathbb {N}}}}\sup _{\alpha \in [0,1)} \left |{{\mathbb {E}}}_{n\in [m,m+N]}\boldsymbol {\lambda }(n)e^{2\pi in\alpha }\right |=0\) (cf. Conjecture C) and remains open. For a subsequence version of Theorem 11.40 for logarithmic averages, see [156].
- 40.
By that we mean a(n) = f(gnΓ) for some continuous f ∈ C(G∕Γ) and g ∈ G.
- 41.
Given a measure-theoretic dynamical system \((Z,\mathcal {D},\rho ,R)\), its system of arithmetic progressions with prime steps is of the form \((Z^{{\mathbb {Z}}},{{\mathcal {B}}}(Z^{{{\mathbb {Z}}}}),\widetilde {\rho },S)\), where S is the shift and the (shift invariant) measure \(\widetilde {\rho }\) is determined by
$$\displaystyle \begin{aligned} \int_{Z^{{{\mathbb{Z}}}}}\prod_{j=-m}^mf_j(z_j)\,d\widetilde{\rho}(z)= \lim_{N\to\infty}\frac{\log N}{N}\sum_{p\leqslant N}\int_Z\prod_{j=-m}^m f_j\circ R^{pj}\,d\rho\end{aligned}$$for all m⩾0, f−m, …, f m ∈ L∞(Z, ρ) (here z = (z j )). It is proved that such shift systems have no irrational spectrum. One of key observations is that each Furstenberg system of the Liouville function is a factor of the associated system of arithmetic progressions with prime steps.
- 42.
The product decomposition depends on the component.
- 43.
They are new even for irrational rotations. Cf. the notions of (S)-strong and (S0)-strong and their equivalence to the Chowla type condition in [57].
- 44.
Note that the answer is positive in all uniquely ergodic models of the one-point system: each such a model has a unique fixed point that attracts each orbit on a subset of density 1, cf. the map \(e^{2\pi ix}\mapsto e^{2\pi ix^2}\), x ∈ [0, 1). This argument is however insufficient already for uniquely ergodic models of the exchange of two points: in this case we have a density 1 attracting 2-periodic orbit {a, b}, but we do not control to which point a or b the orbit returns first. Quite surprisingly, it seems that already in this case we need [126] to obtain Möbius disjointness of all uniquely ergodic models.
- 45.
If all uniquely ergodic systems were Möbius disjoint, then as noticed by T. Downarowicz, we would get that the Chowla conjecture fails in view of the result of B. Weiss [169] Thm. 4.4’ on approximation of generic points of ergodic measures by uniquely ergodic sequences.
- 46.
Topological mixing for example excludes the possibility of having eigenfunctions continuous.
- 47.
Our objective is of course the Möbius function μ, however the whole approach can be developed for an arithmetic function satisfying some additional properties.
- 48.
The acronym comes from Möbius Orthogonality of Moving Orbits.
- 49.
Inv stands here for the σ-algebra of T × S-invariant sets modulo ρ.
- 50.
That is, Sarnak’s conjecture and the strong MOMO property (relatively to μ) for all deterministic systems are equivalent statements.
- 51.
It is not hard to see that the MOMO property implies the relevant uniform convergence. As a matter of fact, the strong MOMO property is equivalent to the uniform convergence (in x, for a fixed f ∈ C(X)) on short intervals: \(\frac 1M\sum _{1\leqslant m<M}\left |\frac 1H\sum _{m\leqslant h<m+H}f(T^hx)\boldsymbol {\mu }(n)\right |\to 0\) (when H, M →∞ and H = o(M)). It follows that we have equivalence of: Sarnak’s conjecture (11.2), Sarnak’s conjecture in its uniform form, Sarnak’s conjecture in its short interval uniform form and the strong MOMO property. Moreover, each of these conditions is implied by the Chowla conjecture.
- 52.
This result means that there must be an observable sequence in (X, T) which significantly correlates with u.
- 53.
This means that each measure-preserving transformation commuting with R must be invertible. Finite multiplicity of the Koopman operator associated to R guarantees coalescence. In particular, all ergodic rotations are coalescent.
- 54.
Sarnak in [150] mentions that Bourgain has constructed a positive entropy system which is Möbius disjoint but this construction has never been published.
- 55.
- 56.
Take an ergodic rotation with the group of eigenvalues \(\{e^{2\pi i\alpha m/n} : m,n\in {{\mathbb {Z}}}, n\neq 0, \alpha \notin {\mathbb {Q}}\}\).
- 57.
By the suspension flow of R we mean the special flow over R under the constant function (equal to 1).
- 58.
The same argument shows that if Sarnak’s conjecture holds then (11.42) holds for each zero entropy (X, T), \(a,b\in {{\mathbb {N}}}\), f ∈ C(X) uniformly in x ∈ X.
- 59.
Horocycle flows are mixing of all orders, see [123].
- 60.
In case of horocycle flows (Bourgain, Sarnak and Ziegler [21]) Ratner’s theorems on joinings are used and these provide no rate.
- 61.
We will tacitly assume that Γ is cocompact, so that the homogenous space \(\varGamma \backslash PSL_2({\mathbb {R}})\) is compact and the system is uniquely ergodic by Furstenberg in [74]; otherwise, as in the modular case when \(\varGamma =PSL_2({{\mathbb {Z}}})\) we need to compactify our space. The proof of Theorem 11.62 in the modular case is slightly different than what we describe below.
- 62.
We have \(h_t(\varGamma x)=\varGamma \cdot \left (x\cdot \left [\begin {array}{ll}1&t\\ 0&1\end {array}\right ]\right )\) and \(g_s(\varGamma x)=\varGamma \cdot \left (x\cdot \left [\begin {array}{ll} e^{-s}&0\\0&e^s\end {array}\right ]\right )\); we identify g s and h t with the relevant matrices.
- 63.
The measure ρ depends on p, q and x and it is so called algebraic measure, i.e. a Haar measure.
- 64.
To be compared with Remark 11.59; the difference however is that when the ratio of p and q is close to 1, we can choose graph joinings in a compact set.
- 65.
I.e. \(p(n)=a_1^{p_1(n)}\ldots a_k^{p_k(n)}\), where \(p_j\colon {{\mathbb {N}}}\to {{\mathbb {N}}}\) is a polynomial, j = 1, …, k. See, Section 6 in [84] for the equivalence with the classical definition of polynomials sequences in nilpotent Lie groups.
- 66.
We assume that G is connected.
- 67.
For degree 1 polynomials, the result is already in [127].
- 68.
More precisely, given an automorphism T of a probability standard Borel space \({(X,{\mathcal {B}},\mu )}\), we consider
$$\displaystyle \begin{aligned} a_n=\int_X g_1\circ T^{p_1(n)}\cdot\ldots\cdot g_k\circ T^{p_k(n)}\,d\mu,\end{aligned} $$where g i ∈ L∞(X, μ), \( p_i\in {{\mathbb {Z}}}[x] \), i = 1, …, k (k⩾1).
- 69.
- 70.
As noted in [13], this leads to dynamical systems given by rational sequences and such systems are Möbius disjoint. Note also that for the synchronized case, once the system is uniquely ergodic, it is automatically a uniquely ergodic model of an automorphism with discrete spectrum, cf. Corollary 11.37 and Remark 11.51.
- 71.
This example has partly continuous spectrum.
- 72.
One can also ask about Möbius disjointness of related systems as tiling systems.
- 73.
Moreover, Möbius disjointness is established for some other famous classes of rank one transformations such as: Katok’s α-weak mixing class (these are a special case of three interval exchange maps) or rigid generalized Chacon’s maps.
- 74.
Hence, Tp and Tq are disjoint in Furstenberg’s sense, and, in fact, we even have AOP.
- 75.
This has been proved, e.g. in an unpublished preprint of El Abadalaoui, Kułaga-Przymus, Lemańczyk and de la Rue.
- 76.
If \({\mathcal {S}}\) preserves a measure ν then \({T_{f,{\mathcal {S}}}}\) preserves measure μ⊗ν, the AOP property is considered with respect to this measure.
- 77.
Such a sequence (a n ) is of the form (φ(n)(x)) with φ(n)(x) = φ(x) + φ(Tx) + … + φ(Tn−1x), n⩾0.
- 78.
See the most prominent example of such a reduction, namely, Furstenberg’s ergodic proof of Szemerédi theorem on the existence of arbitrarily long arithmetic progressions in subsets of integers of positive upper Banach density [76].
- 79.
In general, there is no uniquely ergodic model (X, T) of R with T topologically distal.
- 80.
As a matter of fact, such a question remains open even for 2-point extensions of irrational rotations.
- 81.
As a matter of fact, in [58] it is proved that if a uniquely ergodic homeomorphism T satisfies the strong MOMO property (see Definition 1 on page 36) and (continuous) φ: X → G (G is a compact Abelian group) satisfies φ := ξ − ξ ∘ T has a measurable solution ξ : X → G, then the homeomorphism T φ of X × G is Möbius disjoint. This applies if (11.45) has a measurable solution for k = 1. It is however an open question whether we have Möbius disjointness when there is no measurable solution for k = 1 but there is such a solution for some k⩾2.
- 82.
- 83.
For the latter two classes all invariant measures yield discrete spectrum.
- 84.
If B ∈{0, 1}k and C = C(0)C(1)…C(ℓ − 1) ∈{0, 1}ℓ then we define B × C := (B + C(0))(B + C(1))…(B + C(ℓ − 1)).
- 85.
A sequence \(x\in A^{{{\mathbb {N}}}}\) is called Toeplitz if for each \(n\in {{\mathbb {N}}}\) there is \(q_n\in {{\mathbb {N}}}\) such that x(n + jq n ) = x(n) for each j = 0, 1, …
- 86.
- 87.
This is clearly a refinement of the fact that the asymptotic density of square-free integers exists (it is given by 6∕π2 = 1∕ζ(2)). It follows that μ2 is a completely deterministic point.
- 88.
- 89.
More precisely, it is isomorphic to \((H,{\mathbb {P}},T)\), where H is the closure of \({\{(n\text{ mod }b_k)_{k\geqslant 1} : n\in {{\mathbb {Z}}}\}}\) in \(\prod _{k\geqslant 1}{{\mathbb {Z}}}/b_k{{\mathbb {Z}}}\) and Tg = g + (1, 1, … ), cf. (11.49).
- 90.
This has been recently improved in [105] and by A. Bartnicka: X η is minimal if and only if η is Toeplitz.
- 91.
Mentzen’s result is extended in [7] to every hereditary \(\mathcal {B}\)-free subshift.
References
T. Adams, S. Ferenczi, K. Petersen, Constructive symbolic presentations of rank one measure-preserving systems. Coll. Math. 150(2), 243–255 (2017)
M. Avdeeva, Variance of \(\mathcal {B}\)-free integers in short intervals. Preprint (2015). https://arxiv.org/abs/1512.00149
M. Avdeeva, F. Cellarosi, Y.G. Sinai, Ergodic and statistical properties of\(\mathcal {B}\)-free numbers. Teor. Veroyatnost. i Primenen. 61, 805–829 (2016)
M. Baake, U. Grimm, Aperiodic Order. Vol 1. A Mathematical Invitation, Encyclopedia of Mathematics and Its Applications, vol.149 (Cambridge University Press, Cambridge, 2013)
M. Baake, C. Huck, Ergodic properties of visible lattice points. Proc. Steklov Inst. Math. 288(1), 165–188 (2015) (English)
M. Baake, C. Huck, N. Strungaru, On weak model sets of extremal density. Indag. Math. 28(1), 3–31 (2017). Special Issue on Automatic Sequences, Number Theory, and Aperiodic Order
M. Baake, C. Huck, M. Lemańczyk, Positive entropy shifts with small centraliser and large normaliser (in preparation)
V. Bergelson, I.J. Håland, Sets of recurrence and generalized polynomials, in Convergence in Ergodic Theory and Probability (Columbus, OH, 1993). Ohio State University Mathematical Research Institute Publications, vol. 5 (de Gruyter, Berlin, 1996), pp. 91–110
V. Bergelson, A. Leibman, Polynomial extensions of van der Waerden’s and Szemerédi’s theorems. J. Am. Math. Soc. 9(3), 725–753 (1996)
V. Bergelson, I. Ruzsa, Squarefree numbers, IP sets and ergodic theory, in Paul Erdős and His Mathematics, I (Budapest, 1999). Bolyai Society Mathematical Studies, vol. 11 (János Bolyai Mathematical Society, Budapest, 2002), pp. 147–160
V. Bergelson, J. Kułaga-Przymus, M. Lemańczyk, F.K. Richter, A generalization of Kátai’s orthogonality criterion with applications. Preprint (2017). https://arxiv.org/abs/1705.07322
V. Bergelson, J. Kułaga-Przymus, M. Lemańczyk, F.K. Richter, A structure theorem for level sets of multiplicative functions and applications. Int. Math. Res. Not. (2017, to appear). https://arxiv.org/abs/1708.02613
V. Bergelson, J. Kułaga-Przymus, M. Lemańczyk, F.K. Richter, Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics. Erg. Theory Dyn. Syst. (to appear). https://arxiv.org/abs/1611.08392
A.S. Besicovitch, On the density of certain sequences of integers. Math. Ann. 110(1), 336–341 (1935)
E. Bessel-Hagen, Zahlentheorie (Teubner, Leipzig, 1929)
J. Bourgain, An approach to pointwise ergodic theorems, in Geometric Aspects of Functional Analysis (1986/87). Lecture Notes in Mathematics, vol. 1317 (Springer, Berlin, 1988), pp. 204–223
J. Bourgain, On the maximal ergodic theorem for certain subsets of the integers. Isr. J. Math. 61(1), 39–72 (1988)
J. Bourgain, On the pointwise ergodic theorem on Lp for arithmetic sets. Isr. J. Math. 61(1), 73–84 (1988)
J. Bourgain, Möbius-Walsh correlation bounds and an estimate of Mauduit and Rivat. J. Anal. Math. 119, 147–163 (2013)
J. Bourgain, On the correlation of the Moebius function with rank-one systems. J. Anal. Math. 120, 105–130 (2013)
J. Bourgain, P. Sarnak, T. Ziegler, Disjointness of Möbius from horocycle flows, in From Fourier Analysis and Number Theory to Radon Transforms and Geometry. Developments in Mathematics, vol. 28 (Springer, New York, 2013), pp. 67–83
D. Carmon, Z. Rudnick, The autocorrelation of the Möbius function and Chowla’s conjecture for the rational function field. Q. J. Math. 65(1), 53–61 (2014)
F. Cellarosi, Y.G. Sinai, Ergodic properties of square-free numbers. J. Eur. Math. Soc. 15(4), 1343–1374 (2013)
F. Cellarosi, I. Vinogradov, Ergodic properties of k-free integers in number fields. J. Mod. Dyn. 7(3), 461–488 (2013)
J. Chaika, A. Eskin, Moebius disjointness for interval exchange transformations on three intervals. Preprint (2016). https://arxiv.org/abs/1606.02357
S. Chowla, On abundant numbers. J. Indian Math. Soc. New Ser. 1, 41–44 (1934) (English)
S. Chowla, The Riemann Hypothesis and Hilbert’s Tenth Problem. Mathematics and Its Applications, vol. 4 (Gordon and Breach Science Publishers, New York, 1965)
I.P. Cornfeld, S.V. Fomin, Y.G. Sinaı̆, Ergodic Theory. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 245 (Springer, New York, 1982)
C. Cuny, M. Weber, Ergodic theorems with arithmetical weights. Isr. J. Math. 217(1), 139–180 (2017)
H. Daboussi, H. Delange, On multiplicative arithmetical functions whose modulus does not exceed one. J. Lond. Math. Soc. (2) 26(2), 245–264 (1982)
C. Dartyge, G. Tenenbaum, Sommes des chiffres de multiples d’entiers. Ann. Inst. Fourier (Grenoble) 55(7), 2423–2474 (2005)
H. Davenport, Über numeri abundantes. Sitzungsber. Preuss. Akad. Wiss. 26/29, 830–837 (1933)
H. Davenport, On some infinite series involving arithmetical functions. II. Q. J. Math. 8, 313–320 (1937)
H. Davenport, P. Erdös, On sequences of positive integers. Acta Arith. 2(1), 147–151 (1936)
H. Davenport, P. Erdös, On sequences of positive integers. J. Indian Math. Soc. (N.S.) 15, 19–24 (1951)
R. de la Breteche, G. Tenenbaum, A remark on Sarnak’s conjecture. Preprint (2017). https://arxiv.org/abs/1709.01194
T. de la Rue, La fonction de Möbius à la rencontre des systèmes dynamiques. Gaz. Math. (150), 31–40 (2016)
A. del Junco, Disjointness of measure-preserving transformations, minimal self-joinings and category, in Ergodic Theory and Dynamical Systems, I (College Park, MD, 1979–80). Progress in Mathematics, vol. 10 (Birkhäuser, Boston, 1981), pp. 81–89
A. del Junco, D. Rudolph, On ergodic actions whose self-joinings are graphs. Ergod. Theory Dyn. Syst. 7(4), 531–557 (1987)
M. Denker, C. Grillenberger, K. Sigmund, Ergodic Theory on Compact Spaces. Lecture Notes in Mathematics, vol. 527 (Springer, Berlin, 1976)
J.-M. Deshouillers, M. Drmota, C. Müllner, Automatic sequences generated by synchronizing automata fulfill the Sarnak conjecture. Stud. Math. 231(1), 83–95 (2015)
H.G. Diamond, Elementary methods in the study of the distribution of prime numbers. Bull. Am. Math. Soc. (N.S.) 7(3), 553–589 (1982)
T. Downarowicz, E. Glasner, Isomorphic extensions and applications. Topol. Methods Nonlinear Anal. 48(1), 321–338 (2016)
T. Downarowicz, S. Kasjan, Odometers and Toeplitz systems revisited in the context of Sarnak’s conjecture. Stud. Math. 229(1), 45–72 (2015)
T. Downarowicz, J. Serafin, Almost full entropy subshifts uncorrelated to the Möbius function. Int. Math. Res. Not. (to appear). https://arxiv.org/abs/1611.02084
M. Drmota, Subsequences of automatic sequences and uniform distribution, in Uniform Distribution and Quasi-Monte Carlo Methods. Radon Series on Computational and Applied Mathematics, vol. 15 (De Gruyter, Berlin, 2014), pp. 87–104
M. Drmota, C. Müllner, L. Spiegelhofer, Möbius orthogonality for the Zeckendorf sum-of-digits function. Proc. AMS (to appear). http://arxiv.org/abs/1706.09680
A. Dymek, S. Kasjan, J. Kułaga-Przymus, M. Lemańczyk, \(\mathcal {B}\)-free sets and dynamics. Trans. Am. Math. Soc. (2015, to appear). http://arxiv.org/abs/1509.08010
A. Dymek, Automorphisms of Toeplitz \(\mathscr {B}\)-free systems. Bull. Pol. Acad. Sci. Math. 65(2), 139–152 (2017)
M. Einsiedler, T. Ward, Ergodic Theory with a View Towards Number Theory. Graduate Texts in Mathematics, vol. 259 (Springer, London, 2011)
T. Eisner, A polynomial version of Sarnak’s conjecture. C. R. Math. Acad. Sci. Paris 353(7), 569–572 (2015)
E.H. El Abdalaoui, M. Disertori, Spectral properties of the Möbius function and a random Möbius model. Stoch. Dyn. 16(1), 1650005, 25 (2016)
E.H. El Abdalaoui, X. Ye, A cubic non-conventional ergodic average with multiplicative or von Mangoldt weights. Preprint (2016). https://arxiv.org/abs/1606.05630
E.H. El Abdalaoui, M. Lemańczyk, T. de la Rue, On spectral disjointness of powers for rank-one transformations and Möbius orthogonality. J. Funct. Anal. 266(1), 284–317 (2014)
E.H. El Abdalaoui, M. Lemańczyk, T. de la Rue, A dynamical point of view on the set of \(\mathcal {B}\)-free integers. Int. Math. Res. Not. 2015(16), 7258–7286 (2015)
E.H. El Abdalaoui, S. Kasjan, M. Lemańczyk, 0-1 sequences of the Thue-Morse type and Sarnak’s conjecture. Proc. Am. Math. Soc. 144(1), 161–176 (2016)
E.H. El Abdalaoui, J. Kułaga-Przymus, M. Lemańczyk, T. de la Rue, The Chowla and the Sarnak conjectures from ergodic theory point of view. Discrete Contin. Dyn. Syst. 37(6), 2899–2944 (2017)
E.H. El Abdalaoui, J. Kułaga-Przymus, M. Lemańczyk, T. de la Rue, Möbius disjointness for models of an ergodic system and beyond. Isr. J. Math. (2017, to appear). https://arxiv.org/abs/1704.03506
E.H. El Abdalaoui, M. Lemańczyk, T. de la Rue, Automorphisms with quasi-discrete spectrum, multiplicative functions and average orthogonality along short intervals. Int. Math. Res. Not. (14), 4350–4368 (2017)
P.D.T.A. Elliott, Probabilistic Number Theory. I Mean-Value Theorems. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science], vol. 239 (Springer, New York, 1979)
P. Erdös, On the density of the abundant numbers. J. Lond. Math. Soc. 9(4), 278–282 (1934)
A. Fan, Weighted Birkhoff ergodic theorem with oscillating weights. Ergod. Theory Dyn. Syst. (2017). https://arxiv.org/abs/1705.02501
S. Ferenczi, Measure-theoretic complexity of ergodic systems. Isr. J. Math. 100, 189–207 (1997)
S. Ferenczi, C. Mauduit, On Sarnak’s conjecture and Veech’s question for interval exchanges. J. d’Analyse Math. 134, 545–573 (2018)
S. Ferenczi, C. Holton, L.Q. Zamboni, Structure of three-interval exchange transformations. II. A combinatorial description of the trajectories. J. Anal. Math. 89, 239–276 (2003)
S. Ferenczi, J. Kułaga-Przymus, M. Lemańczyk, C. Mauduit, Substitutions and Möbius disjointness, in Ergodic Theory, Dynamical Systems, and the Continuing Influence of John C. Oxtoby. Contemporary Mathematics, vol. 678 (American Mathematical Society, Providence, 2016), pp. 151–173
L. Flaminio, K. Fr ączek, J. Kułaga-Przymus, M. Lemańczyk, Approximate orthogonality of powers for ergodic affine unipotent diffeomorphisms on nilmanifolds. Stud. Math. (to appear). https://arxiv.org/abs/1609.00699
N. Frantzikinakis, An averaged Chowla and Elliott conjecture along independent polynomials (2016). https://arxiv.org/abs/1606.08420
N. Frantzikinakis, Ergodicity of the Liouville system implies the Chowla conjecture. Discrete Anal. (2016, to appear). https://arxiv.org/abs/1611.09338.
N. Frantzikinakis, B. Host, Higher order Fourier analysis of multiplicative functions and applications. J. Am. Math. Soc. 30(1), 67–157 (2017)
N. Frantzikinakis, B. Host, The logarithmic Sarnak conjecture for ergodic weights. Ann. Math. (2017, to appear). https://arxiv.org/abs/1708.00677
H. Furstenberg, Strict ergodicity and transformation of the torus. Am. J. Math. 83, 573–601 (1961)
H. Furstenberg, Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Math. Syst. Theory 1, 1–49 (1967)
H. Furstenberg, The Unique Ergodicity of the Horocycle Flow. Lecture Notes in Mathematics, vol. 318 (Springer, Berlin, 1973), pp. 95–115
H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. J. Anal. Math. 31, 204–256 (1977)
H. Furstenberg, Recurrence in Ergodic Theory and Combinatorial Number Theory. M. B. Porter Lectures (Princeton University Press, Princeton, 1981)
A.O. Gel’fond, Sur les nombres qui ont des propriétés additives et multiplicatives données. Acta Arith. 13, 259–265 (1967/1968)
E. Glasner, Ergodic Theory via Joinings. Mathematical Surveys and Monographs, vol. 101 (American Mathematical Society, Providence, 2003)
A. Gomilko, D. Kwietniak, M. Lemańczyk, Sarnak’s conjecture implies the Chowla conjecture along a subsequence, in Ergodic Theory and Dynamical Systems in Their Interactions with Arithmetic and Combinatorics, ed. By S. Ferenczi et al. Lecture Notes in Mathematics, vol. 2213 (Springer, New York, 2018)
W.T. Gowers, A new proof of Szemerédi’s theorem. Geom. Funct. Anal. 11(3), 465–588 (2001)
K. Granville, A. Soundararajan, Multiplicative Number Theory: The Pretentious Approach (book manuscript in preparation)
B. Green, On (not) computing the Möbius function using bounded depth circuits. Combin. Probab. Comput. 21(6), 942–951 (2012)
B. Green, T. Tao, The Möbius function is strongly orthogonal to nilsequences. Ann. Math. (2) 175(2), 541–566 (2012)
B. Green, T. Tao, The quantitative behaviour of polynomial orbits on nilmanifolds. Ann. Math. (2) 175(2), 465–540 (2012)
F. Hahn, W. Parry, Some characteristic properties of dynamical systems with quasi-discrete spectra. Math. Syst. Theory 2, 179–190 (1968)
H. Halberstam, K.F. Roth, Sequences, 2nd edn. (Springer, New York, 1983)
R.R. Hall, Sets of Multiples. Cambridge Tracts in Mathematics, vol. 118 (Cambridge University Press, Cambridge, 1996)
A.J. Harper, A different proof of a finite version of Vinogradov’s ilinear sum inequality (NOTES) (2011). https://www.dpmms.cam.ac.uk/~ajh228/FiniteBilinearNotes.pdf
A. Hildebrand, Introduction to analytic number theory. http://www.math.uiuc.edu/~ajh/531.fall05/
B. Host, B. Kra, Convergence of polynomial ergodic averages. Isr. J. Math. 149, 1–19 (2005). Probability in mathematics
B. Host, B. Kra, Nonconventional ergodic averages and nilmanifolds. Ann. Math. (2) 161(1), 397–488 (2005)
B. Host, J.-F. Méla, F. Parreau, Nonsingular transformations and spectral analysis of measures. Bull. Soc. Math. France 119(1), 33–90 (1991)
W. Huang, Z. Wang, G. Zhang, Möbius disjointness for topological models of ergodic systems with discrete spectrum. Preprint (2016). https://arxiv.org/abs/1608.08289
W. Huang, Z. Lian, S. Shao, X. Ye, Sequences from zero entropy noncommutative toral automorphisms and Sarnak Conjecture. J. Differ. Equ. 263(1), 779–810 (2017)
W. Huang, Z. Wang, X. Ye, Measure complexity and Möbius disjointness (2017). https://arxiv.org/abs/1707.06345
C. Huck, On the logarithmic probability that a random integral ideal is relatively \(\mathcal {A}\) -free, in Ergodic Theory and Dynamical Systems in Their Interactions with Arithmetic and Combinatorics, ed. By S. Ferenczi et al. Lecture Notes in Mathematics, vol. 2213 (Springer, New York, 2018)
D.E. Iannucci, On the smallest abundant number not divisible by the first k primes. Bull. Belg. Math. Soc. Simon Stevin 12(1), 39–44 (2005)
K.-H. Indlekofer, I. Kátai, Investigations in the theory of q-additive and q -multiplicative functions. I. Acta Math. Hungar. 91(1–2), 53–78 (2001)
H. Iwaniec, E. Kowalski, Analytic Number Theory. American Mathematical Society Colloquium Publications, vol. 53 (American Mathematical Society, Providence, 2004)
E. Jennings, P. Pollack, L. Thompson, Variations on a theorem of Davenport concerning abundant numbers. Bull. Aust. Math. Soc. 89(3), 437–450 (2014)
T. Kamae, Subsequences of normal sequences. Isr. J. Math. 16, 121–149 (1973)
A. Kanigowski, M. Lemańczyk, C. Ulcigrai, On disjointness properties of some parabolic flows (in preparation)
D. Karagulyan, On Möbius orthogonality for interval maps of zero entropy and orientation-preserving circle homeomorphisms. Ark. Mat. 53(2), 317–327 (2015)
D. Karagulyan, On Möbius orthogonality for subshifts of finite type with positive topological entropy. Stud. Math. 237(3), 277–282 (2017)
S. Kasjan, G. Keller, M. Lemańczyk, Dynamics of \(\mathcal {B}\) -free sets: a view through the window. Int. Math. Res. Not. (to appear). https://arxiv.org/abs/1702.02375
I. Kátai, A remark on a theorem of H. Daboussi. Acta Math. Hungar. 47(1–2), 223–225 (1986)
M. Keane, Generalized Morse sequences. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 10, 335–353 (1968)
G. Keller, Generalized heredity in \(\mathcal {B}\)-free systems. Preprint (2017). https://arxiv.org/abs/1704.04079
G. Keller, C. Richard, Periods and factors of weak model sets. Preprint (2017). https://arxiv.org/abs/1702.02383
M. Kobayashi, A new series for the density of abundant numbers. Int. J. Number Theory 10(1), 73–84 (2014)
J. Konieczny, M. Kupsa, D. Kwietniak, Arcwise connectedness of the set of ergodic measures of hereditary shifts. Preprint (2016). https://arxiv.org/abs/1610.00672
J. Kułaga-Przymus, M. Lemańczyk, The Möbius function and continuous extensions of rotations. Monatsh. Math. 178(4), 553–582 (2015)
J. Kułaga-Przymus, M. Lemańczyk, Möbius disjointness along ergodic sequences for uniquely ergodic actions. Ergodic Theory Dyn. Syst. (2017, to appear). https://arxiv.org/abs/1703.02347
J. Kułaga-Przymus, M. Lemańczyk, B. Weiss, On invariant measures for \(\mathcal {B}\)-free systems. Proc. Lond. Math. Soc. (3) 110(6), 1435–1474 (2015)
J. Kułaga-Przymus, M. Lemańczyk, B. Weiss, Hereditary subshifts whose simplex of invariant measures is Poulsen, in Ergodic Theory, Dynamical Systems, and the Continuing Influence of John C. Oxtoby. Contemporary Mathematics, vol. 678 (American Mathematical Society, Providence, 2016), pp. 245–253
J. Kwiatkowski, Spectral isomorphism of Morse dynamical systems. Bull. Acad. Polon. Sci. Sér. Sci. Math. 29(3–4), 105–114 (1981)
E. Lehrer, Topological mixing and uniquely ergodic systems. Isr. J. Math. 57(2), 239–255 (1987)
A. Leibman, Convergence of multiple ergodic averages along polynomials of several variables. Isr. J. Math. 146, 303–315 (2005)
A. Leibman, Multiple polynomial correlation sequences and nilsequences. Ergod. Theory Dyn. Syst. 30(3), 841–854 (2010)
M. Lemańczyk, F. Parreau, Lifting mixing properties by Rokhlin cocycles. Ergod. Theory Dyn. Syst. 32(2), 763–784 (2012)
E. Lindenstrauss, Measurable distal and topological distal systems. Ergod. Theory Dyn. Syst. 19(4), 1063–1076 (1999)
J. Liu, P. Sarnak, The Möbius function and distal flows. Duke Math. J. 164(7), 1353–1399 (2015)
B. Marcus, The horocycle flow is mixing of all degrees. Invent. Math. 46(3), 201–209 (1978)
B. Martin, C. Mauduit, J. Rivat, Théorème des nombres premiers pour les fonctions digitales. Acta Arith. 165(1), 11–45 (2014)
B. Martin, C. Mauduit, J. Rivat, Fonctions digitales le long des nombres premiers. Acta Arith. 170(2), 175–197 (2015)
K. Matomäki, M. Radziwiłł, Multiplicative functions in short intervals. Ann. Math. (2) 183(3), 1015–1056 (2016)
K. Matomäki, M. Radziwiłł, T. Tao, An averaged form of Chowla’s conjecture. Algebra Number Theory 9, 2167–2196 (2015)
K. Matomäki, M. Radziwiłł, T. Tao, Sign patterns of the Liouville and Möbius functions. Forum Math. Sigma 4(e14), 44 (2016)
C. Mauduit, J. Rivat, Sur un problème de Gelfond: la somme des chiffres des nombres premiers. Ann. Math. (2) 171(3), 1591–1646 (2010)
C. Mauduit, J. Rivat, Prime numbers along Rudin–Shapiro sequences. J. Eur. Math. Soc. 17(10), 2595–2642 (2015)
M.K. Mentzen, Automorphisms of subshifts defined by \(\mathcal {B}\) -free sets of integers. Colloq. Math. 147(1), 87–94 (2017)
L. Mirsky, Note on an asymptotic formula connected with r -free integers. Q. J. Math. Oxford Ser. 18, 178–182 (1947)
L. Mirsky, Arithmetical pattern problems relating to divisibility by r th powers. Proc. Lond. Math. Soc. (2) 50, 497–508 (1949)
H.L. Montgomery, R.C. Vaughan, Exponential sums with multiplicative coefficients. Invent. Math. 43(1), 69–82 (1977)
B. Mossé, Puissances de mots et reconnaissabilité des points fixes d’une substitution. Theor. Comput. Sci. 99(2), 327–334 (1992)
C. Müllner, Automatic sequences fulfill the Sarnak conjecture. Duke Math. (to appear). https://arxiv.org/abs/1602.03042.
M.R. Murty, A. Vatwani, A remark on a conjecture of Chowla. J. Ramanujan Math. Soc. (2017, to appear)
M.R. Murty, A. Vatwani, Twin primes and the parity problem. J. Number Theory 180, 643–659 (2017)
R. Peckner, Two dynamical perspectives on the randomness of the Mobius function. Thesis (Ph.D.), Princeton University. ProQuest LLC, Ann Arbor, 2015
R. Peckner, Uniqueness of the measure of maximal entropy for the squarefree flow. Isr. J. Math. 210(1), 335–357 (2015)
P.A.B. Pleasants, C. Huck, Entropy and diffraction of the k -free points in n -dimensional lattices. Discrete Comput. Geom. 50(1), 39–68 (2013)
M. Queffélec, Substitution Dynamical Systems—Spectral Analysis, 2nd edn. Lecture Notes in Mathematics, vol. 1294 (Springer, Berlin, 2010)
O. Ramaré, From Chowla’s conjecture: from the Liouville function to the Moebius function, in Ergodic Theory and Dynamical Systems in Their Interactions with Arithmetic and Combinatorics, ed. By S. Ferenczi et al. Lecture Notes in Mathematics, vol. 2213 (Springer, New York, 2018)
M. Ratner, Horocycle flows, joinings and rigidity of products. Ann. Math. (2) 118(2), 277–313 (1983)
M. Ratner, On Raghunathan’s measure conjecture. Ann. Math. (2) 134(3), 545–607 (1991)
J. Rivat, Analytic number theory, in Ergodic Theory and Dynamical Systems in Their Interactions with Arithmetic and Combinatorics, ed. By S. Ferenczi et al. Lecture Notes in Mathematics, vol. 2213 (Springer, New York, 2018)
V.V. Ryzhikov, Bounded ergodic constructions, disjointness, and weak limits of powers. Trans. Mosc. Math. Soc. 74, 165–171 (2013)
P. Sarnak, Mobius randomness and dynamics. Not. S. Afr. Math. Soc. 43(2), 89–97 (2012)
P. Sarnak, Möbius randomness and dynamics six years later. http://www.youtube.com/watch?v=LXX0ntxrkb0
P. Sarnak, Three lectures on the Möbius function, randomness and dynamics. http://publications.ias.edu/sarnak/
P. Sarnak, A. Ubis, The horocycle flow at prime times. J. Math. Pures Appl. (9) 103(2), 575–618 (2015)
K. Schmidt, Cocycles on Ergodic Transformation Groups. Macmillan Lectures in Mathematics, vol. 1 (Macmillan Company of India, Ltd., Delhi, 1977)
K. Soundararajan, The Liouville function in short intervals [after Matomäki and Radziwiłł]. Séminarie Boubaki 68ème année (2015–2016), no. 1119
E. Szemerédi, On sets of integers containing no k elements in arithmetic progression. Acta Arith. 27, 199–245 (1975). Collection of articles in memory of Juriı̆ Vladimirovič Linnik
T. Tao, The logarithmically averaged Chowla and Elliot conjectures for two-point correlations. Forum Math. Pi 4, e8 (2016)
T. Tao, Equivalence of the logarithmically averaged Chowla and Sarnak conjectures, in Number Theory – Diophantine Problems, Uniform Distribution and Applications: Festschrift in Honour of Robert F. Tichy’s 60th Birthday, ed. by C. Elsholtz, P. Grabner (Springer International Publishing, Cham, 2017), pp. 391–421
T. Tao, The Bourgain-Sarnak-Ziegler orthogonality criterion. What’s new. http://terrytao.wordpress.com/2011/11/21/the-bourgain-sarnak-ziegler-orthogonality-criterion/
T. Tao, The Chowla and the Sarnak conjecture. What’s new. http://terrytao.wordpress.com/2012/10/14/the-chowla-conjecture-and-the-sarnak-conjecture/
T. Tao, J. Teräväinen, The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures. Preprint (2017). https://arxiv.org/abs/1708.02610
G. Tenenbaum, Introduction to Analytic and Probabilistic Number Theory, 3rd edn. Translated from the 2008 French edition by Patrick D. F. Ion. Graduate Studies in Mathematics, vol. 163 (American Mathematical Society, Providence, 2015), xxiv+629 pp.
W.A. Veech, Möbius orthogonality for generalized Morse-Kakutani flows. Am. J. Math. 139(5), 1157–1203 (2017)
A.M. Vershik, A.N. Livshits, Adic models of ergodic transformations, spectral theory, substitutions, and related topics, in Representation Theory and Dynamical Systems. Advances in Soviet Mathematics, vol. 9 (American Mathematical Society, Providence, 1992), pp. 185–204
I.M. Vinogradov, Some theorems concerning the theory of primes. Rec. Math. Moscou 2(44), 179–195 (1937)
I.M. Vinogradov, The Method of Trigonometrical Sums in the Theory of Numbers (Dover Publications, Inc., Mineola, 2004). Translated from the Russian, revised and annotated by K.F. Roth and Anne Davenport, Reprint of the 1954 translation
P. Walters, An Introduction to Ergodic Theory. Graduate Texts in Mathematics, vol. 79 (Springer, New York, 1982)
Z. Wang, Möbius disjointness for analytic skew products. Inventiones Math. 209(1), 175–196 (2017). https://arxiv.org/abs/1509.03183.
B. Weiss, Normal sequences as collectives, in Proceedings of Symposium on Topological Dynamics and Ergodic Theory, University of Kentucky, 1971
B. Weiss, Strictly ergodic models for dynamical systems. Bull. Am. Math. Soc. (N.S.) 13(2), 143–146 (1985)
B. Weiss, Single Orbit Dynamics. CBMS Regional Conference Series in Mathematics, vol. 95 (American Mathematical Society, Providence, 2000)
M. Wierdl, Pointwise ergodic theorem along the prime numbers. Isr. J. Math. 64(3), 315–336 (1989)
R.J. Zimmer, Ergodic actions with generalized discrete spectrum. Ill. J. Math. 20(4), 555–588 (1976)
R.J. Zimmer, Extensions of ergodic group actions. Ill. J. Math. 20(3), 373–409 (1976)
Acknowledgements
The research resulting in this survey was carried out during the Research in Pairs Program of CIRM, Luminy, France, 15-19.05.2017. J. Kułaga-Przymus and M. Lemańczyk also acknowledge the support of Narodowe Centrum Nauki grant UMO-2014/15/B/ST1/03736. J. Kułaga-Przymus was also supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 647133 (ICHAOS)) and by the Foundation for Polish Science (FNP).
The authors special thanks go to N. Frantzikinakis and P. Sarnak for a careful reading of the manuscript, numerous remarks and suggestions to improve presentation. We also thank M. Baake, V. Bergelson, B. Green, D. Kwietniak, C. Mauduit and M. Radziwiłł for some useful comments on the subject.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Ferenczi, S., Kułaga-Przymus, J., Lemańczyk, M. (2018). Sarnak’s Conjecture: What’s New. In: Ferenczi, S., Kułaga-Przymus, J., Lemańczyk, M. (eds) Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics. Lecture Notes in Mathematics, vol 2213. Springer, Cham. https://doi.org/10.1007/978-3-319-74908-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-74908-2_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74907-5
Online ISBN: 978-3-319-74908-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)