arxiv: 2512.13049 · v3 · submitted 2025-12-15 · ✦ hep-lat · hep-th· quant-ph

Recognition: 2 theorem links

· Lean Theorem

Quantum simulation of strong charge-parity violation and Peccei-Quinn mechanism

Le Bin Ho

Authors on Pith no claims yet

Pith reviewed 2026-05-16 22:33 UTC · model grok-4.3

classification ✦ hep-lat hep-thquant-ph

keywords quantum simulationSchwinger modelPeccei-Quinn mechanismCP violationaxion fieldtheta termlattice gauge theory

0 comments

The pith

A qubit simulation of the Schwinger model relaxes to zero effective theta angle when coupled to a dynamical axion field.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a compact Pauli Hamiltonian for a one-dimensional lattice version of QCD that includes the topological theta term. Fermions and gauge links are mapped to qubits via Jordan-Wigner and quantum-link techniques. Ground states prepared with feedback-based quantum optimization show energy minima at theta equal to zero and two pi. Adding a dynamical axion field lets the system evolve so that the effective theta relaxes to zero. This setup demonstrates the Peccei-Quinn mechanism in a minimal quantum device.

Core claim

The authors derive a Hamiltonian formulation of a (1+1)-dimensional Schwinger-model analogue of QCD, encode it into qubits while preserving the topological vacuum structure, and prepare ground states using feedback-based quantum optimization. Vacuum minima appear at bar theta equals zero and two pi. Coupling the model to a dynamical axion field drives the system to theta_eff equals zero, thereby realizing the Peccei-Quinn mechanism inside the quantum simulation.

What carries the argument

The dynamical axion field coupled to the theta term inside the qubit-mapped Schwinger Hamiltonian, whose dynamics drive the effective angle to zero.

If this is right

Vacuum energy for theta-dependent gauge theories becomes accessible on few-qubit simulators.
CP violation and its dynamical resolution can be probed in controlled lattice settings.
The same encoding and optimization steps apply to other topological terms in gauge theories.
Results remain consistent with continuum expectations within the small-system regime studied.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same qubit mapping could be extended to include more gauge degrees of freedom or higher spatial dimensions.
Relaxation times measured in the simulation might guide experimental searches for axion-induced effects in real materials or cold-atom systems.
The approach offers a route to test whether other proposed solutions to the strong CP problem produce observable signatures on near-term quantum hardware.

Load-bearing premise

The one-plus-one dimensional Schwinger-model analogue must preserve the essential topological vacuum structure of four-dimensional QCD.

What would settle it

An observation that the effective theta angle fails to relax toward zero after the dynamical axion field is introduced, or that the vacuum energy minima shift away from zero and two pi.

Figures

Figures reproduced from arXiv: 2512.13049 by Le Bin Ho.

**Figure 1.** Figure 1: (a) shows the vacuum energy E0( ¯θ) as a function ¯θ (in units of π) for three representative parameter regimes: near-continuum, balanced benchmark, and strong gauge coupling, in the absence of an axion field [Hamiltonian Eq. (19)]. In the continuum QCD, E0( ¯θ) is expected to be a 2π-periodic function of ¯θ, with degenerate minima at ¯θ = 0 (mod 2π). In the present (1 + 1)dimensional Schwinger-model ap… view at source ↗

**Figure 2.** Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗

read the original abstract

