Solving Gauss's Law on Digital Quantum Computers with Loop-String-Hadron Digitization

Abstract

We show that using the loop-string-hadron (LSH) formulation of SU(2) lattice gauge theory (arXiv:1912.06133) as a basis for digital quantum computation easily solves an important problem of fundamental interest: implementing gauge invariance (or Gauss's law) exactly. We first discuss the structure of the LSH Hilbert space in $d$ spatial dimensions, its truncation, and its digitization with qubits. Error detection and mitigation in gauge theory simulations would benefit from physicality "oracles,'"so we decompose circuits that flag gauge invariant wavefunctions. We then analyze the logical qubit costs and entangling gate counts involved with the protocols. The LSH basis could save or cost more qubits than a Kogut-Susskind-type representation basis, depending on how the bases are digitized as well as the spatial dimension. The numerous other clear benefits encourage future studies into applying this framework.

arXiv comment10 pages, 9 figures. v3: Journal version. A few added remarks and plots regarding qubit costs

References in corpus (32)

• Quantum Computing in the NISQ era and beyond
• Elementary gates for quantum computation
• Real-time dynamics of lattice gauge theories with a few-qubit quantum computer
• Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers
• Quantum Simulations of Lattice Gauge Theories using Ultracold Atoms in Optical Lattices
• Ultracold Quantum Gases and Lattice Systems: Quantum Simulation of Lattice Gauge Theories
• Floquet approach to ${\mathbb{Z}}_2$ lattice gauge theories with ultracold atoms in optical lattices
• Atomic Quantum Simulation of U(N) and SU(N) Non-Abelian Lattice Gauge Theories
• A cold-atom quantum simulator for SU(2) Yang-Mills lattice gauge theory
• Lattice gauge theories simulations in the quantum information era
• SU(2) non-Abelian gauge field theory in one dimension on digital quantum computers
• Simulations of non-Abelian gauge theories with optical lattices
• Simulating lattice gauge theories on a quantum computer
• A Formulation of Lattice Gauge Theories for Quantum Simulations
• Review on novel methods for lattice gauge theories
• Tensor networks for Lattice Gauge Theories and Atomic Quantum Simulation
• U(1) Wilson lattice gauge theories in digital quantum simulators
• General Methods for Digital Quantum Simulation of Gauge Theories
• Loop, String, and Hadron Dynamics in SU(2) Hamiltonian Lattice Gauge Theories
• Towards analog quantum simulations of lattice gauge theories with trapped ions
• Gluon Field Digitization for Quantum Computers
• Tensor Networks for Lattice Gauge Theories with continuous groups
• 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
• Quantum simulation of lattice gauge theories using Wilson fermions
• Oracles for Gauss's law on digital quantum computers
• Harmonic Oscillator Prepotentials in SU(2) Lattice Gauge Theory
• Prepotential formulation of SU(3) lattice gauge theory
• Loop Approach to Lattice Gauge Theories
• Loop States in Lattice Gauge Theories
• Mass gap in the weak coupling limit of $(2+1)$ SU(2) lattice gauge theory

Cited by in corpus (57)

• Quantum Simulation for High Energy Physics
• A Trailhead for Quantum Simulation of SU(3) Yang-Mills Lattice Gauge Theory in the Local Multiplet Basis
• Standard Model Physics and the Digital Quantum Revolution: Thoughts about the Interface
• 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
• Quantum simulation of non-equilibrium dynamics and thermalization in the Schwinger model
• SU(2) lattice gauge theory on a quantum annealer
• Tensor lattice field theory with applications to the renormalization group and quantum computing
• Preparation of the SU(3) Lattice Yang-Mills Vacuum with Variational Quantum Methods
• Gluon Field Digitization via Group Space Decimation for Quantum Computers
• Nuclear matrix elements from lattice QCD for electroweak and beyond-Standard-Model processes
• Self-mitigating Trotter circuits for SU(2) lattice gauge theory on a quantum computer
• Minimally-Entangled State Preparation of Localized Wavefunctions on Quantum Computers
• Primitive Quantum Gates for an SU(2) Discrete Subgroup: BT
• Qubit regularization of asymptotic freedom
• Thermalization of Gauge Theories from their Entanglement Spectrum
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory
• Primitive Quantum Gates for Dihedral Gauge Theories
• Improved Hamiltonians for Quantum Simulations
• Toward Quantum Simulations of ${\mathbb{Z}}_2$ Gauge Theory Without State Preparation
• Quantum simulation of quantum field theories as quantum chemistry
• Loop-string-hadron formulation of an SU(3) gauge theory with dynamical quarks
• Lattice Renormalization of Quantum Simulations
• The spectrum of qubitized QCD: glueballs in a $S(1080)$ gauge theory
• Real-time simulation of (2+1)-dimensional lattice gauge theory on qubits
• Towards the continuum limit of a $(1+1)$d quantum link Schwinger model
• SU(2) Gauge Theory in $2+1$ Dimensions on a Plaquette Chain Obeys the Eigenstate Thermalization Hypothesis
• From square plaquettes to triamond lattices for SU(2) gauge theory
• Simple Hamiltonian for Quantum Simulation of Strongly Coupled 2+1D SU(2) Lattice Gauge Theory on a Honeycomb Lattice
• Simulating Effective QED on Quantum Computers
• Primitive Quantum Gates for an SU(3) Discrete Subgroup: $\Sigma (36\times 3)$
• Liouvillian Dynamics of the Open Schwinger Model: String Breaking and Kinetic Dissipation in a Thermal Medium
• Nearly-optimal state preparation for quantum simulations of lattice gauge theories
• Gauge Theory Couplings on Anisotropic Lattices
• From asymptotic freedom to $\theta$ vacua: Qubit embeddings of the O(3) nonlinear $\sigma$ model
• Loop-string-hadron approach to SU(3) lattice Yang-Mills theory: I. Hilbert space of a trivalent vertex
• Entanglement between Valence and Sea Quarks in Hadrons of 1+1 Dimensional QCD
• Gluon Digitization via Character Expansion for Quantum Computers
• Quantum Simulation of the N flavor Gross-Neveu Model
• Protecting local and global symmetries in simulating 1+1-D non-abelian gauge theories
• Towards the real-time evolution of gauge-invariant ${\mathbb{Z}}_2$ and $U(1)$ quantum link models on NISQ Hardware with error-mitigation
• Spin exchange-enabled quantum simulator for large-scale non-Abelian gauge theories
• An efficient finite-resource formulation of non-Abelian lattice gauge theories beyond one dimension
• Quantum thermodynamics of nonequilibrium processes in lattice gauge theories
• Improved Honeycomb and Hyperhoneycomb Lattice Hamiltonians for Quantum Simulations of Non-Abelian Gauge Theories
• Quantum mean estimation for lattice field theory
• Block encoding bosons by signal processing
• Lattice regularizations of $\theta$ vacua: Anomalies and qubit models
• Fault-tolerant simulation of Lattice Gauge Theories with gauge covariant codes
• Toward simulating quantum field theories with controlled phonon-ion dynamics: A hybrid analog-digital approach
• Towards Quantum Simulating Non-Abelian Gauge Theories
• Engineering an Effective Three-spin Hamiltonian in Trapped-ion Systems for Applications in Quantum Simulation
• Identification of a natural fieldlike entanglement resource in trapped-ion chains
• Counting gauge-invariant states with matter fields and finite gauge groups
• Creation of Wave Packets for Quantum Chromodynamics on Quantum Computers
• Shearing approach to gauge-invariant Trotterization