Class Description

QMIP_le: Quantum Multi-Prover Interactive Proofs With Limited Prior Entanglement

Same as QMIP, except that now the provers share only a polynomial number of EPR pairs, instead of an unlimited number.

Defined in [KM02], where it was also shown that QMIP_le is contained in NEXP = QMIP_ne.

Linked From

QMIP_ne: Quantum Multi-Prover Interactive Proofs With No Prior Entanglement

Same as QMIP, except that now the provers have no prior entanglement.

Defined in [KM02], where it was also shown that QMIP_ne = NEXP. Thus, QMIP_ne contains QMIP_le.

More about...