-dimensional lattice gauge theories by incorporating staggered quarks, furnishing the algebra of gauge-singlet operators, and being used to reconstruct dynamics between states that have Gauss's law built in to them. LSH operators are then factored into products of ``normalized'' ladder operators and diagonal matrices, priming them for classical or quantum information processing. Self-contained expressions of the Hamiltonian are given up to

d=3

. The LSH formalism makes little use of structures specific to SU(2), and its conceptual clarity makes it an attractive approach to apply to other non-Abelian groups like SU(3).

DOI: 10.1103/physrevd.101.114502

Related papers

Tailoring Non-Abelian Gauge Theory for Digital Quantum Simulation

Jesse R. Stryker, Indrakshi Raychowdhury

The question of how to efficiently formulate Hamiltonian gauge theories is experiencing renewed interest due to advances in building quantum simulation platforms. We introduce a reformulation of an SU(2) Hamiltonian lattice gauge theory—a loop-string-hadron (LSH) formulation—in which the dynamical degrees of freedom are localized pieces of flux loops, meson strings, and hadrons. LSH operators are first derived from Schwinger bosons and used to construct a Hilbert space with the non-Abelian Gauss law built into it. They are subsequently factored into products of “normalized” ladder operators and diagonal matrices, priming them for classical or quantum information processing. The LSH formalism alleviates several disadvantages of quantum simulating the Kogut-Susskind formulation and makes little use of structures specific to SU(2). Its conceptual clarity makes it an attractive approach to apply to other non-Abelian groups like SU(3).The question of how to efficiently formulate Hamiltonian gauge theories is experiencing renewed interest due to advances in building quantum simulation platforms. We introduce a reformulation of an SU(2) Hamiltonian lattice gauge theory—a loop-string-hadron (LSH) formulation—in which the dynamical degrees of freedom are localized pieces of flux loops, meson strings, and hadrons. LSH operators are first derived from Schwinger bosons and used to construct a Hilbert space with the non-Abelian Gauss law built into it. They are subsequently factored into products of “normalized” ladder operators and diagonal matrices, priming them for classical or quantum information processing. The LSH formalism alleviates several disadvantages of quantum simulating the Kogut-Susskind formulation and makes little use of structures specific to SU(2). Its conceptual clarity makes it an attractive approach to apply to other non-Abelian groups like SU(3).

International Symposium on Lattice Field Theory (LATTICE)May 27, 20201 citation

Hamiltonian formulations of lattice gauge theories for quantum simulation

Indrakshi Raychowdhury

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.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.

International Symposium on Lattice Field Theory (LATTICE)Jun 28, 20260 citations

Search for efficient formulations for Hamiltonian simulation of non-Abelian lattice gauge theories

Zohreh Davoudi, Indrakshi Raychowdhury, Andrew Shaw

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.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.

arXiv:2009.11802Physical review. D/Physical review. D.Oct 7, 2021125 citations

Trapped-ion quantum simulation of (1+1)D SU(2) lattice gauge theory via loop-string-hadron formulation

Toshiaki Kaji, Jesse R. Stryker, Yutaro Iiyama +4 more

We present a quantum simulation of the SU(2) lattice gauge theory in 1+1 dimensions with one flavor of fermions, performed using the trapped-ion Quantinuum System Model H2. This work is based on the loop-string-hadron (LSH) formulation of the gauge theory, and is distinguished by using qubits to represent both bosonic-gauge and fermionic-matter degrees of freedom. Furthermore, we access the $j=1$ electric-flux sector beyond the $j_{\max}=1/2$ truncation commonly used in SU(2) quantum simulations. To that end, we digitize an electric-field degree of freedom using a multiqubit register for representing the bosonic quantum number. Our simulation therefore synthesizes several key ingredients relevant to quantum simulations in higher spatial dimensions, in particular explicit local gauge-field degrees of freedom represented here by a multiqubit bosonic register, while relying solely on circuit-construction optimizations that are expected to scale polynomially with lattice size. This work demonstrates that modern quantum hardware is increasingly able to accommodate the features of complicated but physically important lattice gauge theories while successfully reproducing the expected Trotterized dynamics.We present a quantum simulation of the SU(2) lattice gauge theory in 1+1 dimensions with one flavor of fermions, performed using the trapped-ion Quantinuum System Model H2. This work is based on the loop-string-hadron (LSH) formulation of the gauge theory, and is distinguished by using qubits to represent both bosonic-gauge and fermionic-matter degrees of freedom. Furthermore, we access the $j=1$ electric-flux sector beyond the $j_{\max}=1/2$ truncation commonly used in SU(2) quantum simulations. To that end, we digitize an electric-field degree of freedom using a multiqubit register for representing the bosonic quantum number. Our simulation therefore synthesizes several key ingredients relevant to quantum simulations in higher spatial dimensions, in particular explicit local gauge-field degrees of freedom represented here by a multiqubit bosonic register, while relying solely on circuit-construction optimizations that are expected to scale polynomially with lattice size. This work demonstrates that modern quantum hardware is increasingly able to accommodate the features of complicated but physically important lattice gauge theories while successfully reproducing the expected Trotterized dynamics.

