we-solve (beta)

Math-2687 · mathematics · Dynamical systems

Pointwise convergence of consecutive triple ergodic averages under mixing

Status OpenLLM status Open unverified

Statement

Definitions and mathematical statement

Statement recorded in the supplied source.
For every invertible mixing probability-preserving transformation T and bounded measurable f,g,h, do $(1/N)sum_{n=1}^N$ $f(T^n$ $x)g(T^{2n}x)h(T^{3n}x)$ converge almost everywhere to (integral f)(integral g)(integral h)?

Short English statement

For every invertible mixing probability-preserving transformation T and bounded measurable f,g,h, do $(1/N)sum_{n=1}^N$ $f(T^n$ $x)g(T^{2n}x)h(T^{3n}x)$ converge almost everywhere to (integral f)(integral g)(integral h)?

Sources

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Math-2687-A1 · Literature report · LLM-generated · unknown ·

OpenAI claim summary for Math-2687

Manuscript 1 (family 154, 2026-10-04): The selected question is contained in the manuscript statement summarized here. Its broader range or additional conclusion therefore gives a claimed proof of the question as a specialization.

Manuscript 2 (family 154, 2026-10-04): The selected question is contained in the manuscript statement summarized here. Its broader range or additional conclusion therefore gives a claimed proof of the question as a specialization.

Manuscript 3 (family 154, 2026-10-04): The problem selects the mathematical statement summarized here, including its stated hypotheses and parameter range. The cited theorem gives a claimed proof of that assertion in full.

Manuscript 4 (family 154, 2026-10-04): The selected question is contained in the manuscript statement summarized here. Its broader range or additional conclusion therefore gives a claimed proof of the question as a specialization.

Pointwise convergence of consecutive triple ergodic averages under mixing

OpenAI's claim

Manuscript 1 (family 154, 2026-10-04): For every invertible mixing transformation, consecutive multiple ergodic averages of any fixed finite length are claimed to have an almost-everywhere limit equal to the product of the input integrals, without a mixing rate; Manuscript 2 (family 154, 2026-10-04): Fourfold averages at times $n,2n,3n,4n$ are claimed to converge pointwise to the product of integrals for every invertible mixing system and bounded inputs on arbitrary probability spaces. Manuscript 3 (family 154, 2026-10-04): For any invertible mixing system, the threefold averages at $n,2n,3n$ are claimed to converge almost everywhere along all positive averaging lengths to the product of integrals; Manuscript 4 (family 154, 2026-10-04): Triple averages with any three distinct nonzero integer slopes, including negative ones, are claimed to converge almost everywhere to the product of integrals for mixing transformations.

Mathematical statement of the claimed result

Mathematical claim 1.
Let $(X,\mathcal F,\mu)$ be any probability space with an invertible bimeasurable measure-preserving transformation $T$. Assume mixing, meaning $\mu(A\cap T^{-m}B)\to\mu(A)\mu(B)$ as $|m|\to\infty$ for all measurable $A,B$. OpenAI claims, for every $n\ge2$ and every fixed bounded measurable $f_1,\ldots,f_n$, \[ \frac1N\sum_{k=1}^N\prod_{j=1}^n f_j(T^{jk}x)\longrightarrow\prod_{j=1}^n\int_X f_j\,d\mu \quad\text{for almost every }x. \] The limit uses all positive integers $N$, requires no mixing rate or standardness of the probability space, and its null exceptional set may depend on the functions.
Mathematical claim 2.
For any probability space and any invertible bimeasurable measure-preserving mixing $T$, OpenAI claims for every fixed $f_1,\ldots,f_4\in L^\infty(\mu)$ that \[ \frac1N\sum_{k=1}^N\prod_{j=1}^4 f_j(T^{jk}x)\longrightarrow\prod_{j=1}^4\int_X f_j\,d\mu \quad\mu\text{-almost everywhere}. \] Mixing means $\mu(A\cap T^{-m}B)\to\mu(A)\mu(B)$ for every measurable $A,B$ as $|m|\to\infty$; no quantitative rate or standard-space assumption is imposed, and convergence is along all positive $N$.
Mathematical claim 3.
Take an arbitrary probability space and an invertible probability-preserving mixing $T$ with measurable inverse. For each fixed triple of bounded measurable complex functions, OpenAI claims \[ \frac1N\sum_{k=1}^N f_1(T^kx)f_2(T^{2k}x)f_3(T^{3k}x) \longrightarrow\prod_{j=1}^3\int_X f_j\,d\mu \quad\mu\text{-almost everywhere}. \] Mixing is the two-set condition $\mu(A\cap T^{-m}B)\to\mu(A)\mu(B)$ as $|m|\to\infty$. All positive $N$ are used and a different triple may have a different excluded null set.
Mathematical claim 4.
For an invertible bimeasurable probability-preserving mixing $T$, any pairwise distinct nonzero integers $\lambda_1,\lambda_2,\lambda_3$ and fixed bounded measurable complex functions $f_j$, OpenAI claims \[ \frac1N\sum_{k=1}^N\prod_{j=1}^3 f_j(T^{\lambda_j k}x) \longrightarrow\prod_{j=1}^3\int_X f_j\,d\mu \quad\mu\text{-almost everywhere}. \] Mixing means the two-set correlation condition as $|m|\to\infty$. Negative slopes are allowed, convergence is through all positive $N$, and the excluded null set is allowed to vary when the slopes or functions change.

Outline of the argument

Manuscript 1 (family 154, 2026-10-04): A minimal nonzero centered correlation makes smaller selected spatial lists independent. Conditional-expectation energy saturation stabilizes extensions, and a square joining array is regrouped to create an additional output-only slot; maximality of that slot count gives a contradiction using only the existing at-most-three-slot pointwise theorem. Manuscript 2 (family 154, 2026-10-04): Three-slot oscillation estimates and the companion multiple-mixing theorem supply the analytic inputs. Selected joining laws are packed into iterated arrays, where orthogonality bounds the number of extra-coordinate slots; saturated conditional laws and reanchoring increase that number, contradicting its maximal choice.

Manuscript 3 (family 154, 2026-10-04): The companion trilinear-Hilbert local construction is extended to inputs that change with spatial depth. Its four-term quadratic-phase cancellation yields a block oscillation bound growing like the square root of the block count; failure to be Cauchy would force linear growth, while mixing identifies the pointwise limit. Manuscript 4 (family 154, 2026-10-04): The local progression estimates are extended using an integer left inverse of the complete primitive configuration. Vandermonde cancellation and a height base divisible by every slope difference preserve the Fourier and divisibility bounds through discretization, giving the slope-dependent oscillation estimate needed for convergence.

Formal verification

Family 154 has no Lean scope page in this snapshot; no formalization of these manuscript results is listed.

This site has not executed the Lean files or checked their dependencies. These descriptions report the scope of the linked declarations, rather than a new verification of the proofs.

Status caveat

OpenAI attributes these results to an internal model. Its release notice cautions that results lacking full formalization can contain mistakes. This site has not independently assessed the proofs; a solved label records the scope of the reported claim.

Sources

Go to contribution →