A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Amenability, unitarizability, and Ulam stability
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

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:symmetry Levels:2
Category:Group theory Lean version:YES! ✔
Rate this game! 4.7 out of 5 (4,831 votes)

>>> How to Play <<<
Amenability, unitarizability, and strong Ulam stability. Resolves Dixmier's problem for all discrete groups: amenability is equivalent to every uniformly bounded Hilbert-space representation being similar to a unitary representation. For countable discrete groups, amenability is also equivalent to strong Ulam stability: sufficiently accurate unitary approximate representations are uniformly close in operator norm to genuine representations on the same, possibly infinite-dimensional, Hilbert space.

>>> Level Select <<<
released 2026-09-23  |  1 theorem · 5 lemmas · 12 proofs · 6,895 words  |  PLAY LEVEL 1 »  (pdf)
We prove that a discrete group is amenable if and only if every uniformly bounded representation on a complex Hilbert space is similar to a unitary representation. This resolves Dixmier's unitarizability problem affirmatively for discrete groups.
released 2026-10-05  |  1 theorem · 6 lemmas · 8 proofs · 7,224 words  |  PLAY LEVEL 2 »  (pdf)
A countable discrete group is amenable if and only if it is strongly Ulam stable: every sufficiently accurate unitary almost representation, on any complex Hilbert space, is uniformly close in operator norm to a genuine representation on the same space. We prove the converse to Kazhdan's amenable stability theorem, answering the question of Burger, Ozawa, and Thom. The inclusion of infinite-dimensional Hilbert spaces is essential.

More Group theory Games!
A hyperbolic group with no geometric CAT(0) actionGersten's conjecture for one-relator groupsA group without fixed priceCannon's conjecture HOT!
An infinite finitely presented residually finite $2$-groupThompson's group $F$ is nonamenable HOT!A finitely generated counterexample to Eilenberg–GaneaThe Boone–Higman conjecture and higher finiteness

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