Efficient verification of quantum gates with local operations
arXiv:1910.14032 · doi:10.1103/PhysRevA.101.042316
Abstract
Efficient verification of the functioning of quantum devices is a key to the development of quantum technologies, but is a daunting task as the system size increases. Here we propose a simple and general framework for verifying unitary transformations that can be applied to both individual quantum gates and gate sets, including quantum circuits. This framework enables efficient verification of many important unitary transformations, including but not limited to all bipartite unitaries, Clifford unitaries, generalized controlled- gates, generalized controlled-NOT gates, the controlled-SWAP gate, and permutation transformations. For all these unitaries, the sample complexity increases at most linearly with the system size and is often independent of the system size. Moreover, little overhead is incurred even if one can only prepare Pauli eigenstates and perform local measurements. Our approach is applicable in many scenarios in which randomized benchmarking (RB) does not apply and is thus instrumental to quantum computation and many other applications in quantum information processing.
arXiv comment8 pages and 1 table; published in Phys. Rev. A
References in corpus (31)
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Symmetric Informationally Complete Quantum Measurements
- Randomized Benchmarking of Quantum Gates
- Robust randomized benchmarking of quantum processes
- On mutually unbiased bases
- A simple formula for the average gate fidelity of a quantum dynamical operation
- Scalable Noise Estimation with Random Unitary Operators
- Direct Fidelity Estimation from Few Pauli Measurements
- Efficient measurement of quantum gate error by interleaved randomized benchmarking
- Average-case complexity versus approximate simulation of commuting quantum computations
- Quantum Hypergraph States
- Instantaneous Quantum Computation
- Randomized Benchmarking with Confidence
- Optimal verification of entangled states with local measurements
- Characterizing Universal Gate Sets via Dihedral Benchmarking
- Complementary classical fidelities as an efficient criterion for the evaluation of experimentally realized quantum operations
- Efficient Verification of Pure Quantum States in the Adversarial Scenario
- Scalable randomized benchmarking of non-Clifford gates
- Weighted complex projective 2-designs from bases: optimal state determination by orthogonal measurements
- Efficient Verification of Hypergraph States
- General framework for verifying pure quantum states in the adversarial scenario
- Encoding Hypergraphs into Quantum States
- Optimal Verification of Two-Qubit Pure States
- Optimal verification and fidelity estimation of maximally entangled states
- Optimal verification of general bipartite pure states
- Efficient verification of bipartite pure states
- Estimating the fidelity of T gates using standard interleaved randomized benchmarking
- Randomized benchmarking for individual quantum gates
- Efficient verification of quantum processes
- Mutually unbiased bases as minimal Clifford covariant 2-designs
- Quantum Process Fidelity Bounds from Sets of Input States
Cited by in corpus (20)
- Theory of quantum system certification: a tutorial
- General framework for verifying pure quantum states in the adversarial scenario
- Nonstabilizerness determining the hardness of direct fidelity estimation
- Statistical Methods for Quantum State Verification and Fidelity Estimation
- Optimal Verification of Greenberger-Horne-Zeilinger States
- Optimal verification of stabilizer states
- Verification of phased Dicke states
- Sample-efficient device-independent quantum state verification and certification
- Efficient verification of quantum processes
- Quantum gate verification and its application in property testing
- Universally Optimal Verification of Entangled States with Nondemolition Measurements
- Efficient verification of Affleck-Kennedy-Lieb-Tasaki states
- Efficient verification of entangled continuous-variable quantum states with local measurements
- Efficient Experimental Verification of Quantum Gates with Local Operations
- Efficient verification of arbitrary entangled states with homogeneous local measurements
- Proof-of-principle experimental demonstration of quantum gate verification
- Classical certification of quantum gates under the dimension assumption
- Excluding false negative error in certification of quantum channels
- Quantum subspace verification for error correction codes
- Verification of entangled states under noisy measurements