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

Physical review. D/Physical review. D.

Quantum computation of thermal averages for a non-Abelian D4 lattice gauge theory via quantum Metropolis sampling

Edoardo Ballini, Giuseppe Clemente, Massimo D’Elia, Lorenzo Maio, Kevin Zambello

Published Feb 15, 2024• 6 citations
Publisher

Abstract

In this paper, we show the application of the quantum Metropolis sampling (QMS) algorithm to a toy gauge theory with discrete non-Abelian gauge group ${D}_{4}$ in ($2+1$)-dimensions, discussing in general how some components of hybrid quantum-classical algorithms should be adapted in the case of gauge theories. In particular, we discuss the construction of random unitary operators which preserve gauge invariance and act transitively on the physical Hilbert space, constituting an ergodic set of quantum Metropolis moves between gauge invariant eigenspaces, and introduce a protocol for gauge invariant measurements. Furthermore, we show how a finite resolution in the energy measurements distorts the energy and plaquette distribution measured via QMS, and propose a heuristic model that takes into account part of the deviations between numerical results and exact analytical results, whose discrepancy tends to vanish by increasing the number of qubits used for the energy measurements.

DOI
10.1103/physrevd.109.034510

Related papers

Quantum Computation of Thermal Averages for a Non-Abelian $D_4$ Lattice Gauge Theory via Quantum Metropolis Sampling

Edoardo Ballini, Giuseppe Clemente, Massimo D’Elia +2 more

In this paper, we show the application of the Quantum Metropolis Sampling (QMS) algorithm to a toy gauge theory with discrete non-Abelian gauge group $D_4$ in (2+1)-dimensions, discussing in general how some components of hybrid quantum-classical algorithms should be adapted in the case of gauge theories. In particular, we discuss the construction of random unitary operators which preserve gauge invariance and act transitively on the physical Hilbert space, constituting an ergodic set of quantum Metropolis moves between gauge invariant eigenspaces, and introduce a protocol for gauge invariant measurements. Furthermore, we show how a finite resolution in the energy measurements distorts the energy and plaquette distribution measured via QMS, and propose a heuristic model that takes into account part of the deviations between numerical results and exact analytical results, whose discrepancy tends to vanish by increasing the number of qubits used for the energy measurements.

arXiv:2309.07090•Physical review. D/Physical review. D.•Sep 13, 2023•1 citation

Magic of discrete lattice gauge theories

Gianluca Esposito, Simone Cepollaro, Luigi Cappiello +1 more

Simulation of quantum field theories and fundamental interactions are one of the most challenging tasks in modern particle physics. Classical computers generally fail to reproduce accurate results when it comes to strongly coupled theories such as QCD. Recent developments in quantum technologies open up the possibility of simulating such physical regimes by using quantum computers. In this paper, we study the quantum resource related to the simulability of a quantum theory, i.e. non-stabilizerness for Lattice Gauge Theory (LGT) with discrete symmetry gauge groups. We show that enforcing gauge constraints for $\mathbb{Z}_l$ LGTs has no cost in terms of this resource and discuss the relation between non-abelianity of the gauge group with the average non-stabilizerness of the gauge invariant Hilbert space.

hep-latCross-listedarXiv:2601.15842•International Journal of Geometric Methods in Modern Physics•Jan 23, 2026•2 citations

Gauge-invariant QMETTS with mutually unbiased physical bases for $Z_2$ lattice gauge theories at finite temperature and density

Reita Maeno

In quantum computations of gauge theories at finite temperature and finite density, enforcing Gauss's law for all states contributing to the thermal ensemble is a nontrivial challenge. In this work, we adopt the Quantum Minimally Entangled Typical Thermal States (QMETTS) algorithm for $Z_2$ gauge-constrained systems and propose a method for computing finite-temperature and finite-density expectation values without eliminating gauge degrees of freedom. To preserve gauge invariance while maintaining efficient sampling, we introduce measurement bases that are gauge invariant and mutually unbiased within the physical subspace. We show that such measurement bases can be constructed efficiently for $Z_2$ lattice gauge theories in general dimensions and arbitrary boundary conditions by exploiting the correspondence between $Z_2$ lattice gauge theories and the stabilizer formalism. Furthermore, since expectation-value estimation on quantum hardware is inherently affected by shot noise, we explicitly incorporate shot noise into the analysis. We find that the single-shot strategy is near optimal under a fixed total number of circuit executions in terms of the variance. This result indicates that it is generally more efficient to generate more QMETTS samples than to accurately estimate the expectation value for each individual pure state. We validate the proposed method numerically in a $(1+1)$-dimensional $Z_2$ lattice gauge theory coupled to staggered fermions. Our results provide a gauge-invariant framework for finite-temperature and finite-density calculations on quantum devices.

quant-pharXiv:2603.10932•Physical Review Research•Mar 12, 2026•0 citations

