arxiv: 2601.18248 · v2 · submitted 2026-01-26 · ✦ hep-ph · hep-th· quant-ph

Recognition: 1 theorem link

· Lean Theorem

A particle on a ring or: how I learned to stop worrying and love θ-vacua

Mohammad Aghaie , Ryosuke Sato

Authors on Pith no claims yet

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

classification ✦ hep-ph hep-thquant-ph

keywords strong CP problemtheta vacuapath integralquantum rotorquantum pendulumtopological sectorsorder of limits

0 comments

The pith

The ACGT order of limits fails to reproduce the known energy spectrum in the quantum rotor and pendulum.

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

The paper tests a recent claim that the strong CP problem can be solved by taking the spacetime volume to infinity before summing over topological sectors in the Euclidean path integral. It applies this ordering to two exactly solvable one-dimensional systems whose θ-dependent spectra are known in closed form. The resulting energies do not match the correct spectrum. Because the spectrum is a direct physical observable, the mismatch shows that the proposed ordering cannot be justified and cannot be used to conclude that CP is conserved in QCD.

Core claim

In both the quantum rotor and the quantum pendulum the exact energy levels are known and depend on the vacuum angle θ through standard Bloch-wave or Mathieu-function expressions. When the ACGT prescription is followed—first sending the circle length to infinity and only afterward summing over winding sectors—the computed energies deviate from these exact expressions. The discrepancy demonstrates that the order of limits does not preserve the physical spectrum even in these controlled models.

What carries the argument

The quantum rotor (a particle on a circle) and quantum pendulum, whose path integrals are summed over topological sectors after the large-volume limit is taken, used to expose the mismatch with the known θ-dependent spectrum.

Load-bearing premise

The one-dimensional rotor and pendulum capture the essential topological and limit-ordering features of the four-dimensional QCD path integral.

What would settle it

An explicit evaluation of the path integral for the quantum rotor using the ACGT ordering that produces energies different from the exact formula E_n = (n − θ/2π)^2 / (2I).

read the original abstract

Recently, Ai, Cruz, Garbrecht, and Tamarit (arXiv:2001.07152, arXiv:2404.16026, arXiv:2511.04216) claimed that the strong CP problem can be avoided by adopting a particular order of limits in the Euclidean path integral, in which the spacetime volume is taken to infinity before summing over all topological sectors. We critically examine this proposal using exactly solvable examples of one-dimensional quantum mechanics on a ring, namely the quantum rotor and the quantum pendulum. These systems provide fully controlled settings with known $\theta$-dependent spectra. We find that the ACGT procedure fails to reproduce the correct energy spectrum. Since the spectrum is a direct physical observable, this result demonstrates that the proposed order of limits cannot be justified and conclusions about CP conservation in QCD cannot be based on this prescription alone.

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

The paper gives a clean counterexample showing the ACGT volume-first limit order fails to match the known spectra in the quantum rotor and pendulum.

read the letter

The main point is that the ACGT prescription for ordering limits in the path integral does not reproduce the correct θ-dependent energy levels in these exactly solvable models. The authors apply the procedure—take volume to infinity before summing topological sectors—and get a spectrum that differs from the one obtained by direct diagonalization of the Hamiltonian. For the rotor the levels are known analytically as quadratic in (n - θ/2π), and the same holds for the pendulum; the mismatch is immediate and does not rely on numerics or adjustable parameters. That is the new element: a controlled test of the abstract ordering claim in systems where the answer is independently fixed. The calculation is straightforward, the comparison is direct, and the logic does not loop back on itself. The one soft spot is the step from one-dimensional quantum mechanics to four-dimensional QCD. The models contain winding numbers and a θ term, but they lack gauge fields, fermions, and the full instanton structure of QCD, so the extrapolation remains interpretive. Still, the ACGT claim is presented as a general rule about path-integral ordering, so the counterexample tests that rule on its own terms. This is useful reading for anyone working on the strong CP problem or alternative resolutions that avoid axions. The evidence is solid enough that a serious editor should send it to referees rather than desk-reject it.

Referee Report

0 major / 2 minor

