Beyond IP = PSPACE and QIP = PSPACE: Interactive Proofs in Arbitrary Physical Theories

arXiv:2610.00847 · quant-ph, cs.CC · Submitted 2026-10-01 · Read on arXiv

quant-ph, cs.CC

Submitted: 2026-10-01

Updated: 2026-10-01

Terminology

• Verifier — 153× in this paper · explained in 2 episodes
• Trace — 11× in this paper · explained in 2 episodes
• BQP — 8× in this paper · explained in 2 episodes
• Annual ACM Symposium on Theory of Computing — 4× in this paper
• Hilbert Space — 3× in this paper · explained in 2 episodes
• Quantum Circuits — 3× in this paper · explained in 2 episodes
• Alternation — 1× in this paper · explained in 1 episode
• Axioms — 1× in this paper · explained in 2 episodes
• Entanglement — 1× in this paper · explained in 3 episodes
• Generative AI — 1× in this paper · explained in 2 episodes
• Query Complexity — 1× in this paper · explained in 2 episodes

Sources

• Is Quantum Mechanics An Island In Theoryspace?
• Multiplicative Updates for Online Convex Optimization over Symmetric Cones
• Quantum Theory From Five Reasonable Axioms
• MIP*=RE

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
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity