Simulating Z_{2} lattice gauge theory on a quantum computer

The utility of quantum computers for simulating lattice gauge theories is currently limited by the noisiness of the physical hardware. Various quantum error mitigation strategies exist to reduce the statistical and systematic uncertainties in quantum simulations via improved algorithms and analysis strategies. We perform quantum simulations of Z_{2} gauge theory with matter to study the efficacy and interplay of different error mitigation methods: readout error mitigation, randomized compiling, rescaling, and dynamical decoupling. We compute Minkowski correlation functions in this confining gauge theory and extract the mass of the lightest spin-1 state from fits to their time dependence. Quantum error mitigation extends the range of times over which our correlation function calculations are accurate by a factor of 6 and is therefore essential for obtaining reliable masses.

Quantum and Classical Spin-Network Algorithms for q-Deformed Kogut-Susskind Gauge Theories

Treating the infinite-dimensional Hilbert space of non-Abelian gauge theories is an outstanding challenge for classical and quantum simulations. Here, we employ q-deformed Kogut-Susskind lattice gauge theories, obtained by deforming the defining symmetry algebra to a quantum group. In contrast to other formulations, this approach simultaneously provides a controlled regularization of the infinite-dimensional local Hilbert space while preserving essential symmetry-related properties. This enables the development of both quantum as well as quantum-inspired classical spin-network algorithms for q-deformed gauge theories. To be explicit, we focus on SU(2)_{k} gauge theories with k∈N that are controlled by the deformation parameter q=e^{2πi/(k+2)}, a root of unity, and converge to the standard SU(2) Kogut-Susskind model as k→∞. In particular, we demonstrate that this formulation is well suited for efficient tensor network representations by variational ground-state simulations in 2D, providing first evidence that the continuum limit can be reached with k=O(10). Finally, we develop a scalable quantum algorithm for Trotterized real-time evolution by analytically diagonalizing the SU(2)_{k} plaquette interactions. Our work gives a new perspective for the application of tensor network methods to high-energy physics and paves the way for quantum simulations of non-Abelian gauge theories far from equilibrium where no other methods are currently available.

Towards Quantum Computing Phase Diagrams of Gauge Theories with Thermal Pure Quantum States

The phase diagram of strong interactions in nature at finite temperature and chemical potential remains largely theoretically unexplored due to inadequacy of Monte-Carlo-based computational techniques in overcoming a sign problem. Quantum computing offers a sign-problem-free approach, but evaluating thermal expectation values is generally resource intensive on quantum computers. To facilitate thermodynamic studies of gauge theories, we propose a generalization of the thermal-pure-quantum-state formulation of statistical mechanics applied to constrained gauge-theory dynamics, and numerically demonstrate that the phase diagram of a simple low-dimensional gauge theory is robustly determined using this approach, including mapping a chiral phase transition in the model at finite temperature and chemical potential. Quantum algorithms, resource requirements, and algorithmic and hardware error analysis are further discussed to motivate future implementations. Thermal pure quantum states, therefore, may present a suitable candidate for efficient thermal simulations of gauge theories in the era of quantum computing.

Multi-Neutrino Entanglement and Correlations in Dense Neutrino Systems

The time evolution of multi-neutrino entanglement and correlations are studied in two-flavor collective neutrino oscillations, relevant for dense neutrino environments, building upon previous works. Specifically, simulations performed of systems with up to 12 neutrinos using Quantinuum's H1-1 20 qubit trapped-ion quantum computer are used to compute n-tangles, and two- and three-body correlations, probing beyond mean-field descriptions. n-tangle rescalings are found to converge for large system sizes, signaling the presence of genuine multi-neutrino entanglement.

Hardware Efficient Quantum Simulation of Non-Abelian Gauge Theories with Qudits on Rydberg Platforms

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 performed as holonomic operations supported by a Rydberg blockade mechanism. We illustrate our proposal for a minimal digitization of SU(2) gauge fields, demonstrating a significant reduction in circuit depth and gate errors in comparison to a traditional qubit-based approach, which puts simulations of non-Abelian gauge theories within reach of NISQ devices.

Improved Hamiltonians for Quantum Simulations of Gauge Theories

Quantum simulations of lattice gauge theories for the foreseeable future will be hampered by limited resources. The historical success of improved lattice actions in classical simulations strongly suggests that Hamiltonians with improved discretization errors will reduce quantum resources, i.e., require ≳2^{d} fewer qubits in quantum simulations for lattices with d-spatial dimensions. In this work, we consider O(a^{2})-improved Hamiltonians for pure gauge theories and design the corresponding quantum circuits for its real-time evolution in terms of primitive gates. An explicit demonstration for Z_{2} gauge theory is presented including exploratory tests using the ibm_perth device.

From Asymptotic Freedom to θ Vacua: Qubit Embeddings of the O(3) Nonlinear σ Model

