Provably accurate simulation of gauge theories and bosonic systems
- URL: http://arxiv.org/abs/2110.06942v2
- Date: Tue, 20 Sep 2022 17:04:25 GMT
- Title: Provably accurate simulation of gauge theories and bosonic systems
- Authors: Yu Tong, Victor V. Albert, Jarrod R. McClean, John Preskill, Yuan Su
- Abstract summary: We develop methods for bounding the rate of growth of local quantum numbers.
For the Hubbard-Holstein model, we compute a bound on $Lambda$ that achieves accuracy $epsilon$.
We also establish a criterion for truncating the Hamiltonian with a provable guarantee on the accuracy of time evolution.
- Score: 2.406160895492247
- License: http://creativecommons.org/licenses/by/4.0/
- 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=\textrm{polylog}(\epsilon^{-1})$.
Related papers
- Slow Mixing of Quantum Gibbs Samplers [47.373245682678515]
We present a quantum generalization of these tools through a generic bottleneck lemma.
This lemma focuses on quantum measures of distance, analogous to the classical Hamming distance but rooted in uniquely quantum principles.
Even with sublinear barriers, we use Feynman-Kac techniques to lift classical to quantum ones establishing tight lower bound $T_mathrmmix = 2Omega(nalpha)$.
arXiv Detail & Related papers (2024-11-06T22:51:27Z) - Digital quantum simulation of lattice fermion theories with local encoding [0.0]
We numerically analyze the feasibility of a platform-neutral, general strategy to perform quantum simulations of fermionic lattice field theories.
We observe a timescale separation for spin- and charge-excitations in a spin-$frac12$ Hubbard ladder in the $t-J$ model limit.
arXiv Detail & Related papers (2023-10-23T16:54:49Z) - Exponentially improved efficient machine learning for quantum many-body states with provable guarantees [0.0]
We provide theoretical guarantees for efficient learning of quantum many-body states and their properties, with model-independent applications.
Our results provide theoretical guarantees for efficient learning of quantum many-body states and their properties, with model-independent applications.
arXiv Detail & Related papers (2023-04-10T02:22:36Z) - Probing finite-temperature observables in quantum simulators of spin
systems with short-time dynamics [62.997667081978825]
We show how finite-temperature observables can be obtained with an algorithm motivated from the Jarzynski equality.
We show that a finite temperature phase transition in the long-range transverse field Ising model can be characterized in trapped ion quantum simulators.
arXiv Detail & Related papers (2022-06-03T18:00:02Z) - Fermionic approach to variational quantum simulation of Kitaev spin
models [50.92854230325576]
Kitaev spin models are well known for being exactly solvable in a certain parameter regime via a mapping to free fermions.
We use classical simulations to explore a novel variational ansatz that takes advantage of this fermionic representation.
We also comment on the implications of our results for simulating non-Abelian anyons on quantum computers.
arXiv Detail & Related papers (2022-04-11T18:00:01Z) - Bosonic field digitization for quantum computers [62.997667081978825]
We address the representation of lattice bosonic fields in a discretized field amplitude basis.
We develop methods to predict error scaling and present efficient qubit implementation strategies.
arXiv Detail & Related papers (2021-08-24T15:30:04Z) - Spectral Analysis of Product Formulas for Quantum Simulation [0.0]
We show that the Trotter step size needed to estimate an energy eigenvalue within precision can be improved in scaling from $epsilon$ to $epsilon1/2$ for a large class of systems.
Results partially generalize to diabatic processes, which remain in a narrow energy band separated from the rest of the spectrum by a gap.
arXiv Detail & Related papers (2021-02-25T03:17:25Z) - Efficient and Flexible Approach to Simulate Low-Dimensional Quantum
Lattice Models with Large Local Hilbert Spaces [0.08594140167290096]
We introduce a mapping that allows to construct artificial $U(1)$ symmetries for any type of lattice model.
Exploiting the generated symmetries, numerical expenses that are related to the local degrees of freedom decrease significantly.
Our findings motivate an intuitive physical picture of the truncations occurring in typical algorithms.
arXiv Detail & Related papers (2020-08-19T14:13:56Z) - Quantum Algorithms for Simulating the Lattice Schwinger Model [63.18141027763459]
We give scalable, explicit digital quantum algorithms to simulate the lattice Schwinger model in both NISQ and fault-tolerant settings.
In lattice units, we find a Schwinger model on $N/2$ physical sites with coupling constant $x-1/2$ and electric field cutoff $x-1/2Lambda$.
We estimate observables which we cost in both the NISQ and fault-tolerant settings by assuming a simple target observable---the mean pair density.
arXiv Detail & Related papers (2020-02-25T19:18:36Z) - Quantum Simulation of 2D Quantum Chemistry in Optical Lattices [59.89454513692418]
We propose an analog simulator for discrete 2D quantum chemistry models based on cold atoms in optical lattices.
We first analyze how to simulate simple models, like the discrete versions of H and H$+$, using a single fermionic atom.
We then show that a single bosonic atom can mediate an effective Coulomb repulsion between two fermions, leading to the analog of molecular Hydrogen in two dimensions.
arXiv Detail & Related papers (2020-02-21T16:00:36Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.