MIP*=RE

arXiv:2001.04383 · quant-ph, cs.CC, math.OA · Submitted 2020-01-13 · Read on arXiv

quant-ph, cs.CC, math.OA

Submitted: 2020-01-13

Updated: 2026-10-16

Comments: 250 pages. v4: Final version, accepted to Annals of Mathematics. Multiple corrections. Added link to Lean formalization of main result

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Entanglement — 1× in this paper · explained in 4 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• A quasiparticle-protected superconducting qubit
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians