Classical certification of quantum gates under the dimension assumption

Abstract

The rapid advancement of quantum hardware necessitates the development of reliable methods to certify its correct functioning. However, existing certification tests fall short, as they either suffer from systematic errors or do not guarantee that only a correctly functioning quantum device can pass the test. We introduce a certification method for quantum gates tailored for a practical server-user scenario, where a classical user tests the results of exact quantum computations performed by a quantum server. This method is free from the systematic state preparation and measurement (SPAM) errors. For single-qubit gates, including those that form a universal set for single-qubit quantum computation, we demonstrate that our approach offers soundness guarantees based solely on the dimension assumption. Additionally, for a highly-relevant phase gate - which corresponds experimentally to a $\pi /2$-pulse - we prove that the method's sample complexity scales as $\mathrm{O}({\epsilon }^{-1})$ relative to the average gate infidelity $\epsilon$. By combining the SPAM-error-free and sound notion of certification with practical applicability, our approach paves the way for promising research into efficient and reliable certification methods for full-scale quantum computation.

9+7 pages, 3 figures; v4: accepted version

References in corpus (30)

• Randomized Benchmarking of Quantum Gates
• Exact and Approximate Unitary 2-Designs: Constructions and Applications
• Scalable Noise Estimation with Random Unitary Operators
• Characterizing Quantum Gates via Randomized Benchmarking
• Quantum Process Tomography: Resource Analysis of Different Strategies
• Self-testing of quantum systems: a review
• Quantum certification and benchmarking
• Self-Consistent Quantum Process Tomography
• Symmetrised Characterisation of Noisy Quantum Processes
• Theory of quantum system certification: a tutorial
• A general framework for randomized benchmarking
• Robust, self-consistent, closed-form tomography of quantum logic gates on a trapped ion qubit
• Sequential random access codes and self-testing of quantum measurement instruments
• Self-testing non-projective quantum measurements in prepare-and-measure experiments
• Certifying the building blocks of quantum computers from Bell's theorem
• Efficient error characterization in Quantum Information Processing
• Experimental characterisation of unsharp qubit observables and sequential measurement incompatibility via quantum random access codes
• Semi-device-independent self-testing of unsharp measurements
• Device-independent characterization of quantum instruments
• Sample-efficient device-independent quantum state verification and certification
• Efficient verification of quantum processes
• Efficient verification of quantum gates with local operations
• Compressive gate set tomography
• Self-testing of a single quantum device under computational assumptions
• A universal scheme for robust self-testing in the prepare-and-measure scenario
• Quantum gate verification and its application in property testing
• Self-testing in prepare-and-measure scenarios and a robust version of Wigner's theorem
• Foundations for learning from noisy quantum experiments
• Randomized benchmarking with random quantum circuits
• Model-independent inference of quantum interaction from statistics

Cited by in corpus (2)

• Semi-device-independent self-testing of unitary operations
• Estimating Bell Diagonal states with separable measurements