Quantum interactive proofs with short messages

This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The first variant is one in which the verifier sends a short message to the prover, and the prover responds with an ordinary, o...

Full description

Bibliographic Details
Main Authors: Beigi, Salman, Shor, Peter W., Watrous, John
Other Authors: Massachusetts Institute of Technology. Department of Mathematics
Format: Article
Language:en_US
Published: Theory of Computing 2020
Online Access:https://hdl.handle.net/1721.1/124789