Summary. The manuscript critically examines the ACGT proposal that the strong CP problem can be avoided by taking the spacetime volume to infinity before summing over topological sectors in the Euclidean path integral. Using the exactly solvable quantum rotor and quantum pendulum as controlled one-dimensional models with independently known θ-dependent spectra, the authors show that this order of limits produces an incorrect energy spectrum.

Significance. The result supplies a parameter-free, falsifiable counterexample in textbook systems whose spectra are obtained by direct Hamiltonian diagonalization. Because the observable (energy levels) is physical and the mismatch is direct, the demonstration that the ACGT prescription yields unphysical results stands without circularity or adjustable parameters. This undermines any claim that the same limit ordering can be justified for QCD on general grounds.

minor comments (2)

The comparison between the path-integral implementation and the exact spectrum would benefit from an explicit statement of how the sum over topological sectors is truncated in the finite-volume calculation before the V→∞ limit is taken.
Figure captions could more clearly label which curves correspond to the ACGT prescription versus the exact diagonalization.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending acceptance. The referee's summary and significance statement accurately reflect our central result: that the ACGT order-of-limits prescription yields an incorrect θ-dependent energy spectrum in the exactly solvable quantum rotor and quantum pendulum, providing a parameter-free counterexample.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper computes the correct θ-dependent spectrum by direct diagonalization of the standard quantum rotor and pendulum Hamiltonians (independent QM problems with known exact solutions). It then applies the ACGT order-of-limits prescription to the path integral of the same models and shows a mismatch with the benchmark spectrum. No self-definitional steps, fitted parameters renamed as predictions, or load-bearing self-citations appear; the counter-example is parameter-free and falsifiable against external exact results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that the 1D models faithfully represent the topological sector summation and volume limit relevant to QCD; no new free parameters or invented entities are introduced.

axioms (1)

standard math The energy eigenvalues of the quantum rotor and quantum pendulum are known exactly and depend on θ in the standard way.
These are textbook results obtained by solving the time-independent Schrödinger equation on a circle or with a cosine potential.

pith-pipeline@v0.9.0 · 5451 in / 1212 out tokens · 20380 ms · 2026-05-16T11:05:04.864841+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 find that the ACGT procedure fails to reproduce the correct energy spectrum... taking the Euclidean time extent β→∞ prior to summing over topological sectors removes the contribution of nontrivial winding configurations

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 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The structure of multi-axion solutions to the strong CP problem
hep-ph 2026-05 unverdicted novelty 6.0

Multi-axion theories solving the strong CP problem produce varied mass-coupling relations via a general sum rule that depends on the details of PQ symmetry breaking and anomaly alignments.
Topological Susceptibility and QCD at Finite Theta Angle
hep-lat 2026-04 unverdicted novelty 1.0

A pedagogical review summarizing analytic predictions and recent lattice results for theta-dependence and topological susceptibility in QCD.

Reference graph

Works this paper leans on

57 extracted references · 57 canonical work pages · cited by 2 Pith papers · 10 internal anchors

[1]

W.-Y. Ai, J. S. Cruz, B. Garbrecht and C. Tamarit,Consequences of the order of the limit of infinite spacetime volume and the sum over topological sectors for CP violation in the strong interactions,Phys. Lett. B822(2021) 136616 [2001.07152]

work page arXiv 2021
[2]

W.-Y. Ai, B. Garbrecht and C. Tamarit,The QCD theta-parameter in canonical quantization,2403.00747

work page arXiv
[3]

W.-Y. Ai, B. Garbrecht and C. Tamarit,CP Conservation in the Strong Interactions, Universe10(2024) 189 [2404.16026]

work page arXiv 2024
[4]

W.-Y. Ai, B. Garbrecht and C. Tamarit,Reply to ”Clearing up the StrongCPproblem”, 2511.04216

work page arXiv
[5]

C. G. Callan, Jr., R. F. Dashen and D. J. Gross,The Structure of the Gauge Theory Vacuum,Phys. Lett. B63(1976) 334

work page 1976
[6]

Jackiw and C

R. Jackiw and C. Rebbi,Vacuum Periodicity in a Yang-Mills Quantum Theory,Phys. Rev. Lett.37(1976) 172

work page 1976
[7]

Abel et al.,Measurement of the Permanent Electric Dipole Moment of the Neutron,Phys

