A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Zero entropy does not guarantee a smooth positive-volume model
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, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:things that move forever Levels:1
Category:Dynamical systems and ergodic theory Lean version:YES! ✔
Rate this game! 4.8 out of 5 (5,574 votes)

>>> How to Play <<<
Zero entropy does not guarantee a smooth positive-volume model. Constructs a zero-entropy ergodic invertible transformation of a standard nonatomic probability space that is not measurably conjugate to any C∞ diffeomorphism preserving a strictly positive smooth probability density on a compact finite-dimensional manifold. One example rules out every finite dimension.

>>> Level Select <<<
released 2026-09-25  |  2 theorems · 14 lemmas · 21 proofs · 17,639 words  |  PLAY LEVEL 1 »  (pdf)
We construct an ergodic invertible transformation of a standard nonatomic probability space with zero Kolmogorov–Sinai entropy that has no smooth positive-volume model. More precisely, it is not measurably conjugate to any C∞ diffeomorphism preserving a strictly positive smooth probability density on a compact finite-dimensional manifold. A single example excludes every finite dimension, including models on nonorientable manifolds and manifolds with smooth boundary.

More Dynamical systems and ergodic theory Games!
Uniform limit-cycle bounds in Hilbert's sixteenth problem HOT!Banach's simple Lebesgue-spectrum problemRokhlin's multiple-mixing problemSinai's positive-entropy conjecture for the standard map
The near-boundary Birkhoff conjectureThe dimension formula for self-similar measures on the linePermanence for weakly reversible reaction networksWeak mixing of irrational triangular billiards

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