A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Entanglement without secret key and the PPT-square conjecture
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.5 out of 5 (6,591 votes)

>>> How to Play <<<
Entanglement without distillable secret key. Constructs an entangled state on $\mathbb C^{10}\otimes\mathbb C^{10}$ with zero distillable secret key for the specified local-instrument protocols that complete almost surely. These allow joint local processing and authenticated two-way public communication, with no other shared private resource and an eavesdropper holding the input purification and public record. A trace-preserving PPT channel on $M_{21}(\mathbb C)$ whose square is not entanglement breaking disproves Christandl's PPT-square conjecture.

>>> Level Select <<<
released 2026-09-27  |  5 theorems · 18 lemmas · 29 proofs · 23,171 words  |  PLAY LEVEL 1 »  (pdf)
We construct an entangled state on $\mathbb C^{10}\otimes\mathbb C^{10}$ with zero distillable secret key for the local-instrument protocols specified here. They allow joint processing of all copies and unlimited two-way public communication, with the input as the only shared private resource and an eavesdropper holding a purification and the complete public record. The construction also disproves the unrestricted two-map PPT-composition conjecture. A separate trace-preserving PPT channel on $M_{21}(\mathbb C)$ has a square that is not entanglement breaking.

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 orderThe entropy photon-number inequalityMoore's parity conjecture for $\mathrm{QAC}^0$QMA-hardness of continuum Coulomb energy

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