A good universal weight for nonconventional ergodic averages in norm

TL;DR

This paper demonstrates that a specific sequence from the double recurrence theorem acts as a universal weight for Furstenberg averages, ensuring convergence in a broad class of measure-preserving systems.

Contribution

It establishes that the sequence from the double recurrence theorem is a good universal weight for Furstenberg averages, independent of the integers involved.

Findings

The sequence ensures convergence of multiple ergodic averages in $L^2$.

The convergence holds for a full-measure set of points in the original system.

The result applies universally across different measure-preserving systems.

Abstract

We will show that the sequence appearing in the double recurrence theorem is a good universal weight for the Furstenberg averages. That is, given a system $(X, \mathcal{F}, \mu, T)$ and bounded functions $f_1, f_2 \in L^\infty(\mu)$, there exists a set of full-measure $X_{f_1, f_2}$ in $X$ that is independent of integers $a$ and $b$ and a positive integer $k$ such that for all $x \in X_{f_1, f_2}$ and for every other measure-preserving system $(Y, \mathcal{G}, \nu, S)$, and each bounded and measurable function $g_1, \ldots, g_k \in L^\infty(\nu)$, the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)g_1 \circ S^n g_2 \circ S^{2n} \cdots g_k \circ S^{kn} \] converge in $L^2(\nu)$.