Oracles for Gauss's law on digital quantum computers

Abstract

Formulating a lattice gauge theory using only physical degrees of freedom generically leads to non-local interactions. A local Hamiltonian is desirable for quantum simulation, and this is possible by treating the Hilbert space as a subspace of a much larger Hilbert space in which Gauss's law is not automatic. Digital quantum simulations of this local formulation will wander into unphysical sectors due to errors from Trotterization or from quantum noise. In this work, oracles are constructed that use local Gauss law constraints to projectively distinguish physical and unphysical wave functions in Abelian lattice gauge theories. Such oracles can be used to detect errors that break Gauss's law.

arXiv comment9 pages, 5 figures. v3: Approximate journal version

References in corpus (51)

• Quantum Mechanics helps in searching for a needle in a haystack
• Computational complexity and fundamental limitations to fermionic quantum Monte Carlo simulations
• Quantum Networks for Elementary Arithmetic Operations
• Real-time dynamics of lattice gauge theories with a few-qubit quantum computer
• Simulating Hamiltonian dynamics with a truncated Taylor series
• Quantum Algorithms for Quantum Field Theories
• A new method to study lattice QCD at finite temperature and chemical potential
• Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers
• Quantum Simulations of Lattice Gauge Theories using Ultracold Atoms in Optical Lattices
• Atomic Quantum Simulation of Dynamical Gauge Fields coupled to Fermionic Matter: From String Breaking to Evolution after a Quench
• High density QCD on a Lefschetz thimble?
• Scattering processes and resonances from lattice QCD
• Quantum Link Models: A Discrete Approach to Gauge Theories
• Halving the cost of quantum addition
• Lattice gauge theories simulations in the quantum information era
• Parton distributions and lattice QCD calculations: a community white paper
• Light Nuclei and Hypernuclei from Quantum Chromodynamics in the Limit of SU(3) Flavor Symmetry
• Low-cost error mitigation by symmetry verification
• Simulations of non-Abelian gauge theories with optical lattices
• Taming the dynamical sign problem in real-time evolution of quantum many-body problems
• Functional integrals for QCD at nonzero chemical potential and zero density
• Simulating lattice gauge theories on a quantum computer
• Quantum simulations of gauge theories with ultracold atoms: local gauge invariance from angular momentum conservation
• Can stochastic quantization evade the sign problem? -- the relativistic Bose gas at finite chemical potential
• Constrained dynamics via the Zeno effect in quantum simulation: Implementing non-Abelian lattice gauge theories with cold atoms
• Addition on a Quantum Computer
• QCD as a Quantum Link Model
• Optical Abelian Lattice Gauge Theories
• Confinement and lattice QED electric flux-tubes simulated with ultracold atoms
• Real-time Dynamics in U(1) Lattice Gauge Theories with Tensor Networks
• Digital lattice gauge theories
• Towards Quantum Simulating QCD
• Digital quantum simulation of ${\mathbb{Z}}_2$ lattice gauge theories with dynamical fermionic matter
• Non-Abelian $SU(2)$ Lattice Gauge Theories in Superconducting Circuits
• Gauge-invariant implementation of the Abelian Higgs model on optical lattices
• Digital quantum simulation of lattice gauge theories in three spatial dimensions
• Quantum simulation of the universal features of the Polyakov loop
• Quantum simulation of lattice gauge theories using Wilson fermions
• Proton-proton fusion and tritium $\beta$-decay from lattice quantum chromodynamics
• Phase of the Fermion Determinant at Nonzero Chemical Potential
• The Magnetic Structure of Light Nuclei from Lattice QCD
• Implementing quantum electrodynamics with ultracold atomic systems
• Finite-Density Monte Carlo Calculations on Sign-Optimized Manifolds
• Schwinger-Keldysh on the lattice: a faster algorithm and its application to field theory
• Double-$\beta$ Decay Matrix Elements from Lattice Quantum Chromodynamics
• Loop Approach to Lattice Gauge Theories
• Quantum Carry-Save Arithmetic
• Electromagnetic lattice gauge invariance in two-dimensional discrete-time quantum walks
• Unifying all classical spin models in a Lattice Gauge Theory
• Octet Baryon Magnetic Moments from Lattice QCD: Approaching Experiment from a Three-Flavor Symmetric Point
• QCD at small baryon number

Cited by in corpus (52)

