Theoretical and Experimental Perspectives of Quantum Verification

Abstract

In this perspective we discuss verification of quantum devices in the context of specific examples, formulated as proposed experiments. Our first example is verification of analog quantum simulators as Hamiltonian learning, where the input Hamiltonian as design goal is compared with the parent Hamiltonian for the quantum states prepared on the device. The second example discusses cross-device verification on the quantum level, i.e. by comparing quantum states prepared on different quantum devices. We focus in particular on protocols using randomized measurements, and we propose establishing a central data repository, where existing experimental devices and platforms can be compared. In our final example, we address verification of the output of a quantum device from a computer science perspective, addressing the question of how a user of a quantum processor can be certain about the correctness of its output, and propose minimal demonstrations on present day devices.

References in corpus (63)

• Quantum Computing in the NISQ era and beyond
• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Quantum computational advantage using photons
• Quantum computational chemistry
• Characterizing Quantum Supremacy in Near-Term Devices
• Measuring entanglement entropy through the interference of quantum many-body twins
• Predicting Many Properties of a Quantum System from Very Few Measurements
• Many-Body Physics with Individually-Controlled Rydberg Atoms
• Quantum thermalization through entanglement in an isolated many-body system
• Quantum state tomography via compressed sensing
• Randomized Benchmarking of Quantum Gates
• Experimental realization of a long-range antiferromagnet in the Hubbard model with ultracold atoms
• Stabilizer Codes and Quantum Error Correction
• Efficient quantum state tomography
• Exact and Approximate Unitary 2-Designs: Constructions and Applications
• Probing entanglement entropy via randomized measurements
• Self-Verifying Variational Quantum Simulation of the Lattice Schwinger Model
• Scalable Noise Estimation with Random Unitary Operators
• Direct Fidelity Estimation from Few Pauli Measurements
• Tools for quantum simulation with ultracold atoms in optical lattices
• Direct estimations of linear and non-linear functionals of a quantum state
• Universal Quantum Estimator
• Efficient measurement of quantum gate error by interleaved randomized benchmarking
• Measuring entanglement growth in quench dynamics of bosons in an optical lattice
• Evenly distributed unitaries: on the structure of unitary designs
• Self-testing of quantum systems: a review
• Quantum certification and benchmarking
• Practical characterization of quantum devices without tomography
• Can One Trust Quantum Simulators?
• Quantum Supremacy and the Complexity of Random Circuit Sampling
• Unconditionally verifiable blind computation
• On solving quantum many-body problems by experiment
• Symmetrised Characterisation of Noisy Quantum Processes
• Rényi Entropies from Random Quenches in Atomic Hubbard and Spin Models
• Characterizing large-scale quantum computers via cycle benchmarking
• Measuring entanglement entropy of a generic many-body system with a quantum switch
• Efficient tomography of a quantum many-body system
• Verifiable measurement-only blind quantum computing with stabilizer testing
• Blind quantum computation protocol in which Alice only makes measurements
• Realizable Hamiltonians for Universal Adiabatic Quantum Computers
• Quantum fidelity measures for mixed states
• Statistical correlations between locally randomized measurements: a toolbox for probing entanglement in many-body quantum states
• Learning a local Hamiltonian from local measurements
• Verification of quantum computation: An overview of existing approaches
• Cross-Platform Verification of Intermediate Scale Quantum Devices
• The power of random measurements: measuring Tr(ρ^n) on single copies of ρ
• Experimental verification of quantum computations
• Analog quantum chemistry simulation
• Determining a local Hamiltonian from a single eigenstate
• Measuring the Renyi entropy of a two-site Fermi-Hubbard model on a trapped ion quantum computer
• Robustness and device independence of verifiable blind quantum computing
• Post hoc verification of quantum computation
• Post hoc verification with a single prover
• Spin pumping and measurement of spin currents in optical superlattices
• Efficient and feasible state tomography of quantum many-body systems
• Hamiltonian Tomography via Quantum Quench
• Learning the dynamics of open quantum systems from their steady states
• Single-site-resolved measurement of the current statistics in optical lattices
• Quantum proofs can be verified using only single qubit measurements
• Quantifying the sensitivity to errors in analog quantum simulation
• Classical zero-knowledge arguments for quantum computations
• A Moment for Random Measurements
• Classical Verification of Quantum Computations

