Around Furstenberg's times p, times q conjecture: times p-invariant measures with some large Fourier coefficients

arXiv2303.01089MaRDI QIDQ6428166FDOQ6428166

Cătălin Badea, Sophie Grivaux

Publication date: 2 March 2023

Abstract: For each integer (nge 1), denote by (T_{n}) the map (xmapsto nxmod 1) from the circle group (T=mathbb{R}/mathbb{Z}) into itself. Let $p,qge2$ be two multiplicatively independent integers. Using Baire Category arguments, we show that generically a (T_{p})-invariant probability measure $mu$ on (mathbb{T}T) with no atom has some large Fourier coefficients along the sequence $(q^n{)}_{nge0}$. In particular, ((T_{q^{n}}mu )_{nge 0}) does not converges weak-star to the normalised Lebesgue measure on $mathbbT$. This disproves a conjecture of Furstenberg and complements previous results of Johnson and Rudolph. In the spirit of previous work by Meiri and Lindenstrauss-Meiri-Peres, we study generalisations of our main result to certain classes of sequences ((c_n)_{nge 0}) other than the sequences ((q^{n})_{nge 0}), and also investigate the multidimensional setting.

This page was built for publication: Around Furstenberg's times $p$, times $q$ conjecture: times $p$-invariant measures with some large Fourier coefficients

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