Non-ergodic counterexample to large intersections for admissible pairs

About 5 years old · traced to

Let GG be a countable discrete abelian group, and let φ,ψ:G→G\varphi,\psi:G\to G be an admissible pair of homomorphisms. A measure-preserving system is a quadruple (X,B,μ,(Tg)g∈G)(X,\mathcal B,\mu,(T_g)_{g\in G}), and A∈BA\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)g∈G)(X,\mathcal B,\mu,(T_g)_{g\in G}), a set A∈BA\in\mathcal B with μ(A)>0\mu(A)>0, and c<1c<1 such that

μ(A∩Tφ(g)−1A∩Tψ(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 g≠0g\ne0.

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

References

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.