Ergodic polynomial odd-recurrence conjecture

Let (X,μ,T)(X,\mu,T) be an ergodic measure-preserving system and let k,dNk,d\in\mathbb{N}. Suppose that (X,μ,Tk)(X,\mu,T^k) is ergodic. For polynomials p1,,pdp_1,\ldots,p_d over Z\mathbb{Z} satisfying pi(0)=0p_i(0)=0 for i=1,,di=1,\ldots,d, and a measurable set AXA\subseteq X with μ(A)>0\mu(A)>0, define

R={nZ:μ(Tp1(n)ATpd(n)A)>0}.R=\{n\in\mathbb{Z}:\mu(T^{-p_1(n)}A\cap\cdots\cap T^{-p_d(n)}A)>0\}.

Ergodic polynomial odd-recurrence conjecture. The set RR has nonempty intersection with every infinite arithmetic progression of step size kk.

The source states that this is an ergodic-theoretic analogue equivalent to the topological polynomial odd-recurrence conjecture. No resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Daniel Glasscock, Andreas Koutsogiannis, Anh N. Le, Joel Moreira, Florian K. Richter and Donald Robertson, “A structure theorem for polynomial return-time sets in minimal systems”, arXiv:2511.02080 (2026).

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.