Quantum Chromodynamics (QCD) admits a topological $\bar{\theta}$ term that violates charge-parity ($CP$) symmetry, yet experiments indicate that $\bar{\theta}$ is extremely small. To investigate this problem in a controlled setting, we derive a Hamiltonian formulation of QCD through a $(1+1)$-dimensional Schwinger-model analogue. Fermionic and gauge degrees of freedom are encoded into qubits using Jordan-Wigner and quantum-link mappings, yielding a compact Pauli Hamiltonian that preserves the essential topological vacuum structure. Ground states are prepared using a feedback-based quantum optimization protocol, providing access to the vacuum energy on few-qubit simulators. We observe vacuum minima at $\bar{\theta}=0$ and $2\pi$, consistent with the continuum QCD expectations within the accessible regime. Upon coupling to a dynamical axion field, the system relaxes to $\theta_{\rm eff}=0$, realizing the Peccei-Quinn mechanism within a minimal quantum simulation. These results demonstrate how quantum simulation can probe $CP$ violation and its dynamical resolution in gauge theories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Schwinger-model qubit encoding for theta vacuum and axion relaxation is a compact idea, but the abstract shows no data and the 2D Abelian model probably misses the non-Abelian instanton structure needed for a real Peccei-Quinn demonstration.

read the letter

The paper sketches a qubit encoding of a (1+1)D Schwinger model with theta term and a dynamical axion, then claims the system relaxes to effective theta zero. That is the core claim: a minimal quantum simulation that realizes the Peccei-Quinn mechanism by driving the vacuum to the CP-conserving point. The mapping uses Jordan-Wigner for fermions and quantum-link for the gauge field to produce a Pauli Hamiltonian, with feedback optimization to prepare the ground state on small devices. The reported minima at theta equals zero and 2 pi line up with basic expectations, and the axion coupling is included directly in the Hamiltonian rather than added by hand. That combination of elements is not standard in the earlier literature the abstract cites, so the encoding itself is the clearest piece of new work. The feedback protocol is also a sensible practical choice for few-qubit hardware. The soft spots are clear and fairly large. The abstract contains no numbers, error bars, convergence plots, or comparisons to analytic limits, so the relaxation result cannot be checked. More importantly, the Schwinger model is Abelian and two-dimensional; its theta term only shifts electric-flux sectors and does not produce the instanton-generated potential that creates the strong-CP problem in four-dimensional non-Abelian QCD. The paper states that the essential topological vacuum structure is preserved, but the description gives no explicit check that the effective potential or topological susceptibility matches the four-dimensional case. The observed relaxation could therefore be an artifact of the reduced model. This is aimed at people already working on quantum simulations of lattice gauge theories who want to see an early attempt at CP-violating vacua. Readers looking for a direct route to four-dimensional QCD phenomenology will need more validation. It deserves a serious referee because the encoding technique could still be useful for other questions even if the current topological claim needs stronger support from actual runs and a clearer justification of the dimensional reduction.

Referee Report

2 major / 2 minor

Summary. The manuscript derives a compact Pauli Hamiltonian for a (1+1)-dimensional Schwinger-model analogue of QCD by applying Jordan-Wigner and quantum-link mappings to fermionic and gauge degrees of freedom. Ground states are prepared on few-qubit simulators via a feedback-based quantum optimization protocol. The work reports vacuum energy minima at bar theta = 0 and 2 pi, and shows that coupling to a dynamical axion field drives relaxation to theta_eff = 0, thereby realizing the Peccei-Quinn mechanism in this minimal quantum simulation.

Significance. If the topological mapping is faithful, the approach offers a controlled, qubit-accessible platform for studying dynamical axion relaxation and the resolution of strong CP violation. The use of feedback-based state preparation on current hardware is a practical strength that could enable future extensions to larger systems. However, the significance for four-dimensional QCD remains provisional until the reduced model's ability to reproduce non-Abelian topological features is demonstrated.

major comments (2)

[Abstract] Abstract: The central assertion that the Jordan-Wigner plus quantum-link mapping 'preserves the essential topological vacuum structure' of 4D QCD is load-bearing for the Peccei-Quinn claim, yet the manuscript provides no explicit verification such as a computation of the theta-dependent vacuum energy V(theta), topological susceptibility, or comparison against known 4D instanton effects. Because the Schwinger model is Abelian and two-dimensional, its theta term only shifts electric-flux sectors and lacks the non-Abelian topology that generates the instanton-induced potential in QCD; without such a check the observed relaxation to theta_eff=0 could be an artifact of the reduced model.
[Results] Results section (ground-state preparation and axion coupling): No quantitative data, error bars, convergence checks against analytic limits, or finite-size scaling are reported for the observed minima or the relaxation dynamics. This absence prevents assessment of whether the simulated Hamiltonian faithfully reproduces the target continuum theory within the accessible regime.

