Totally ergodic convergence conjecture for power functions

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

fi(t)=a1tc1++adtcd,ai,ciR,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,,hkL(X)h_1,\ldots,h_k\in L^\infty(X). Power-function convergence conjecture. Then

limN1Nn=1NTf1(n)h1Tfk(n)hk=i=1kXhidμ\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.

Sources & referencesView supporting material

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.