hep-latCross-listedarXiv:2610.24091Oct 20, 20260 citations

Tailoring non-Abelian lattice gauge theory for quantum simulation

Indrakshi Raychowdhury, Jesse R. Stryker

We show that using the loop-string-hadron (LSH) formulation of SU(2) lattice gauge theory (arXiv:1912.06133) as a basis for digital quantum computation easily solves an important problem of fundamental interest: implementing gauge invariance (or Gauss's law) exactly. We first discuss the structure of the LSH Hilbert space in $d$ spatial dimensions, its truncation, and its digitization with qubits. Error detection and mitigation in gauge theory simulations would benefit from physicality oracles,'so we decompose circuits that flag gauge invariant wavefunctions. We then analyze the logical qubit costs and entangling gate counts involved with the protocols. The LSH basis could save or cost more qubits than a Kogut-Susskind-type representation basis, depending on how the bases are digitized as well as the spatial dimension. The numerous other clear benefits encourage future studies into applying this framework.We show that using the loop-string-hadron (LSH) formulation of SU(2) lattice gauge theory (arXiv:1912.06133) as a basis for digital quantum computation easily solves an important problem of fundamental interest: implementing gauge invariance (or Gauss's law) exactly. We first discuss the structure of the LSH Hilbert space in $d$ spatial dimensions, its truncation, and its digitization with qubits. Error detection and mitigation in gauge theory simulations would benefit from physicality oracles,'so we decompose circuits that flag gauge invariant wavefunctions. We then analyze the logical qubit costs and entangling gate counts involved with the protocols. The LSH basis could save or cost more qubits than a Kogut-Susskind-type representation basis, depending on how the bases are digitized as well as the spatial dimension. The numerous other clear benefits encourage future studies into applying this framework.

Dec 18, 20184 citations

Dynamics of loops for SU(2) gauge theory in (2+1)-dimension

Aahiri Naskar

Pure gauge theories in more than one spatial dimension are extremely interesting as they allow pure gauge observables such as glueballs and Wilson loops. Simulating the real-time dynamics of pure non-Abelian lattice gauge theories poses a significant computational challenge due to the large number of spurious gauge degrees of freedom. This work presents a brute-force (exact diagonalization) study of 2+1-dimensional SU(2) lattice gauge theory, leveraging the gauge-invariant Loop-String-Hadron (LSH) framework. Using only CPU-based computation, we have successfully demonstrated classical simulation on systems of up to 9 plaquettes and aim to push it further by leveraging combinations of CPUs and GPUs. This work provides crucial benchmarks for GPU implementations, near-term tensor network simulators, and quantum simulations, opening a new avenue for studying fundamental phenomena like thermalization in a non-Abelian gauge theory directly from the Hamiltonian perspective in higher dimensions.Pure gauge theories in more than one spatial dimension are extremely interesting as they allow pure gauge observables such as glueballs and Wilson loops. Simulating the real-time dynamics of pure non-Abelian lattice gauge theories poses a significant computational challenge due to the large number of spurious gauge degrees of freedom. This work presents a brute-force (exact diagonalization) study of 2+1-dimensional SU(2) lattice gauge theory, leveraging the gauge-invariant Loop-String-Hadron (LSH) framework. Using only CPU-based computation, we have successfully demonstrated classical simulation on systems of up to 9 plaquettes and aim to push it further by leveraging combinations of CPUs and GPUs. This work provides crucial benchmarks for GPU implementations, near-term tensor network simulators, and quantum simulations, opening a new avenue for studying fundamental phenomena like thermalization in a non-Abelian gauge theory directly from the Hamiltonian perspective in higher dimensions.

International Symposium on Lattice Field Theory (LATTICE)Oct 11, 20260 citations

d+1

d=3

. The LSH formalism makes little use of structures specific to SU(2), and its conceptual clarity makes it an attractive approach to apply to other non-Abelian groups like SU(3).

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.

j=1

electric-flux sector beyond the

j_{\max}=1/2

truncation commonly used in SU(2) quantum simulations. To that end, we digitize an electric-field degree of freedom using a multiqubit register for representing the bosonic quantum number. Our simulation therefore synthesizes several key ingredients relevant to quantum simulations in higher spatial dimensions, in particular explicit local gauge-field degrees of freedom represented here by a multiqubit bosonic register, while relying solely on circuit-construction optimizations that are expected to scale polynomially with lattice size. This work demonstrates that modern quantum hardware is increasingly able to accommodate the features of complicated but physically important lattice gauge theories while successfully reproducing the expected Trotterized dynamics.

d

spatial dimensions, its truncation, and its digitization with qubits. Error detection and mitigation in gauge theory simulations would benefit from physicality oracles,'so we decompose circuits that flag gauge invariant wavefunctions. We then analyze the logical qubit costs and entangling gate counts involved with the protocols. The LSH basis could save or cost more qubits than a Kogut-Susskind-type representation basis, depending on how the bases are digitized as well as the spatial dimension. The numerous other clear benefits encourage future studies into applying this framework.