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...
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 |
Similar Items
-
The Quantum Double Model with Boundary: Condensations and Symmetries
by: Beigi, Salman, et al.
Published: (2012) -
Addicted to Proof
by: Shor, Peter
Published: (2021) -
C[subscript 3], semi-clifford and generalized semi-clifford operations
by: Beigi, Salman, et al.
Published: (2012) -
Approximating the set of separable states using the positive partial transpose test
by: Beigi, Salman, et al.
Published: (2012) -
Addicted to Proof
by: Shor, Peter Williston
Published: (2021)