Pointwise convergence of multiple ergodic averages for mixing transformations
Claims Theorem 1.1: for every invertible mixing probability-preserving (no standardness, no mixing rate), every and bounded , almost everywhere along all . Companions treat and three distinct nonzero slopes of either sign for mixing . 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 on non-mixing systems, nor polynomial iterates.
Exact FrontierDelta
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
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 (no standardness, no mixing rate), every and bounded , almost everywhere along all . Companions treat and three distinct nonzero slopes of either sign for mixing . 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 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