Non-ergodic counterexample to large intersections for admissible pairs

Let GG be a countable discrete abelian group, and let φ,ψ:GG\varphi,\psi:G\to G be an admissible pair of homomorphisms. A measure-preserving system is a quadruple (X,B,μ,(Tg)gG)(X,\mathcal B,\mu,(T_g)_{g\in G}), and ABA\in\mathcal B is a measurable set. The pair has the large intersections property when the associated triple intersections satisfy the relevant uniform lower bound on a syndetic subset of GG.

Non-ergodic failure conjecture. There exist a necessarily non-ergodic measure-preserving system (X,B,μ,(Tg)gG)(X,\mathcal B,\mu,(T_g)_{g\in G}), a set ABA\in\mathcal B with μ(A)>0\mu(A)>0, and c<1c<1 such that

μ(ATφ(g)1ATψ(g)1A)cμ(A)3\mu\left(A\cap T_{\varphi(g)}^{-1}A\cap T_{\psi(g)}^{-1}A\right)\le c\mu(A)^3

for every g0g\ne0.

The conjecture says that ergodicity, or a finite ergodic decomposition, is essential for the large-intersection conclusions established in the paper.

Sources & referencesView supporting material

Primary source

Ethan Ackelsberg, Vitaly Bergelson and Andrew Best, “Multiple recurrence and large intersections for abelian group actions”, arXiv:2101.02811 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.