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 (14)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Quantum computational advantage using photons
• Many-Body Physics with Individually-Controlled Rydberg Atoms
• Randomized Benchmarking of Quantum Gates
• Efficient quantum state tomography
• Direct Fidelity Estimation from Few Pauli Measurements
• Tools for quantum simulation with ultracold atoms in optical lattices
• Measuring entanglement growth in quench dynamics of bosons in an optical lattice
• Evenly distributed unitaries: on the structure of unitary designs
• Symmetrised Characterisation of Noisy Quantum Processes
• Measuring entanglement entropy of a generic many-body system with a quantum switch
• Realizable Hamiltonians for Universal Adiabatic Quantum Computers
• Spin pumping and measurement of spin currents in optical superlattices
• A Moment for Random Measurements