A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Pointwise multiple ergodic averages for mixing transformations
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:things that move forever Levels:4
Category:Dynamical systems and ergodic theory Lean version:not yet
Rate this game! 4.8 out of 5 (8,564 votes)

>>> How to Play <<<
Pointwise multiple ergodic averages for mixing transformations. Proves almost-everywhere convergence of consecutive multiple ergodic averages of every finite length for invertible mixing probability-preserving transformations. For each fixed tuple of bounded functions, the limit is the product of their integrals, along all positive averaging lengths. No mixing rate or standardness assumption on the probability space is required.

>>> Level Select <<<
released 2026-10-04  |  3 theorems · 12 lemmas · 18 proofs · 11,038 words  |  PLAY LEVEL 1 »  (pdf)
Let T be an invertible mixing probability-preserving transformation. For every integer n ≥ 2 and every fixed tuple of bounded measurable functions, we prove that the consecutive multiple ergodic averages of length n converge almost everywhere to the product of the integrals, as the averaging length tends to infinity through all positive integers. The probability space need not be standard, and no rate of mixing is required.
released 2026-10-04  |  2 theorems · 9 lemmas · 19 proofs · 16,800 words  |  PLAY LEVEL 2 »  (pdf)
We prove that fourfold ergodic averages along the times $n,2n,3n,4n$ converge almost everywhere to the product of the integrals for every invertible, bimeasurable, mixing probability-preserving transformation and every fixed choice of bounded measurable inputs. Convergence holds along all positive integer averaging lengths. No quantitative mixing rate is assumed, and the probability space need not be standard.
released 2026-10-04  |  2 theorems · 15 lemmas · 18 proofs · 20,667 words  |  PLAY LEVEL 3 »  (pdf)
For every invertible mixing probability-preserving transformation, triple ergodic averages of bounded measurable functions along any three pairwise distinct nonzero integer slopes converge almost everywhere to the product of their integrals. The slopes may be positive or negative.
released 2026-10-04  |  2 theorems · 20 lemmas · 26 proofs · 30,097 words  |  PLAY LEVEL 4 »  (pdf)
We prove pointwise convergence of triple ergodic averages for every invertible mixing probability preserving transformation T of an arbitrary probability space $(X,\mathcal F,\mu)$, with measurable inverse. For every triple of bounded measurable functions $f_1,f_2,f_3:X\to\mathbb C$, $\displaystyle \frac1N\sum_{n=1}^N f_1(T^nx)f_2(T^{2n}x)f_3(T^{3n}x) \longrightarrow \prod_{j=1}^3\int_X f_j\,d\mu$ for μ-almost every x as $N\to\infty$ through all positive integers.

More Dynamical systems and ergodic theory Games!
Zero entropy does not guarantee a smooth positive-volume modelArithmetic classification of Bernoulli convolutionsUniform limit-cycle bounds in Hilbert's sixteenth problem HOT!Banach's simple Lebesgue-spectrum problem
Rokhlin's multiple-mixing problemSinai's positive-entropy conjecture for the standard mapThe near-boundary Birkhoff conjectureThe dimension formula for self-similar measures on the line

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games