Totally ergodic convergence conjecture for power functions

About 6 years old · traced to

Let f1,…,fkf_1,\ldots,f_k be linearly independent functions of the form

fi(t)=a1tc1+⋯+adtcd,ai,ci∈R,ci>0.f_i(t)=a_1t^{c_1}+\cdots+a_dt^{c_d},\qquad a_i,c_i\in\mathbb{R},\quad c_i>0.

Let (X,B,μ,T)(X,\mathcal{B},\mu,T) be a totally ergodic measure-preserving system and let h1,…,hk∈L∞(X)h_1,\ldots,h_k\in L^\infty(X). Power-function convergence conjecture. Then

lim⁡N→∞1N∑n=1NT⌊f1(n)⌋h1⋯T⌊fk(n)⌋hk=∏i=1k∫Xhi dμ\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{\lfloor f_1(n)\rfloor}h_1\cdots T^{\lfloor f_k(n)\rfloor}h_k =\prod_{i=1}^k\int_Xh_i\,\mathrm{d}\mu

in L2(X)L^2(X). This interpolates between the known integer-polynomial totally ergodic case and the known all-noninteger-power case; the general mixed-power assertion is posed as an open conjecture.

References

Primary source

Vitaly Bergelson, Joel Moreira and Florian K. Richter, “Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications”, arXiv:2006.03558 (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.