C. Abel et al.,Measurement of the Permanent Electric Dipole Moment of the Neutron,Phys. Rev. Lett.124(2020) 081803 [2001.11966]

work page arXiv 2020
[8]

Electric Dipole Moments of the Atoms, Molecules, Nuclei and Particles

T. Chupp, P. Fierlinger, M. Ramsey-Musolf and J. Singh,Electric dipole moments of atoms, molecules, nuclei, and particles,Rev. Mod. Phys.91(2019) 015001 [1710.02504]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[9]

QCD Vacuum and Axions: What's Happening?

G. Gabadadze and M. Shifman,QCD vacuum and axions: What’s happening?,Int. J. Mod. Phys. A17(2002) 3689 [hep-ph/0206123]

work page internal anchor Pith review Pith/arXiv arXiv 2002
[10]

Weinberg,The U(1) Problem,Phys

S. Weinberg,The U(1) Problem,Phys. Rev. D11(1975) 3583

work page 1975
[11]

A. A. Belavin, A. M. Polyakov, A. S. Schwartz and Y. S. Tyupkin,Pseudoparticle Solutions of the Yang-Mills Equations,Phys. Lett. B59(1975) 85. – 25 –

work page 1975
[12]

’t Hooft,Symmetry Breaking Through Bell-Jackiw Anomalies,Phys

G. ’t Hooft,Symmetry Breaking Through Bell-Jackiw Anomalies,Phys. Rev. Lett.37(1976) 8

work page 1976
[13]

’t Hooft,Computation of the Quantum Effects Due to a Four-Dimensional Pseudoparticle, Phys

G. ’t Hooft,Computation of the Quantum Effects Due to a Four-Dimensional Pseudoparticle, Phys. Rev. D14(1976) 3432

work page 1976
[14]

M. A. Shifman, A. I. Vainshtein and V. I. Zakharov,Can Confinement Ensure Natural CP Invariance of Strong Interactions?,Nucl. Phys. B166(1980) 493

work page 1980
[15]

R. J. Crewther, P. Di Vecchia, G. Veneziano and E. Witten,Chiral Estimate of the Electric Dipole Moment of the Neutron in Quantum Chromodynamics,Phys. Lett. B88(1979) 123

work page 1979
[16]

Pich and E

A. Pich and E. de Rafael,Strong CP violation in an effective chiral Lagrangian approach, Nucl. Phys. B367(1991) 313

work page 1991
[17]

Theta-Induced Electric Dipole Moment of the Neutron via QCD Sum Rules

M. Pospelov and A. Ritz,Theta induced electric dipole moment of the neutron via QCD sum rules,Phys. Rev. Lett.83(1999) 2526 [hep-ph/9904483]

work page internal anchor Pith review Pith/arXiv arXiv 1999
[18]

Theta Vacua, QCD Sum Rules, and the Neutron Electric Dipole Moment

M. Pospelov and A. Ritz,Theta vacua, QCD sum rules, and the neutron electric dipole moment,Nucl. Phys. B573(2000) 177 [hep-ph/9908508]

work page internal anchor Pith review Pith/arXiv arXiv 2000
[19]

Electric dipole moments as probes of new physics

M. Pospelov and A. Ritz,Electric dipole moments as probes of new physics,Annals Phys. 318(2005) 119 [hep-ph/0504231]

work page internal anchor Pith review Pith/arXiv arXiv 2005
[20]

Reevaluation of Neutron Electric Dipole Moment with QCD Sum Rules

J. Hisano, J. Y. Lee, N. Nagata and Y. Shimizu,Reevaluation of Neutron Electric Dipole Moment with QCD Sum Rules,Phys. Rev. D85(2012) 114044 [1204.2653]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[21]

Y. Ema, T. Gao, M. Pospelov and A. Ritz,Chiral properties of the nucleon interpolating current andθ-dependent observables,Phys. Rev. D110(2024) 034028 [2405.08856]

work page arXiv 2024
[22]

Dragos, T

J. Dragos, T. Luu, A. Shindler, J. de Vries and A. Yousif,Confirming the Existence of the strong CP Problem in Lattice QCD with the Gradient Flow,Phys. Rev. C103(2021) 015202 [1902.03254]

work page arXiv 2021
[23]

