arxiv: v1 [math.ds] 15 Jul 2015

Transcription

1 Automorphisms with quasi-discrete spectrum, multiplicative functions and average orthogonality along short intervals arxiv: v [math.ds] 5 Jul 205 H. El Abdalaoui, M. Lemańczyk, T. de la Rue October 4, 208 Abstract We show that Sarnak s conjecture on Möbius disjointness holds in every uniquely ergodic model of a quasi-discrete spectrum automorphism. A consequence of this result is that, for each non constant polynomial P R[x] with irrational leading coefficient and for each multiplicative function ν : N C, ν, we have M M m<2m H as M, H, H/M 0. Introduction m n<m+h The central result of this paper is the following. 0 Theorem. Let S be a uniquely ergodic continuous map defined on a compact metric space Y. Let ν be the unique S-invariant (ergodic) Borel probability measure on Y. Assume that the measure-theoretic system (Y,ν,S) has quasidiscrete spectrum. Then, for each multiplicative function ν : N C, ν, each f C(Y) with Y f dν = 0 and each y Y, we have () lim N N f(s n y)ν(n) = 0. n N If, moreover, we know that lim N N n N ν(n) = 0, then () holds regardless of the value of f dν. In particular, by taking ν = µ, the classical Y Möbius function: µ() =, µ(p...p k ) = ( ) k for different prime numbers p,...,p k and µ(n) = 0 for other values of n N, we obtain the validity of Sarnak s conjecture [3] in the class of systems under consideration. Recall that Sarnak s conjecture states that, if T is a continuous map of a compact metric space X with zero topological entropy, then N n N f(tn x)µ(n) 0 for each f C(X) and x X. Sarnak s conjecture has been proved to hold in several Research supported by Narodowe Centrum Nauki grant UMO-204/5/B/ST/03736.

2 cases [ 3,6 9,,5,6,22,26,28 32]. Automorphisms with quasi-discrete spectrum have zero measure-theoretic entropy, hence the topological entropy will be equal to zero in each uniquely ergodic model of them. So far, the only automorphisms for which Sarnak s conjecture was known to hold in each of their uniquely ergodic model were those whose prime powers are disjoint in the sense of Furstenberg [2]. This assertion is already present in [8], see also [2]. However, it is easy to see that even irrational rotations do not enjoy this strong disjointness property (indeed, powers have large common factors). But Theorem is known to hold for them [8]. On the other hand, irrational rotations have many other uniquely ergodic models. For those in which eigenfunctions are continuous, e.g. symbolic models like Sturmian models [5], Sarnak sconjecturehasalsobeenprovedtoholdinviewofageneralcriterion on lifting Sarnak s conjecture by continuous uniquely ergodic extensions, [3], [9], [32]. However, there are topological models of irrational rotations in which eigenfunctions are not continuous. Indeed, each ergodic transformation admits even a uniquely ergodic model which is topologically mixing [25]. An important tool for the proof of Theorem is provided by a general criterion for an ergodic automorphism T to satisfy Sarnak s conjecture in each of its uniquely ergodic model. The criterion is, roughly, to establish an approximative disjointness of sufficiently large relatively prime powers. Definition. We say that the measure-theoretic dynamical system (X, µ, T) has Asymptotical Orthogonal Powers (AOP) if, for any f and g in L 2 (µ) with X f dµ = X gdµ = 0, we have (2) lim sup f gdκ = 0. r,s, X X r,s different primes κ ergodic joining of T r and T s We would like to emphasize that this AOP property can even be satisfied for an automorphism T for which all non-zero powers are measure-theoretically isomorphic (Example ). Further remarks on the AOP property are discussed in Section 5: we show that it implies zero entropy, but give also examples of zero-entropy automorphisms which do not have AOP. Theorem 2. Assume that T is a totally ergodic automorphism of a standard Borel probability space (X,B,µ), and that it has AOP. Let S be a uniquely ergodic continuous map of a compact metric space Y, and denote by ν the unique S-invariant probability measure. Assume that the measure-theoretic systems (X,µ,T) and (Y,ν,S) are isomorphic. Then, for each multiplicative function ν : N C, ν, each f C(Y) with Y f dν = 0 and each y Y, we have lim N N f(s n y)ν(n) = 0. n N In particular, Sarnak s conjecture holds for S. Using the fact that, in uniquely ergodic models, the average behavior of points is uniform, we will prove that uniquely ergodic models of automorphisms with AOP enjoy a stronger form of Sarnak s conjecture, in which the sequence output by the system is allowed to switch orbit from time to time. 2

