Classical Verification of Quantum Proofs
by Zhengfeng Ji
Theory of Computing, Volume 15(5), pp. 1-42, 2019
Bibliography with links to cited articles
[1] Antonio Acín, Nicolas Brunner, Nicolas Gisin, Serge Massar, Stefano Pironio, and Valerio Scarani: Device-independent security of quantum cryptography against collective attacks. Phys. Rev. Lett., 98(23):230501, 2007. [doi:10.1103/PhysRevLett.98.230501, arXiv:quant-ph/0702152]
[2] Dorit Aharonov, Itai Arad, and Thomas Vidick: Guest Column: The Quantum PCP Conjecture. SIGACT News, 44(2):47–79, 2013. [doi:10.1145/2491533.2491549]
[3] Dorit Aharonov, Michael Ben-Or, Elad Eban, and Urmila Mahadev: Interactive proofs for quantum computations. 2017. Preliminary version in ICS’10, see arXiv:0810.5375. [arXiv:1704.04487]
[4] Dorit Aharonov and Tomer Naveh: Quantum NP - a survey, 2002. [arXiv:quant-ph/0210077]
[5] Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario Szegedy: Proof verification and the hardness of approximation problems. J. ACM, 45(3):501–555, 1998. Preliminary version in FOCS’92. [doi:10.1145/278298.278306]
[6] Sanjeev Arora and Shmuel Safra: Probabilistic checking of proofs: a new characterization of NP. J. ACM, 45(1):70–122, 1998. Preliminary version in FOCS’92. [doi:10.1145/273865.273901]
[7] László Babai: Trading group theory for randomness. In Proc. 17th STOC, pp. 421–429. ACM Press, 1985. [doi:10.1145/22145.22192]
[8] László Babai, Lance Fortnow, and Carsten Lund: Nondeterministic exponential time has two-prover interactive protocols. Comput. Complexity, 1(1):3–40, 1991. Preliminary version in FOCS’90. [doi:10.1007/BF01200056]
[9] Jonathan Barrett: Nonsequential positive-operator-valued measurements on entangled mixed states do not always violate a Bell inequality. Phys. Rev. A, 65(4):042302, 2002. [doi:10.1103/PhysRevA.65.042302, arXiv:quant-ph/0107045]
[10] John S. Bell: On the Einstein Podolsky Rosen paradox. Physics Physique Fizika, 1(3):195–200, 1964. [doi:10.1103/PhysicsPhysiqueFizika.1.195]
[11] Michael Ben-Or, Shafi Goldwasser, Joe Kilian, and Avi Wigderson: Multi-prover interactive proofs: How to remove intractability assumptions. In Proc. 20th STOC, pp. 113–131. ACM Press, 1988. [doi:10.1145/62212.62223]
[12] Charles H. Bennett, David P. DiVincenzo, John A. Smolin, and William K. Wootters: Mixed-state entanglement and quantum error correction. Phys. Rev. A, 54(5):3824–3851, 1996. [doi:10.1103/PhysRevA.54.3824, arXiv:quant-ph/9604024]
[13] Jacob D. Biamonte and Peter J. Love: Realizable Hamiltonians for universal adiabatic quantum computers. Phys. Rev. A, 78(1):012352, 2008. [doi:10.1103/PhysRevA.78.012352, arXiv:0704.1287]
[14] Anne Broadbent, Joseph Fitzsimons, and Elham Kashefi: Universal blind quantum computation. In Proc. 50th FOCS, pp. 517–526. IEEE Comp. Soc. Press, 2009. [doi:10.1109/FOCS.2009.36, arXiv:0807.4154]
[15] Anne Broadbent, Zhengfeng Ji, Fang Song, and John Watrous: Zero-knowledge proof systems for QMA. In Proc. 57th FOCS, pp. 31–40. IEEE Comp. Soc. Press, 2016. [doi:10.1109/FOCS.2016.13, arXiv:1604.02804]
[16] Peter J. Cameron, Ashley Montanaro, Michael W. Newman, Simone Severini, and Andreas Winter: On the quantum chromatic number of a graph. Electronic J. Combinatorics, 14:R81, 2007. [arXiv:quant-ph/0608016]
[17] John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett., 23(15):880–884, 1969. [doi:10.1103/PhysRevLett.23.880]
[18] Richard Cleve, Peter Høyer, Benjamin Toner, and John Watrous: Consequences and limits of nonlocal strategies. In Proc. 19th IEEE Conf. on Computational Complexity (CCC’04), pp. 236–249. IEEE Comp. Soc. Press, 2004. [doi:10.1109/CCC.2004.1313847, arXiv:quant-ph/0404076]
[19] Richard Cleve and Rajat Mittal: Characterization of binary constraint system games. In Proc. 41st Internat. Colloq. on Automata, Languages and Programming (ICALP’14), pp. 320–331. Springer, 2014. [doi:10.1007/978-3-662-43948-7_27, arXiv:1209.2729]
[20] Roger Colbeck: Quantum And Relativistic Protocols For Secure Multi-Party Computation. Ph. D. thesis, University of Cambridge, 2006. [arXiv:0911.3814]
[21] Stephen A. Cook: The complexity of theorem-proving procedures. In Proc. 3rd STOC, pp. 151–158. ACM Press, 1971. [doi:10.1145/800157.805047]
[22] Toby S. Cubitt and Ashley Montanaro: Complexity classification of local Hamiltonian problems. SIAM J. Comput., 45(2):268–316, 2016. Preliminary version in FOCS’14. [doi:10.1137/140998287, arXiv:1311.3161]
[23] Irit Dinur: The PCP theorem by gap amplification. J. ACM, 54(3):12:1–12:44, 2007. Preliminary version in STOC’06. [doi:10.1145/1236457.1236459]
[24] Uri Feige and László Lovász: Two-prover one-round proof systems: their power and their problems. In Proc. 24th STOC, pp. 733–744. ACM Press, 1992. [doi:10.1145/129712.129783]
[25] Joseph F. Fitzsimons and Elham Kashefi: Unconditionally verifiable blind computation. Phys. Rev. A, 96(1):012303, 2017. [doi:10.1103/PhysRevA.96.012303, arXiv:1203.5217]
[26] Joseph F. Fitzsimons and Thomas Vidick: A multiprover interactive proof system for the local Hamiltonian problem. In Proc. 6th Innovations in Theoretical Computer Science Conf. (ITCS’15), pp. 103–112. ACM Press, 2015. [doi:10.1145/2688073.2688094, arXiv:1409.0260]
[27] Lance Fortnow, John Rompel, and Michael Sipser: On the power of multi-prover interactive protocols. Theoret. Comput. Sci., 134(2):545–557, 1994. Preliminary version in SCT’88. [doi:10.1016/0304-3975(94)90251-8]
[28] Sevag Gharibian, Yichen Huang, Zeph Landau, and Seung Woo Shin: Quantum Hamiltonian complexity. Foundations and Trends in Theoretical Computer Science, 10(3):159–282, 2014. [doi:10.1561/0400000066, arXiv:1401.3916]
[29] Shafi Goldwasser, Silvio Micali, and Charles Rackoff: The knowledge complexity of interactive proof-systems. SIAM J. Comput., 18(1):186–208, 1989. Preliminary version in STOC’85. [doi:10.1137/0218012]
[30] Daniel Gottesman: Stabilizer Codes and Quantum Error Correction. Ph. D. thesis, California Institute of Technology, 1997. [arXiv:quant-ph/9705052]
[31] Tsuyoshi Ito, Hirotada Kobayashi, and Keiji Matsumoto: Oracularization and two-prover one-round interactive proofs against nonlocal strategies. In Proc. 24th IEEE Conf. on Computational Complexity (CCC’09), pp. 217–228. IEEE Comp. Soc. Press, 2009. [doi:10.1109/CCC.2009.22, arXiv:0810.0693]
[32] Tsuyoshi Ito and Thomas Vidick: A multi-prover interactive proof for NEXP sound against entangled provers. In Proc. 53th FOCS, pp. 243–252. IEEE Comp. Soc. Press, 2012. [doi:10.1109/FOCS.2012.11, arXiv:1207.0550]
[33] Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, and John Watrous: QIP = PSPACE. J. ACM, 58(6):30:1–30:XX, 2011. Preliminary version in STOC’10. [doi:10.1145/2049697.2049704, arXiv:0907.4737]
[34] Zhengfeng Ji: Binary constraint system games and locally commutative reductions, 2013. [arXiv:1310.3794]
[35] Zhengfeng Ji: Classical verification of quantum proofs. In Proc. 48th STOC, pp. 885–898. ACM Press, 2016. [doi:10.1145/2897518.2897634, arXiv:1505.07432]
[36] Zhengfeng Ji: Compression of quantum multi-prover interactive proofs. In Proc. 49th STOC, pp. 289–302. ACM Press, 2017. [doi:10.1145/3055399.3055441, arXiv:1610.03133]
[37] Camille Jordan: Essai sur la géométrie à n dimensions. Bull. de la Soc. Math. de France, 3:103–174, 1875. [doi:10.24033/bsmf.90]
[38] Richard M. Karp: Reducibility among combinatorial problems. In Proc. Symp. Complexity of Computer Computations, pp. 85–103. Springer, 1972. [doi:10.1007/978-1-4684-2001-2_9]
[39] Julia Kempe, Alexei Kitaev, and Oded Regev: The complexity of the local Hamiltonian problem. SIAM J. Comput., 35(5):1070–1097, 2006. Preliminary version in FSTTCS’04. [doi:10.1137/S0097539704445226, arXiv:quant-ph/0406180]
[40] Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Ben Toner, and Thomas Vidick: Entangled games are hard to approximate. SIAM J. Comput., 40(3):848–877, 2011. Preliminary version in FOCS’08. [doi:10.1137/090751293, arXiv:0704.2903]
[41] Alexei Y. Kitaev: Lecture given in Hebrew University, Jerusalem, Israel, 1999.
[42] Alexei Y. Kitaev, Alexander H. Shen, and Mikhail. N. Vyalyi: Classical and Quantum Computation. American Mathematical Society, 2002.
[43] Alexei Y. Kitaev and John Watrous: Parallelization, amplification, and exponential time simulation of quantum interactive proof systems. In Proc. 32nd STOC, pp. 608–617. ACM Press, 2000. [doi:10.1145/335305.335387]
[44] Hirotada Kobayashi and Keiji Matsumoto: Quantum multi-prover interactive proof systems with limited prior entanglement. J. Comput. System Sci., 66(3):429–450, 2003. Preliminary version in ISAAC’02. [doi:10.1016/S0022-0000(03)00035-7, arXiv:cs/0102013]
[45] Simon B. Kochen and Ernst Specker: The problem of hidden variables in quantum mechanics. J. Math. Mech., 17(1):59–87, 1967. JSTOR.
[46] Raymond Laflamme, Cesar Miquel, Juan Pablo Paz, and Wojciech Hubert Zurek: Perfect quantum error correcting code. Phys. Rev. Lett., 77(1):198–201, 1996. [doi:10.1103/PhysRevLett.77.198, arXiv:quant-ph/9602019]
[47] Leonid Levin: Universal search problems. Problems of Information Transmission, 9(3):115–116, 1973.
[48] Carsten Lund, Lance Fortnow, Howard Karloff, and Noam Nisan: Algebraic methods for interactive proof systems. J. ACM, 39(4):859–868, 1992. Preliminary version in FOCS’90. [doi:10.1145/146585.146605]
[49] Dominic Mayers and Andrew Yao: Quantum cryptography with imperfect apparatus. In Proc. 39th FOCS, p. 503. IEEE Comp. Soc. Press, 1998. [doi:10.1109/SFCS.1998.743501]
[50] Matthew McKague: Self-testing graph states. In Proc. 6th Conf. Quantum Computation, Communication, and Cryptography (TQC’11), pp. 104–120. Springer, 2014. [doi:10.1007/978-3-642-54429-3_7, arXiv:1010.1989]
[51] Matthew McKague: Interactive proofs for BQP via self-tested graph states. Theory of Computing, 12(3):1–42, 2016. [doi:10.4086/toc.2016.v012a003, arXiv:1309.5675]
[52] Matthew McKague, Tzyh Haur Yang, and Valerio Scarani: Robust self-testing of the singlet. Journal of Physics A: Mathematical and Theoretical, 45(45):455304, 2012. [doi:10.1088/1751-8113/45/45/455304, arXiv:1203.2976]
[53] Nathaniel David Mermin: Simple unified form for the major no-hidden-variables theorems. Phys. Rev. Lett., 65(27):3373–3376, 1990. [doi:10.1103/PhysRevLett.65.3373]
[54] Carl A. Miller and Yaoyun Shi: Optimal robust self-testing by binary nonlocal XOR games. In Proc. 8th Conf. Quantum Computation, Communication, and Cryptography (TQC’13), pp. 254–262. Springer, 2013. [doi:10.4230/LIPIcs.TQC.2013.254]
[55] Carl A. Miller and Yaoyun Shi: Robust protocols for securely expanding randomness and distributing keys using untrusted quantum devices. J. ACM, 63(4):33, 2016. Preliminary version in STOC’14. [doi:10.1145/2885493, arXiv:1402.0489]
[56] Anand Natarajan and Thomas Vidick: Constant-soundness interactive proofs for local Hamiltonians, 2015. [arXiv:1512.02090]
[57] Anand Natarajan and Thomas Vidick: Robust self-testing of many-qubit states, 2016. Conference version STOC’17. [arXiv:1610.03574]
[58] Roberto Oliveira and Barbara M. Terhal: The complexity of quantum spin systems on a two-dimensional square lattice. Quantum Inf. Comput., 8(10):900–924, 2008. [arXiv:quant-ph/0504050]
[59] Tobias J. Osborne: Hamiltonian complexity. Reports on Progress in Physics, 75(2):022001, 2012. [doi:10.1088/0034-4885/75/2/022001, arXiv:1106.5875]
[60] Asher Peres: Incompatible results of quantum measurements. Physics Letters A, 151(3–4):107–108, 1990. [doi:10.1016/0375-9601(90)90172-K]
[61] S. Pironio, A. Acín, S. Massar, A. Boyer de la Giroday, D. N. Matsukevich, P. Maunz, S. Olmschenk, D. Hayes, L. Luo, T. A. Manning, and C. Monroe: Random numbers certified by Bell’s theorem. Nature, 464(7291):1021–1024, 2010. [doi:10.1038/nature09008, arXiv:0911.3427]
[62] Robert Raussendorf, Daniel E. Browne, and Hans J. Briegel: Measurement-based quantum computation on cluster states. Phys. Rev. A, 68(2):022312, 2003. [doi:10.1103/PhysRevA.68.022312, arXiv:quant-ph/0301052]
[63] Ben W. Reichardt, Falk Unger, and Umesh Vazirani: Classical command of quantum systems. Nature, 496(7446):456–460, 2013. [doi:10.1038/nature12035]
[64] Adi Shamir: IP = PSPACE. J. ACM, 39(4):869–877, 1992. Preliminary version in FOCS’90. [doi:10.1145/146585.146609]
[65] Yaoyun Shi: Both Toffoli and controlled-NOT need little help to do universal quantum computing. Quantum Inf. Comput., 3(1):84–92, 2003. [arXiv:quant-ph/0205115]
[66] Boris S. Tsirel’son: Quantum generalizations of Bell’s inequality. Letters in Mathematical Physics, 4(2):93–100, 1980. [doi:10.1007/BF00417500]
[67] Wim van Dam, Frédéic Magniez, Michele Mosca, and Miklos Santha: Self-testing of universal and fault-tolerant sets of quantum gates. SIAM J. Comput., 37(2):611–629, 2007. Preliminary version in STOC’00. [doi:10.1137/S0097539702404377, arXiv:quant-ph/9904108]
[68] Umesh Vazirani and Thomas Vidick: Certifiable quantum dice: or, true random number generation secure against quantum adversaries. In Proc. 44th STOC, pp. 61–76. ACM Press, 2012. [doi:10.1145/2213977.2213984, arXiv:1111.6054]
[69] Umesh Vazirani and Thomas Vidick: Fully device-independent quantum key distribution. Phys. Rev. Lett., 113(14):140501, 2014. Conference version in ITCS’14. [doi:10.1103/PhysRevLett.113.140501, arXiv:1210.1810]
[70] Thomas Vidick: Three-player entangled XOR games are NP-hard to approximate. SIAM J. Comput., 45(3):1007–1063, 2016. Preliminary version in FOCS’13. [doi:10.1137/140956622, arXiv:1302.1242]
[71] Thomas Vidick and John Watrous: Quantum proofs. Foundations and Trends in Theoretical Computer Science, 11(1–2):1–215, 2015. [doi:10.1561/0400000068, arXiv:1610.01664]
[72] John Watrous: PSPACE has constant-round quantum interactive proof systems. Theoret. Comput. Sci., 292(3):575–588, 2003. Preliminary version in FOCS’99. [doi:10.1016/S0304-3975(01)00375-9]
[73] John Watrous: Zero-knowledge against quantum attacks. SIAM J. Comput., 39(1):25–58, 2009. Preliminary version in STOC’06. [doi:10.1137/060670997, arXiv:quant-ph/0511020]
[74] Reinhard F. Werner: Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Phys. Rev. A, 40(8):4277–4281, 1989. [doi:10.1103/PhysRevA.40.4277]