Self-verifying variational quantum simulation of lattice models.

Hybrid classical-quantum algorithms aim to variationally solve optimization problems using a feedback loop between a classical computer and a quantum co-processor, while benefiting from quantum resources. Here we present experiments that demonstrate self-verifying, hybrid, variational quantum simulation of lattice models in condensed matter and high-energy physics. In contrast to analogue quantum simulation, this approach forgoes the requirement of realizing the targeted Hamiltonian directly in the laboratory, thus enabling the study of a wide variety of previously intractable target models. We focus on the lattice Schwinger model, a gauge theory of one-dimensional quantum electrodynamics. Our quantum co-processor is a programmable, trapped-ion analogue quantum simulator with up to 20 qubits, capable of generating families of entangled trial states respecting the symmetries of the target Hamiltonian. We determine ground states, energy gaps and additionally, by measuring variances of the Schwinger Hamiltonian, we provide algorithmic errors for the energies, thus taking a step towards verifying quantum simulation.