{"id":"arxiv/2602.09282","url":"https://arxiv.org/abs/2602.09282","tags":["quant-ph","cs.CR"],"score":0,"title":"How to Classically Verify a Quantum Cat without Killing It","domain":"quant-ph","source":"arxiv","authors":["Yael Tauman Kalai","Dakshita Khurana","Justin Raizes"],"reviews":0,"subject":"quant-ph","summary":"A quantum verifier decides membership in QMA using a (single) quantum witness state. This witness may be arbitrary, and no requirement is placed on it beyond its acceptance probability. A protocol claiming to classically verify QMA should offer the same guarantee: any witness that would convince a quantum verifier should also suffice to convince a classical verifier. Unfortunately, existing classical verification of quantum computation (CVQC) protocols behave quite differently from the original QMA verifier: they require many copies of the witness and destroy every one, effectively demanding…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-02-09","reactions":{}}