Provably accurate simulation of gauge theories and bosonic systems

Abstract

Quantum many-body systems involving bosonic modes or gauge fields have infinite-dimensional local Hilbert spaces which must be truncated to perform simulations of real-time dynamics on classical or quantum computers. To analyze the truncation error, we develop methods for bounding the rate of growth of local quantum numbers such as the occupation number of a mode at a lattice site, or the electric field at a lattice link. Our approach applies to various models of bosons interacting with spins or fermions, and also to both abelian and non-abelian gauge theories. We show that if states in these models are truncated by imposing an upper limit $\Lambda$ on each local quantum number, and if the initial state has low local quantum numbers, then an error at most $\epsilon$ can be achieved by choosing $\Lambda$ to scale polylogarithmically with ${\epsilon }^{-1}$, an exponential improvement over previous bounds based on energy conservation. For the Hubbard-Holstein model, we numerically compute a bound on $\Lambda$ that achieves accuracy $\epsilon$, obtaining significantly improved estimates in various parameter regimes. We also establish a criterion for truncating the Hamiltonian with a provable guarantee on the accuracy of time evolution. Building on that result, we formulate quantum algorithms for dynamical simulation of lattice gauge theories and of models with bosonic modes; the gate complexity depends almost linearly on spacetime volume in the former case, and almost quadratically on time in the latter case. We establish a lower bound showing that there are systems involving bosons for which this quadratic scaling with time cannot be improved. By applying our result on the truncation error in time evolution, we also prove that spectrally isolated energy eigenstates can be approximated with accuracy $\epsilon$ by truncating local quantum numbers at $\Lambda =\text{polylog}({\epsilon }^{-1})$.

References in corpus (12)

• Lieb-Robinson Bounds and the Exponential Clustering Theorem
• A cold-atom quantum simulator for SU(2) Yang-Mills lattice gauge theory
• Virtual Distillation for Quantum Error Mitigation
• Lieb-Robinson Bounds for Harmonic and Anharmonic Lattice Systems
• Efficient Basis Formulation for (1+1)-Dimensional SU(2) Lattice Gauge Theory: Spectral calculations with matrix product states
• Stochastic Error Cancellation in Analog Quantum Simulation
• Lattice Quantum Electrodynamics in (3+1)-dimensions at finite density with Tensor Networks
• Nearly tight Trotterization of interacting electrons
• Hybridized Methods for Quantum Simulation in the Interaction Picture
• Fast-forwarding quantum evolution
• Lattice Quantum Chromodynamics and Electrodynamics on a Universal Quantum Computer
• Site-by-site quantum state preparation algorithm for preparing vacua of fermionic lattice field theories

Cited by in corpus (33)

• Quantum Computing for High-Energy Physics: State of the Art and Challenges. Summary of the QC4HEP Working Group
• Preparation of the SU(3) Lattice Yang-Mills Vacuum with Variational Quantum Methods
• Learning many-body Hamiltonians with Heisenberg-limited scaling
• Quantum and classical spin network algorithms for $q$-deformed Kogut-Susskind gauge theories
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory
• Loop-string-hadron formulation of an SU(3) gauge theory with dynamical quarks
• On the complexity of implementing Trotter steps
• Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
• Strong Error Bounds for Trotter & Strang-Splittings and Their Implications for Quantum Chemistry
• Real-time scattering in the lattice Schwinger model
• Holomorphic representation of quantum computations
• Exponential improvements in the simulation of lattice gauge theories using near-optimal techniques
• Tensor Networks for Lattice Gauge Theories beyond one dimension: a Roadmap
• Gluon Digitization via Character Expansion for Quantum Computers
• Effective light cone and digital quantum simulation of interacting bosons
• Average-case Speedup for Product Formulas
• Towards a Quantum Simulation of Nonlinear Sigma Models with a Topological Term
• Toward hybrid quantum simulations with qubits and qumodes on trapped-ion platforms
• A Comprehensive Cross-Model Framework for Benchmarking the Performance of Quantum Hamiltonian Simulations
• Time-dependent Hamiltonian Simulation via Magnus Expansion: Algorithm and Superconvergence
• End-to-end complexity for simulating the Schwinger model on quantum computers
• Simulating Quantum Mechanics with a $\theta$-term and an 't Hooft Anomaly on a Synthetic Dimension
• Thermal Area Law for Lattice Bosons
• Solving lattice gauge theories using the quantum Krylov algorithm and qubitization
• Quantum Simulation of the First-Quantized Pauli-Fierz Hamiltonian
• Quantum simulating continuum field theories with large-spin lattice models
• Digital Quantum Simulation of Scalar Yukawa Coupling
• On the Trotter Error in Many-body Quantum Dynamics with Coulomb Potentials
• Discrete Superconvergence Analysis for Quantum Magnus Algorithms of Unbounded Hamiltonian Simulation
• Quantum computational resources for lattice QCD in the strong-coupling limit
• Quantum simulation of massive Thirring and Gross--Neveu models for arbitrary number of flavors
• Creation of Wave Packets for Quantum Chromodynamics on Quantum Computers
• A posteriori error estimates for the Lindblad master equation