Optimal lower bounds for multiple recurrence

From MaRDI portal



Abstract: Let (X,mathcalB,mu,T) be an ergodic measure preserving system, AinmathcalB and epsilon>0. We study the largeness of sets of the form �egin{equation*} �egin{split} S = left{ ninmathbb{N}colonmu(Acap T^{-f_1(n)}Acap T^{-f_2(n)}Acapldotscap T^{-f_k(n)}A)> mu(A)^{k+1} - epsilon ight} end{split} end{equation*} for various families f1,dots,fk of sequences ficolonmathbbNomathbbN. For kleq3 and fi(n)=if(n), we show that S has positive density if f(n)=q(pn) where qinmathbbZ[x] satisfies q(1) or q(−1)=0 and pn denotes the n-th prime; or when f is a certain Hardy field sequence. If Tq is ergodic for some qinmathbbN, then for all rinmathbbZ, S is syndetic if f(n)=qn+r. For fi(n)=ain, where ai are distinct integers, we show that S can be empty for kgeq4, and for k=3 we found an interesting relation between the largeness of S and the abundance of solutions to certain linear equations in sparse sets of integers. We also provide some partial results when the fi are distinct polynomials.



Cites work









This page was built for publication: Optimal lower bounds for multiple recurrence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5135915)