A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The classical capacity of generalized amplitude damping
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:physics, atoms Levels:1
Category:Mathematical physics Lean version:YES! ✔
Rate this game! 4.9 out of 5 (5,745 votes)

>>> How to Play <<<
Classical capacity of generalized amplitude damping. Determines the unassisted classical capacity of every qubit generalized amplitude-damping channel, including all damping and thermal parameters. An explicit one-variable optimization gives the capacity, attained by independent two-state signal ensembles with collective decoding. Holevo capacity, minimum output entropy and regularized classical capacity are additive when tensoring with any finite-dimensional quantum channel.

>>> Level Select <<<
released 2026-09-24  |  3 theorems · 6 lemmas · 16 proofs · 7,555 words  |  PLAY LEVEL 1 »  (pdf)
We determine the unassisted classical capacity of every qubit generalized amplitude-damping channel, for all damping strengths and thermal occupations. It equals the one-shot Holevo capacity and is given by a one-variable maximum. A binary pure-state ensemble attains the one-use optimum, and its independent products attain the optimum at every block length. We also prove that one-shot Holevo capacity, minimum output entropy, and regularized unassisted classical capacity are additive under tensor product with every finite-dimensional completely positive trace-preserving partner channel.

More Mathematical physics Games!
Positive-temperature Bose–Einstein condensation and quantum depletionThe spin-one Haldane gapThe Laughlin gap and stability under scalar disorderThreshold and positive-energy bound states of the BFSS model
Bloch's law and spontaneous ferromagnetic orderEntanglement without secret key and the PPT-square conjectureThe entropy photon-number inequalityMoore's parity conjecture for $\mathrm{QAC}^0$

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