TY - JOUR
T1 - Towards a quantum-inspired proof for ip = pspace
AU - Green, Ayal
AU - Kindler, Guy
AU - Liu, Yupan
N1 - Publisher Copyright:
© Rinton Press.
PY - 2021
Y1 - 2021
N2 - We explore quantum-inspired interactive proof systems where the prover is limited. Namely, we improve on a result by [6] showing a quantum-inspired interactive protocol (IP) for PreciseBQP where the prover is only assumed to be a PreciseBQP machine, and show that the result can be strengthened to show an IP for NPPP with a prover which is only assumed to be an NPPP machine-which was not known before. We also show how the protocol can be used to directly verify QMA computations, thus connect-ing the sum-check protocol by [2] with the result of [6, 29]. Our results shed light on a quantum-inspired proof for IP = PSPACE, as PreciseQMA captures the full PSPACE power.
AB - We explore quantum-inspired interactive proof systems where the prover is limited. Namely, we improve on a result by [6] showing a quantum-inspired interactive protocol (IP) for PreciseBQP where the prover is only assumed to be a PreciseBQP machine, and show that the result can be strengthened to show an IP for NPPP with a prover which is only assumed to be an NPPP machine-which was not known before. We also show how the protocol can be used to directly verify QMA computations, thus connect-ing the sum-check protocol by [2] with the result of [6, 29]. Our results shed light on a quantum-inspired proof for IP = PSPACE, as PreciseQMA captures the full PSPACE power.
KW - Delegating quantum computation
KW - Interactive proofs
UR - http://www.scopus.com/inward/record.url?scp=85103876256&partnerID=8YFLogxK
U2 - 10.26421/QIC21.5-6-2
DO - 10.26421/QIC21.5-6-2
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85103876256
SN - 1533-7146
VL - 21
SP - 377
EP - 386
JO - Quantum Information and Computation
JF - Quantum Information and Computation
IS - 5-6
ER -