Compare Papers
Paper 1
Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems
Stephen P. Jordan, Hirotada Kobayashi, Daniel Nagaj, Harumichi Nishimura
- Year
- 2011
- Journal
- arXiv preprint
- DOI
- arXiv:1111.5306
- arXiv
- 1111.5306
This paper proves that classical-witness quantum Merlin-Arthur proof systems can achieve perfect completeness. That is, QCMA = QCMA1. This holds under any gate set with which the Hadamard and arbitrary classical reversible transformations can be exactly implemented, e.g., {Hadamard, Toffoli, NOT}. The proof is quantumly nonrelativizing, and uses a simple but novel quantum technique that additively adjusts the success probability, which may be of independent interest.
Open paperPaper 2
Fault tolerance with noisy and slow measurements and preparation.
Paz-Silva GA, Brennen GK, Twamley J.
- Year
- 2010
- Journal
- Phys Rev Lett
- DOI
- 10.1103/physrevlett.105.100501
- arXiv
- -
No abstract.
Open paper