Alexandrou, A

C. Alexandrou, A. Athenodorou, K. Hadjiyiannakou and A. Todaro,Neutron electric dipole moment using lattice QCD simulations at the physical point,Phys. Rev. D103(2021) 054501 [2011.01084]

work page arXiv 2021
[24]

Bhattacharya, V

T. Bhattacharya, V. Cirigliano, R. Gupta, E. Mereghetti and B. Yoon,Contribution of the QCDΘ-term to the nucleon electric dipole moment,Phys. Rev. D103(2021) 114507 [2101.07230]. [25]χQCDcollaboration, J. Liang, A. Alexandru, T. Draper, K.-F. Liu, B. Wang, G. Wang et al.,Nucleon electric dipole moment from theθterm with lattice chiral fermions,Phys. Rev. ...

work page arXiv 2021
[25]

F. He, M. Abramczyk, T. Blum, T. Izubuchi, H. Ohki and S. Syritsyn,The calculations of Nucleon Electric Dipole Moment using background field on Lattice QCD,PoS LA TTICE2023(2024) 336 [2311.06106]

work page arXiv 2024
[26]

Liu,Lattice QCD and the Neutron Electric Dipole Moment,Ann

K.-F. Liu,Lattice QCD and the Neutron Electric Dipole Moment,Ann. Rev. Nucl. Part. Sci. 75(2025) 377 [2411.15198]

work page arXiv 2025
[27]

V. V. Flambaum, M. Pospelov, A. Ritz and Y. V. Stadnik,Sensitivity of EDM experiments in paramagnetic atoms and molecules to hadronic CP violation,Phys. Rev. D102(2020) 035001 [1912.13129]

work page arXiv 2020
[28]

Choi and J.-y

K. Choi and J.-y. Hong,Electron electric dipole moment and Theta (QCD),Phys. Lett. B 259(1991) 340. – 26 –

work page 1991
[29]

Lepton Electric Dipole Moment and Strong CP Violation

D. Ghosh and R. Sato,Lepton Electric Dipole Moment and Strong CP Violation,Phys. Lett. B777(2018) 335 [1709.05866]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[30]

Cheng,The Strong CP Problem Revisited,Phys

H.-Y. Cheng,The Strong CP Problem Revisited,Phys. Rept.158(1988) 1

work page 1988
[31]

T. S. Roussy et al.,An improved bound on the electron’s electric dipole moment,Science381 (2023) adg4084 [2212.11841]. [33]KLOE-2collaboration, D. Babusci et al.,Upper limit on theη→π +π− branching fraction with the KLOE experiment,JHEP10(2020) 047 [2006.14710]

work page arXiv 2023
[32]

Pospelov and A

M. Pospelov and A. Ritz,Electric Dipole Moments and New Physics,2509.23531

work page arXiv
[33]

Witten,Current Algebra Theorems for the U(1) Goldstone Boson,Nucl

E. Witten,Current Algebra Theorems for the U(1) Goldstone Boson,Nucl. Phys. B156 (1979) 269

work page 1979
[34]

Veneziano,U(1) Without Instantons,Nucl

G. Veneziano,U(1) Without Instantons,Nucl. Phys. B159(1979) 213

work page 1979
[35]

M. Dine, P. Draper, L. Stephenson-Haskins and D. Xu,θand theη′ in LargeN Supersymmetric QCD,JHEP05(2017) 122 [1612.05770]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[36]

Csáki, R

C. Csáki, R. Tito D’Agnolo, R. S. Gupta, E. Kuflik, T. S. Roy and M. Ruhdorfer,On the dynamical origin of theη′ potential and the axion mass,JHEP10(2023) 139 [2307.04809]

work page arXiv 2023
[37]

Yamanaka,Unobservability of topological charge in nonabelian gauge theory,2212.10994

N. Yamanaka,Unobservability of topological charge in nonabelian gauge theory,2212.10994

work page arXiv
[38]

Yamanaka,Unobservability of the topological charge in nonabelian gauge theory: Ward-Takahashi identity and phenomenological aspects,2212.11820

N. Yamanaka,Unobservability of the topological charge in nonabelian gauge theory: Ward-Takahashi identity and phenomenological aspects,2212.11820

work page arXiv
[39]

