Towards a quantum-inspired proof for ip = pspace

Ayal Green, Guy Kindler, Yupan Liu

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

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.

Original languageAmerican English
Pages (from-to)377-386
Number of pages10
JournalQuantum Information and Computation
Volume21
Issue number5-6
DOIs
StatePublished - 2021

Bibliographical note

Funding Information:
We thank Dorit Aharonov for helpful discussions. GK was supported by ISF Grant No. 1692/13 and ISF Grant No. 2635/19. AG and YL were supported by ISF Grant No. 1721/17. AG was also partially supported by CYBER grant.

Publisher Copyright:
© Rinton Press.

Keywords

  • Delegating quantum computation
  • Interactive proofs

Fingerprint

Dive into the research topics of 'Towards a quantum-inspired proof for ip = pspace'. Together they form a unique fingerprint.

Cite this