On the power of quantum, one round, two prover interactive proof systems
From MaRDI portal
Publication:2467210
Abstract: We analyze quantum two prover one round interactive proof systems, in which noninteracting provers can share unlimited entanglement. The maximum acceptance probability is characterized as a superoperator norm. We get some partial results about the superoperator norm, and in particular we analyze the "rank one" case.
Recommendations
- Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
- STACS 2005
- Quantum multiprover interactive proofs with communicating provers
- Quantum interactive proofs and the complexity of separability testing
- Quantum interactive proofs with weak error bounds
- On quantum interactive proofs with short messages
- scientific article; zbMATH DE number 1979492
- On the power of many one-bit provers
- Constant-space quantum interactive proofs against multiple provers
Cites work
- scientific article; zbMATH DE number 635657 (Why is no real title available?)
- scientific article; zbMATH DE number 1776257 (Why is no real title available?)
- Algebraic methods for interactive proof systems
- Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
- IP = PSPACE
- Non-deterministic exponential time has two-prover interactive protocols
- Quantum multi-prover interactive proof systems with limited prior entanglement.
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
This page was built for publication: On the power of quantum, one round, two prover interactive proof systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467210)
