To date, all proposed quantum algorithms for simulating quantum field theory (QFT) simulate (continuous-time) Hamiltonian lattice QFT as a stepping stone. Two overlooked issues are how large we can take the timestep in these simulations while getting the right physics and whether we can go beyond the standard recipe that relies on Hamiltonian lattice QFT. The first issue is crucial in practice for, e.g., trapped-ion experiments which actually have a lower bound on the possible ratio of timestep to lattice spacing. To this end, we show that a timestep equal to or going to zero faster than the spatial lattice spacing is necessary for quantum simulations of QFT, but far more importantly a timestep equal to the lattice spacing is actually sufficient. To do this, first for $ϕ^4$ theory, we give a quantum circuit exactly equivalent to the real-time path integral from the discrete-time Lagrangian formulation of lattice QFT. Next we give another circuit with no lattice QFT analogue, but, by using Feynman rules applied to the circuit, we see that it also reproduces the correct continuum behaviour. Finally, we look at non-abelian gauge fields, showing that the discrete-time lattice QFT path-integral is exactly equivalent to a finite-depth local circuit. All of these circuits have an analogue of a lightcone on the lattice and therefore are examples of quantum cellular automata. Aside from the potential practical benefit of these circuits, this all suggests that the path-integral approach to lattice QFT need not be overlooked in quantum simulations of physics and has a simple quantum information interpretation.
The simulation of real-time dynamics in lattice gauge theories is particularly hard for classical computing due to the exponential scaling of the required resources. On the other hand, quantum algorithms can potentially perform the same calculation with a polynomial dependence on the number of degrees of freedom. A precise estimation is however particularly challenging for the simulation of lattice gauge theories in arbitrary dimensions, where, gauge fields are dynamical variables, in addition to the particle fields. Moreover, there exist several choices for discretizing particles and gauge fi…
Quantum simulators have the exciting prospect of giving access to real-time dynamics of lattice gauge theories, in particular in regimes that are difficult to compute on classical computers. Future progress towards scalable quantum simulation of lattice gauge theories, however, hinges crucially on the efficient use of experimental resources. As we argue in this work, due to the fundamental non-uniqueness of discretizing the relativistic Dirac Hamiltonian, the lattice representation of gauge theories allows for an optimization that up to now has been left unexplored. We exemplify our discussion…
We define and calculate versions of complexity for free fermionic quantum field theories in 1+1 and 3+1 dimensions, adopting Nielsen's geodesic perspective in the space of circuits. We do this both by discretizing and identifying appropriate classes of Bogoliubov-Valatin transformations, and also directly in the continuum by defining squeezing operators and their generalizations. As a closely related problem, we consider cMERA tensor networks for fermions: viewing them as paths in circuit space, we compute their path lengths. Certain ambiguities that arise in some of these results because of c…
In the present work, we propose a scheme for digital formulation of lattice gauge theories with dynamical fermions in 3+1 dimensions. All interactions are obtained as a stroboscopic sequence of two-body interactions with an auxiliary system. This enables quantum simulations of lattice gauge theories where the magnetic four-body interactions arising in two and more spatial dimensions are obtained without the use of perturbation theory, thus resulting in stronger interactions compared with analogue approaches. The simulation scheme is applicable to lattice gauge theories with either compact or f…
Quantum simulations of High Energy Physics, and especially of gauge theories, is an emerging and exciting direction in quantum simulations. However, simulations of such theories, compared to simulations of condensed matter physics, must satisfy extra restrictions, such as local gauge and Lorentz invariance. In this paper we discuss these special requirements, and present a new method for quantum simulation of lattice gauge theories using ultracold atoms. This method allows to include local gauge invariance as a fundamental symmetry of the atomic Hamiltonian, arising from natural atomic interac…
We propose a scheme for digital quantum simulation of lattice gauge theories with dynamical fermions. Using a layered optical lattice with ancilla atoms that can move and interact with the other atoms (simulating the physical degrees of freedom), we obtain a stroboscopic dynamics which yields the four-body plaquette interactions, arising in models with $2+1$ and higher dimensions, without the use of perturbation theory. As an example we show how to simulate a $\mathbb{Z}_2$ model in $2+1$ dimensions.
A general class of discrete unitary models are described whose behavior in the continuum limit corresponds to a many-body Schrodinger equation. On a quantum computer, these models could be used to simulate quantum many-body systems with an exponential speedup over analogous simulations on classical computers. On a classical computer, these models give an explicitly unitary and local prescription for discretizing the Schrodinger equation. It is shown that models of this type can be constructed for an arbitrary number of particles moving in an arbitrary number of dimensions with an arbitrary int…
Digital quantum simulation is a promising application for quantum computers. Their free programmability provides the potential to simulate the unitary evolution of any many-body Hamiltonian with bounded spectrum by discretizing the time evolution operator through a sequence of elementary quantum gates, typically achieved using Trotterization. A fundamental challenge in this context originates from experimental imperfections for the involved quantum gates, which critically limits the number of attainable gates within a reasonable accuracy and therefore the achievable system sizes and simulation…
We demonstrate that Dirac fermions self-interacting or coupled to dynamic scalar fields can emerge in the low energy sector of designed bosonic and fermionic cold atom systems. We illustrate this with two examples defined in two spacetime dimensions. The first one is the self-interacting Thirring model. The second one is a model of Dirac fermions coupled to a dynamic scalar field that gives rise to the Gross-Neveu model. The proposed cold atom experiments can be used to probe spectral or correlation properties of interacting quantum field theories thereby presenting an alternative to lattice g…
Quantum technologies offer the prospect to efficiently simulate sign-problem afflicted regimes in lattice field theory, such as the presence of topological terms, chemical potentials, and out-of-equilibrium dynamics. In this work, we derive the (3+1)D topological $θ$-term for Abelian and non-Abelian lattice gauge theories in the Hamiltonian formulation, paving the way towards Hamiltonian-based simulations of such terms on quantum and classical computers. We further study numerically the zero-temperature phase structure of a (3+1)D U(1) lattice gauge theory with the $θ$-term via exact diagonali…
Over the recent years, the relatively young field of quantum simulation of lattice gauge theories - aiming at implementing simulators of gauge theories with quantum platforms, has gone through a rapid development process. It is now of interest not only to people in the quantum information and technology community, but also seen as a valid tool for tackling hard, nonperturbative gauge theory physics by more and more particle and nuclear physicists. Along the theoretical progress, nowadays more and more experiments which actually implement such simulators are being reported, manifesting beautifu…
Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally arose as an alternative paradigm for quantum computation, though more recently they have found application in understanding topological phases of matter and have been proposed as models of periodically driven (Floquet) quantum systems, where QCA methods were used to classify their phases. QCAs have also been used as a natural discretization of quantum field theo…
We propose an algorithm for computing real-time observables using a quantum processor while avoiding the need to prepare the full quantum state. This reduction in quantum resources is achieved by classically sampling configurations in imaginary-time using standard lattice field theory. These configurations can then be passed to quantum processor for time-evolution. This method encounters a signal-to-noise problem which we characterize, and we demonstrate the application of standard lattice QCD methods to mitigate it.
Using ultracold alkaline-earth atoms in optical lattices, we construct a quantum simulator for U(N) and SU(N) lattice gauge theories with fermionic matter based on quantum link models. These systems share qualitative features with QCD, including chiral symmetry breaking and restoration at non-zero temperature or baryon density. Unlike classical simulations, a quantum simulator does not suffer from sign problems and can address the corresponding chiral dynamics in real time.
We examine the Kogut-Susskind formulation of lattice gauge theories under the light of fermionic and bosonic degrees of freedom that provide a description useful to the development of quantum simulators of gauge invariant models. We consider both discrete and continuous gauge groups and adopt a realistic multi-component Fock space for the definition of matter degrees of freedom. In particular, we express the Hamiltonian of the gauge theory and the Gauss law in terms of Fock operators. The gauge fields are described in two different bases, based on either group elements or group representations…
Simulations of field theories on noisy quantum computers must contend with errors introduced by that noise. For gauge theories, a large class of errors violate gauge symmetry, and thus may result in unphysical processes occurring in the simulation. We present a method, applicable to non-Abelian gauge theories, for suppressing coherent gauge drift errors through the repeated application of pseudorandom gauge transformation. In cases where the dominant errors are gauge-violating, we expect this method to be a practical way to improve the accuracy of NISQ-era simulations.
Correlations and measures of entanglement in ground state wavefunctions of relativistic quantum field theories are spatially localized over length scales set by the mass of the lightest particle. We utilize this localization to design digital quantum circuits for preparing the ground states of lattice scalar quantum field theories. Controlled rotations that are exponentially localized in their position-space extent are found to provide exponentially convergent wavefunction fidelity. These angles scale with the correlation between sites and the classical two-point correlation function, as oppos…
The design of quantum many body systems, which have to fulfill an extensive number of constraints, appears as a formidable challenge within the field of quantum simulation. Lattice gauge theories are a particular important class of quantum systems with an extensive number of local constraints and play a central role in high energy physics, condensed matter and quantum information. Whereas recent experimental progress points towards the feasibility of large-scale quantum simulation of Abelian gauge theories, the quantum simulation of non-Abelian gauge theories appears still elusive. In this pap…
Can high energy physics be simulated by low-energy, non-relativistic, many-body systems, such as ultracold atoms? Such ultracold atomic systems lack the type of symmetries and dynamical properties of high energy physics models: in particular, they manifest neither local gauge invariance nor Lorentz invariance, which are crucial properties of the quantum field theories which are the building blocks of the standard model of elementary particles. However, it turns out, surprisingly, that there are ways to configure atomic system to manifest both local gauge invariance and Lorentz invariance. In p…
A general scheme is presented for simulating gauge theories, with matter fields, on a digital quantum computer. A Trotterized time-evolution operator that respects gauge symmetry is constructed, and a procedure for obtaining time-separated, gauge-invariant operators is detailed. We demonstrate the procedure on small lattices, including the simulation of a 2+1D non-Abelian gauge theory.
Conformal truncation is a powerful numerical method for solving generic strongly-coupled quantum field theories based on purely field-theoretic technics without introducing lattice regularization. We discuss possible speedups for performing those computations using quantum devices, with the help of near-term and future quantum algorithms. We show that this construction is very similar to quantum simulation problems appearing in quantum chemistry (which are widely investigated in quantum information science), and the renormalization group theory provides a field theory interpretation of conform…
We propose the quantum simulation of a fermion and an antifermion field modes interacting via a bosonic field mode, and present a possible implementation with two trapped ions. This quantum platform allows for the scalable add-up of bosonic and fermionic modes, and represents an avenue towards quantum simulations of quantum field theories in perturbative and nonperturbative regimes.
Hybrid quantum-classical simulations of semiclassical gravity
Instituto de Física Teórica UAM-CSIC, Universidad Autónoma de Madrid（马德里自治大学-西班牙国家研究委员会理论物理研究所）；Departamento de Física Fundamental, Universidad de Salamanca（萨拉曼卡大学基础物理系）；Instituto Universitario de Física Fundamental y Matemáticas (IUFFyM), Universidad de Salamanca（萨拉曼卡大学基础物理与数学大学研究所）
Many phenomena occurring in strongly correlated quantum systems still await conclusive explanations. The absence of isolated free quarks in nature is an example. It is attributed to quark confinement, whose origin is not yet understood. The phase diagram for nuclear matter at general temperatures and densities, studied in heavy-ion collisions, is not settled. Finally, we have no definitive theory of high-temperature superconductivity. Though we have theories that could underlie such physics, we lack the tools to determine the experimental consequences of these theories. Quantum simulators may …
Non-abelian gauge theories underlie our understanding of fundamental forces in nature, and developing tailored quantum hardware and algorithms to simulate them is an outstanding challenge in the rapidly evolving field of quantum simulation. Here we take an approach where gauge fields, discretized in spacetime, are represented by qudits and are time-evolved in Trotter steps with multiqudit quantum gates. This maps naturally and hardware-efficiently to an architecture based on Rydberg tweezer arrays, where long-lived internal atomic states represent qudits, and the required quantum gates are per…
Real-time evolution of quantum field theories using classical computers requires resources that scale exponentially with the number of lattice sites. Because of a fundamentally different computational strategy, quantum computers can in principle be used to perform detailed studies of these dynamics from first principles. Before performing such calculations, it is important to ensure that the quantum algorithms used do not have a cost that scales exponentially with the volume. In these proceedings, we present an interesting test case: a formulation of a compact U(1) gauge theory in 2+1 dimensio…
Abelian and non-Abelian gauge theories are of central importance in many areas of physics. In condensed matter physics, Abelian U(1) lattice gauge theories arise in the description of certain quantum spin liquids. In quantum information theory, Kitaev's toric code is a Z(2) lattice gauge theory. In particle physics, Quantum Chromodynamics (QCD), the non-Abelian SU(3) gauge theory of the strong interactions between quarks and gluons, is non-perturbatively regularized on a lattice. Quantum link models extend the concept of lattice gauge theories beyond the Wilson formulation, and are well suited…
We show how engineered classical noise can be used to generate constrained Hamiltonian dynamics in atomic quantum simulators of many-body systems, taking advantage of the continuous Zeno effect. After discussing the general theoretical framework, we focus on applications in the context of lattice gauge theories, where imposing exotic, quasi-local constraints is usually challenging. We demonstrate the effectiveness of the scheme for both Abelian and non-Abelian gauge theories, and discuss how engineering dissipative constraints substitutes complicated, non-local interaction patterns by global c…
The many-body problem is ubiquitous in the theoretical description of physical phenomena, ranging from the behavior of elementary particles to the physics of electrons in solids. Most of our understanding of many-body systems comes from analyzing the symmetry properties of Hamiltonian and states: the most striking example are gauge theories such as quantum electrodynamics, where a local symmetry strongly constrains the microscopic dynamics. The physics of such gauge theories is relevant for the understanding of a diverse set of systems, including frustrated quantum magnets and the collective d…
We show that gauge invariant quantum link models, Abelian and non-Abelian, can be exactly described in terms of tensor networks states. Quantum link models represent an ideal bridge between high-energy to cold atom physics, as they can be used in cold-atoms in optical lattices to study lattice gauge theories. In this framework, we characterize the phase diagram of a (1+1)-d quantum link version of the Schwinger model in an external classical background electric field: the quantum phase transition from a charge and parity ordered phase with non-zero electric flux to a disordered one with a net …
Gauge field theories play a central role in modern physics and are at the heart of the Standard Model of elementary particles and interactions. Despite significant progress in applying classical computational techniques to simulate gauge theories, it has remained a challenging task to compute the real-time dynamics of systems described by gauge theories. An exciting possibility that has been explored in recent years is the use of highly-controlled quantum systems to simulate, in an analog fashion, properties of a target system whose dynamics are difficult to compute. Engineered atom-laser inte…
A fundamental challenge in digital quantum simulation (DQS) is the control of inherent errors. These appear when discretizing the time evolution generated by the Hamiltonian of a quantum many-body system as a sequence of quantum gates, called Trotterization. Here, we show that quantum localization-by constraining the time evolution through quantum interference-strongly bounds these errors for local observables. Consequently, for generic quantum many-body Hamiltonians, Trotter errors can become independent of system size and total simulation time. For local observables, DQS is thus intrinsicall…
In the Kogut-Susskind formulation of lattice gauge theories, a set of quantum numbers resides at the ends of each link to characterize the vertex-local gauge field. We discuss the role of these quantum numbers in propagating correlations and supporting entanglement that ensures each vertex remains gauge invariant, despite time evolution induced by operators with (only) partial access to each vertex Hilbert space. Applied to recent proposals for eliminating vertex-local Hilbert spaces in quantum simulation, we describe how the required entanglement is generated via delocalization of the time ev…
Quantum simulation of lattice gauge theories coupled to fermionic matter via anyonic regularization
Center for Computing Research, Sandia National Laboratories（桑迪亚国家实验室计算研究中心）；Center for Quantum Information and Control, University of New Mexico（新墨西哥大学量子信息与控制中心）；Department of Physics and Astronomy, University of New Mexico（新墨西哥大学物理与天文学系）；Quantum Algorithms and Applications Collaboratory, Sandia National Laboratories（桑迪亚国家实验室量子算法与应用协作中心）
We discuss the implementation of quantum algorithms for lattice $Φ^4$ theory on circuit quantum electrodynamics (cQED) system. The field is represented on qudits in a discretized field amplitude basis. The main advantage of qudit systems is that its multi-level characteristic allows the field interaction to be implemented only with diagonal single-qudit gates. Considering the set of universal gates formed by the single-qudit phase gate and the displacement gate, we address initial state preparation and single-qudit gate synthesis with variational methods.
We study a lattice gauge theory in Wilson's Hamiltonian formalism. In view of the realization of a quantum simulator for QED in one dimension, we introduce an Abelian model with a discrete gauge symmetry $\mathbb{Z}_n$, approximating the $U(1)$ theory for large $n$. We analyze the role of the finiteness of the gauge fields and the properties of physical states, that satisfy a generalized Gauss's law. We finally discuss a possible implementation strategy, that involves an effective dynamics in physical space.
In this thesis, we consider the properties of measurements in quantum theory and other operational theories. After having introduced the framework of operational theories, we consider a communication scheme based on an experimental prepare-and-measure scenario and demonstrate this with different communication tasks. This gives us context for how the different communication tasks can be implemented in different theories, in doing so establishing quantum theory intuitively as an operational theory among other theories. The main property of measurements we focus on in this work is the simulation …
We develop a quantum simulator architecture that is suitable for the simulation of $U(1)$ Abelian gauge theories such as quantum electrodynamics. Our approach relies on the ability to control the hopping of a particle through a barrier by means of the internal quantum states of a neutral or charged impurity-particle sitting at the barrier. This scheme is experimentally feasible, as the correlated hopping does not require fine-tuning of the intra- and inter-species interactions. We investigate the applicability of the scheme in a double well potential, which is the basic building block of the s…
Quantum computers will work by evolving a high tensor power of a small (e.g. two) dimensional Hilbert space by local gates, which can be implemented by applying a local Hamiltonian H for a time t. In contrast to this quantum engineering, the most abstract reaches of theoretical physics has spawned topological models having a finite dimensional internal state space with no natural tensor product structure and in which the evolution of the state is discrete, H = 0. These are called topological quantum filed theories (TQFTs). These exotic physical systems are proved to be efficiently simulated on…