minor comments (2)

[Abstract] The abstract refers to 'few-qubit simulators' without specifying qubit count, circuit depth, or noise model; adding these details would improve reproducibility.
[Introduction] Notation for bar theta and theta_eff should be defined explicitly at first use to avoid ambiguity with standard QCD conventions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive comments. We address each major point below and will revise the manuscript to strengthen the presentation of results and clarify the scope of the model.

read point-by-point responses

Referee: [Abstract] The central assertion that the Jordan-Wigner plus quantum-link mapping 'preserves the essential topological vacuum structure' of 4D QCD is load-bearing for the Peccei-Quinn claim, yet the manuscript provides no explicit verification such as a computation of the theta-dependent vacuum energy V(theta), topological susceptibility, or comparison against known 4D instanton effects. Because the Schwinger model is Abelian and two-dimensional, its theta term only shifts electric-flux sectors and lacks the non-Abelian topology that generates the instanton-induced potential in QCD; without such a check the observed relaxation to theta_eff=0 could be an artifact of the reduced model.

Authors: We agree that the (1+1)D Schwinger model is Abelian and cannot reproduce the full non-Abelian instanton structure of 4D QCD. However, the theta term in the Schwinger model is known analytically to produce a periodic vacuum energy with minima at multiples of 2pi due to the electric flux sectors. Our Jordan-Wigner and quantum-link mappings preserve these sectors and the explicit theta dependence in the Hamiltonian. The observed minima at bar theta = 0 and 2pi are consistent with this structure. In the revision we will add an explicit plot of the vacuum energy versus bar theta (computed via the feedback protocol and compared to exact results for small systems) together with a clear statement that the model serves as a minimal analogue for demonstrating the Peccei-Quinn relaxation mechanism rather than a faithful proxy for 4D QCD topology. revision: yes
Referee: [Results] Results section (ground-state preparation and axion coupling): No quantitative data, error bars, convergence checks against analytic limits, or finite-size scaling are reported for the observed minima or the relaxation dynamics. This absence prevents assessment of whether the simulated Hamiltonian faithfully reproduces the target continuum theory within the accessible regime.

Authors: We acknowledge that the current manuscript omits quantitative details. In the revised version we will include error bars from repeated optimization runs, convergence diagnostics for the feedback-based protocol, direct comparisons to exact diagonalization on small qubit numbers, and finite-size scaling of the vacuum energies and relaxation times where system size permits. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper constructs a Pauli Hamiltonian from the (1+1)D Schwinger model via standard Jordan-Wigner and quantum-link mappings, then numerically prepares ground states and observes vacuum minima at θ̄=0,2π plus relaxation to θ_eff=0 upon axion coupling. These outcomes are simulation outputs, not inputs redefined as predictions. The statement that the mapping 'preserves the essential topological vacuum structure' is an assertion about the chosen encoding rather than a self-definitional loop or fitted parameter renamed as a result. No load-bearing self-citations, uniqueness theorems, or ansätze reduce the central claims to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two standard encodings and one domain assumption about dimensional reduction; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Jordan-Wigner transformation maps fermionic operators to Pauli strings while preserving anticommutation relations
Invoked to encode fermions into qubits.
domain assumption Quantum-link formulation captures the topological vacuum structure of the target gauge theory in 1+1 dimensions
Required for the claim that the simulated model is a faithful analogue of QCD CP violation.