Thermodynamics of non-Abelian $D_4$ lattice gauge theory via Quantum Metropolis Sampling

Lorenzo Maio, Edoardo Ballini, Giuseppe Clemente +2 more

The possibility to use fault-tolerant Quantum Computers in the "Beyond the NISQ era" is a promising perspective: it could bring the implementation of Markov Chain Monte Carlo (MCMC) quantum algorithms on real machines. Then, it would be possible to exploit the quantum properties of such devices to study the thermodynamic properties of the system. This also allows us to avoid the infamous sign problem, which plagues classical Monte Carlo simulations of several interesting systems - such as QCD in the presence of an external electric field or a finite chemical potential. In this work, we discuss the effectiveness of Quantum Metropolis Sampling in the study of thermodynamic properties of a non-Abelian gauge theory, based on the discrete $D_4$ symmetry group. This is the first study of a non-Abelian Lattice Gauge Theory by means of a quantum MCMC algorithm: we simulate the behavior of an ideal quantum Computer, aiming to demonstrate the feasibility of such simulations.

International Symposium on Lattice Field Theory (LATTICE)•Jan 4, 2024•3 citations

General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory

Zohreh Davoudi, Alexander F. Shaw, Jesse R. Stryker

With a focus on universal quantum computing for quantum simulation, and through the example of lattice gauge theories, we introduce rather general quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple (bosonic and fermionic) quantum numbers with non-trivial functional coefficients. In particular, we analyze diagonalization of Hamiltonian terms using a singular-value decomposition technique, and discuss how the achieved diagonal unitaries in the digitized time-evolution operator can be implemented. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions, for which a complete quantum-resource analysis within different computational models is presented. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories. The example chosen further demonstrates the importance of adopting efficient theoretical formulations: it is shown that an explicitly gauge-invariant formulation using loop, string, and hadron degrees of freedom simplifies the algorithms and lowers the cost compared with the standard formulations based on angular-momentum as well as the Schwinger-boson degrees of freedom. The loop-string-hadron formulation further retains the non-Abelian gauge symmetry despite the inexactness of the digitized simulation, without the need for costly controlled operations. Such theoretical and algorithmic considerations are likely to be essential in quantumly simulating other complex theories of relevance to nature.

arXiv:2212.14030•Quantum•Dec 20, 2023•52 citations

Hamiltonians and gauge-invariant Hilbert space for lattice Yang-Mills-like theories with finite gauge group

A. Mariani, Sunny Pradhan, Elisa Ercolessi

Motivated by quantum simulation, we consider lattice Hamiltonians for Yang-Mills gauge theories with finite gauge group, for example a finite subgroup of a compact Lie group. We show that the electric Hamiltonian admits an interpretation as a certain natural, nonunique Laplacian operator on the finite Abelian or non-Abelian group and derive some consequences from this fact. Independent of the chosen Hamiltonian, we provide a full explicit description of the physical, gauge-invariant Hilbert space for pure gauge theories and derive a simple formula to compute its dimension. We illustrate the use of the gauge-invariant basis to diagonalize a dihedral gauge theory on a small periodic lattice.

