[BFL+24] Quantum Merlin-Arthur with an Internally Separable Proof

Authors: Roozbeh Bassirian, Bill Fefferman, Itai Leigh, Kunal Marwaha, Pei Wu | Venue: arXiv 2024 | Source

Abstract

We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP ≠ NEXP. This gives a new route to prove QMA(2) = NEXP that overcomes the primary drawback of a recent approach [arXiv:2402.18790] (QIP 2024). Our modification endows each proof with a form of multipartite unentanglement: after tracing out one register, a small number of qubits are separable from the rest of the state.

BibTeX

Copy

@misc{BFL+24,
  author       = {Roozbeh Bassirian and Bill Fefferman and Itai Leigh and Kunal Marwaha and Pei Wu},
  title        = {Quantum {Merlin-Arthur} with an Internally Separable Proof},
  howpublished = {arXiv:2410.19152},
  year         = {2024},
  url          = {https://arxiv.org/abs/2410.19152}
}