pith-pipeline@v0.9.0 · 5475 in / 1297 out tokens · 30880 ms · 2026-05-16T22:33:44.454949+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We derive a Hamiltonian formulation of QCD through a (1+1)-dimensional Schwinger-model analogue... Jordan-Wigner and quantum-link mappings, yielding a compact Pauli Hamiltonian that preserves the essential topological vacuum structure.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

H = m/2 ∑ (−1)^x Z_x + w ∑ (ψ†_x U_{x,x+1} ψ_{x+1} + h.c.) + g²/2 ∑ (E_x − θ̄/2π)² + λ ∑ G_x²

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.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

explicitly breaks CP symmetry. Al- though small in magnitude (given experimental con- straints on ¯θ), this term could induce observable eﬀects such as a permanent EDM in color-neutral hadrons like the neutron [ 7, 8]. Simpliﬁed (1+1)D U(1) Schwinger model . We consider a (1+1)-dimensional Schwinger model, corresponding to one spatial and one temporal dim...

work page
[2]

25, and λ = 40

Balanced benchmark: w = 1, g2 = 2, m = 0. 25, and λ = 40. This choice provides a well-balanced regime where fermionic tunneling, gauge energy, and mass terms contribute comparably, yielding a nontrivial but numerically stable energy spectrum

work page
[3]

Strong gauge coupling: w = 1, g2 = 5, m =

work page
[4]

Increasing g2 ampliﬁes the electric-ﬁeld contribution to the energy, which re- duces charge ﬂuctuations and favors conﬁgurations with minimal local net charge

25, and λ = 40. Increasing g2 ampliﬁes the electric-ﬁeld contribution to the energy, which re- duces charge ﬂuctuations and favors conﬁgurations with minimal local net charge. For the Gauss-law constraint, we use c0 = − 1 2,c 1 = 1 2,c ℓ = 0,d 0ℓ = d1ℓ = − 1

work page
[5]

The full parameter set is summarized in Tab

For the axion sector, we set ma and fa to be comparable to the gauge-ﬁeld energy scale, choosing ma = g2,f a = 2. The full parameter set is summarized in Tab. I. Fig. 1 (a) shows the vacuum energy E0(¯θ) as a func- tion ¯θ (in units of π ) for three representative parame- ter regimes: near-continuum, balanced benchmark, and strong gauge coupling, in the a...

work page
[6]

Substituting these mappings into the continuum lat- tice Hamiltonian yields a fully qubit-based representa- tion

The eigenvalues of Zℓ correspond to discrete electric-ﬁeld strengths E ∈ { 0, 1}, providing the simplest nontrivial truncation of the gauge degree of free- dom. Substituting these mappings into the continuum lat- tice Hamiltonian yields a fully qubit-based representa- tion. The staggered-mass term, which alternates in sign 7 to reproduce chiral symmetry i...

work page
[7]

’t Hooft, Quantum chromodynamics, Annalen der Physik 512, 925 (2000)

G. ’t Hooft, Quantum chromodynamics, Annalen der Physik 512, 925 (2000)

work page 2000
[8]

Gross, E

F. Gross, E. Klempt, S. J. Brodsky, A. J. Buras, V. D. Burkert, G. Heinrich, K. Jakobs, C. A. Meyer, K. Orginos, M. Strickland, J. Stachel, G. Zanderighi, N. Brambilla, P. Braun-Munzinger, D. Britzger, S. Cap- stick, T. Cohen, V. Crede, M. Constantinou, C. Davies, L. Del Debbio, A. Denig, C. DeTar, A. Deur, Y. Dok- shitzer, H. G. Dosch, J. Dudek, M. Dunfo...

work page 2023
[9]

A. A. A. Lik´ en´ e, D. N. Ongodo, P. M. Tsila, A. Atangana, and G. H. Ben-Bolie, Quan- tum chromodynamics lagrangian density and su(3) gauge symmetry: A fractional approach, Modern Physics Letters A 39, 2450194 (2024)

