Within the aim of understanding quantum chromodynamics through simulation, an increasingly studied approach is that of quantum computation and simulation. Challenges exist in encoding the minimal and physical degrees of freedom for a non-Abelian gauge theory and maintaining physical or gauge-invariant dynamics in a simulation. In this work, the Loop-String-Hadron (LSH) formulation of the 1+1-dimensional SU(3) lattice gauge theory is used to define an efficient mapping of SU(3) invariant degrees of freedom onto qubits. It is shown that the required number of qubits in the LSH basis is significantly reduced compared to its IRREP basis counterpart. While the non-Abelian Gauss laws of the SU(3) theory are automatically satisfied by the usage of LSH variables, the remnant constraints on the consistency of the flux numbers still exist. During time evolution, the noise can accumulate and take the state out of the sector of the Hilbert space where the constraint is satisfied. With this motivation, an oracle algorithm is constructed to be applied to the qubits for checking the local constraint at a given link. Costs in terms of qubit and gate number, and circuit depth, are found.Within the aim of understanding quantum chromodynamics through simulation, an increasingly studied approach is that of quantum computation and simulation. Challenges exist in encoding the minimal and physical degrees of freedom for a non-Abelian gauge theory and maintaining physical or gauge-invariant dynamics in a simulation. In this work, the Loop-String-Hadron (LSH) formulation of the 1+1-dimensional SU(3) lattice gauge theory is used to define an efficient mapping of SU(3) invariant degrees of freedom onto qubits. It is shown that the required number of qubits in the LSH basis is significantly reduced compared to its IRREP basis counterpart. While the non-Abelian Gauss laws of the SU(3) theory are automatically satisfied by the usage of LSH variables, the remnant constraints on the consistency of the flux numbers still exist. During time evolution, the noise can accumulate and take the state out of the sector of the Hilbert space where the constraint is satisfied. With this motivation, an oracle algorithm is constructed to be applied to the qubits for checking the local constraint at a given link. Costs in terms of qubit and gate number, and circuit depth, are found.

arXiv:2512.13035Dec 15, 20250 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

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

Protecting gauge symmetries in the dynamics of SU(3) lattice gauge theories

Emil Mathew, Indrakshi Raychowdhury

Abstract Quantum simulation of a lattice gauge theory demands imposing on-site constraints. Ideally, the dynamics remain confined within the physical Hilbert space, where all the states satisfy those constraints. For a non-Abelian gauge theory, implementing these local Gauss’ law constraints is non-trivial. The presence of noise in current quantum devices further complicates efforts to confine the theory to the physical Hilbert space. The SU(3) gauge theory, describing the strong interaction of nature contains 8 mutually non-commuting local constraints. An efficient Hamiltonian simulation for the same should preserve all of these simultaneously - which stands as a notoriously difficult task. In this work, we explore two symmetry protection protocols for simulating SU(3) gauge theory in 1+1 dimensions. The first protocol does not require the imposition of any local symmetry but relies on protecting global symmetries, which are Abelian within the preferred choice of framework, namely the loop-string-hadron framework. The second protocol employs a protection scheme that is local, Abelian, and generalizable to higher dimensions. The symmetry protection schemes presented here are important steps towards quantum simulating the full theory of Quantum Chromodynamics.Abstract Quantum simulation of a lattice gauge theory demands imposing on-site constraints. Ideally, the dynamics remain confined within the physical Hilbert space, where all the states satisfy those constraints. For a non-Abelian gauge theory, implementing these local Gauss’ law constraints is non-trivial. The presence of noise in current quantum devices further complicates efforts to confine the theory to the physical Hilbert space. The SU(3) gauge theory, describing the strong interaction of nature contains 8 mutually non-commuting local constraints. An efficient Hamiltonian simulation for the same should preserve all of these simultaneously - which stands as a notoriously difficult task. In this work, we explore two symmetry protection protocols for simulating SU(3) gauge theory in 1+1 dimensions. The first protocol does not require the imposition of any local symmetry but relies on protecting global symmetries, which are Abelian within the preferred choice of framework, namely the loop-string-hadron framework. The second protocol employs a protection scheme that is local, Abelian, and generalizable to higher dimensions. The symmetry protection schemes presented here are important steps towards quantum simulating the full theory of Quantum Chromodynamics.

Communications PhysicsJul 31, 20250 citations

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

Solving Gauss's law on digital quantum computers with loop-string-hadron digitization

Indrakshi Raychowdhury, Jesse R. Stryker

We show that using the loop-string-hadron (LSH) formulation of SU(2) lattice gauge theory (I.Raychowdhury and J. R. Stryker, Phys. Rev. D 101, 114502 (2020)) 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 wave functions.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 (I.Raychowdhury and J. R. Stryker, Phys. Rev. D 101, 114502 (2020)) 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 wave functions.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.

arXiv:1812.07554Physical Review ResearchJul 9, 2020101 citations

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.