Ergodic polynomial odd-recurrence conjecture

About 1 year old · traced to

Let (X,μ,T)(X,\mu,T) be an ergodic measure-preserving system and let k,d∈Nk,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 A⊆XA\subseteq X with μ(A)>0\mu(A)>0, define

R={n∈Z:μ(T−p1(n)A∩⋯∩T−pd(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.

References

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.