3 Theorem 3. Let (X,T) be uniquely ergodic, and let µ be the unique T-invariant probability measure. Assume that, for any uniquely ergodic model (Y,S) of (X,µ,T), the conclusion of Theorem 2 holds. Let = b < b 2 < be an increasing sequence of integers with b k+ b k. Let (x k ) be an arbitrary sequence of points in X. Then, for each multiplicative function ν : N C, ν and for each f C(X) with f dµ = 0, we have X (3) lim f(t n x k )ν(n) = 0. K b K+ k K b k n<b k+ Again, if we take ν = µ, the conclusion holds even if f dµ 0. X One of the main results of the paper, Theorem 6, says that all quasi-discrete spectrum automorphisms have AOP. Quasi-discrete spectrum automorphisms (see Section 3.3 for a precise definition) have been first studied by Abramov [4]. They admit special uniquely ergodic models which are of the form Tx = Ax+b, where X is a compact, Abelian, connected group, A is a continuous group automorphism and b X (with some additional assumptions on A and b). It has already been proved by Liu and Sarnak in [26] that, in these algebraic models, Sarnak s conjecture holds. As a consequence of Theorem 2, we obtain that it holds in every uniquely ergodic model of any of these systems (in fact, Theorem 2 directly gives Theorem ). In Section 4.2, we apply Theorem 3 in a special situation of such algebraic models which are built by taking affine cocycle extensions of irrational rotations (see [2]). This leads to the following theorem. Theorem 4. Assume that ν : N C, ν, is multiplicative. Then, for each increasing sequence = b < b 2 < with b k+ b k and for each non constant polynomial P R[x] with irrational leading coefficient, we have b K+ k K 0 when K. b k n<b k+ It has been noted to us by N. Frantzikinakis that the particular case P(n) = αn, which we present in Section 4., follows from a recent result of Matomäki, Radziwi l l and Tao [27]. We can also reformulate Theorem 4 in the following way. Theorem 5. Assume that ν : N C, ν, is multiplicative. For each non constant polynomial P R[x] with irrational leading coefficient, we have M H 0 M m<2m as M, H, H/M 0. 2 Main tools 2. Joinings m n<m+h Let (X,B,µ) be a standard Borel probability space. We denote by C 2 (X,µ) the corresponding space of couplings: ρ C 2 (X,µ) if ρ is a probability on 3

4 X X with both projections equal to µ. The space C 2 (X,µ) is endowed with a topology which coincides with the weak topology when X is a compact metric space. In this topology, convergence of a sequence of couplings (ρ n ) to some coupling ρ is characterized by f,g L 2 (µ), f gdρ n f gdρ. n X X X X This topology turns C 2 (X,µ) into a compact metrizable space. For example, the formula d(ρ,ρ 2 ) := k,l f k f l dρ f k f l dρ 2 2 k+l where {f k : k } is a linearly L 2 -dense set of functions of L 2 -norm yields a metric compatible with the topology on C 2 (X,µ). Now, let T be a totally ergodic automorphism of (X,B,µ), that is, T m is assumedtobeergodicforeachm 0. Let J(T r,t s ) standforthe setofjoinings between T r and T s, i.e. those ρ C 2 (X,µ) which are T r T s -invariant. By J e (T r,t s ) we denote the subset of ergodic joinings, which is never empty when both T r and T s are ergodic. 2.2 The KBSZ criterion We will need the following version of the result of Bourgain, Sarnak and Ziegler [8] (see also [23], [7]). Proposition. Assume that (a n ) is a bounded sequence of complex numbers. Assume, moreover, that (4) lim sup lim sup a rn a sn N N = 0. r,s different primes n N Then, for each multiplicative function ν : N C, ν, we have (5) lim N N a n ν(n) = 0. n N The proof of this proposition follows directly from[8] by considering a version of their result omitting a finite set of prime numbers. Proof of Theorem 2. We begin by observing that the condition of having AOP is an invariant of measure-theoretic isomorphism. Therefore, if it holds for (X,µ,T), it also holds in each of its uniquely ergodic model. Let us fix such a model (Y,ν,S). Take y Y and f C(Y) with f dν = 0. Let ε > 0. In Y view of (2), for some M, whenever r,s M are different prime numbers, we have for each κ J e (S r,s s ) (6) f f dκ ε. Y Y 4

