A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The Phillips–Toms formula for minimal integer actions
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

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:infinite matrices Levels:2
Category:Operator algebras Lean version:not yet
Rate this game! 4.5 out of 5 (5,312 votes)

>>> How to Play <<<
Radius of comparison equals half the mean dimension. For every minimal homeomorphism h of an infinite compact metrizable space X, the radius of comparison of $C(X)\rtimes_h\mathbb Z$ equals $\tfrac12\mathrm{mdim}(X,h)$, including infinite values. Zero mean dimension is equivalent to the small boundary property, Jiang–Su stability and finite nuclear dimension; in this case nuclear dimension is at most one.

>>> Level Select <<<
released 2026-09-25  |  4 theorems · 12 lemmas · 16 proofs · 11,422 words  |  PLAY LEVEL 1 »  (pdf)
We prove that, in sufficiently large smash powers, an $MU$-null restriction to a finite pointed subcomplex becomes stably null on the entire union of products with a fixed positive proportion of restricted factors. This coherent vanishing theorem yields boundary-preserving compression of cube-valued maps on every compact metrizable input space. When the torus slot bundle embeds continuously into a trivial bundle of rank less than twice the source rank, the compression places a positive proportion of slots on their boundaries in arbitrarily large powers and fixes every original boundary slot exactly. An example at equality shows that the strict rank inequality cannot be removed.
released 2026-09-25  |  4 theorems · 5 lemmas · 9 proofs · 9,689 words  |  PLAY LEVEL 2 »  (pdf)
We prove the integer-action case of the Phillips–Toms conjecture: for every minimal homeomorphism of an infinite compact metrizable space, the radius of comparison of its crossed product equals one half of its mean dimension, including equality at infinity. For these systems, zero mean dimension and the small boundary property are equivalent to Jiang–Su stability and to finite nuclear dimension of the crossed product; in this case its nuclear dimension is at most one.

More Operator algebras Games!
From ordinary to strong pure infinitenessCounterexamples to Baum–Connes and Kadison–KaplanskyArithmetic rigidity of lattice von Neumann algebrasAll nonabelian free group factors are isomorphic HOT!
Kadison's similarity conjectureThe strong Kadison–Kastler conjectureConnes' bicentralizer conjecture and relative bicentralizersToms–Winter and equivariant Jiang–Su stability

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