https://thequantuminformation.com/p/the-rains-bound-is-not-the-ppt-distillationThe Quantum Informationen2026-10-09T14:00:11+00:00The Rains Bound Is Not the PPT Distillation Ratehttps://thequantuminformation.com/p/a-concrete-counterexample-to-tsirelsonsThe Quantum Informationen2026-10-08T14:17:06+00:00A Concrete Counterexample to Tsirelson’s Problem, Checked in Lean