CaltechAUTHORS
  A Caltech Library Service

Classical Verification of Quantum Computations

Mahadev, Urmila (2018) Classical Verification of Quantum Computations. In: 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS). IEEE , Piscataway, NJ, pp. 259-267. ISBN 9781538642306. https://resolver.caltech.edu/CaltechAUTHORS:20200805-144416533

[img] PDF - Submitted Version
See Usage Policy.

603Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200805-144416533

Abstract

We present the first protocol allowing a classical computer to interactively verify the result of an efficient quantum computation. We achieve this by constructing a measurement protocol, which enables a classical verifier to use a quantum prover as a trusted measurement device. The protocol forces the prover to behave as follows: the prover must construct an n qubit state of his choice, measure each qubit in the Hadamard or standard basis as directed by the verifier, and report the measurement results to the verifier. The soundness of this protocol is enforced based on the assumption that the learning with errors problem is computationally intractable for efficient quantum machines.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1109/focs.2018.00033DOIArticle
https://arxiv.org/abs/1804.01082arXivDiscussion Paper
Additional Information:© 2018 IEEE. Thanks to Dorit Aharonov, Zvika Brakerski, Zeph Landau, Umesh Vazirani and Thomas Vidick for many useful discussions. The author is supported by Templeton Foundation Grant 52536, ARO Grant W911NF-12-1-0541, NSF Grant CCF-1410022 and MURI Grant FA9550-18-1-0161.
Funders:
Funding AgencyGrant Number
John Templeton Foundation52536
Army Research Office (ARO)W911NF-12-1-0541
NSFCCF-1410022
Air Force Office of Scientific Research (AFOSR)FA9550-18-1-0161
Record Number:CaltechAUTHORS:20200805-144416533
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20200805-144416533
Official Citation:U. Mahadev, "Classical Verification of Quantum Computations," 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), Paris, 2018, pp. 259-267, doi: 10.1109/FOCS.2018.00033
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:104765
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:05 Aug 2020 22:24
Last Modified:05 Aug 2020 22:24

Repository Staff Only: item control page