Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Using entanglement in quantum multi-prover interactive proofs
 
research article

Using entanglement in quantum multi-prover interactive proofs

Kempe, Julia
•
Kobayashi, Hirotada
•
Matsumoto, Keiji
Show more
June 2009
Computational Complexity

The central question in quantum multi-prover interactive proof systems is whether or not entanglement shared among provers affects the verification power of the proof system. We study for the first time positive aspects of prior entanglement and show how it can be used to parallelize any multi-prover quantum interactive proof system to a one-round system with perfect completeness, soundness bounded away from one by an inverse-polynomial in the input size, and one extra prover. Alternatively, we can also parallelize to a three-turn system with the same number of provers, where the verifier only broadcasts the outcome of a coin flip. This "public-coin" property is somewhat surprising, since in the classical case public-coin multi-prover interactive proofs are equivalent to single-prover ones.

  • Details
  • Metrics
Type
research article
DOI
10.1007/s00037-009-0275-3
Scopus ID

2-s2.0-68149178814

Author(s)
Kempe, Julia

Tel Aviv University

Kobayashi, Hirotada

Research Organization of Information and Systems National Institute of Informatics

Matsumoto, Keiji

Research Organization of Information and Systems National Institute of Informatics

Vidick, Thomas  orcid-logo

California Institute of Technology

Date Issued

2009-06

Published in
Computational Complexity
Volume

18

Issue

2

Start page

273

End page

307

Subjects

Entanglement

•

Interactive proof systems

•

Multi-prover interactive proof systems

•

Quantum computing

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
Non-EPFL  
FunderFunding(s)Grant NumberGrant URL

Alon Fellowshipof the Israeli Higher Council of Academic Research

Israeli Science Foundation

ERC

Show more
Available on Infoscience
November 27, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/256375
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés