One-Sided Error QMA with Shared EPR Pairs -- A Simpler Proof
Quantum Physics
2013-06-25 v1 Computational Complexity
Abstract
We give a simpler proof of one of the results of Kobayashi, Le Gall, and Nishimura [arXiv:1210.1290v2], which shows that any QMA protocol can be converted to a one-sided error protocol, in which Arthur and Merlin initially share a constant number of EPR pairs and then Merlin sends his proof to Arthur. Our protocol is similar but somewhat simpler than the original. Our main contribution is a simpler and more direct analysis of the soundness property that uses well-known results in quantum information such as properties of the trace distance and the fidelity, and the quantum de Finetti theorem.
Cite
@article{arxiv.1306.5406,
title = {One-Sided Error QMA with Shared EPR Pairs -- A Simpler Proof},
author = {Attila Pereszlényi},
journal= {arXiv preprint arXiv:1306.5406},
year = {2013}
}
Comments
22 pages