arXiv:2301.12224•Physical review. D/Physical review. D.•Jun 20, 2023•20 citations
In this paper, we show the application of the quantum Metropolis sampling (QMS) algorithm to a toy gauge theory with discrete non-Abelian gauge group D4{D}_{4}D4​ in (2+12+12+1)-dimensions, discussing in general how some components of hybrid quantum-classical algorithms should be adapted in the case of gauge theories. In particular, we discuss the construction of random unitary operators which preserve gauge invariance and act transitively on the physical Hilbert space, constituting an ergodic set of quantum Metropolis moves between gauge invariant eigenspaces, and introduce a protocol for gauge invariant measurements. Furthermore, we show how a finite resolution in the energy measurements distorts the energy and plaquette distribution measured via QMS, and propose a heuristic model that takes into account part of the deviations between numerical results and exact analytical results, whose discrepancy tends to vanish by increasing the number of qubits used for the energy measurements.
Quantum Computation of Thermal Averages for a Non-Abelian D4D_4D4​ Lattice Gauge Theory via Quantum Metropolis Sampling
In this paper, we show the application of the Quantum Metropolis Sampling (QMS) algorithm to a toy gauge theory with discrete non-Abelian gauge group D4D_4D4​ in (2+1)-dimensions, discussing in general how some components of hybrid quantum-classical algorithms should be adapted in the case of gauge theories. In particular, we discuss the construction of random unitary operators which preserve gauge invariance and act transitively on the physical Hilbert space, constituting an ergodic set of quantum Metropolis moves between gauge invariant eigenspaces, and introduce a protocol for gauge invariant measurements. Furthermore, we show how a finite resolution in the energy measurements distorts the energy and plaquette distribution measured via QMS, and propose a heuristic model that takes into account part of the deviations between numerical results and exact analytical results, whose discrepancy tends to vanish by increasing the number of qubits used for the energy measurements.
Simulation of quantum field theories and fundamental interactions are one of the most challenging tasks in modern particle physics. Classical computers generally fail to reproduce accurate results when it comes to strongly coupled theories such as QCD. Recent developments in quantum technologies open up the possibility of simulating such physical regimes by using quantum computers. In this paper, we study the quantum resource related to the simulability of a quantum theory, i.e. non-stabilizerness for Lattice Gauge Theory (LGT) with discrete symmetry gauge groups. We show that enforcing gauge constraints for Zl\mathbb{Z}_lZl​ LGTs has no cost in terms of this resource and discuss the relation between non-abelianity of the gauge group with the average non-stabilizerness of the gauge invariant Hilbert space.
Gauge-invariant QMETTS with mutually unbiased physical bases for Z2Z_2Z2​ lattice gauge theories at finite temperature and density
In quantum computations of gauge theories at finite temperature and finite density, enforcing Gauss's law for all states contributing to the thermal ensemble is a nontrivial challenge. In this work, we adopt the Quantum Minimally Entangled Typical Thermal States (QMETTS) algorithm for Z2Z_2Z2​ gauge-constrained systems and propose a method for computing finite-temperature and finite-density expectation values without eliminating gauge degrees of freedom. To preserve gauge invariance while maintaining efficient sampling, we introduce measurement bases that are gauge invariant and mutually unbiased within the physical subspace. We show that such measurement bases can be constructed efficiently for Z2Z_2Z2​ lattice gauge theories in general dimensions and arbitrary boundary conditions by exploiting the correspondence between Z2Z_2Z2​ lattice gauge theories and the stabilizer formalism. Furthermore, since expectation-value estimation on quantum hardware is inherently affected by shot noise, we explicitly incorporate shot noise into the analysis. We find that the single-shot strategy is near optimal under a fixed total number of circuit executions in terms of the variance. This result indicates that it is generally more efficient to generate more QMETTS samples than to accurately estimate the expectation value for each individual pure state. We validate the proposed method numerically in a (1+1)(1+1)(1+1)-dimensional Z2Z_2Z2​ lattice gauge theory coupled to staggered fermions. Our results provide a gauge-invariant framework for finite-temperature and finite-density calculations on quantum devices.
Thermodynamics of non-Abelian D4D_4D4​ lattice gauge theory via Quantum Metropolis Sampling
The possibility to use fault-tolerant Quantum Computers in the "Beyond the NISQ era" is a promising perspective: it could bring the implementation of Markov Chain Monte Carlo (MCMC) quantum algorithms on real machines. Then, it would be possible to exploit the quantum properties of such devices to study the thermodynamic properties of the system. This also allows us to avoid the infamous sign problem, which plagues classical Monte Carlo simulations of several interesting systems - such as QCD in the presence of an external electric field or a finite chemical potential. In this work, we discuss the effectiveness of Quantum Metropolis Sampling in the study of thermodynamic properties of a non-Abelian gauge theory, based on the discrete D4D_4D4​ symmetry group. This is the first study of a non-Abelian Lattice Gauge Theory by means of a quantum MCMC algorithm: we simulate the behavior of an ideal quantum Computer, aiming to demonstrate the feasibility of such simulations.
With a focus on universal quantum computing for quantum simulation, and through the example of lattice gauge theories, we introduce rather general quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple (bosonic and fermionic) quantum numbers with non-trivial functional coefficients. In particular, we analyze diagonalization of Hamiltonian terms using a singular-value decomposition technique, and discuss how the achieved diagonal unitaries in the digitized time-evolution operator can be implemented. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions, for which a complete quantum-resource analysis within different computational models is presented. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories. The example chosen further demonstrates the importance of adopting efficient theoretical formulations: it is shown that an explicitly gauge-invariant formulation using loop, string, and hadron degrees of freedom simplifies the algorithms and lowers the cost compared with the standard formulations based on angular-momentum as well as the Schwinger-boson degrees of freedom. The loop-string-hadron formulation further retains the non-Abelian gauge symmetry despite the inexactness of the digitized simulation, without the need for costly controlled operations. Such theoretical and algorithmic considerations are likely to be essential in quantumly simulating other complex theories of relevance to nature.
Motivated by quantum simulation, we consider lattice Hamiltonians for Yang-Mills gauge theories with finite gauge group, for example a finite subgroup of a compact Lie group. We show that the electric Hamiltonian admits an interpretation as a certain natural, nonunique Laplacian operator on the finite Abelian or non-Abelian group and derive some consequences from this fact. Independent of the chosen Hamiltonian, we provide a full explicit description of the physical, gauge-invariant Hilbert space for pure gauge theories and derive a simple formula to compute its dimension. We illustrate the use of the gauge-invariant basis to diagonalize a dihedral gauge theory on a small periodic lattice.