Conventional lattice formulations of θ vacua in the 1+1-dimensional O(3) nonlinear sigma model suffer from a sign problem. Here, we construct the first sign-problem-free regularization for arbitrary θ. Using efficient lattice Monte Carlo algorithms, we demonstrate how a Hamiltonian model of spin-1/2 degrees of freedom on a two-dimensional spatial lattice reproduces both the infrared sector for arbitrary θ, as well as the ultraviolet physics of asymptotic freedom. Furthermore, as a model of qubits on a two-dimensional square lattice with only nearest-neighbor interactions, it is naturally suited for studying the physics of θ vacua and asymptotic freedom on near-term quantum devices. Our construction generalizes to θ vacua in all CP(N-1) models, solving a long-standing sign problem.

Standard model physics and the digital quantum revolution: thoughts about the interface

Advances in isolating, controlling and entangling quantum systems are transforming what was once a curious feature of quantum mechanics into a vehicle for disruptive scientific and technological progress. Pursuing the vision articulated by Feynman, a concerted effort across many areas of research and development is introducing prototypical digital quantum devices into the computing ecosystem available to domain scientists. Through interactions with these early quantum devices, the abstract vision of exploring classically-intractable quantum systems is evolving toward becoming a tangible reality. Beyond catalyzing these technological advances, entanglement is enabling parallel progress as a diagnostic for quantum correlations and as an organizational tool, both guiding improved understanding of quantum many-body systems and quantum field theories defining and emerging from the standard model. From the perspective of three domain science theorists, this article compilesthoughts about the interfaceon entanglement, complexity, and quantum simulation in an effort to contextualize recent NISQ-era progress with the scientific objectives of nuclear and high-energy physics.

IBM Quantum Platforms: A Quantum Battery Perspective

We characterize for the first time the performances of IBM quantum chips as quantum batteries, specifically addressing the single-qubit Armonk processor. By exploiting the Pulse access enabled to some of the IBM Quantum processors via the Qiskit package, we investigate the advantages and limitations of different profiles for classical drives used to charge these miniaturized batteries, establishing the optimal compromise between charging time and stored energy. Moreover, we consider the role played by various possible initial conditions on the functioning of the quantum batteries. As the main result of our analysis, we observe that unavoidable errors occurring in the initialization phase of the qubit, which can be detrimental for quantum computing applications, only marginally affect energy transfer and storage. This can lead counter-intuitively to improvements of the performances. This is a strong indication of the fact that IBM quantum devices are already in the proper range of parameters to be considered as good and stable quantum batteries comparable to state-of-the-art devices recently discussed in the literature.

Quantum simulation of lattice gauge theories in more than one space dimension-requirements, challenges and methods

Over 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. Nowadays, it is not only of interest to the quantum information and technology communities. It is also seen as a valid tool for tackling hard, non-perturbative gauge theory problems by particle and nuclear physicists. Along the theoretical progress, nowadays more and more experiments implementing such simulators are being reported, manifesting beautiful results, but mostly on [Formula: see text] dimensional physics. In this article, we review the essential ingredients and requirements of lattice gauge theories in more dimensions and discuss their meanings, the challenges they pose and how they could be dealt with, potentially aiming at the next steps of this field towards simulating challenging physical problems in analogue, or analogue-digital ways. This article is part of the theme issue 'Quantum technologies in particle physics'.

From quantum link models to D-theory: a resource efficient framework for the quantum simulation and computation of gauge theories

Quantum link models provide an extension of Wilson's lattice gauge theory in which the link Hilbert space is finite-dimensional and corresponds to a representation of an embedding algebra. In contrast to Wilson's parallel transporters, quantum links are intrinsically quantum degrees of freedom. In D-theory, these discrete variables undergo dimensional reduction, thus giving rise to asymptotically free theories. In this way [Formula: see text] [Formula: see text] models emerge by dimensional reduction from [Formula: see text] [Formula: see text] quantum spin ladders, the [Formula: see text] confining [Formula: see text] gauge theory emerges from the Abelian Coulomb phase of a [Formula: see text] quantum link model, and [Formula: see text] QCD arises from a non-Abelian Coulomb phase of a [Formula: see text] [Formula: see text] quantum link model, with chiral quarks arising naturally as domain wall fermions. Thanks to their finite-dimensional Hilbert space and their economical mechanism of reaching the continuum limit by dimensional reduction, quantum link models provide a resource efficient framework for the quantum simulation and computation of gauge theories. This article is part of the theme issue 'Quantum technologies in particle physics'.

Towards quantum simulations in particle physics and beyond on noisy intermediate-scale quantum devices

