Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Details Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

2010-11-02

arxiv.org/abs/1011.0716v2

Physics

Quantum Physics

13 pages

Scientific paper

BellQMA protocols are a subclass of multi-prover quantum Merlin-Arthur protocols in which the verifier is restricted to perform nonadaptive,unentangled measurements on the quantum states received from each Merlin. In this paper, we prove that m-clause 3-SAT instances have BellQMA proofs of satisfiability with constant soundness gap, in which O(sqrt(m)polylog(m)) Merlins each send O(log m) qubits to Arthur. Our result answers a question of Aaronson et al., who gave a protocol with similar parameters that used entangled measurements; the analysis of our protocol is significantly simpler than that of Aaronson et al. Our result also complements recent work of Brandao, Christandl, and Yard, who showed upper bounds on the power of multiprover quantum proofs with unentangled but adaptive (LOCC) measurements.

Affiliated with

Also associated with

No associations

Rating

Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements 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 Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-596148