5 Now, let r,s M be different prime numbers, and select a subsequence (N k ) so that (7) δ (S rn y,s N sn y) ρ. k n N k Then, by the unique ergodicity of S, which implies the unique ergodicity of S r and S s, it follows that ρ J(S r,s s ). Let ρ = κdp(κ) J e (S r,s s ) stand for the ergodic decomposition into ergodic joinings between S r and S s of ρ (here, we use again that the non-trivial powers of S are ergodic). Since f is continuous, in view of (7), we have f(s rn y)f(s N sn y) f f dρ. k n N Y Y k But, in view of (6), f f dρ = Y Y It follows that J e (S r,s s ) ( Y Y ) f f dκ lim sup f(s rn y)f(s N N sn y) ε. n N dp(κ) ε. We have obtained that condition (4) holds for a n := f(s n y), n 0, and the result follows from Proposition. 2.3 Special uniquely ergodic models Our idea in this section will be, given a uniquely ergodic system (X,T) (with µ as unique invariant probability measure), to build many new uniquely ergodic models of the measure-theoretic system (X,µ,T). Any such model will depend on the choice of an increasing sequence of integers = b < b 2 < with b k+ b k, and of an arbitrary sequence of points (x k ) in X. We define a sequence y = (y n ) X N by setting y n := T n x k whenever b k n < b k+ : y = (Tx,...,T b2 x,t b2 x 2,...,T b3 x 2,T b3 x 3,...). Let S denote the shift in X N, where X N is consideredwith the product topology, and set Y := {S n y : n 0} X N. Proposition 2. The topological dynamical system (Y, S) defined above is uniquely ergodic. The unique S-invariant probability measure on Y is the graph measure ν determined by the formula ν(a A 2... A m X...) := µ(a T A 2... T m+ A m ). Moreover, the measure-theoretic dynamical system (Y, ν, S) is isomorphic to (X,µ,T). 5

6 Proof. We firstprovethaty is genericforthemeasureν defined in thestatement of the proposition. Indeed, let κ be a probability measure on Y for which y is quasi-generic, i.e. assume that there exists a sequence of integers N j such that N j n N j δ Sn y κ. For fixed j, the projection of the left-hand side on the first coordinate is ν j := δ T N n x + δ T n x j b n<b 2 b 2 n<b 3 + b k n<b k δ T n x k + b k n<b k +u δ T n x k where b k + u = N j < b k+. Then, the difference the pushforward of ν j by T and ν j is, T ν j ν j = N j ( δt b 2x δ Tx +δ T b 3x2 δ T b 2x δ T b kxk δ T b k xk +δ T b k +u+ x k δ T b kxk ), and this measure goes weakly to zero as b k+ b k. Hence the limit of ν j is T-invariant and, by unique ergodicity, the projection of κ on the first coordinate has to be equal to µ. Now, using again b k+ b k, we see that the proportion of integers n N j such that the second coordinate of S n y is not the image by T of the first coordinate of S n y go to zero as j, and it follows that, κ-almost surely, the second coordinate of z Y is the image by T of the first coordinate of z. The same argument works for any coordinate and we conclude that κ = ν. Now, the fact that each z Y is also generic for the same measure ν is a direct consequence of the following easy fact: If n j and z = lim j S nj y, then either there exists z X such that z = (z,tz,t 2 z,...), or there exist z,z 2 X and l 0 such that z = (z,tz,...,t l z,z 2,Tz 2,T 2 z 2,...). Indeed, wecanapproximateany window z[,m]bys nj y[,m] = y[n j +,n j + M], and when n j, such a window has at most one point of discontinuity, that is, it contains at most once two consecutive coordinates which are not successive images by T of some x k. Finally, by the construction of ν, the map x (x,tx,t 2 x,...) is clearly an isomorphism between (X,µ,T) and (Y,ν,S). Proof of Theorem 3. Apply the conclusion of Theorem 2 to the specific uniquely ergodic model (Y,S) which is constructed above, starting from the point y and taking an arbitrary continuous function of the first coordinate. 6

