Coboundary characterization of nonfluctuating irrational rotation averages

Let θotinQ\theta otin\boldsymbol{Q} and let 4x=xnn4\mathsf{x}={x_n}_n with xn=nθx_n=n\theta. For a continuous function ff, write

A[N]f(x)=1Nn[N]f({nθ}).\mathbb{A}_{[N]}f(\mathsf{x})=\frac{1}{N}\sum_{n\in[N]}f(\{n\theta\}).

We say that these averages fluctuate when they are infinitely often greater than and infinitely often less than their limiting value; here the relevant limiting value is 00. Coboundary characterization conjecture. If, for a continuous function ff, the averages A[N]f(x)\mathbb{A}_{[N]}f(\mathsf{x}) fail to fluctuate on a set of positive measure, then there is a real-valued, non-constant function FF and a fixed real number θ\theta such that

f(t)=F(t)F({t+θ}).f(t)=F(t)-F(\{t+\theta\}).

The claim proposes a necessary condition for failure of fluctuation in irrational rotation averages; the source leaves the corresponding necessary-and-sufficient characterization unresolved.

Sources & referencesView supporting material

Primary source

Sovanlal Mondal, Joe Rosenblatt and Máté Wierdl, “Fluctuation of ergodic averages and other stochastic processes”, arXiv:2404.11507 (2025).

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.