Sciweavers

FOCS
2008
IEEE

Quantum Multi Prover Interactive Proofs with Communicating Provers

13 years 4 months ago
Quantum Multi Prover Interactive Proofs with Communicating Provers
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are unlimited in the classical communication between them. At first, this model may seem very weak, as provers who exchange information seem to be equivalent in power to a simple prover. This in fact is not the case—we show that any language in NEXP can be recognized in this model efficiently, with just two provers and two rounds of communication, with a constant completenesssoundness gap. Similar ideas and techniques may help help with other models of Quantum MIP, including the question of noncommunicating provers with unlimited entanglement.
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where FOCS
Authors Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
Comments (0)