7 3 Asymptotic orthogonality of powers for quasidiscrete spectrum automorphisms 3. The key lemma We say that c S is irrational if c n for each integer n 0. Recall that an ergodic automorphism T is totally ergodic if and only if all its eigenvalues except are irrational. Lemma. Let c and c 2 be irrational in S. Then there exists at most one pair (r,s) of mutually prime natural numbers such that c r = cs 2. Proof. Let (r,s) and (r,s ) be two pairs of mutually prime natural numbers satisfying c r = cs 2, and cr = cr 2. Let d S be such that d s = c. We have (d r ) s = c r = c s 2. Multiplying if necessary d by an appropriate s-th root of the unity, and using the fact that r and s are mutually prime, we can assume that we also have d r = c 2. The equality c r = cr 2 now yields dr s = d s r. But d is also irrational, hence r s = sr. Since (r,s) = = (r,s ), r = r and s = s. 3.2 AOP for discrete spectrum Recall that discrete spectrum automorphisms are characterized by the fact that their eigenfunctions form a linearly dense subset of L 2. They fall into the more general case of quasi-discrete spectrum ones, but we nevertheless include a direct proof that they have AOP as soon as they are totally ergodic, since this will introduce the main ideas in a simpler context. Assume that T is a totally ergodic, discrete spectrum automorphism of (X,B,µ). Let c =,c 2,c 3,... S be its eigenvalues, and let f,f 2,... be corresponding eigenfunctions: f i T = c i f i, f i =. Note that c i is irrational and f i dµ = 0 whenever i 2. Let us prove that the AOP property holds for T. Since the linear subspace spanned by f 2,f 3,... is dense in the subspace of square integrable functions with zero integral, it is enough to show that, for any fixed i,j 2, f i f j dρ = 0, ρ J e (T r,t s ), if r and s are large enough and (r,s) =. But we have f i f j dρ = (f i ½ X ) (½ X f j )dρ, wheref i ½ X isaneigenfunctionfor(t r T s,ρ) correspondingtotheeigenvalue c r i, while ½ X f j is an eigenfunction for (T r T s,ρ) corresponding to c s j. But, if these two eigenvalues are different, the functions f i ½ X and ½ X f j are orthogonal. It is then enough to observe that, by Lemma, the equality c r i = cs j has at most one solution with (r,s) =. Example. If we consider T an ergodic rotation whose group of eigenvalues is of the form {e 2πiqα : q Q} and α [0,) is irrational, then by the Halmosvon Neumann theorem (e.g. [4]) it follows that all non-zero powers of T are isomorphic. This is an extremal example of an automorphism with non-disjoint powers for which the AOP property holds. 7

8 3.3 Quasi-discrete spectrum We denote by M = M(X, B, µ) the multiplicative group of functions f L 2 (X,B,µ) satisfying f =. Let T be an ergodic automorphism of (X,B,µ). We define on M the group homomorphism W T by setting W T (f) := f T/f. Note that (W T f) T = W T (f T). Let E 0 (T) S denote the group of eigenvalues of T, which we also consider as a subgroup of (constant) functions in M. Then, for each integer k, we inductively set E k (T) := {f M : W T f E k (T)}. It is easily proved by induction on k that E k (T) is the subgroup of M constituted of all f M satisfying W k T f E 0(T), and that, by the ergodicity of T, f E k (T)\E k (T) W k T f E 0(T)\{}. Theelementsof k 0 E k(t)arecalledquasi-eigenfunctions. Clearly,E k (T) E k+ (T), k 0. We denote by E0 irr (T) the set of irrational eigenvalues of T, and for each k, we set Ek irr (T) := {f E k (T) : WTf k E0 irr (T)}. Lemma 2. Let T be an ergodic automorphism of (X,B,µ), k and f (T). Then E irr k X f dµ = 0. Proof. We prove the result by induction on k. For k =, the conclusion holds for each eigenfunction f whose eigenvalue is different from. Assume that the result is proved for k, and consider f Ek+ irr (T). Set g := W Tf Ek irr(t), so that f T = gf. Then, for each n, we have f T n = g (n) f, where It follows that (8) Observe now that g (n) := g g T g T n E k (T). f (f T n )dµ = g (n) dµ. X X W k Tg (n) = W k Tg W k T(g T) W k T(g T n ) = ( W k Tg ) n = ( W k+ T f ) n, which is an irrational eigenvalue. We therefore have g (n) Ek irr (T), and by induction hypothesis, g (n) dµ = 0. X Coming back to (8), we see that the spectral measure of f is the Lebesgue measure on the circle, which implies the result. 8

