Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1812.07554 · Physical Review Research

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

Indrakshi Raychowdhury, Jesse R. Stryker

Published Jul 9, 2020• 101 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physrevresearch.2.033039

Related papers

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.

•Dec 18, 2018•4 citations

Physicality oracle for SU(3) Loop-String-Hadron dynamics: a digital quantum circuit

Fran Ilcic, Indrakshi Raychowdhury

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.13035•Dec 15, 2025•0 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).

International Symposium on Lattice Field Theory (LATTICE)•May 27, 2020•1 citation

A Quantum Oracle for Constraint Preservation in SU(3) Lattice Gauge Theory Simulations

Fran Ilcic, Indrakshi Raychowdhury

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.

International Symposium on Lattice Field Theory (LATTICE)•Jul 5, 2026•0 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.

hep-latCross-listedarXiv:2610.24091•Oct 20, 2026•0 citations

Loop, string, and hadron dynamics in SU(2) Hamiltonian lattice gauge theories

Indrakshi Raychowdhury, Jesse R. Stryker

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---that describes dynamics directly in terms of its loop, string, and hadron degrees of freedom, while alleviating several disadvantages of quantum simulating the Kogut-Susskind formulation. This LSH formulation transcends the local loop formulation of $d+1$-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).

arXiv:1912.06133•Physical review. D/Physical review. D.•Jun 8, 2020•130 citations
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 (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 ddd 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.
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.
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).
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.
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=1j=1j=1 electric-flux sector beyond the jmax⁡=1/2j_{\max}=1/2jmax​=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.
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---that describes dynamics directly in terms of its loop, string, and hadron degrees of freedom, while alleviating several disadvantages of quantum simulating the Kogut-Susskind formulation. This LSH formulation transcends the local loop formulation of d+1d+1d+1-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=3d=3d=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).