A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Kadison's similarity conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

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:infinite matrices Levels:1
Category:Operator algebras Lean version:YES! ✔
Rate this game! 4.8 out of 5 (746 votes)

>>> How to Play <<<
Kadison's similarity conjecture. Proves Kadison's similarity conjecture: every bounded complex-linear unital algebra homomorphism from a unital complex C∗-algebra to operators on a Hilbert space becomes a $*$-homomorphism after conjugation by a bounded invertible operator.

>>> Level Select <<<
released 2026-09-23  |  4 theorems · 15 lemmas · 23 proofs · 12,800 words  |  PLAY LEVEL 1 »  (pdf)
We prove that every bounded complex-linear unital algebra homomorphism from a unital complex C∗-algebra into the bounded operators on an arbitrary Hilbert space is similar to a $*$-homomorphism. This resolves Kadison's similarity conjecture positively. We also obtain one universal hyperreflexivity constant for all unital von Neumann algebras on arbitrary complex Hilbert spaces.

More Operator algebras Games!
The Phillips–Toms formula for minimal integer actionsFrom ordinary to strong pure infinitenessCounterexamples to Baum–Connes and Kadison–KaplanskyArithmetic rigidity of lattice von Neumann algebras
All nonabelian free group factors are isomorphic HOT!The 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