9 Lemma 3. Let T be an ergodic automorphism of (X,B,µ), k, and f E k (T). Then for each integer r, W k T rf = ( W k T f) r k. Proof. Again, we prove the result by induction on k. For k =, take f E (T) and let c := W T f be the corresponding eigenvalue (for T). Then W T rf = f T r /f = c r = (W T f) r. Now, assume the result is proved for k, and take f E k+ (T). Note that W Tr f E k (T), so that, using the induction hypothesis, we have W k+ T r f = Wk T r (W T r f) = ( W k T W T rf) r k = ( W k T f Tr /W k T f) r k. But WT k f is an eigenfunction of T. Denoting by c := Wk+ T f the corresponding eigenvalue, the right-hand side of the above equality becomes (c r ) rk = c rk+. Proposition 3. Let T be a totally ergodic automorphism of (X,B,µ), k, f E k (T)\E k (T) and g E k (T). Then there exists at most one pair (r,s) of mutually prime natural numbers for which we can find ρ J e (T r,t s ) satisfying f gdρ 0. X X Proof. Assume that r, s and ρ are as in the statement of the proposition. In the ergodic dynamical system (X X,ρ,T r T s ), we have W k T r T s (f g) = Wk T rf Wk T sg, where both WT k rf and Wk Tsg are eigenvalues of T by Lemma 3. This product is therefore constant, let us denote it by c. It is an eigenvalue of T r T s, and it is also the product of two eigenvalues of T, hence it is also an eigenvalue of T. This proves that f g E k (T r T s ). Since we assume that f gdρ 0, Lemma 2 yields that WT k r T sf g is not an irrational eigenvalue of Tr T s. But, by the total ergodicityof T, the only eigenvalue of T which is not irrational is. Using again Lemma 3, we get c = = W k T r T s (f g) = ( W k Tf ) r k (W k Tg ) s k. Remember that WT kf is irrationalbecause f E k(t)\e k (T), and T is totally ergodic. It follows that WT kg is alsoirrational, hence g E k(t)\e k (T). Then WT kf and Wk Tg are both eigenvalues of T which are different from, hence they are both irrational. We only need now to apply Lemma to conclude the proof. Definition 2. T is said to have quasi-discrete spectrum if: (9) T is totally ergodic, and (0) L 2 (X,B,µ) = span k 0E k (T). 9

10 Theorem 6. Let T be an automorphism of (X, B, µ) with quasi-discrete spectrum. Then it has the AOP property. Proof. By the definition of quasi-discrete spectrum, it is enough to check that, for any k and any f,g E k (T), we have, for r,s mutually prime and large enough and for each ρ J e (T r,t s ), f gdρ = 0. X X But this immediately follows from Proposition 3. 4 Application to some algebraic models of discrete and quasi-discrete spectrum transformations 4. Irrational rotation Fix some irrational number α, and consider the transformation R α : x x+ α on T. Then (T,R α ) is uniquely ergodic, and the corresponding measuretheoretic dynamical system is totally ergodic and has discrete spectrum. It therefore has AOP, and Theorem 3 applies in this case (we consider f(x) := e 2πix ). Then, for any multiplicative function ν, ν, any sequence (x k ) of points in T and any increasing sequence = b < b 2 < with b k+ b k, we have lim K b K+ k K e 2πix k b k n<b k+ e 2πinα ν(n) = 0. Now, for each k, we can choose x k T such that e 2πix k e 2πinα ν(n) = e 2πinα ν(n) b k n<b k+ b k n<b k+. This proves Theorem 4 in the case of a polynomial of degree. 4.2 Affine transformations of the d-dimensional torus To prove Theorem 4 in its full form, we generalize the preceding case by considering some transformation of the d-dimensional torus of the form T : (x,...,x d ) (x +α,x 2 +x,...,x d +x d ). This transformation is an affine transformation, it can be written as x Ax+b where A = [a ij ] d i,j= is the matrix defined by a :=,a i,i = a ii := and all other coefficients equal to zero, and b := (α,0,...,0). Taking again α irrational, (T d,t) is a uniquely ergodic dynamical system, and it is totally ergodic with respect to the Haar measure on T d, which is the unique invariant measure [2]. Moreover, the corresponding measure-theoretic dynamical system has quasidiscrete spectrum [4]. Hence it has AOP, and Theorem 3 applies again. In particular, we will use this theorem with the function f(x,...,x d ) := e 2πix d, 0

