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.

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

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

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

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).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.06133Physical review. D/Physical review. D.Jun 8, 2020130 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

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.

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