Recognition: 2 theorem links
· Lean TheoremThermalization of SU(2) Lattice Gauge Fields on Quantum Computers
Pith reviewed 2026-05-15 01:02 UTC · model grok-4.3
The pith
Current quantum computers can simulate thermalization dynamics in SU(2) lattice gauge theories after error mitigation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By implementing a minimally truncated SU(2) pure gauge theory on linear plaquette chains and running it on IBM quantum processors, the authors obtain time-dependent entanglement properties that, after error mitigation, agree with classical simulations extrapolated to 101 plaquettes, thereby establishing the feasibility of local thermalization studies for nonabelian lattice gauge theories on current noisy quantum hardware.
What carries the argument
Minimally truncated SU(2) pure gauge theory on linear plaquette chains, executed with error mitigation on quantum hardware to extract subsystem entanglement spectrum and entropies.
If this is right
- The approach validates quantum simulation of real-time dynamics in nonabelian gauge theories.
- Local thermalization studies become accessible for other chaotic quantum systems on similar hardware.
- Entanglement-based probes such as anti-flatness can be measured directly on quantum devices.
- Error mitigation enables reliable comparison between quantum and classical results up to at least 101 plaquettes.
Where Pith is reading between the lines
- Extension to larger chains could eventually reach regimes where classical exact diagonalization becomes impossible.
- The same framework might be adapted to probe deconfinement or other phase-related dynamics in gauge theories.
- Varying the truncation cutoff and checking consistency would test whether the observed thermalization is robust to the approximation.
Load-bearing premise
The chosen minimal truncation of the SU(2) theory together with the applied error mitigation faithfully reproduces the thermalization dynamics without introducing uncontrolled artifacts.
What would settle it
A statistically significant mismatch between the quantum hardware entanglement spectrum and the classical extrapolation on a chain size where both are feasible would show that the truncation or mitigation fails to capture the true dynamics.
Figures
read the original abstract
We simulate the thermalization dynamics for minimally truncated SU(2) pure gauge theory on linear plaquette chains with up to 151 plaquettes using IBM quantum computers. We study the time dependence of the entanglement spectrum, R\'enyi-2 entropy and anti-flatness on small subsystems. The quantum hardware results obtained after error mitigation agree with extrapolated classical simulator results for chains consisting of up to 101 plaquettes. Our results demonstrate the feasibility of local thermalization studies for chaotic quantum systems, such as nonabelian lattice gauge theories, on current noisy quantum computing platforms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reports numerical simulations of thermalization dynamics in a minimally truncated SU(2) pure gauge theory on linear plaquette chains of up to 151 plaquettes, performed on IBM quantum computers. The authors track the time evolution of the entanglement spectrum, Rényi-2 entropy, and anti-flatness on small subsystems, claiming that error-mitigated quantum hardware results agree with extrapolated classical simulator data for chains up to 101 plaquettes and thereby demonstrate the feasibility of local thermalization studies for nonabelian lattice gauge theories on current noisy platforms.
Significance. If the central comparison holds after proper validation, the work would establish a concrete benchmark for quantum simulation of chaotic gauge-field dynamics, showing that NISQ devices can access nonlocal observables in truncated nonabelian theories at scales inaccessible to exact classical diagonalization. This would strengthen the case for quantum hardware in hep-lat applications, provided the truncation and mitigation steps are shown to be free of uncontrolled artifacts.
major comments (3)
- [Abstract and Results] Abstract and Results sections: the claim that error-mitigated quantum results 'agree' with classical extrapolations is stated without quantitative error bars, statistical measures of agreement, or details of the mitigation protocol (e.g., zero-noise extrapolation parameters or probabilistic error cancellation weights). Because the observables are nonlocal and sensitive to decoherence, this omission leaves the central feasibility demonstration unsubstantiated.
- [Methods and Truncation] Truncation and Methods: the paper relies on a 'minimally truncated' SU(2) Hilbert space but reports no convergence tests with respect to truncation level for the entanglement spectrum, Rényi-2 entropy, or anti-flatness. This assumption is load-bearing for the claim that the observed thermalization dynamics faithfully represent the target theory.
- [Results and Classical Comparison] Comparison to classical data: no explicit validation is provided that the chosen error-mitigation procedure leaves the truncated-model unitary evolution invariant for the reported nonlocal quantities, nor are details given on how the classical extrapolations (system sizes, fitting procedure) were performed. This directly addresses the skeptic concern that mitigation could introduce undetectable distortions.
minor comments (1)
- [Abstract] The abstract would benefit from stating the specific IBM backend, qubit count per plaquette, and circuit depth or shot count to aid reproducibility.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. We address each major comment below and indicate the revisions planned for the next version of the manuscript.
read point-by-point responses
-
Referee: [Abstract and Results] Abstract and Results sections: the claim that error-mitigated quantum results 'agree' with classical extrapolations is stated without quantitative error bars, statistical measures of agreement, or details of the mitigation protocol (e.g., zero-noise extrapolation parameters or probabilistic error cancellation weights). Because the observables are nonlocal and sensitive to decoherence, this omission leaves the central feasibility demonstration unsubstantiated.
Authors: We agree that quantitative error bars, statistical measures of agreement, and explicit mitigation parameters are required to substantiate the central claim. In the revised manuscript we will add error bars obtained from repeated hardware runs, report a statistical measure of agreement (e.g., reduced chi-squared between quantum and extrapolated classical data), and provide a dedicated subsection detailing the mitigation protocol, including the noise-scaling factors used for zero-noise extrapolation and the weights employed in any probabilistic error cancellation. revision: yes
-
Referee: [Methods and Truncation] Truncation and Methods: the paper relies on a 'minimally truncated' SU(2) Hilbert space but reports no convergence tests with respect to truncation level for the entanglement spectrum, Rényi-2 entropy, or anti-flatness. This assumption is load-bearing for the claim that the observed thermalization dynamics faithfully represent the target theory.
Authors: The minimal truncation is chosen to retain the essential non-Abelian structure while remaining simulable on current hardware. We nevertheless accept that explicit convergence tests are needed. The revised manuscript will include an appendix or subsection presenting the entanglement spectrum, Rényi-2 entropy, and anti-flatness for a sequence of increasing truncation levels on representative small chains (where higher truncations remain classically tractable), thereby demonstrating that the reported observables have converged within the minimal truncation employed for the larger systems. revision: yes
-
Referee: [Results and Classical Comparison] Comparison to classical data: no explicit validation is provided that the chosen error-mitigation procedure leaves the truncated-model unitary evolution invariant for the reported nonlocal quantities, nor are details given on how the classical extrapolations (system sizes, fitting procedure) were performed. This directly addresses the skeptic concern that mitigation could introduce undetectable distortions.
Authors: We will add a validation subsection that compares mitigated versus unmitigated quantum results against exact classical unitary evolution on small systems (up to ~10 plaquettes) where the truncated model is exactly diagonalizable; this will confirm that the mitigation protocol preserves the dynamics of the nonlocal observables. We will also document the classical extrapolation procedure in full, specifying the system sizes simulated classically, the functional form of the fit (e.g., polynomial or exponential in 1/N), and the extrapolation target used to compare with the quantum data up to 101 plaquettes. revision: yes
Circularity Check
No circularity: direct numerical benchmark of quantum hardware results against independent classical simulations
full rationale
The paper reports quantum hardware simulations of a minimally truncated SU(2) plaquette chain, applies standard error mitigation, and compares resulting observables (entanglement spectrum, Rényi-2 entropy, anti-flatness) to extrapolated classical simulator data for the same truncated model. No derivation chain exists that reduces a claimed prediction or first-principles result to its own inputs by construction; the agreement is presented as an empirical validation of feasibility rather than a tautological outcome. Self-citations, if present, are not load-bearing for the central numerical claim, which remains externally falsifiable via the classical benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption SU(2) pure gauge theory admits a lattice discretization whose dynamics can be simulated by Trotterized quantum circuits
- ad hoc to paper Minimal truncation of the gauge-field Hilbert space preserves the essential thermalization behavior
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean, IndisputableMonolith/Cost/FunctionalEquation.leanreality_from_one_distinction, washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We simulate the thermalization dynamics for minimally truncated SU(2) pure gauge theory on linear plaquette chains... using IBM quantum computers. We study the time dependence of the entanglement spectrum, Rényi-2 entropy and anti-flatness...
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery, embed_injective unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The (2+1)-dimensional Hamiltonian SU(2) lattice gauge theory on a linear plaquette chain... mapped onto an Ising model with next-to-nearest neighbor transverse field coupling
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 3 Pith papers
-
Non-Abelian String-Breaking Dynamics on a Qudit Quantum Computer
First experimental quantum simulation of genuine non-Abelian string breaking in an SU(2) pure gauge theory on a qudit trapped-ion computer, resolving oscillations and coherent breaking driven by plaquette interactions.
-
Observation of glueball excitations and string breaking in a $2+1$D $\mathbb{Z}_2$ lattice gauge theory on a trapped-ion quantum computer
A trapped-ion quantum computer simulates 2+1D Z2 lattice gauge theory dynamics, revealing glueball excitations and multi-order string breaking.
-
Observation of genuine $2+1$D string dynamics in a U$(1)$ lattice gauge theory with a tunable plaquette term on a trapped-ion quantum computer
Quantum simulation on trapped ions shows that a plaquette term in a 2+1D U(1) gauge theory enables string propagation in the plane and extended matter creation, realizing genuine two-dimensional dynamics.
Reference graph
Works this paper leans on
-
[1]
This is attributed to the parallel arrangement of the 5 N Total Two-qubit Two-qubit gate depth gate depth gate number 5 96 28 36 7 97 31 54 9 97 45 74 15 97 58 132 51 99 64 480 101 99 63 964 133 366 300 1707 151 582 502 2703 TABLE I. Total gate depth, two-qubit gate depth and the number of two-qubit gates per Trotter step for system sizes N= 5, . . . ,151...
work page 2000
- [2]
- [3]
-
[4]
Davoudi, (2025), arXiv:2507.15840 [hep-lat]
Z. Davoudi, (2025), arXiv:2507.15840 [hep-lat]
- [5]
- [6]
- [7]
- [8]
- [9]
-
[10]
A cold-atom quantum simulator for SU(2) Yang-Mills lattice gauge theory
E. Zohar, J. I. Cirac, and B. Reznik, Phys. Rev. Lett. 110, 125304 (2013), arXiv:1211.2241 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[11]
Digital quantum simulation of $\mathbb{Z}_2$ lattice gauge theories with dynamical fermionic matter
E. Zohar, A. Farace, B. Reznik, and J. I. Cirac, Phys. Rev. Lett.118, 070501 (2017), arXiv:1607.03656 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[12]
D. Gonz´ alez-Cuadra, E. Zohar, and J. I. Cirac, New J. Phys.19, 063038 (2017), arXiv:1702.05492 [quant-ph]
-
[13]
Digital quantum simulation of lattice gauge theories in three spatial dimensions
J. Bender, E. Zohar, A. Farace, and J. I. Cirac, New J. Phys.20, 093001 (2018), arXiv:1804.02082 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[14]
D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, Rev. Mod. Phys.91, 021001 (2019), arXiv:1804.11065 [cond-mat.dis-nn]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[15]
Arringtonet al., inIntersections between Nuclear 13 Physics and Quantum Information, edited by I
J. Arringtonet al., inIntersections between Nuclear 13 Physics and Quantum Information, edited by I. C. Clo¨ et and M. R. Dietrich (2019) arXiv:1903.05453 [nucl-th]
- [16]
- [17]
-
[18]
E. Zohar, Phil. Trans. A. Math. Phys. Eng. Sci.380, 20210069 (2021), arXiv:2106.04609 [quant-ph]
- [19]
-
[20]
J. Mildenberger, W. Mruczkiewicz, J. C. Halimeh, Z. Jiang, and P. Hauke, Nature Phys.21, 312 (2025), arXiv:2203.08905 [quant-ph]
-
[21]
N. Mueller, J. A. Carolan, A. Connelly, Z. Davoudi, E. F. Dumitrescu, and K. Yeter-Aydeniz, PRX Quan- tum4, 030323 (2023), arXiv:2210.03089 [quant-ph]
-
[22]
H.-Y. Wang, W.-Y. Zhang, Z.-Y. Yao, Y. Liu, Z.-H. Zhu, Y.-G. Zheng, X.-K. Wang, H. Zhai, Z.-S. Yuan, and J.-W. Pan, Phys. Rev. Lett.131, 050401 (2023), arXiv:2210.17032 [cond-mat.quant-gas]
-
[23]
R. Belyansky, S. Whitsitt, N. Mueller, A. Fahimniya, E. R. Bennewitz, Z. Davoudi, and A. V. Gorshkov, Phys. Rev. Lett.132, 091903 (2024), arXiv:2307.02522 [quant-ph]
-
[24]
Becket al.(2023) arXiv:2303.00113 [nucl-ex]
D. Becket al.(2023) arXiv:2303.00113 [nucl-ex]
-
[25]
Di Meglioet al., PRX Quantum5, 037001 (2024), arXiv:2307.03236 [quant-ph]
A. Di Meglioet al., PRX Quantum5, 037001 (2024), arXiv:2307.03236 [quant-ph]
- [26]
- [27]
- [28]
- [29]
- [30]
- [31]
-
[32]
Gonzalez-Cuadraet al., Nature642, 321 (2025), arXiv:2410.16558 [quant-ph]
D. Gonzalez-Cuadraet al., Nature642, 321 (2025), arXiv:2410.16558 [quant-ph]
- [33]
-
[34]
Z. Davoudi, C.-C. Hsieh, and S. V. Kadam, Quantum 8, 1520 (2024), arXiv:2402.00840 [quant-ph]
-
[35]
L. Spagnoli, A. Roggero, and N. Wiebe, Quantum10, 1968 (2026), arXiv:2405.19293 [quant-ph]
- [36]
-
[37]
A. Kaufman, J. Corona, Z. Ozzello, B. Senseman, M. Asaduzzaman, and Y. Meurice, Phys. Rev. A112, 032430 (2025), arXiv:2411.07092 [quant-ph]
-
[38]
A. Kaufman, M. Asaduzzaman, Z. Ozzello, B. Sense- man, J. Corona, and Y. Meurice, (2025), arXiv:2507.14128 [quant-ph]
- [39]
- [40]
-
[41]
G. Cataldi, S. Orlando, and J. C. Halimeh, (2025), arXiv:2509.08868 [hep-lat]
-
[42]
G. De Paciani, L. Homeier, J. C. Halimeh, M. Aidels- burger, and F. Grusdt, (2025), arXiv:2506.14747 [cond- mat.quant-gas]
-
[43]
Z. Davoudi, C.-C. Hsieh, and S. V. Kadam, (2025), arXiv:2505.20408 [quant-ph]
- [44]
-
[45]
H. Froland, D. M. Grabowska, and Z. Li, (2025), arXiv:2512.22782 [quant-ph]
-
[46]
Luoet al., (2025), arXiv:2505.09607 [quant-ph]
D. Luoet al., (2025), arXiv:2505.09607 [quant-ph]
- [47]
- [48]
-
[49]
Z. Li, M. Illa, and M. J. Savage, (2025), arXiv:2512.05210 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[50]
M. Miranda-Riaza, P. Fontana, and A. Celi, (2025), arXiv:2510.18594 [quant-ph]
-
[51]
P. Fontana, M. M. Riaza, and A. Celi, Phys. Rev. X 15, 031065 (2025), arXiv:2409.04441 [quant-ph]
- [52]
-
[53]
J. Schuhmacher, G.-X. Su, J. J. Osborne, A. Gan- don, J. C. Halimeh, and I. Tavernelli, (2025), arXiv:2505.20387 [quant-ph]
- [54]
-
[55]
Yao, (2025), arXiv:2511.13721 [quant-ph]
X. Yao, (2025), arXiv:2511.13721 [quant-ph]
- [56]
- [57]
- [58]
- [59]
-
[60]
Asaduzzamanet al., (2026), arXiv:2603.12391 [quant-ph]
M. Asaduzzamanet al., (2026), arXiv:2603.12391 [quant-ph]
- [61]
-
[62]
The Quantum Complexity of String Breaking in the Schwinger Model
S. Grieninger, M. J. Savage, and N. A. Zemlevskiy, (2026), arXiv:2601.08825 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2026
- [63]
-
[64]
N. S. Modi, A. N. Ciavarella, J. C. Halimeh, and C. W. Bauer, (2026), arXiv:2602.02344 [hep-lat]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[65]
S. Orlando, G.-X. Su, B. Yang, and J. C. Halimeh, (2026), arXiv:2601.04345 [cond-mat.quant-gas]
- [66]
-
[67]
G. Rouxinol, T. Magorsch, J. J. Osborne, N. Brambilla, and J. C. Halimeh, (2026), arXiv:2603.12194 [hep-ph]
-
[68]
L. Spagnoli, A. Roggero, and N. Wiebe, (2026), arXiv:2602.20661 [quant-ph]. 14
-
[69]
Thermalization and its mechanism for generic isolated quantum systems
M. Rigol, V. Dunjko, and M. Olshanii, Nature452, 854 (2008), arXiv:0708.1324 [cond-mat.stat-mech]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[70]
J. C. Halimeh, V. Zauner-Stauber, I. P. McCulloch, I. de Vega, U. Schollw¨ ock, and M. Kastner, Phys. Rev. B95, 024302 (2017), arXiv:1610.01468 [cond- mat.quant-gas]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[71]
A. J. James, R. M. Konik, and N. J. Robinson, Physical Review Letters122(2019), 10.1103/phys- revlett.122.130603
- [72]
- [73]
-
[74]
N. Mueller, T. V. Zache, and R. Ott, Phys. Rev. Lett. 129, 011601 (2022), arXiv:2107.11416 [quant-ph]
-
[75]
Z.-Y. Zhou, G.-X. Su, J. C. Halimeh, R. Ott, H. Sun, P. Hauke, B. Yang, Z.-S. Yuan, J. Berges, and J.- W. Pan, Science377, abl6277 (2022), arXiv:2107.13563 [cond-mat.quant-gas]
- [76]
-
[77]
N. Mueller, T. Wang, O. Katz, Z. Davoudi, and M. Cetina, (2024), arXiv:2408.00069 [quant-ph]
- [78]
- [79]
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.