The traditional approach for studying the physics of the strong interactions employs a basic computational construct originally proposed by Wilson in the 1970s. Over the years additional enhancements have been added to this formulation to improve computational performance and accuracy. This formulation has been successfully implemented on high performance computing systems and has yielded accurate calculations for many static properties of the strong interactions (such as the hadron mass spectrum). With the recent advances in quantum computing, the question that is now being asked is whether an equivalent type of gauge invariant formulation of a field theory can be constructed on a quantum computer to calculate dynamical processes that cannot be simulated on a traditional supercomputer. Using the Quantum Link Model (QLM) plus the concept of rishons, this paper will specifically focus on the challenges implementing a basic gauge link lattice construct using SU(2) non-Abelian links for illustration. The paper will also discuss the physics that may potentially be simulated on a quantum computer with this construct and speculate on the prospects for having quantum computers become a part of the set of hardware platforms for lattice gauge theory simulations in the future.
Challenges Implementing non-Abelian SU(2) Quantum Chromodynamics Gauge Links On a Universal Quantum Computer
The traditional approach for studying the physics of the strong interactions employs a basic computational construct originally proposed by Wilson in the 1970s. Over the years additional enhancements have been added to this formulation to improve computational performance and accuracy. This formulation has been successfully implemented on high performance computing systems and has yielded accurate calculations for many static properties of the strong interactions (such as the hadron mass spectrum). With the recent advances in quantum computing, the question that is now being asked is whether an equivalent type of gauge invariant formulation of a field theory can be constructed on a quantum computer to calculate dynamical processes that cannot be simulated on a traditional supercomputer. Using the Quantum Link Model (QLM) plus the concept of rishons, this paper will specifically focus on the challenges implementing a basic gauge link lattice construct using SU(2) non-Abelian links for illustration. The paper will also discuss the physics that may potentially be simulated on a quantum computer with this construct and speculate on the prospects for having quantum computers become a part of the set of hardware platforms for lattice gauge theory simulations in the future.
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.
The development of quantum technology and the advent of quantum computation have renewed interest in Hamiltonian formulations of lattice gauge theories. In contrast to Euclidean Monte Carlo calculations, Hamiltonian simulation requires a direct representation of the physical Hilbert space, an efficient treatment of enforcing Gauss' law as constraints, and a formulation of real-time dynamics in terms of degrees of freedom that can be encoded on quantum or quantum-inspired classical platforms. The starting point corresponds to finding a suitable basis for Hamiltonian lattice gauge theories. The existing literature focuses on several complementary approaches: electric basis, magnetic basis, gauge-fixed, quantum-link, qubit-regularised, finite-group, and orbifold formulations. This article primarily focuses on the prepotential and loop--string--hadron formulations, where non-Abelian Gauss laws are solved locally and the dynamics is written directly in terms of gauge-invariant loop, string and hadron excitations. The discussion covers the SU(2) and SU(3) constructions in one spatial dimension, the role of residual Abelian Gauss laws, and the extension to higher dimensions through point splitting. We conclude by highlighting its direct applications: eliminating redundant gauge degrees of freedom makes exact diagonalisation and tensor network calculations feasible for studying real-time dynamics, provides insights into thermalisation properties, enables mapping of physical degrees of freedom onto analog and digital quantum hardware, and enables quantum simulation of dynamics.
With a focus on universal quantum computing for quantum simulation, and through the example of lattice gauge theories, we introduce rather general quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple (bosonic and fermionic) quantum numbers with non-trivial functional coefficients. In particular, we analyze diagonalization of Hamiltonian terms using a singular-value decomposition technique, and discuss how the achieved diagonal unitaries in the digitized time-evolution operator can be implemented. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions, for which a complete quantum-resource analysis within different computational models is presented. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories. The example chosen further demonstrates the importance of adopting efficient theoretical formulations: it is shown that an explicitly gauge-invariant formulation using loop, string, and hadron degrees of freedom simplifies the algorithms and lowers the cost compared with the standard formulations based on angular-momentum as well as the Schwinger-boson degrees of freedom. The loop-string-hadron formulation further retains the non-Abelian gauge symmetry despite the inexactness of the digitized simulation, without the need for costly controlled operations. Such theoretical and algorithmic considerations are likely to be essential in quantumly simulating other complex theories of relevance to nature.
Hamiltonian formulation of lattice gauge theories (LGTs) is the most natural framework for the purpose of quantum simulation, an area of research that is growing with advances in quantum-computing algorithms and hardware. It, therefore, remains an important task to identify the most accurate, while computationally economic, Hamiltonian formulation(s) in such theories, considering the necessary truncation imposed on the Hilbert space of gauge bosons with any finite computing resources. This paper is a first step toward addressing this question in the case of non-Abelian LGTs. Such theories require the imposition of non-Abelian Gauss's laws on the Hilbert space, introducing additional computational complexity. Focusing on the case of SU(2) LGT in 1+1 dimensions coupled to one flavor of fermionic matter, a number of different formulations of the original Kogut-Susskind framework are analyzed with regard to the dependence of the dimension of the physical Hilbert space on boundary conditions, system size, and the cutoff on the excitations of gauge bosons. The impact of such dependencies on the accuracy of the spectrum and dynamics obtained from a Hamiltonian computation is examined, and the (classical) computational-resource requirements given these considerations are studied. Besides the well-known angular-momentum formulation of the theory, the cases of purely fermionic and purely bosonic formulations (with open boundary conditions) and the loop-string-hadron formulation are analyzed, along with a brief discussion of a quantum-link-model formulation of the same theory. Clear advantages are found in working with the loop-string-hadron framework which implements non-Abelian Gauss's laws a priori using a complete set of gauge-invariant operators. It is argued that the substantially reduced cost of simulation within the loop-string-hadron formulation compared with the angular-momentum basis has implications for more efficient and robust quantum simulations of the same theory. Future studies will extend this investigation to the analysis of resource requirements for quantum simulations of non-Abelian LGT, with the goal of shedding light on the most efficient Hamiltonian formulation of gauge theories of relevance in nature.
Abstract A hallmark of the computational campaign in nuclear and particle physics is the lattice-gauge-theory program. It continues to enable theoretical predictions for a range of phenomena in nature from the underlying Standard Model. The emergence of a new computational paradigm based on quantum computing, therefore, can introduce further advances in this program. In particular, it is believed that quantum computing will make possible first-principles studies of matter at extreme densities, and in and out of equilibrium, hence improving our theoretical description of the early universe, astrophysical environments, and high-energy particle collisions. Developing and advancing a quantum-computing-based lattice-gauge-theory program, therefore, have turned into a vibrant and fast-moving area of research in theoretical nuclear and particle physics. These lecture notes introduce the topic of quantum computing lattice gauge theories in a pedagogical manner, with an emphasis on theoretical and algorithmic aspects of the program, and on the most common approaches and practices, to keep the presentation focused and useful. The Hamiltonian formulation of lattice gauge theories is introduced within the Kogut–Susskind framework, the notion of Hilbert space and physical states is discussed, and some elementary numerical methods for performing Hamiltonian simulations are discussed. Quantum-simulation preliminaries and digital quantum-computing basics are presented, which set the stage for concrete examples of gauge-theory quantum-circuit design and resource analysis. A step-by-step analysis is provided for a simpler Abelian gauge theory, and an overview of our current understanding of the cost of quantum computing quantum chromodynamics is presented in the end. Examples and exercises supplement the material, and reinforce the concepts and methods introduced throughout.
A hallmark of the computational campaign in nuclear and particle physics is the lattice-gauge-theory program. It continues to enable theoretical predictions for a range of phenomena in nature from the underlying Standard Model. The emergence of a new computational paradigm based on quantum computing, therefore, can introduce further advances in this program. In particular, it is believed that quantum computing will make possible first-principles studies of matter at extreme densities, and in and out of equilibrium, hence improving our theoretical description of early universe, astrophysical environments, and high-energy particle collisions. Developing and advancing a quantum-computing based lattice-gauge-theory program, therefore, is a vibrant and fast-moving area of research in theoretical nuclear and particle physics. These lecture notes introduce the topic of quantum computing lattice gauge theories in a pedagogical manner, with an emphasis on theoretical and algorithmic aspects of the program, and on the most common approaches and practices, to keep the presentation focused and useful. Hamiltonian formulation of lattice gauge theories is introduced within the Kogut-Susskind framework, the notion of Hilbert space and physical states is discussed, and some elementary numerical methods for performing Hamiltonian simulations are discussed. Quantum-simulation preliminaries and digital quantum-computing basics are presented, which set the stage for concrete examples of gauge-theory quantum-circuit design and resource analysis. A step-by-step analysis is provided for a simpler Abelian gauge theory, and an overview of our current understanding of the quantum-computing cost of quantum chromodynamics is presented in the end. Examples and exercises augment the material, and reinforce the concepts and methods introduced throughout.