We review two algorithmic advances that bring us closer to reliable quantum simulations of model systems in high-energy physics and beyond on noisy intermediate-scale quantum (NISQ) devices. The first method is the dimensional expressivity analysis of quantum circuits, which allows for constructing minimal but maximally expressive quantum circuits. The second method is an efficient mitigation of readout errors on quantum devices. Both methods can lead to significant improvements in quantum simulations, e.g. when variational quantum eigensolvers are used. This article is part of the theme issue 'Quantum technologies in particle physics'.

Qubit Regularization and Qubit Embedding Algebras

Qubit regularization is a procedure to regularize the infinite dimensional local Hilbert space of bosonic fields to a finite dimensional one, which is a crucial step when trying to simulate lattice quantum field theories on a quantum computer. When the qubit-regularized lattice quantum fields preserve important symmetries of the original theory, qubit regularization naturally enforces certain algebraic structures on these quantum fields. We introduce the concept of qubit embedding algebras (QEAs) to characterize this algebraic structure associated with a qubit regularization scheme. We show a systematic procedure to derive QEAs for the (N) lattice spin models and the SU(N) lattice gauge theories. While some of the QEAs we find were discovered earlier in the context of the D-theory approach, our method shows that QEAs are far richer. A more complete understanding of the QEAs could be helpful in recovering the fixed points of the desired quantum field theories.

Photon-Mediated Stroboscopic Quantum Simulation of a Z_{2} Lattice Gauge Theory

Quantum simulation of lattice gauge theories, aiming at tackling nonperturbative particle and condensed matter physics, has recently received a lot of interest and attention, resulting in many theoretical proposals as well as several experimental implementations. One of the current challenges is to go beyond 1+1 dimensions, where four-body (plaquette) interactions, not contained naturally in quantum simulating devices, appear. In this Letter, we propose a method to obtain them based on a combination of stroboscopic optical atomic control and the nonlocal photon-mediated interactions appearing in nanophotonic or cavity QED setups. We illustrate the method for a Z_{2} lattice gauge theory. We also show how to prepare the ground state and measure Wilson loops using state-of-the-art techniques in atomic physics.

SU(2) hadrons on a quantum computer via a variational approach

Quantum computers have the potential to create important new opportunities for ongoing essential research on gauge theories. They can provide simulations that are unattainable on classical computers such as sign-problem afflicted models or time evolutions. In this work, we variationally prepare the low-lying eigenstates of a non-Abelian gauge theory with dynamically coupled matter on a quantum computer. This enables the observation of hadrons and the calculation of their associated masses. The SU(2) gauge group considered here represents an important first step towards ultimately studying quantum chromodynamics, the theory that describes the properties of protons, neutrons and other hadrons. Our calculations on an IBM superconducting platform utilize a variational quantum eigensolver to study both meson and baryon states, hadrons which have never been seen in a non-Abelian simulation on a quantum computer. We develop a hybrid resource-efficient approach by combining classical and quantum computing, that not only allows the study of an SU(2) gauge theory with dynamical matter fields on present-day quantum hardware, but further lays out the premises for future quantum simulations that will address currently unanswered questions in particle and nuclear physics.

Scalable Cold-Atom Quantum Simulator for Two-Dimensional QED

We propose a scalable analog quantum simulator for quantum electrodynamics in two spatial dimensions. The setup for the U(1) lattice gauge field theory employs interspecies spin-changing collisions in an ultracold atomic mixture trapped in an optical lattice. We engineer spatial plaquette terms for magnetic fields, thus solving a major obstacle toward experimental realizations of realistic gauge theories in higher dimensions. We apply our approach to the pure gauge theory of compact QED and discuss how the phenomenon of confinement of electric charges can be described by the quantum simulator.

Qubit Regularization of Asymptotic Freedom

We provide strong evidence that the asymptotically free (1+1)-dimensional nonlinear O(3) sigma model can be regularized using a quantum lattice Hamiltonian, referred to as the "Heisenberg comb," that acts on a Hilbert space with only two qubits per spatial lattice site. The Heisenberg comb consists of a spin-half antiferromagnetic Heisenberg chain coupled antiferromagnetically to a second local spin-half particle at every lattice site. Using a world-line Monte Carlo method, we show that the model reproduces the universal step-scaling function of the traditional model up to correlation lengths of 200000 in lattice units and argue how the continuum limit could emerge. We provide a quantum circuit description of the time evolution of the model and argue that near-term quantum computers may suffice to demonstrate asymptotic freedom.

Quantum machine learning in high energy physics

Machine learning has been used in high energy physics (HEP) for a long time, primarily at the analysis level with supervised classification. Quantum computing was postulated in the early 1980s as way to perform computations that would not be tractable with a classical computer. With the advent of noisy intermediate-scale quantum computing devices, more quantum algorithms are being developed with the aim at exploiting the capacity of the hardware for machine learning applications. An interesting question is whether there are ways to apply quantum machine learning to HEP. This paper reviews the first generation of ideas that use quantum machine learning on problems in HEP and provide an outlook on future applications.