Cited by in corpus (64)

• The randomized measurement toolbox
• Quantum sensing with atomic, molecular, and optical platforms for fundamental physics
• Scalable measures of magic resource for quantum computers
• Emergent quantum state designs from individual many-body wavefunctions
• Probing many-body quantum chaos with quantum simulators
• Benchmarking quantum computers
• Quantum Variational Learning of the Entanglement Hamiltonian
• Benchmarking highly entangled states on a 60-atom analog quantum simulator
• Local readout and control of current and kinetic energy operators in optical lattices
• Cross-Platform Comparison of Arbitrary Quantum Computations
• Characterization and Verification of Trotterized Digital Quantum Simulation via Hamiltonian and Liouvillian Learning
• Characterizing the Reproducibility of Noisy Quantum Circuits
• Learning quantum states and unitaries of bounded gate complexity
• Observation of Non-Markovian Spin Dynamics in a Jaynes-Cummings-Hubbard Model using a Trapped-Ion Quantum Simulator
• Distributed quantum inner product estimation
• Quantum-tailored machine-learning characterization of a superconducting qubit
• Practical Black Box Hamiltonian Learning
• Robust and efficient verification of graph states in blind measurement-based quantum computation
• Demonstration of Robust and Efficient Quantum Property Learning with Shallow Shadows
• The advantage of quantum control in many-body Hamiltonian learning
• Quantum algorithms for scientific computing
• Scalably learning quantum many-body Hamiltonians from dynamical data
• Quantum Computing Universal Thermalization Dynamics in a (2+1)D Lattice Gauge Theory
• Optimal short-time measurements for Hamiltonian learning
• Wave function network description and Kolmogorov complexity of quantum many-body systems
• Neural-Shadow Quantum State Tomography
• Efficient verification of Affleck-Kennedy-Lieb-Tasaki states
• Efficient Verification of Ground States of Frustration-Free Hamiltonians
• Probing phases of quantum matter with an ion-trap tensor-network quantum eigensolver
• Probing infinite many-body quantum systems with finite-size quantum simulators
• Hamiltonian tomography by the quantum quench protocol with random noise
• High-accuracy Hamiltonian learning via delocalized quantum state evolutions
• Empirical Sample Complexity of Neural Network Mixed State Reconstruction
• Ancilla-Error-Transparent Controlled Beam Splitter Gate
• Hamiltonian and Liouvillian learning in weakly-dissipative quantum many-body systems
• Quantum Similarity Testing with Convolutional Neural Networks
• Hamiltonian Learning in Quantum Field Theories
• Efficient distributed inner product estimation via Pauli sampling
• Optimal parent Hamiltonians for time-dependent states
• Inferring interpretable dynamical generators of local quantum observables from projective measurements through machine learning
• Ansatz-free Hamiltonian learning with Heisenberg-limited scaling
• Digital Quantum Simulation, Learning of the Floquet Hamiltonian, and Quantum Chaos of the Kicked Top
• Accreditation of Analogue Quantum Simulators
• A protocol to characterize errors in quantum simulation of many-body physics
• Cross-Platform Comparison of Arbitrary Quantum Processes
• Maximum-Likelihood-Estimate Hamiltonian learning via efficient and robust quantum likelihood gradient
• Approximate inverse measurement channel for shallow shadows
• Learning interactions between Rydberg atoms
• Efficiently verifiable quantum advantage on near-term analog quantum simulators
• Experimental Implementation of an Efficient Test of Quantumness
• Nearly query-optimal classical shadow estimation of unitary channels
• Tomography of parametrized quantum states
• Highly-entangled, highly-doped states that are efficiently cross-device verifiable
• Holographic Classical Shadow Tomography
• Parent Hamiltonian Reconstruction via Inverse Quantum Annealing
• Quantum control without quantum states
• Non-Hermitian Parent Hamiltonian from Generalized Quantum Covariance Matrix
• Efficient Eigenstate Preparation in an Integrable Model with Hilbert Space Fragmentation
• Determining non-Hermitian parent Hamiltonian from a single eigenstate
• Swap-test interferometry with biased ancilla noise
• Short-time simulation of quantum dynamics by Pauli measurements
• Experimental Verification of Entangled States in the Adversarial Scenario
• Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases
• Bounded-Error Quantum Simulation via Hamiltonian and Lindbladian Learning