Source authenticated

Pointwise convergence of multiple ergodic averages for mixing transformations

Claims Theorem 1.1: for every invertible mixing probability-preserving TT (no standardness, no mixing rate), every n≥2n\ge2 and bounded f1,…,fnf_1,\dots,f_n, 1N∑k≤N∏jfj(Tjkx)→∏j∫fj\frac1N\sum_{k\le N}\prod_j f_j(T^{jk}x)\to\prod_j\int f_j almost everywhere along all NN. Companions treat n=3,4n=3,4 and three distinct nonzero slopes of either sign for mixing TT. Lemma 2.5 of the principal manuscript also states almost-everywhere convergence of averages of at most three functions at distinct positive slopes on every standard system, derived from the companion's oscillation estimate. It does NOT settle the general question for n≥4n\ge4 on non-mixing systems, nor polynomial iterates.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 4, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Pointwise convergence of multiple ergodic averages for mixing transformations · Pointwise multiple ergodic averages (mixing)

Confidence: Not scored

Registry verification: unreviewed · announcement · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Kuca (2026), Joint ergodicity - 40 years on (survey) evidence for this event

This event attributed to Unreleased internal OpenAI model

Pointwise convergence of multiple ergodic averages for mixing transformations parent of this event

Pointwise convergence of multiple ergodic averages for mixing transformations evidence for this event

Claims Theorem 1.1: for every invertible mixing probability-preserving TT (no standardness, no mixing rate), every n≥2n\ge2 and bounded f1,…,fnf_1,\dots,f_n, 1N∑k≤N∏jfj(Tjkx)→∏j∫fj\frac1N\sum_{k\le N}\prod_j f_j(T^{jk}x)\to\prod_j\int f_j almost everywhere along all NN. Companions treat n=3,4n=3,4 and three distinct nonzero slopes of either sign for mixing TT. Lemma 2.5 of the principal manuscript also states almost-everywhere convergence of averages of at most three functions at distinct positive slopes on every standard system, derived from the companion's oscillation estimate. It does NOT settle the general question for n≥4n\ge4 on non-mixing systems, nor polynomial iterates. parent of this event

Companion: Pointwise convergence of fourfold ergodic averages for mixing transformations evidence for this event

Companion: Triple ergodic averages with distinct integer slopes evidence for this event

VibeMathed record: Pointwise convergence of multiple ergodic averages for mixing transformations evidence for this event

Companion: Pointwise convergence of triple ergodic averages for mixing transformations evidence for this event

Act on this frontier

Verify, challenge, or extend the result.