work page 2024
[10]

’t Hooft, Symmetry breaking through bell-jackiw anomalies, Phys

G. ’t Hooft, Symmetry breaking through bell-jackiw anomalies, Phys. Rev. Lett. 37, 8 (1976)

work page 1976
[11]

’t Hooft, Computation of the quantum ef- fects due to a four-dimensional pseudoparticle, Phys

G. ’t Hooft, Computation of the quantum ef- fects due to a four-dimensional pseudoparticle, Phys. Rev. D 14, 3432 (1976)

work page 1976
[12]

J. E. Kim and G. Carosi, Axions and the strong cp prob- lem, Rev. Mod. Phys. 82, 557 (2010)

work page 2010
[13]

Crewther, P

R. Crewther, P. Di Vecchia, G. Veneziano, and E. Witten, Chiral estimate of the electric dipole mo- ment of the neutron in quantum chromodynamics, Physics Letters B 88, 123 (1979)

work page 1979
[14]

Pospelov and A

M. Pospelov and A. Ritz, Electric dipole moments as probes of new physics, Annals of Physics 318, 119 (2005) , special Issue

work page 2005
[15]

C. A. Baker, D. D. Doyle, P. Geltenbort, K. Green, M. G. D. van der Grinten, P. G. Harris, P. Iaydjiev, S. N. Ivanov, D. J. R. May, J. M. Pendlebury, J. D. Richard- son, D. Shiers, and K. F. Smith, Improved experimen- tal limit on the electric dipole moment of the neutron, Phys. Rev. Lett. 97, 131801 (2006)

work page 2006
[16]

C. Abel, S. Afach, N. J. Ayres, C. A. Baker, G. Ban, G. Bison, K. Bodek, V. Bondar, M. Burghoﬀ, E. Chanel, Z. Chowdhuri, P.-J. Chiu, B. Clement, C. B. Craw- ford, M. Daum, S. Emmenegger, L. Ferraris-Bouchez, M. Fertl, P. Flaux, B. Franke, A. Fratangelo, P. Gel- tenbort, K. Green, W. C. Griﬃth, M. van der Grinten, Z. D. Gruji´ c, P. G. Harris, L. Hayen, W....

work page 2020
[17]

R. D. Peccei and H. R. Quinn, CP con- servation in the presence of pseudoparticles, Phys. Rev. Lett. 38, 1440 (1977)

work page 1977
[18]

R. D. Peccei and H. R. Quinn, Constraints imposed by CP conservation in the presence of pseudoparticles, Phys. Rev. D 16, 1791 (1977)

work page 1977
[19]

R. D. Peccei, The strong cp problem and axions, in Axions: Theory, Cosmology, and Experimental Searches , edited by M. Kuster, G. Raﬀelt, and B. Beltr´ an (Springer Berlin Heidelberg, Berlin, Heidelberg, 2008) pp. 3–17

work page 2008
[20]

Chadha-Day, J

F. Chadha-Day, J. Ellis, and D. J. E. Marsh, Axion dark matter: What is it and why now?, Science Advances 8, eabj3618 (2022) , https://www.science.org/doi/pdf/10.1126/sciadv.abj3618

work page doi:10.1126/sciadv.abj3618 2022
[21]

C. W. Bauer, Z. Davoudi, A. B. Balantekin, T. Bhat- tacharya, M. Carena, W. A. de Jong, P. Draper, A. El-Khadra, N. Gemelke, M. Hanada, D. Kharzeev, H. Lamm, Y.-Y. Li, J. Liu, M. Lukin, Y. Meurice, C. Monroe, B. Nachman, G. Pagano, J. Preskill, E. Rinaldi, A. Roggero, D. I. Santiago, M. J. Savage, I. Siddiqi, G. Siopsis, D. Van Zanten, N. Wiebe, Y. Yamauc...

work page 2023
[22]

