Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement
Abstract
This paper gives the first formal treatment of a quantum analogue of multi-prover interactive proof systems. It is proved that the class of languages having quantum multi-prover interactive proof systems is necessarily contained in NEXP, under the assumption that provers are allowed to share at most polynomially many prior-entangled qubits. This implies that, in particular, if provers do not share any prior entanglement with each other, the class of languages having quantum multi-prover interactive proof systems is equal to NEXP. Related to these, it is shown that, in the case a prover does not have his private qubits, the class of languages having quantum single-prover interactive proof systems is also equal to NEXP.
Keywords
Cite
@article{arxiv.cs/0102013,
title = {Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement},
author = {Hirotada Kobayashi and Keiji Matsumoto},
journal= {arXiv preprint arXiv:cs/0102013},
year = {2007}
}
Comments
LaTeX2e, 19 pages, 2 figures, title changed, some of the sections are fully revised, journal version in Journal of Computer and System Sciences