Theory of quantum system certification: a tutorial
arXiv:2010.05925 · doi:10.1103/PRXQuantum.2.010201
Abstract
The precise control of complex quantum systems promises numerous technological applications including digital quantum computing. The complexity of such devices renders the certification of their correct functioning a challenge. To address this challenge, numerous methods were developed in the last decade. In this tutorial, we explain prominent protocols for certifying the physical layer of quantum devices described by quantum states and processes. Such protocols are particularly important in the development of near-term devices. Specifically, we discuss methods of direct quantum state certification, direct fidelity estimation, shadow fidelity estimation, direct quantum process certification, randomized benchmarking and cross-entropy benchmarking. Moreover, we provide an introduction to powerful mathematical methods, which are widely used in quantum information theory, in order to derive theoretical guarantees for the protocols.
arXiv comment47 pages, 4 figures, 62 Theorems, Propositions, Lemma, Protocols, Definitions and Examples; v2: published version with numerous small improvements; v3: the argument leading to the diamond norm normalization of quantum channels has been corrected
References in corpus (101)
- Quantum Computing in the NISQ era and beyond
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Characterizing Quantum Supremacy in Near-Term Devices
- Predicting Many Properties of a Quantum System from Very Few Measurements
- Symmetric Informationally Complete Quantum Measurements
- Randomized Benchmarking of Quantum Gates
- Robust randomized benchmarking of quantum processes
- A simple formula for the average gate fidelity of a quantum dynamical operation
- Efficient quantum state tomography
- Exact and Approximate Unitary 2-Designs: Constructions and Applications
- The European Quantum Technologies Roadmap
- Integration with respect to the Haar measure on unitary, orthogonal and symplectic group
- Scalable Noise Estimation with Random Unitary Operators
- Direct Fidelity Estimation from Few Pauli Measurements
- Characterizing Quantum Gates via Randomized Benchmarking
- Efficient measurement of quantum gate error by interleaved randomized benchmarking
- Evenly distributed unitaries: on the structure of unitary designs
- Quantum Tomography via Compressed Sensing: Error Bounds, Sample Complexity, and Efficient Estimators
- Quantum certification and benchmarking
- Practical characterization of quantum devices without tomography
- Local random quantum circuits are approximate polynomial-designs
- Characterization of addressability by simultaneous randomized benchmarking
- Average-case complexity versus approximate simulation of commuting quantum computations
- Self-Consistent Quantum Process Tomography
- Quantum Supremacy and the Complexity of Random Circuit Sampling
- Unconditionally verifiable blind computation
- Characterizing large-scale quantum computers via cycle benchmarking
- Permutationally invariant quantum tomography
- Efficient learning of quantum noise
- Verifiable measurement-only blind quantum computing with stabilizer testing
- Estimating the Coherence of Noise
- Achieving quantum supremacy with sparse and noisy commuting quantum computations
- Multiqubit Clifford groups are unitary 3-designs
- Randomized Benchmarking with Confidence
- Verification of quantum computation: An overview of existing approaches
- Characterizing errors on qubit operations via iterative randomized benchmarking
- Comparing Experiments to the Fault-Tolerance Threshold
- Randomized Benchmarking of Multi-Qubit Gates
- Optimal verification of entangled states with local measurements
- What randomized benchmarking actually measures
- Permutationally invariant state reconstruction
- Direct randomized benchmarking for multi-qubit devices
- Reliable quantum certification for photonic quantum technologies
- Bounding quantum gate error rate based on reported average fidelity
- Robust Extraction of Tomographic Information via Randomized Benchmarking
- Architectures for quantum simulation showing a quantum speedup
- Characterizing Universal Gate Sets via Dihedral Benchmarking
- Complementary classical fidelities as an efficient criterion for the evaluation of experimentally realized quantum operations
- Quantum Supremacy for Simulating A Translation-Invariant Ising Spin Model
- Efficient Verification of Pure Quantum States in the Adversarial Scenario
- Randomized benchmarking with gate-dependent noise
- Interactive proofs for BQP via self-tested graph states
- Verification of Many-Qubit States
- Scalable randomized benchmarking of non-Clifford gates
- Experimental Comparison of Efficient Tomography Schemes for a Six-Qubit State
- Weighted complex projective 2-designs from bases: optimal state determination by orthogonal measurements
- How many qubits are needed for quantum computational supremacy?
- A study of LOCC-detection of a maximally entangled state using hypothesis testing
- General framework for verifying pure quantum states in the adversarial scenario
- Efficient Verification of Hypergraph States
- Characterization of Leakage Errors via Randomized Benchmarking
- Direct certification of a class of quantum simulations
- Efficient error characterization in Quantum Information Processing
- Optimal Verification of Two-Qubit Pure States
- Recovering quantum gates from few average gate fidelities
- Optimal verification of general bipartite pure states
- Efficient verification of bipartite pure states
- Anticoncentration theorems for schemes showing a quantum speedup
- Efficient verification of Dicke states
- Fidelity witnesses for fermionic quantum simulations
- Real Randomized Benchmarking
- Statistical analysis of randomized benchmarking
- Hardness of classically sampling one clean qubit model with constant total variation distance error
- Multi-qubit Randomized Benchmarking Using Few Samples
- Sample complexity of device-independently certified "quantum supremacy"
- Robust Characterization of Loss Rates
- Bounding the average gate fidelity of composite channels using the unitarity
- Group theoretical study of LOCC-detection of maximally entangled state using hypothesis testing
- Randomized Benchmarking with Restricted Gate Sets
- Randomized benchmarking for individual quantum gates
- Estimating the fidelity of T gates using standard interleaved randomized benchmarking
- A complete Randomized Benchmarking Protocol accounting for Leakage Errors
- Accrediting outputs of noisy intermediate-scale quantum computing devices
- Universality of single qudit gates
- From randomized benchmarking experiments to gateset circuit fidelity: how to interpret randomized benchmarking decay parameters
- Minimum number of input states required for quantum gate characterization
- Quantum de Finetti theorem under fully-one-way adaptive measurements
- Quantum proofs can be verified using only single qubit measurements
- Approximate Randomized Benchmarking for Finite Groups
- Efficient verification of quantum processes
- Almost all quantum channels are equidistant
- Optimal strategies for estimating the average fidelity of quantum gates
- Verifying commuting quantum computations via fidelity estimation of weighted graph states
- Efficient verification of quantum gates with local operations
- Efficient Unitarity Randomized Benchmarking of Few-qubit Clifford Gates
- Quantum gate verification and its application in property testing
- Randomized Benchmarking under Different Gatesets
- Hybrid benchmarking of arbitrary quantum gates
- Representations of the multi-qubit Clifford group
- Validating and Certifying Stabilizer States
- Additive-error fine-grained quantum supremacy
Cited by in corpus (98)
- Quantum Error Mitigation
- The randomized measurement toolbox
- Exploiting symmetry in variational quantum machine learning
- Computational advantage of quantum random sampling
- Introduction to Haar Measure Tools in Quantum Information: A Beginner's Tutorial
- Model-Free Quantum Control with Reinforcement Learning
- A general framework for randomized benchmarking
- Optimal Entanglement Certification from Moments of the Partial Transpose
- Avoiding barren plateaus via transferability of smooth solutions in Hamiltonian Variational Ansatz
- Benchmarking quantum computers
- Nonstabilizerness determining the hardness of direct fidelity estimation
- Statistical Methods for Quantum State Verification and Fidelity Estimation
- Overview of the phase space formulation of quantum mechanics with application to quantum technologies
- Projected Least-Squares Quantum Process Tomography
- Geometry of faithful entanglement
- Work fluctuations and entanglement in quantum batteries
- Sample-efficient device-independent quantum state verification and certification
- Characterizing the Reproducibility of Noisy Quantum Circuits
- Performance analysis of multi-shot shadow estimation
- Distributed quantum inner product estimation
- Estimating gate-set properties from random sequences
- Synthesis of and compilation with time-optimal multi-qubit gates
- Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
- Compressive gate set tomography
- Inferring Nonlinear Many-Body Bell Inequalities From Average Two-Body Correlations: Systematic Approach for Arbitrary Spin-j Ensembles
- Noise-resilient phase estimation with randomized compiling
- Shadow tomography on general measurement frames
- Robust and efficient verification of graph states in blind measurement-based quantum computation
- Classification of four-qubit entangled states via Machine Learning
- Characterizing correlation within multipartite quantum systems via local randomized measurements
- A Practical Introduction to Benchmarking and Characterization of Quantum Computers
- Model predictive control for robust quantum state preparation
- How many mutually unbiased bases are needed to detect bound entangled states?
- Qibolab: an open-source hybrid quantum operating system
- Estimating Quantum Hamiltonians via Joint Measurements of Noisy Non-Commuting Observables
- Learning logical Pauli noise in quantum error correction
- Engineering unsteerable quantum states with active feedback
- No-Go Theorems for Universal Entanglement Purification
- Experimental sample-efficient quantum state tomography via parallel measurements
- Efficient verification of Affleck-Kennedy-Lieb-Tasaki states
- Benchmarking universal quantum gates via channel spectrum
- Learning fermionic correlations by evolving with random translationally invariant Hamiltonians
- Enhancing quantum state tomography via resource-efficient attention-based neural networks
- Efficient Verification of Ground States of Frustration-Free Hamiltonians
- Efficient quantum interpolation of natural data
- Unitarity estimation for quantum channels
- High-accuracy Hamiltonian learning via delocalized quantum state evolutions
- Synergies Between Operations Research and Quantum Information Science
- Certifying dimension of quantum systems by sequential projective measurements
- Quantum reservoir computing for photonic entanglement witnessing
- Variational certification of quantum devices
- Beyond Quantum Annealing: Optimal control solutions to MaxCut problems
- Cross-Platform Verification in Quantum Networks
- Operational Markovianization in Randomized Benchmarking
- Qudit Shadow Estimation Based on the Clifford Group and the Power of a Single Magic Gate
- Optimal parent Hamiltonians for time-dependent states
- Optimal trace-distance bounds for free-fermionic states: Testing and improved tomography
- Estimation of correlations and non-separability in quantum channels via unitarity benchmarking
- Universal algorithms for quantum data learning
- Inherent quantum resources in stationary spin chains
- Robust ultra-shallow shadows
- Coherent randomized benchmarking
- Approximate inverse measurement channel for shallow shadows
- Cross-Platform Comparison of Arbitrary Quantum Processes
- Nondestructive Verification of Entangled States via Fidelity Witnessing
- Decoding general error correcting codes and the role of complementarity
- Interferometric detection of continuous-variable entanglement using two states
- Sampling Groups of Pauli Operators to Enhance Direct Fidelity Estimation
- PAC-learning of free-fermionic states is NP-hard
- A simple formulation of no-cloning and no-hiding that admits efficient and robust verification
- Classical certification of quantum gates under the dimension assumption
- Lindblad-like quantum tomography for non-Markovian quantum dynamical maps
- Low variance estimations of many observables with tensor networks and informationally-complete measurements
- Tomography of parametrized quantum states
- Bosonic randomized benchmarking with passive transformations
- Nearly query-optimal classical shadow estimation of unitary channels
- Error metric for non-trace-preserving quantum operations
- Excluding false negative error in certification of quantum channels
- Robust one-sided self-testing of two-qubit states via quantum steering
- Quantum subspace verification for error correction codes
- Generalized Cross-Entropy Benchmarking for Random Circuits with Ergodicity
- Shot-noise reduction for lattice Hamiltonians
- Determining non-Hermitian parent Hamiltonian from a single eigenstate
- Experimental measurement and a physical interpretation of quantum shadow enumerators
- Short-time simulation of quantum dynamics by Pauli measurements
- Experimental Verification of Entangled States in the Adversarial Scenario
- The tightness of multipartite coherence from spectrum estimation
- Testing identity of collections of quantum states: sample complexity analysis
- Optimal randomized measurements for a family of non-linear quantum properties
- Prescriptive preparation and verification of nonstabilizer states
- The abelian state hidden subgroup problem: Learning stabilizer groups and beyond
- Optimizing Measurements Sequences for Quantum State Verification
- On the query complexity of unitary channel certification
- Bounded-Error Quantum Simulation via Hamiltonian and Lindbladian Learning
- Topology-Aware Block Coordinate Descent for Qubit Frequency Allocation of Superconducting Quantum Processors
- Detecting entanglement from few partial transpose moments and their decay via weight enumerators
- Principles of quantum functional testing
- Robust device-independent characterization of sharpness and incompatibility of unsharp instruments