A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Threshold repetition for entangled games
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

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:physics, atoms Levels:1
Category:Mathematical physics Lean version:YES! ✔
Rate this game! 4.8 out of 5 (8,991 votes)

>>> How to Play <<<
Threshold repetition for entangled games. Proves exponential threshold repetition for every finite two-player one-round game: if its entangled value is v < 1, the probability of winning at least a fraction $v+\delta$ of k independent repetitions decays exponentially in k, for $0\lt \delta\lt 1-v$. Arbitrary joint finite-dimensional entangled strategies and correlated question distributions are allowed.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 6 lemmas · 11 proofs · 7,151 words  |  PLAY LEVEL 1 »  (pdf)
For every finite two-player game with entangled value v < 1, we prove exponential decay for the probability of winning at least a $v+\delta$ fraction of k independent repetitions, uniformly over all finite-dimensional joint strategies. The result allows arbitrary correlated question distributions and holds for every $0\lt \delta\lt 1-v$ and k ≥ 1. Its universal rate is proportional to $\delta^5/(1+\log(|\mathcal A||\mathcal B|))$, where $\mathcal A,\mathcal B$ are the answer alphabets. For each fixed question distribution, we also obtain an explicit cubic rate in δ.

More Mathematical physics Games!
Moore's parity conjecture for $\mathrm{QAC}^0$QMA-hardness of continuum Coulomb energyThe classical capacity of generalized amplitude dampingFailure of Kohn–Sham ensemble representation
Exact quantum factoring over a fixed finite gate set HOT!Strong locality for strongly rational unitary vertex operator algebrasQAOA optimality for the SK modelScale-to-conformal enhancement in four-dimensional QFT

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