A simple protocol for fault tolerant verification of quantum computation
Abstract
With experimental quantum computing technologies now in their infancy, the search for efficient means of testing the correctness of these quantum computations is becoming more pressing. An approach to the verification of quantum computation within the framework of interactive proofs has been fruitful for addressing this problem. Specifically, an untrusted agent (prover) alleging to perform quantum computations can have his claims verified by another agent (verifier) who only has access to classical computation and a small quantum device for preparing or measuring single qubits. However, when this quantum device is prone to errors, verification becomes challenging and often existing protocols address this by adding extra assumptions, such as requiring the noise in the device to be uncorrelated with the noise on the prover's devices. In this paper, we present a simple protocol for verifying quantum computations, in the presence of noisy devices, with no extra assumptions. This protocol is based on post hoc techniques for verification, which allow for the prover to know the desired quantum computation and its input. We also perform a simulation of the protocol, for a one-qubit computation, and find the error thresholds when using the qubit repetition code as well as the Steane code.
Additional Information
© 2018 IOP Publishing Ltd. Original content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI. RECEIVED 24 April 2018. REVISED 16 October 2018. ACCEPTED FOR PUBLICATION 6 November 2018. PUBLISHED 27 November 2018. We acknowledge useful correspondence with Thomas Vidick. This work was supported by EPSRC grants EP/N003829/1 and EP/M013243/1. MJH also acknowledges funding from the EPSRC grant Building Large Quantum States out of Light (EP/K034480/1).Attached Files
Published - Gheorghiu_2019_Quantum_Sci._Technol._4_015009.pdf
Submitted - 1804.06105.pdf
Files
Name | Size | Download all |
---|---|---|
md5:a80043c387acac8c069f7d43456421c7
|
830.9 kB | Preview Download |
md5:ae1a3c4de2729bce0d9ec44862f97519
|
217.5 kB | Preview Download |
Additional details
- Eprint ID
- 91509
- Resolver ID
- CaltechAUTHORS:20181205-145100139
- EP/N003829/1
- Engineering and Physical Sciences Research Council (EPSRC)
- EP/M013243/1
- Engineering and Physical Sciences Research Council (EPSRC)
- EP/K034480/1
- Engineering and Physical Sciences Research Council (EPSRC)
- Created
-
2018-12-05Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field