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.01617 · Physical Review A

Oracles for Gauss's law on digital quantum computers

Jesse R. Stryker

Published Apr 1, 2019• 79 citations
arXivHTMLPDF

Abstract

Formulating a lattice gauge theory using only physical degrees of freedom generically leads to nonlocal interactions. A local Hamiltonian is desirable for quantum simulation, and this is possible by treating the Hilbert space as a subspace of a much larger Hilbert space in which Gauss's law is not automatic. Digital quantum simulations of this local formulation will wander into unphysical sectors due to errors from Trotterization or from quantum noise. In this work, oracles are constructed that use local Gauss law constraints to projectively distinguish physical and unphysical wave functions in Abelian lattice gauge theories. Such oracles can be used to detect errors that break Gauss's law.

DOI
10.1103/physreva.99.042301

Related papers

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

Gauss's Law, Duality, and the Hamiltonian Framework of Lattice Gauge Theory

Jesse R. Stryker, David B. Kaplan

Quantum computers have the potential to solve certain problems in lattice gauge theory that are thought to be exponentially hard for classical computers. The proposed starting point for such computations has been the Kogut-Susskind Hamiltonian supplemented by the Gauss law constraint, with a cutoff on electric field values. There are several disadvantages to this approach, including having to simulate the vast unphysical part of the Hilbert space. We consider pure U(1) gauge theory, and, motivated to restrict the calculation to purely physical states, are immediately led to a duality transformation. We highlight the potential advantages this formulation of lattice gauge theory could have for simulations on quantum computers.

International Symposium on Lattice Field Theory (LATTICE)•May 29, 2019•3 citations

Quantum error correction with gauge symmetries

Abhishek Rajput, Alessandro Roggero, Nathan Wiebe

Abstract Quantum simulations of lattice gauge theories (LGTs) are often formulated on an enlarged Hilbert space containing both physical and unphysical sectors in order to retain a local Hamiltonian. We provide simple fault-tolerant procedures that exploit such redundancy by combining a phase flip error correction code with the Gauss’ law constraint to correct one-qubit errors for a $${{\mathbb{Z}}}_{2}$$ Z 2 or truncated U(1) LGT in 1+1 and 2+1 dimensions with a link flux cutoff of 1. Unlike existing work on detecting violations of Gauss’ law, our circuits are fault tolerant and the overall error correction scheme outperforms a naïve application of the [5, 1, 3] code. The constructions outlined can be extended to LGT systems with larger cutoffs and may be of use in understanding how to hybridize error correction and quantum simulation for LGTs in higher space-time dimensions and with different symmetry groups.

arXiv:2112.05186•npj Quantum Information•Apr 25, 2023•0 citations

Binary Gauss Stabilizers for Abelian Lattice Gauge Theories

Matteo Turco, Luca Spagnoli, Alessandro Roggero

Gauge theories and quantum error-correcting codes share the same underlying structure: both use constraints to identify a specific subspace of the full Hilbert space. In quantum error correction, these constraints are known as stabilizers, while in gauge theories they correspond to Gauss law. In this work, we consider a family of discrete Abelian lattice gauge theories described by a $\mathbb{Z}_{N}$ gauge group with $N$ an arbitrary power of two. In this setting, we find a set of stabilizers for the gauge-invariant subspace which is an alternative to the Gauss operators, and we call them binary Gauss stabilizers. We use this alternative stabilizer group to build practical error-correcting codes exploiting the gauge symmetries of the system without the addition of extra qubits. The applications of our finding are not limited to error correction though. We also provide a new strategy of gauge fixing to remove the redundancies based on our alternative stabilizer, which might provide advantages with respect to already-existing approaches such as the axial gauge. Our results provide new tools to study lattice gauge theories and their quantum simulation, and opens directions for future work at the interface of lattice gauge theory and quantum information.

quant-pharXiv:2607.14861•Jul 17, 2026•0 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

Quantum error correction with gauge symmetries

Alessandro Roggero

