sign in sign up
<<
Home , Kra (letter)

arXiv:2004.11835v2 [math.] 13 May 2020 utcreainsequence multicorrelation ot ,wosoe n[]ta ftesystem the if that [1] su in of showed structure who algebraic Kra, the and into Host, insight deeper provide to where fteform the of uhitrs nudrtnigtesrcueof Szemerédi’ structure the of understanding proof in interest theoretic much ergodic Furstenberg’ Since Γ uhthat such otadKa salse n[]ta h uligblocks building the that [7] in established who Kra, and Host numbers. where sacniuu ucino a on function continuous a is ii of limit usinrie n[] hr,i a hw hti addition in that shown was it Ter There, and Tao [3]. by Anot in independently raised and [15]. question [12], in a in assumption author ergodicity second the the by removed and [14], in nilsequence sadsrt n ocmatsbru of subgroup co-compact and discrete a is h roso h frmnindrslsdpn crucial depend results aforementioned the all of proofs The od n phrases. and words Key 1 ee a Here, 2010 ae,Limnetne h euto eglo,Hs n Kra and Host Bergelson, of result the extended Leibman Later, NRA OTOINI,AHN E OLMRIA N FLORIAN AND MOREIRA, JOEL LE, N. ANH KOUTSOGIANNIS, ANDREAS A TUTR FMLIORLTO EUNE WITH SEQUENCES MULTICORRELATION OF STRUCTURE NEE ATPLNMA TRTSAOGPRIMES ALONG ITERATES POLYNOMIAL PART INTEGER se nilmanifold -step ( ahmtc ujc Classification. Subject Mathematics u eut fFatiiai 2 n h uhr 1,13]. [11, authors the and [2] Frantzikinakis of results ous and utcreainsqecso h form the of sequences multicorrelation hwta hr xssanilsequence a exists there that show Abstract. , k 1 eoe h e fpienumbers, prime of set the denotes q , . . . , se nilsequences -step k N se nilsequence -step ψ lim , µ, , →∞ with : π ) R ( 1 N Let samauepeevn ytmand system preserving measure a is → sup ) p sahmgnosspace homogeneous a is T ∈ R n P X ℓ eamauepreserving measure a be α ∩ ∈ utcreainsqecs isqecs nee atp part integer nilsequences, sequences, Multicorrelation N [1 etrplnmas and polynomials, vector 1. ( N N α − ,N n lim | →∞ lim M = ) φ sasequence a is ] nrdcinadmi result main and Introduction si 1 hr xssauiomlmtof limit uniform a exists there (1) in as | ( α →∞ sasqec fteform the of sequence a is n k ( ) p π se nilmanifold -step ) − ( X − 1 N N ψ ψ ) 0 − ( ( 1 p p n · rmr:3A5 71;Scnay 11B30. Secondary: 37A15; 37A45, Primary: ψ ∈ ) M T . ) ≤ | P ≤ | X which for n ∩ α φ f [1 n N ǫ. X X ( 1 = ,N [1 n ǫ uhta o every for that such − hsrsl iutnosygnrlzsprevi- generalizes simultaneously result This · · · 1 M . = ) Z = 1 N , ] ℓ

f

ato ntepoaiiyspace probability the on -action G/ α T α 0 utcreainsequences multicorrelation f , . . . , ( ] Z N ( kn p Γ X : n X − = ) where , lim f M ) f − 0 k − { = →∞ m · 1 µ n dµ, φ T N , . . . , φ G/ ( ∈ ( ψ ⌊ ( p N ,µ T µ, X, q n f G ) 1 ( L Γ (

0 ) n − hoe 5,teehsbeen has there [5], theorem s n 1 ∞

f , . . . , sa is , 0 = hsqecswr Bergelson, were sequences ) = ) 1 M ⌋ ( 0 = ∈ yo h tutr hoyof theory structure the on ly f X e xeso a obtained was extension her o()oeas has also one (2) to } g 1 N ftefcosta control that factors the of k n > ǫ and , ) N , · · · vie n[7,answering [17], in äväinen X ) o any For . = se iptn i ru and group Lie nilpotent -step F ∈ . , − M k segdcte o any for then ergodic is 1 ( T ,x G, g oplnma iterates polynomial to 0 | ⌊ α ∈ n k q m ( π hr xssa exists there x se nilsequences -step n ( ( L ) n ) N n , ) − ∞ ∈ ⌋ > ǫ f ) lnmas prime olynomials, ψ ( .. sequences i.e., , ( .RICHTER K. m X, X X : ( ∈ = n dµ A . 0 ) ) B N ≤ | h first The . | µ , P and , we ) ∩ where ǫ , uniform [1 k N , -step (1) (2) (3) ] F φ | . 2 A.KOUTSOGIANNIS,A.N.LE,.MOREIRA,ANDF.K.RICHTER multiple ergodic averages are nilsystems. Since the analogous factors for Zℓ-actions are un- known, extending the results above from Z-actions to Zℓ-actions proved to be a challenge. Nevertheless, in [2] Frantzikinakis concocted a different approach and gave a description of the structure of multicorrelation sequences of Zℓ-actions, which we now explain. Henceforth, let ℓ N and let T be a measure preserving Zℓ-action on a probability space (X, ,µ). The system∈ (X, ,µ,T ) gives rise to a more general class of multicorrelation sequences,B B

q1(n) qm(n) α(n)= f T f T fm dµ, n N, (4) 0 · 1 · · · ∈ ZX ℓ ∞ where q ,...,qm : Z Z are integer-valued vector polynomials and f ,...,fm L (X). 1 → 0 ∈ Note that (1) corresponds to the special case of (4) when ℓ = 1 and qi(n)= in. Frantzik- inakis showed in [2] that for every α as in (4) and every ǫ > 0 there exists a k-step nilsequence ψ such that N−1 1 lim α(n) ψ(n) ǫ, (5) N−M→∞ N M − ≤ n=M − X where k only depends on ℓ, m, and the maximal degree among the polynomials q1,...,qm. Moreover, in the special case where each polynomial iterate is linear, it was proved in [2] that one can take k = m. It is still an open question whether in (5) one can replace ǫ with 0 after replacing the nilsequence ψ with a uniform limit of such sequences (see Question 2 in Section 3). For x R we denote by x the largest integer which is smaller or equal to x, while ∈ ℓ ⌊ ⌋ for x = (x1,...,xℓ) R we let x := ( x1 ,..., xℓ ). In [11], the first author extended Frantzikinakis’ results∈ to all multicorrelation⌊ ⌋ ⌊ ⌋ sequence⌊ ⌋ s of the form

⌊q1(n)⌋ ⌊qm(n)⌋ α(n)= f T f T fm dµ, n N, (6) 0 · 1 · · · ∈ ZX ℓ where q1,...,qm : R R are real-valued vector polynomials. More recently, the→ last three authors showed that the conclusion of Frantzikinakis’ result also holds along the primes: Theorem 1 ([13, Theorems A and B]). For every ℓ,m, N there exists k N with the ℓ∈ ∈ following property. For any polynomials q1,...,qm : Z Z with degree at most d, measure ℓ → ∞ preserving Z -action T on a probability space (X, ,µ), functions f0,f1,...,fm L (X), ε> 0, r N and s Z, letting α be as in (4), thereB exists a k-step nilsequence ψ∈satisfying (5) and ∈ ∈ 1 lim α(rp + s) ψ(rp + s) ε. (7) N→∞ π(N) | − |≤ p∈PX∩[1,N] In the special case d = 1 one can choose k = m. Our main theorem simultaneously generalizes the main results from [11] and [13]. Theorem A. For every ℓ,m,d N there exists k N with the following property. For ∈ ℓ ∈ ℓ any polynomials q1,...,qm : R R with degree at most d, any measure preserving Z - → ∞ action T on a probability space (X, ,µ), functions f0,f1,...,fm L (X), ε> 0, r N and s Z, letting α be as in (6), thereB exists a k-step nilsequence∈ ψ satisfying (5) ∈and (7). In∈ the special case d = 1 one can choose k = m. The proof of Theorem A, presented in the next section, follows closely the strategy implemented in [11], but uses Theorem 1 instead of Walsh’s theorem [18] as a blackbox. 3

Remark 2. Both Theorems 1 and A are equivalent to seemingly stronger versions involv- ing commuting actions. We say that two actions T1 and T2 of a group G commute if for g h h g every g, h G we have T1 T2 = T2 T1 . When G is an abelian group, a collection ∈ ◦ ◦ m of m commuting G-actions T1,...,Tm can be identified with a single G -action T via (g1,...,gm) g1 gm ℓ m ℓm T = T1 Tm . Using this observation, and the identification (Z ) = Z , · · · ℓ one sees that, given commuting measure preserving Z -actions T1,...,Tm in a probability space (X,µ,T ), Theorem 1 holds when (4) is replaced by

q1(n) qm(n) α(n)= f T f T fm dµ, (8) 0 · 1 1 · · · m ZX and Theorem A holds when (6) is replaced by

⌊q1(n)⌋ ⌊qm(n)⌋ α(n)= f T f T fm dµ. 0 · 1 1 · · · m ZX Remark 3. Let x and [x] denote the smallest integer x and the closest integer to x, respectively. Using⌈ the⌉ relations x = x and [x]= ≥x+1/2 , we see that Theorem A remains true if (6) is replaced by⌈ ⌉ −⌊− ⌋ ⌊ ⌋

[q1(n)]1 [qm(n)]m α(n)= f T f T fm dµ, n N, 0 · 1 · · · ∈ ZX where [x]i = ([x ]i, ,..., [xℓ]i,ℓ) and [ ]i, ,..., [ ]i,ℓ are any of , , or [ ]. 1 1 · 1 · ⌊·⌋ ⌈·⌉ · Acknowledgements. The fourth author is supported by the National Science Founda- tion under grant number DMS 1901453.

2. Proof of main result We start by proving a theorem concerning flows, which stands halfway in between Theorems 1 and A. The idea behind this result is that for a real polynomial q(x) = d t q(n) adx + . . . + a1x + a0 R[x] and a measure presenting flow (S )t∈R we can write S = nd ∈ (Sad ) (Sa0 )1 , an expression which can be handled by Theorem 1. · · · Theorem 4. For every ℓ,m,d N there exists k N with the following property. For ∈ ℓ ∈ any polynomials q1,...,qm : R R with degree at most d, commuting measure preserving ℓ → ∞ R -actions S1,...,Sm on a probability space (X, ,µ), functions f0,f1,...,fm L (X), ε> 0, r N, and s Z, letting B ∈ ∈ ∈ q1(n) qm(n) α(n)= f S f S fm dµ, (9) 0 · 1 1 · · · m ZX there exists a k-step nilsequence ψ satisfying (5) and (7). In the special case d = 1 one can choose k = m.

Proof. For each i [1,m], let qi = (qi,1,...,qi,ℓ) for some qi,j R[x]. Next, for each ∈ d h ∈ j [1,ℓ], write qi,j(x)= h=0 ai,j,hx , where the ai,j,h’s are real numbers. Also, for each ∈ ℓ j [1,ℓ], let ej be the j- vector of the canonical basis of R and let Ti,j,h be the measure ∈ P ai,j,hej preserving transformation defined by Ti,j,h = Si . Next, let Ti,h be the composition d+1 (n0,...,nd) n0 nd Ti,h = Ti, ,h Ti,ℓ,h, let Ti be the Z -action defined by T = T T , and let 1 · · · i i,0 · · · i,d q : Z Zd+1 be the polynomial q(n) = (1,n,...,nd). With→ this setup, for each i [1,m] and n N, we have ∈ ∈ ℓ ℓ d d qi(n) qi,j (n)ej nh q(n) Si = Si = Ti,j,h = Ti,h = Ti . j j h h =1 Y=1 Y=0 Y=0 4 A.KOUTSOGIANNIS,A.N.LE,J.MOREIRA,ANDF.K.RICHTER

ℓ d+1 Since the R -actions S1,...,Sm commute, so do the Z -actions T1,...,Tm. This implies that the multicorrelation sequence α can be represented by an expression of the form (8). The conclusion now follows directly from Theorem 1 and Remark 2.  Next we need a result concerning the distribution of real polynomials. Lemma 5. Let q R[x] be a non-constant real polynomial, r N and s Z. Then, denoting by the∈ fractional part, we have ∈ ∈ {·} 1 lim lim n [M,N) : q(n) [1 δ, 1) = 0, δ→0+ N−M→∞ N M ∈ ∈ − − n o and  1 lim lim p P [1,N] : q(rp + s) [1 δ, 1) = 0. δ→0+ N→∞ π(N) ∈ ∩ ∈ − n o  Proof. Let 1 A(δ) = lim n [M,N) : q(n) [1 δ, 1) , N−M→∞ N M ∈ ∈ − − n o and  1 B(δ) = lim p P [1,N] : q(rp + s) [1 δ, 1) . N→∞ π(N) ∈ ∩ ∈ − n o If q q(0) has an irrational coefficient, then by Weyl’s Uniform Distribution Theorem [19] and− Rhin’s Theorem [16] we have A(δ)= B(δ)= δ which approach 0 as δ 0+. →−1 ℓ j Assume otherwise that q R[x] satisfies q q(0) Q[x], say q(x)= q(0)+b ajx ∈ − ∈ j=1 where b N, aj Z for 1 j ℓ, and q(0) R. It follows that for all n N, ∈ ∈ ≤ ≤ ∈ ∈ P 1 2 b 1 q(n) q(0) mod 1 0, , ,..., − . − ∈ b b b   In particular, the fractional part q(n) takes only finitely many values. Therefore, if δ is small enough, for every n N we{ have} q(n) / [1 δ, 1) and hence A(δ) = B(δ) = 0, which implies the desired conclusion.∈ { } ∈ −  For the proof of Theorem A we adapt arguments from [10, 11], i.e., we use a multidimen- sional suspension flow to approximate α by a multicorrelation sequence of the form (9). The arising error consists of terms of the form 1{n∈N: q(n)∈[1−δ,1)} that can be controlled by Lemma 5. Proof of Theorem A. Given ℓ,m,d N, let k be as guaranteed by Theorem 4. Let ∈ q1,...,qm, T , f0,...,fm, ǫ> 0, r N, s Z and α be as in the statement. By multiply- ing each function by a constant if∈ needed,∈ we can assume without loss of generality that fi ∞ 1 for each i [1,m]. k Wek start≤ by considering∈ a multidimensional suspension flow with a constant 1 ceiling function. More precisely, let Y := X [0, 1)m×ℓ and ν = µ λ, where λ denotes the Lebesgue measure on [0, 1)m×ℓ. For each× i [1,m] define the⊗ measure preserving Rℓ- ℓ∈ ℓ m action Si on (Y,ν) as follows: for any t R and (x; b1, . . . , bm) Y = X [0, 1) , let ∈ ∈ × t ⌊bi+t⌋  S (x; b , . . . , bm) := T x; b , . . . , bi , bi + t , bi , . . . , bm , i 1 1 −1 { } +1 ℓ where u := u u for any u R . Observe that the actions S1,...,Sm commute. Let π{ :}Y X−be ⌊ ⌋ the natural∈ projection and δ > 0 a small parameter to be determined → ∞ later. For each i [1,m] let fˆi L (Y ) be the composition fˆi := fi π, and fˆ := ∈ ∈ ◦ 0 1 m×ℓ f π. Define X×[0,δ] · 0 ◦

q1(n) qm(n) α˜(n)= fˆ S fˆ S fˆm dν. 0 · 1 1 · · · m ZY 5

By Theorem 4 there exists a k-step nilsequence ψ˜ such that N−1 1 lim α˜(n) ψ˜(n) δℓmǫ/2, (10) N−M→∞ N M | − |≤ n M − X= and 1 lim α˜(rp + s) ψ˜(rp + s) δℓmǫ/2. (11) N→∞ π(N) | − |≤ p∈PX∩[1,N] On the other hand,

⌊q1(n)+b1⌋ ⌊qm(n)+bm⌋ α˜(n)= f0(x)f1 T x fm T x dµ(x) dλ(b1, . . . , bm), [0,δ]ℓm X · · · Z Z     which implies m m α˜(n) 1 ⌊qi(n)⌋ ⌊qi(n)+bi⌋ α(n) ℓm = ℓm f0(x) fi T x fi T x dµ dλ. − δ δ [0,δ]ℓm X − ! Z Z i=1   i=1   Y Y (12) −ℓm ℓ In particular, it follows from (12) that α(n) δ α˜(n) 2 for all n N. If bi [0, δ] ℓ | − |≤ ∈ ∈ and qi(n) [0, 1 δ) then qi(n)+ bi = qi(n) . Therefore (12) also implies that ∈ − ⌊ ⌋ ⌊ ⌋ α(n)= δ−ℓmα˜(n) whenever  ℓ n / n N : qi(n) [1 δ, 1) for some i [1,m] . ∈ ∈ ∈ − ∈ In view of Lemma 5, byn choosing δ small enough, we have o N−1 1 ǫ lim α(n) δ−ℓmα˜(n) < (13) N−M→∞ N M − 2 − n=M X and 1 ǫ lim α(rp + s) δ−ℓmα˜(rp + s) < . (14) N→∞ π(N) − 2 p∈P∩[1,N] X Letting ψ = δ−mℓψ˜ and combining (10) with (13) and (11) with (14) we obtain the desired conclusion.  Remark 6. As it was already mentioned in Section 1, it is an open problem whether one can improve upon the approximation in Frantzikinakis’ main result in [2] and Theorem 1 and take ǫ = 0 in (5) and (7) (see Question 2 below). However, as the following example shows, in the case of Theorem A it is not possible to improve upon the approximation in that manner.

Example 7. Take X = T := R/Z, T (x) = x + 1/√2, q(n) = √2n, f0(x) = e(x) and f (x)= e( x), where e(x) := e2πix. Then we have 1 − ⌊q(n)⌋ 1 α(n) = f0 T f1 dµ = e(x)e x √2n dx · − − √2⌊ ⌋ Z Z   1 1 = e √2n = e √2n . −√ ⌊ ⌋ √ { }  2   2  n In particular, we can write α(n) as F (T x0) with x0 = 0 T and F (x) = e( x /√2) for x T. Assume for the sake of a contradiction that there∈ exists a uniform{ limit} of nilsequences∈ φ for which N 1 lim α(n) φ(n) = 0. (15) N→∞ N | − | n=1 X 6 A.KOUTSOGIANNIS,A.N.LE,J.MOREIRA,ANDF.K.RICHTER

n By [9, Lemma 18], φ can be written as φ(n) = G(S y0) for all n N, where G is a continuous function on an inverse limit of nilsystems (Y,S) and y Y∈. 0 ∈ We claim that α(n) = φ(n) for all n N. If not, then there exists δ > 0 and n0 N such that ∈ ∈ α(n ) φ(n ) = F (T n0 x ) G(Sn0 y ) δ. (16) | 0 − 0 | | 0 − 0 |≥ Since the system (X Y, T S) is the product of two distal systems, is a distal system × × n0 n0 itself. This implies that the point (T x0,S y0) is uniformly recurrent, i.e., the sequence n n n0 n0 (T x0,S y0) visits any neighborhood of (T x0,S y0) in a syndetic set. This fact to- gether with (16) and the fact that both the real and imaginary parts of F are almost everywhere continuous and semicontinuous imply that the set n N : F (T nx ) G(Sny ) δ/2 { ∈ | 0 − 0 |≥ } is syndetic, which contradicts (15). Hence α(n) = φ(n) for all n N. However, by [6, Proposition 4.2.5], the sequence α is not a distal sequence; in particular,∈ it is not a uniform limit of nilsequences, contradicting our assumption.

3. Open questions We close this article with three open questions. Theorem A provides an approximation result of multicorrelation sequences along an integer polynomial of degree one, evaluated at primes. We can ask whether a similar result is true along other classes of sequences.

Question 1. Let q R[x] be a non-constant real polynomial, > 0, and pn denote the ∈ c c n-th prime. Suppose rn = q(n),q(pn), n or pn for n N. Is it true that for any α as in (6) and ǫ> 0, there exists a nilsequence⌊ ⌋ ψ ⌊satisfying⌋ ∈ N 1 lim α(rn) ψ(rn) ǫ? N→∞ N | − |≤ n=1 X Variants of the following question have appeared several times in the literature, e.g., [2, Remark after Theorem 1.1], [3, Problem 20], [4, Problem 1], and [8, Page 398]. Question 2. Let α be as in (4). Does there exist a uniform limit of nilsequences φ such that N−1 1 lim α(n) φ(n) = 0? N−M→∞ N M − n=M − X As mentioned in Example 7, the answer to Question 2 is negative when α is a mul- ticorrelation sequence as in (6). Nevertheless, it makes sense to ask for the following modification of it. Question 3. Let α be as in (6). Does there exist a uniform limit of Riemann integrable nilsequences φ satisfying N−1 1 lim α(n) φ(n) = 0? N−M→∞ N M − n=M − X Here we say that φ is a uniform limit of Riemann integrable nilsequences if for every ǫ> 0 there exists a nilmanifold X = G/Γ, a point x X, g G and a Riemann integrable function2 F : X C such that sup φ(n) F (∈gnx) <ǫ∈. → n∈N | − |

2A function F is Riemann integrable on a nilmanifold if its points of discontinuity is a null set with respect to the Haar measure. 7

References

[1] . Bergelson, B. Host, and B. Kra. Multiple recurrence and nilsequences. Invent. Math., 160(2):261– 303, 2005. With an appendix by I. Ruzsa. [2] N. Frantzikinakis. Multiple correlation sequences and nilsequences. Invent. Math., 202(2):875–892, 2015. [3] N. Frantzikinakis. Some open problems on multiple ergodic averages. Bull. Hellenic Math. Soc., 60:41–90, 2016. [4] N. Frantzikinakis and B. Host. Weighted multiple ergodic averages and correlation sequences. Ergodic Theory Dynam. Systems, 38(1):81–142, 2018. [5] H. Furstenberg. Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. J. d’Analyse Math., 31:204–256, 1977. [6] I. Håland. Uniform distribution of generalized polynomials. PhD thesis, The Ohio State University, 1992. [7] B. Host and B. Kra. Nonconventional ergodic averages and nilmanifolds. Ann. of Math. (2), 161(1):397–488, 2005. [8] B. Host and B. Kra. Nilpotent structures in ergodic theory, volume 235 of Mathematical Surveys and Monographs. American Mathematical Society, 2018. [9] B. Host and A. Maass. Nilsystèmes d’ordre 2 et parallélépipèdes. Bull. Soc. Math. France, 135(3):367– 405, 2007. [10] A. Koutsogiannis. Closest integer polynomial multiple recurrence along shifted primes. Ergodic Theory and Dynamical Systems, 38(2):666–685, 2018. [11] A. Koutsogiannis. Integer part polynomial correlation sequences. Ergodic Theory and Dynamical Systems, 38(4):1525–1542, 2018. [12] A. Le. Nilsequences and multiple correlations along subsequences. To appear in Ergodic Theory Dynam. Systems. https://doi.org/10.1017/etds.2018.110, 2018. [13] A. Le, J. Moreira, and F. Richter. A decomposition of multicorrelation sequences for commuting transformations along primes. arXiv:2001.11523, 2020. [14] A. Leibman. Multiple polynomial correlation sequences and nilsequences. Ergodic Theory Dynam. Systems, 30(3):841–854, 2010. [15] A. Leibman. Nilsequences, null-sequences, and multiple correlation sequences. Ergodic Theory Dynam. Systems, 35(1):176–191, 2015. [16] G. Rhin. Sur la répartition modulo 1 des suites f(p). Acta. Arith., 23:217–248, 1973. [17] T. Tao and J. Teräväinen. The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures. Duke Math. J., 168(11):1977–2027, 2019. [18] M. Walsh. Norm convergence of nilpotent ergodic averages. Ann. of Math. (2), 175(3):1667–1688, 2012. [19] H. Weyl. Über die Gleichverteilung von Zahlen mod. Eins. Math. Ann., 77(3):313–352, 1916.

Department of Mathematics, The Ohio State University, Columbus, OH, USA E-mail address: [email protected]

Department of Mathematics, Northwestern University, Evanston, IL, USA E-mail address: [email protected]

Mathematics Institute, University of Warwick, Coventry, UK E-mail address: [email protected]

Department of Mathematics, Northwestern University, Evanston, IL, USA E-mail address: [email protected]