• Simulating Lattice Gauge Theories within Quantum Technologies
• Quantum Simulation for High Energy Physics
• SU(2) non-Abelian gauge field theory in one dimension on digital quantum computers
• A Trailhead for Quantum Simulation of SU(3) Yang-Mills Lattice Gauge Theory in the Local Multiplet Basis
• Review on novel methods for lattice gauge theories
• Standard Model Physics and the Digital Quantum Revolution: Thoughts about the Interface
• General Methods for Digital Quantum Simulation of Gauge Theories
• Search for Efficient Formulations for Hamiltonian Simulation of non-Abelian Lattice Gauge Theories
• Quantum Simulating Nature's Fundamental Fields
• Digital Quantum Simulation of the Schwinger Model and Symmetry Protection with Trapped Ions
• Gluon Field Digitization for Quantum Computers
• Quantum Simulation of Lattice Gauge Theories in more than One Space Dimension -- Requirements, Challenges, Methods
• Preparations for Quantum Simulations of Quantum Chromodynamics in 1+1 Dimensions: (I) Axial Gauge
• Solving Gauss's Law on Digital Quantum Computers with Loop-String-Hadron Digitization
• Faster Digital Quantum Simulation by Symmetry Protection
• Gluon Field Digitization via Group Space Decimation for Quantum Computers
• Preparation of the SU(3) Lattice Yang-Mills Vacuum with Variational Quantum Methods
• Preparations for Quantum Simulations of Quantum Chromodynamics in 1+1 Dimensions: (II) Single-Baryon $\beta$-Decay in Real Time
• Toward scalable simulations of Lattice Gauge Theories on quantum computers
• Minimally-Entangled State Preparation of Localized Wavefunctions on Quantum Computers
• Single-particle digitization strategy for quantum computation of a ${\varphi }^4$ scalar field theory
• Sigma models on quantum computers
• Quantum simulation of scattering in the quantum Ising model
• Basic Elements for Simulations of Standard Model Physics with Quantum Annealers: Multigrid and Clock States
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory
• Primitive Quantum Gates for Dihedral Gauge Theories
• Hybridized Methods for Quantum Simulation in the Interaction Picture
• Lattice Renormalization of Quantum Simulations
• Real-time simulation of (2+1)-dimensional lattice gauge theory on qubits
• Gauge invariant quantum circuits for $U(1)$ and Yang-Mills lattice gauge theories
• From the Jaynes-Cummings model to non-Abelian gauge theories: a guided tour for the quantum engineer
• Resource-Efficient Quantum Simulation of Lattice Gauge Theories in Arbitrary Dimensions: Solving for Gauss' Law and Fermion Elimination
• Simulating Effective QED on Quantum Computers
• Selected topics of quantum computing for nuclear physics
• Nearly-optimal state preparation for quantum simulations of lattice gauge theories
• Gauge Theory Couplings on Anisotropic Lattices
• Discrete aspects of continuous symmetries in the tensorial formulation of Abelian gauge theories
• Protecting local and global symmetries in simulating 1+1-D non-abelian gauge theories
• State Preparation in the Heisenberg Model through Adiabatic Spiraling
• Towards the real-time evolution of gauge-invariant ${\mathbb{Z}}_2$ and $U(1)$ quantum link models on NISQ Hardware with error-mitigation
• Local Manipulation and Measurement of Nonlocal Many-Body Operators in Lattice Gauge Theory Quantum Simulators
• Preparation for Quantum Simulation of the 1+1D O(3) Non-linear σ-Model using Cold Atoms
• Quantum thermodynamics of nonequilibrium processes in lattice gauge theories
• Benchmarking quantum computers for real-time evolution of a $(1+1)$ field theory with error mitigation
• Fault-tolerant simulation of Lattice Gauge Theories with gauge covariant codes
• Towards Quantum Simulating Non-Abelian Gauge Theories
• Toward simulating quantum field theories with controlled phonon-ion dynamics: A hybrid analog-digital approach
• Parallelization techniques for quantum simulation of fermionic systems
• Symmetry verification for noisy quantum simulations of non-Abelian lattice gauge theories
• Engineering an Effective Three-spin Hamiltonian in Trapped-ion Systems for Applications in Quantum Simulation
• Quantum Error Correction Codes for Truncated SU(2) Lattice Gauge Theories
• Shearing approach to gauge-invariant Trotterization