QMIP = MIP*

Details QMIP = MIP* QMIP = MIP*

2010-04-07

arxiv.org/abs/1004.1130v1

Physics

Quantum Physics

16 pages, 1 figure

Scientific paper

The way entanglement influences the power of quantum and classical multi-prover interactive proof systems is a long-standing open question. We show that the class of languages recognized by quantum multi-prover interactive proof systems, QMIP, is equal to MIP*, the class of languages recognized by classical multi-prover interactive proof systems where the provers share entanglement. After the recent result by Jain, Ji, Upadhyay and Watrous showing that QIP=IP, our work completes the picture from the verifier's perspective by showing that also in the setting of multiple provers with shared entanglement, a quantum verifier is no more powerful than a classical one: QMIP=MIP*. Our techniques are based on the adaptation of universal blind quantum computation (a protocol recently introduced by us) to the context of interactive proof systems. We show that in the multi-prover scenario, shared entanglement has a positive effect in removing the need for a quantum verifier. As a consequence, our results show that the entire power of quantum information in multi-prover interactive proof systems is captured by the shared entanglement and not by the quantum communication.

Affiliated with

Also associated with

No associations

Rating

QMIP = MIP* does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with QMIP = MIP*, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and QMIP = MIP* will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-397794