{"id":"arxiv/2610.00847","url":"https://arxiv.org/abs/2610.00847","tags":["quant-ph","cs.CC"],"score":0,"title":"Beyond IP = PSPACE and QIP = PSPACE: Interactive Proofs in Arbitrary Physical Theories","domain":"quant-ph","source":"arxiv","authors":["Kishor Bharti"],"reviews":0,"subject":"quant-ph","summary":"The equalities IP = PSPACE and QIP = PSPACE, the latter achievable with three messages, raise a basic question: how much of an interactive proof's power comes from the underlying physical theory? We study interactive proofs in general probabilistic theories, which include classical and quantum theory. The answer depends on what the prover and verifier exchange and how the theory specifies efficient operations. When they exchange only classical messages, protocols in every theory satisfying our standard assumptions decide exactly PSPACE. For protocols with a quantum verifier and quantum…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}