11 observing as in [0,2] that the last coordinate of T n (x,...,x d ) is the following polynomial in n: ( ) ( ) n n α+ x +...+nx d +x d. d d Proof of Theorem 4. Consider a fixed polynomial P R[x], whose leading coefficient is irrational. Then we can always choose α,x,...,x d so that ( ) ( ) n n α+ x +...+nx d +x d = P(n) for all n. d d Let = b < b 2 < be a sequence of integers satisfying b k+ b k, and define a sequence (x k ) of points in T d by setting x k := (x,x 2,...,x d,x d +t k ), where (t k ) is a sequence of points in T to be precised later. Then, Theorem 3 applied to T gives lim K b K+ k K e 2πit k b k n<b k+ = 0. Now, for each k we can choose t k T such that e 2πit k = b k n<b k+ b k n<b k+, and this concludes the proof. Proof of Theorem 5. Assume that the result is false. Then we can find a non constant P R[x] with irrational leading coefficient, and two sequences (M l ) and (H l ) with H l, H l /M l 0, satisfying for some ε > 0: () l, M l M l m<2m l H l m n<m+h l > ε. By passing to a subsequence if necessary, we can also assume that for each l, M l+ > 2M l +H l. Rewriting the left-hand side of the above inequality as H l M l /H l H l 0 r<h l m n<m+h l, M l m<2m l m=r mod H l we see that for each l there exists 0 r l < H l such that (2) M l /H l H l m n<m+h l > ε. M l m<2m l m=r l mod H l

12 Now, set { = b < b 2 <...} := {} {m : M l m < 2M l +H l and m = r l mod H l }, l and let K l be the largestk such that b k < 2M l. Observingthat b Kl +/(2M l ), and using inequality (2), we get lim inf l b Kl + k K l liminf l which contradicts Theorem 4. b k + n<b k+ 2M l m n<m+h l ε/2, M l m<2m l m=r l mod H l 4.3 Algebraic models of general quasi-discrete spectrum transformations Assume that T is a quasi-discrete spectrum automorphism of (X, B, µ). Then, in view of [4], [8], [9], up to measure theoretic isomorphism, we may assume that: (i) X is a compact, connected, Abelian group. (ii) Tx = Ax + b, where A : X X is a continuous group automorphism, b X, and the group generated by (A I)X and b is dense in X. (iii) For each character χ X, there exists m 0 such that χ (A I) m =. By (iii), n 0 (A I)n X = {0}, that is, T is unipotent, and by [20], [2], it follows that T is minimal. Then, in view of [8], (T,X) is uniquely ergodic. Theorem 7. Assume that T satisfies (i), (ii) and (iii). Let ν : N C be any multiplicative function, with ν. Then, for each χ X and each increasing sequence = b < b 2 <... with b k+ b k and each choice of (z k ) X, we have b K+ k K χ(t n z k )ν(n) 0 when K. b k + n<b k+ Proof. We have already noticed that (X, T) is uniquely ergodic. Fix a character χ X. Using (iii), let m 0 be the smallest such that χ (A I) m =. Since χ, we have m. Let Y m := (A I) m X. Note that: Y m is a non-trivial subgroup of X (indeed, otherwise, χ (A I) m = ); Note that χ(tx) = χ(x) ( χ((a I)x)χ(b) ), so by an easy induction, we obtain that χ E m(t) if m is the smallest such that χ (A I) m =. 2

13 Y m is connected (indeed, (A I) m is a continuousgrouphomomorphism and, by (i), Y m is the image of a connected space); χ(y m ) = S (by the previous observation). Note that, for each y Y m, we have χ A(y) = χ(y), and since AY m Y m, we also have χ A n (y) = χ(y) for each n. Moreover, for each y k Y m, we have (3) χ(t n (z k +y k )) = χ(a n y k )χ(t n z k ) = χ(y k )χ(t n z k ). It follows by the above that, for each k, we can find y k Y m such that b k + n<b k+ χ(t n (z k +y k ))ν(n) = χ(y k ) χ(t n z k )ν(n) b k + n<b k+ = χ(t n z k )ν(n) b k + n<b k+ and the result follows by the AOP property of the system, and Theorem 3. 5 Remarks on the AOP property Remark. The class of measure-theoretic dynamical systems with AOP is stable under taking factors, since any ergodic joining of the actions of T r and T s on a factor σ-algebra extends to an ergodic joining of T r and T s. It is also close by inverse limits, since it is enough to check (2) for a dense subclass of functions f in L 2. Proposition 4. If T satisfies (2) then T is of zero entropy. Proof. Because of Remark, it is enough to show that there exists a Bernoulli automorphism with arbitrarily small entropy for which (2) fails. Fix δ > 0 and let T be the shift on X = {0,} Z considered with Bernoulli measure µ = (δ, δ) Z. Given r, consider the map ϕ r : X X, ϕ r ((x i ) i Z ) := (x ri ) i Z for each (x i ) i Z X. Then, ϕ r T r = T ϕ r and ϕ r yields a homomorphism (factormap)from(x,µ,t r )onto(x,µ,t)(becausethe lawsoftheindependent processes (X i ) i Z, X i ((x j ) j Z ) = x i and (X ri ) i Z are the same). Moreover, the extension (4) ϕ r : (X,µ,T r ) (X,µ,T) is relatively Bernoulli (see e.g. [4]) since ϕr (B) has the complementary independent sub-σ-algebra givenbythesmallestt r invariantsub-σ-algebramakingthevariablesx,...,x r - measurable. Take now r s to obtain the joining κ r,s defined as (5) g hdκ r,s := E(g ϕ r (B))(ϕ r (x))e(h ϕ s (B))(ϕ s (x))dµ(x). 3

14 In view of (4), κ r,s is ergodic. Now, consider f L 2 (X,B,µ) defined by f((x i ) i Z ) := x 0. We claim that (6) E(f ϕ r (B))(ϕ r (x)) = f(x) = x 0. Indeed, given x = (x i ) i Z X, ϕ r (x) = {y X : y ir = x i for each i Z} and on that fiber we have a relevant Bernoulli measure as the conditional measure. Note however that f is constant on the fiber, in other words, f is measurablewithrespecttoϕr (B). Since(6)holdsalsoforϕ s, usingadditionally(5), it follows that f f dκ r,s = f 2 L 2 (X,B,µ) > 0, which excludes the possibility of satisfying (2). Remark 2. There exist some zero-entropy automorphisms for which the AOP property fails. Indeed, we will show that it does not hold for horocycle flows. We have the classical relation between the geodesic and the horocycle flow: for each s,u R, we have g u h s gu = h e 2u s. Set r = e 2u s. Assume now that r s are coprime natural numbers, r,s but we also assume that r/s. For such pair (r,s), the number u is determined by e 2u = r/s, so u is close to zero. We can hence assume that g u, whose graph gu is an ergodic joining of h r = (h ) r and h s = (h ) s, belongs to the compact set of joinings { gt : t [0,]}. Since a graph joining is clearly never equal to the product measure, there is a positive distance of { gt : t [0,]} from the product measure in the relevant space of couplings. Therefore, (2) fails to hold. References [] H. El Abdalaoui, J. Ku laga-przymus, M. Lemańczyk, T. de la Rue, The Chowla and the Sarnak conjectures from ergodic theory point of view, submitted (arxiv:40.673). [2] H. El Abdalaoui, M. Lemańczyk, T. de la Rue, On spectral disjointness of powers for rank-one transformations and Möbius orthogonality, J. Functional Analysis 266 (204), [3] H. El Abdalaoui, S. Kasjan, and M. Lemańczyk, 0- sequences of the Thue- Morse type and Sarnak s conjecture [4] L.M. Abramov, Metric automorphisms with quasi-discrete spectrum, Izv. Akad. Nauk U.S.S.R., 26 (962), [5] P. Arnoux, Sturmian sequences, Chapter 6 in N.P. Fogg, Substitutions in Dynamics, Arithemtic and Combinatorics, vol. 794 Lecture Notes in Math., Springer-Verlag, Berlin Edited by V. Berthé, S. Ferenczi, C. Mauduit and A. Siegel. 4

15 [6] J. Bourgain, Möbius-Walsh correlation bounds and an estimate of Mauduit and Rivat. J. Anal. Math., 9: 47 63, 203. [7] J. Bourgain, On the correlation of the Möbius function with random rankone systems, Journal d Analyse Math. 20 (203), [8] J. Bourgain, P. Sarnak, and T. Ziegler, Disjointness of Möbius from horocycle flows. In From Fourier analysis and number theory to radon transforms and geometry, volume 28 of Dev. Math., pages Springer, New York, 203. [9] T. Downarowicz, S. Kasjan, Odometers and Toeplitz subshifts revisited in the context of Sarnak s conjecture, preprint. [0] M. Einsiedler, T. Ward, Ergodic Theory with a view towards Number Theory, Graduate Texts in Mathematics 259, Springer-Verlag London Limited 20. [] S. Ferenczi, C. Mauduit, On Sarnak s conjecture and Veech s question for interval exchanges, preprint. [2] H. Furstenberg, Strict ergodicity and transformations of the torus, American J. of Math., 83 (96), [3] H. Furstenberg, Recurrence in ergodic theory and combinatorial number theory. Princeton University Press, Princeton, N.J., 98. M. B. Porter Lectures. [4] E. Glasner, Ergodic theory via joinings, volume 0 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, [5] B. Green, On (not) computing the Möbius function using bounded depth circuits. Combin. Probab. Comput., 2(6):942 95, 202. [6] B. Green and T. Tao, The Möbius function is strongly orthogonal to nilsequences. Ann. of Math., 75(2):54 566, 202. [7] A.J. Harper, A different proof of a finite version of Vinogradov s bilinear sum inequality. ajh228/finitebilinearnotes.pdf [8] F. Hahn, W. Parry, Minimal dynamical systems with quasi-discrete spectrum, J. London Math. Soc. 40 (965), [9] F. Hahn, W. Parry, Some characteristic properties of dynamical systems with quasi-discrete spectrum, Math. Systems Theory 2 (968), [20] A.H.M. Hoare, W. Parry, Affine transformations with quasi-discrete spectrum, I, J. London Math. Soc. 4 (966), [2] A.H.M. Hoare, W. Parry, Affine transformations with quasi-discrete spectrum, II, J. London Math. Soc. 4 (966),

16 [22] D. Karagulyan, On Möbius orthogonality for interval maps of zero entropy and orientation-preserving circle homeomorphisms. Ark. Mat., 205, dx.doi.org/0.007/s [23] I. Kátai, A remark on a theorem of H. Daboussi. Acta Math. Hungar., 47(-2): , 986. [24] J. Ku laga-przymus, M. Lemańczyk, The Möbius function and continous T-extensions of rotations, to appear in Monatshefte Math. [25] E. Lehrer, Topological mixing and uniquely ergodic systems, Israel J. Math. 57 (987), [26] J. Liu, P. Sarnak, The Möbius function and distal flows, Duke Math. J. 64 (205), [27] K. Matomäki, M. Radziwi l l, T. Tao, An averaged form of Chowla s conjecture, arxiv: [28] C. Mauduit and J. Rivat, Sur un problème de Gelfond: la somme des chiffres des nombres premiers. Ann. of Math. (2), 7(3):59 646, 200. [29] C. Mauduit, J. Rivat, Prime numbers along Rudin-Shapiro sequences, to appear in Journal of the European Math. Soc., rivat/preprints/pnt-rs.pdf [30] R. Peckner, Möbius disjointness for homogeneous dynamics, arxiv: [3] P. Sarnak, Three lectures on the Möbius function, randomness and dynamics. [32] W.A. Veech, Möbius orthogonality for generalized Morse-Kakutani flows, preprint. Mariusz Lemańczyk Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopin street 2/8, Toruń, Poland address: mlem@mat.umk.pl Houcein El Abdalaoui, Thierry de la Rue Laboratoire de Mathématiques Raphaël Salem, Normandie Université, Université de Rouen, CNRS Avenue de l Université 7680 Saint Etienne du Rouvray, France address: elhoucein.elabdalaoui@univ-rouen.fr, Thierry.de-la-Rue@univ-rouen.fr 6