A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The entropy photon-number inequality
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, 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 (8,617 votes)

>>> How to Play <<<
The entropy photon-number inequality. Proves the entropy photon-number inequality for beam-splitter mixing of two independent finite-energy bosonic inputs in any finite number of modes: the output's entropy photon number is at least the transmissivity-weighted average of the inputs'. Arbitrary entanglement within each input is allowed, and product thermal inputs attain equality even when their entropies differ.

>>> Level Select <<<
released 2026-09-24  |  2 theorems · 8 lemmas · 15 proofs · 12,445 words  |  PLAY LEVEL 1 »  (pdf)
We prove the entropy photon-number inequality for two independent bosonic inputs with finite mean energy, for every finite number of modes. This resolves the entropy photon-number conjecture in this finite-energy setting while allowing arbitrary entanglement among the modes within either input. As a consequence, we determine the exact minimum output entropy at fixed input entropy for every finite tensor power of an identical thermal attenuator, over finite-energy inputs that may be entangled across modes. We also obtain the exact classical capacity region of the degraded two-receiver pure-loss bosonic broadcast channel under a mean photon constraint.

More Mathematical physics Games!
QMA-hardness of continuum Coulomb energyThe classical capacity of generalized amplitude dampingThreshold repetition for entangled gamesFailure 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