Quantum simulations of lattice gauge theories (LGTs) are often formulated on an enlarged Hilbert space containing both physical and unphysical sectors in order to retain a local Hamiltonian.We provide simple fault-tolerant procedures that exploit such redundancy by combining a phase flip error correction code with the Gauss' law constraint to correct one-qubit errors for a Z 2 or truncated U(1) LGT in 1+1 and 2+1 dimensions with a link flux cutoff of 1. Unlike existing work on detecting violations of Gauss' law, our circuits are fault tolerant and the overall error correction scheme outperforms a naïve application of the [5, 1, 3] code.The constructions outlined can be extended to LGT systems with larger cutoffs and may be of use in understanding how to hybridize error correction and quantum simulation for LGTs in higher space-time dimensions and with different symmetry groups.

•Jan 1, 2023•29 citations
Formulating a lattice gauge theory using only physical degrees of freedom generically leads to nonlocal interactions. A local Hamiltonian is desirable for quantum simulation, and this is possible by treating the Hilbert space as a subspace of a much larger Hilbert space in which Gauss's law is not automatic. Digital quantum simulations of this local formulation will wander into unphysical sectors due to errors from Trotterization or from quantum noise. In this work, oracles are constructed that use local Gauss law constraints to projectively distinguish physical and unphysical wave functions in Abelian lattice gauge theories. Such oracles can be used to detect errors that break Gauss's law.
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.
Quantum computers have the potential to solve certain problems in lattice gauge theory that are thought to be exponentially hard for classical computers. The proposed starting point for such computations has been the Kogut-Susskind Hamiltonian supplemented by the Gauss law constraint, with a cutoff on electric field values. There are several disadvantages to this approach, including having to simulate the vast unphysical part of the Hilbert space. We consider pure U(1) gauge theory, and, motivated to restrict the calculation to purely physical states, are immediately led to a duality transformation. We highlight the potential advantages this formulation of lattice gauge theory could have for simulations on quantum computers.
Abstract Quantum simulations of lattice gauge theories (LGTs) are often formulated on an enlarged Hilbert space containing both physical and unphysical sectors in order to retain a local Hamiltonian. We provide simple fault-tolerant procedures that exploit such redundancy by combining a phase flip error correction code with the Gauss’ law constraint to correct one-qubit errors for a Z2{{\mathbb{Z}}}_{2}Z2​ Z 2 or truncated U(1) LGT in 1+1 and 2+1 dimensions with a link flux cutoff of 1. Unlike existing work on detecting violations of Gauss’ law, our circuits are fault tolerant and the overall error correction scheme outperforms a naïve application of the [5, 1, 3] code. The constructions outlined can be extended to LGT systems with larger cutoffs and may be of use in understanding how to hybridize error correction and quantum simulation for LGTs in higher space-time dimensions and with different symmetry groups.
Gauge theories and quantum error-correcting codes share the same underlying structure: both use constraints to identify a specific subspace of the full Hilbert space. In quantum error correction, these constraints are known as stabilizers, while in gauge theories they correspond to Gauss law. In this work, we consider a family of discrete Abelian lattice gauge theories described by a ZN\mathbb{Z}_{N}ZN​ gauge group with NNN an arbitrary power of two. In this setting, we find a set of stabilizers for the gauge-invariant subspace which is an alternative to the Gauss operators, and we call them binary Gauss stabilizers. We use this alternative stabilizer group to build practical error-correcting codes exploiting the gauge symmetries of the system without the addition of extra qubits. The applications of our finding are not limited to error correction though. We also provide a new strategy of gauge fixing to remove the redundancies based on our alternative stabilizer, which might provide advantages with respect to already-existing approaches such as the axial gauge. Our results provide new tools to study lattice gauge theories and their quantum simulation, and opens directions for future work at the interface of lattice gauge theory and quantum information.
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.
Quantum simulations of lattice gauge theories (LGTs) are often formulated on an enlarged Hilbert space containing both physical and unphysical sectors in order to retain a local Hamiltonian.We provide simple fault-tolerant procedures that exploit such redundancy by combining a phase flip error correction code with the Gauss' law constraint to correct one-qubit errors for a Z 2 or truncated U(1) LGT in 1+1 and 2+1 dimensions with a link flux cutoff of 1. Unlike existing work on detecting violations of Gauss' law, our circuits are fault tolerant and the overall error correction scheme outperforms a naïve application of the [5, 1, 3] code.The constructions outlined can be extended to LGT systems with larger cutoffs and may be of use in understanding how to hybridize error correction and quantum simulation for LGTs in higher space-time dimensions and with different symmetry groups.