Di Meglio, K

A. Di Meglio, K. Jansen, I. Tavernelli, C. Alexandrou, S. Arunachalam, C. W. Bauer, K. Borras, S. Car- razza, A. Crippa, V. Croft, R. de Putter, A. Del- gado, V. Dunjko, D. J. Egger, E. Fern´ andez-Combarro, E. Fuchs, L. Funcke, D. Gonz´ alez-Cuadra, M. Grossi, J. C. Halimeh, Z. Holmes, S. K¨ uhn, D. Lacroix, R. Lewis, D. Lucchesi, M. L. Martinez, F. Melo...

work page 2024
[23]

A. B. Magann, K. M. Rudinger, M. D. Grace, and M. Sarovar, Feedback-based quantum optimization, Phys. Rev. Lett. 129, 250502 (2022)

work page 2022
[24]

R. K. P. Zia, E. F. Redish, and S. R. McKay, Making sense of the legendre transform, American Journal of Physics 77, 614 (2009)

work page 2009
[25]

Aoki and T

K. Aoki and T. Ichihara, (1+1)-dimensional qcd with fundamental bosons and fermions, Phys. Rev. D 52, 6435 (1995)

work page 1995
[26]

Schwinger, Gauge invariance and mass

J. Schwinger, Gauge invariance and mass. ii, Phys. Rev. 128, 2425 (1962)

work page 1962
[27]

Luo, Spontaneous chiral-symmetry breaking of lattice qcd with massless dynamical quarks, Science in China Series G: Physics, Mechanics and Astronomy 50, 6 (2007)

X. Luo, Spontaneous chiral-symmetry breaking of lattice qcd with massless dynamical quarks, Science in China Series G: Physics, Mechanics and Astronomy 50, 6 (2007)

work page 2007
[28]

Ballon-Bayona, L

A. Ballon-Bayona, L. A. H. Mamani, and D. M. Rodrigues, Spontaneous chiral symme- try breaking in holographic soft wall models, Phys. Rev. D 104, 126029 (2021)

work page 2021
[29]

Funcke, K

L. Funcke, K. Jansen, and S. K¨ uhn, Topological vacuum structure of the schwinger model with matrix product states, Phys. Rev. D 101, 054507 (2020)

work page 2020
[30]

A. V. Smilga, Vacuum ﬁelds in the schwinger model, Phys. Rev. D 46, 5598 (1992)

work page 1992
[31]

Calliari, M

G. Calliari, M. Di Liberto, H. Pichler, and T. V. Zache, Quantum simulating continuum ﬁeld theories with large- spin lattice models, PRX Quantum 6, 030304 (2025)

work page 2025
[32]

Altman, K

E. Altman, K. R. Brown, G. Carleo, L. D. Carr, E. Dem- ler, C. Chin, B. DeMarco, S. E. Economou, M. A. Eriks- son, K.-M. C. Fu, M. Greiner, K. R. Hazzard, R. G. Hulet, A. J. Koll´ ar, B. L. Lev, M. D. Lukin, R. Ma, X. Mi, S. Misra, C. Monroe, K. Murch, Z. Nazario, K.-K. Ni, A. C. Potter, P. Roushan, M. Saﬀman, M. Schleier- Smith, I. Siddiqi, R. Simmonds, ...

work page 2021
[33]

Kogut and L

J. Kogut and L. Susskind, Hamiltonian for- mulation of wilson’s lattice gauge theories, Phys. Rev. D 11, 395 (1975)

work page 1975
[34]

Zohar and M

E. Zohar and M. Burrello, Formulation of lat- tice gauge theories for quantum simulations, Phys. Rev. D 91, 054506 (2015)

work page 2015
[35]

Jordan and E

P. Jordan and E. Wigner, ¨Uber das paulische ¨ aquivalenzverbot,Zeitschrift f¨ ur Physik47, 631 (1928)

work page 1928