Yamanaka,Sketch of the resolution of the axial U(1) problem without chiral anomaly, 2411.02792

N. Yamanaka,Sketch of the resolution of the axial U(1) problem without chiral anomaly, 2411.02792

work page arXiv
[40]

Nakamura and G

Y. Nakamura and G. Schierholz,The strong CP problem solved by itself due to long-distance vacuum effects,Nucl. Phys. B986(2023) 116063 [2106.11369]

work page arXiv 2023
[41]

Schierholz,Absence of strong CP violation,J

G. Schierholz,Absence of strong CP violation,J. Phys. G52(2025) 04LT01 [2403.13508]

work page arXiv 2025
[42]

Schierholz,Absence of CP Violation in the Strong Interaction: Vacuum thwarts Axion, PoSLA TTICE2024(2025) 398 [2502.04092]

G. Schierholz,Absence of CP Violation in the Strong Interaction: Vacuum thwarts Axion, PoSLA TTICE2024(2025) 398 [2502.04092]

work page arXiv 2025
[43]

Strocchi,The strong CP problem revisited and solved by the gauge group topology, 2404.19400

F. Strocchi,The strong CP problem revisited and solved by the gauge group topology, 2404.19400

work page arXiv
[44]

J. N. Benabou, A. Hook, C. A. Manzari, H. Murayama and B. R. Safdi,Clearing up the StrongCPproblem,2510.18951

work page arXiv
[45]

V. V. Khoze,A note on instantons,θ-dependence and strong CP,2512.06827

work page arXiv
[46]

Albandea, G

D. Albandea, G. Catumba and A. Ramos,Strong CP problem in the quantum rotor,Phys. Rev. D110(2024) 094512 [2402.17518]

work page arXiv 2024
[47]

Bhattacharya,Comment on the claim of physical irrelevance of the topological term, 2512.10127

T. Bhattacharya,Comment on the claim of physical irrelevance of the topological term, 2512.10127

work page arXiv
[48]

Gamboa and N

J. Gamboa and N. A. T. Arellano,Strong CP as an Infrared Holonomy: TheθVacuum and Dressing in Yang-Mills Theory,2512.24480

work page arXiv
[49]

Ringwald,CP, or not CP, that is the question..., in3rd General Meeting of the COST Action: Cosmic WISPers (CA21106), 1, 2026,2601.04718

A. Ringwald,CP, or not CP, that is the question..., in3rd General Meeting of the COST Action: Cosmic WISPers (CA21106), 1, 2026,2601.04718

work page arXiv 2026
[50]

Leinno,Finite-Temperature Quantum Statistics of a Few Confined Electrons and Atoms - Path-Integral Approach, Ph.D

M. Leinno,Finite-Temperature Quantum Statistics of a Few Confined Electrons and Atoms - Path-Integral Approach, Ph.D. thesis, Tampere University of Technology, 2007. – 27 –

work page 2007
[51]

L. s. Schulman,TECHNIQUES AND APPLICATIONS OF PATH INTEGRATION. Wiley, 1981

work page 1981
[52]

Kleinert,Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets,

H. Kleinert,Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets,

work page
[53]

V. A. Rubakov,Classical theory of gauge fields. Princeton University Press, Princeton, New Jersey, 5, 2002

work page 2002
[54]

Band Structure in Yang-Mills Theories

C. Bachas and T. Tomaras,Band Structure in Yang-Mills Theories,JHEP05(2016) 143 [1603.08749]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[55]

Coleman,Aspects of Symmetry: Selected Erice Lectures

S. Coleman,Aspects of Symmetry: Selected Erice Lectures. Cambridge University Press, Cambridge, U.K., 1985, 10.1017/CBO9780511565045

work page doi:10.1017/cbo9780511565045 1985
[56]

I. M. Gelfand and A. M. Yaglom,Integration in functional spaces and it applications in quantum physics,J. Math. Phys.1(1960) 48

work page 1960
[57]

QCD at Fixed Topology

R. Brower, S. Chandrasekharan, J. W. Negele and U. J. Wiese,QCD at fixed topology,Phys. Lett. B560(2003) 64 [hep-lat/0302005]. – 28 –

work page internal anchor Pith review Pith/arXiv arXiv 2003