On the Origins of the Strong CP Problem

Anthony G. Williams

On the Origins of the Strong CP Problem

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The strong CP problem arises only after extra global topology is added to QCD, not from local QCD dynamics alone.

desk verdict Clean logical separation: all the usual nonperturbative QCD results survive without integer topological sectors, so the strong-CP problem is optional rather than forced. read the letter →

arxiv 2607.10272 v1 pith:TD5ZRNGG submitted 2026-07-11 hep-ph

Anthony G. Williams This is my paper · ORCID

classification hep-ph

keywords strongCPproblemthetatermtopologicalsusceptibilityaxialanomalyinstantonsWitten-VenezianoLeutwyler-SmilgalatticeQCD

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper separates what follows from ordinary local QCD from what follows only after one adds extra global assumptions about gauge fields. Local gauge invariance and causal locality already give the topological charge density, topological susceptibility, the axial anomaly, the 't Hooft vertex, the Witten–Veneziano and Leutwyler–Smilga relations, and the corresponding lattice results. None of those require that the exact functional integral be restricted to smooth finite-action configurations labelled by an integer topological charge. The conventional strong CP problem appears only after those extra assumptions are imposed, turning a source parameter into a physical vacuum angle. The author reports no established physical observable that forces the extra global structure. The claim is not that the usual topological framework is inconsistent, but that the fine-tuning problem is contingent on adopting that structure rather than being forced by known QCD dynamics.

What carries the argument

Minimal QCD versus the additional assumptions: the former is the standard QCD action plus local gauge invariance, causal locality, and the functional integral; the latter are the smoothness, boundary, and homotopy conditions that make the integrated topological charge integer-valued and decompose the measure into sectors. That distinction carries the whole argument.

What would settle it

A concrete physical observable, or a continuum-limit lattice demonstration, that can be reproduced only if the exact functional integral is restricted to smooth finite-action configurations with integer topological charge, and that cannot be recovered from correlation functions of the local topological density alone.

Watch

Extended reading notes

Core claim

No established physical observable requires the additional assumptions that globally classify gauge-field configurations into integer topological sectors. All the standard local nonperturbative consequences of the topological charge density follow from minimal QCD (local gauge invariance, causal locality, and the functional integral). The conventional strong CP problem appears only after those extra global assumptions promote a source parameter into a physical vacuum angle.

Load-bearing premise

The exact QCD functional integral is not fundamentally restricted to smooth finite-action fields that already carry an integer topological charge; lattice roughness and distributional fields are taken to show that integer topology is an optional extra construction.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Tony Williams has written a careful clarification paper, not a calculation. The punchline is simple and useful: once you stick to local gauge invariance, causal locality and the functional integral (what he calls “minimal QCD”), you still recover the topological charge density, susceptibility, axial anomaly, ’t Hooft vertex, Witten–Veneziano, Leutwyler–Smilga and the usual lattice results. The conventional strong-CP problem only appears after you add the extra global assumptions that turn Q into an integer and produce θ-vacua. That contingency claim is the actual new framing.

What he does well is the bookkeeping. Sections II.A–G walk through each standard result and show, step by step, that none of them needs integer-valued topological sectors. The derivations are textbook-correct and the citations are appropriate. He is also careful not to claim the conventional framework is wrong or inconsistent; he only says the problem is contingent on optional structure. The “we are not aware of any established observable that requires …” hedge is honest rather than evasive.

The soft spot is exactly the one the reader flagged: the assertion that the exact functional measure is not already restricted to smooth finite-action configurations. That is an assumption about the measure, not a theorem, and lattice continuum limits plus distributional fields only show that integer topology is recovered by extra constructions (flow, index theorems), not that it is forced. But Williams treats it as an explicit additional assumption rather than a hidden premise, so the logic stays clean under his own definitions. No circularity, no free parameters, no over-claim.

This is for people who care about the logical foundations of nonperturbative QCD and the status of the strong-CP problem. It will not change anyone’s lattice code tomorrow, but it is a legitimate and well-executed piece of conceptual housekeeping. I would send it to referees; it deserves a serious reading rather than a desk reject. Worth engaging if you work on topology, axions or the foundations of the problem.

Referee Report

0 major / 4 minor

Summary. The paper distinguishes 'minimal QCD' (standard Lagrangian + local gauge invariance + causal locality + functional integral) from the conventional formulation that adds smoothness, boundary, and global-bundle assumptions yielding integer topological charge Q, topological sectors, and a physical vacuum angle θ. Sections II.A–G re-derive the local topological charge density q(x), topological susceptibility from the generating functional, anomalous Ward identity, semiclassical instantons and 't Hooft vertex, Witten–Veneziano (large-Nc), Leutwyler–Smilga (chiral effective theory), and lattice results without ever requiring integer Q or sector decomposition. Section III isolates the additional assumptions that produce integer Q, sector weights e^{iθQ}, the local θ term, and θ-vacua, at which point the conventional strong-CP problem (¯θ ≲ 10^{-10}) appears. The central claim is an awareness claim: no established physical observable is known to require those extra global assumptions, so the strong-CP problem is contingent on them rather than forced by presently known QCD dynamics.

Significance. If the logical separation holds, the paper clarifies that the conventional strong-CP problem is not an automatic consequence of local QCD dynamics but of an optional global topological superstructure. This is a useful conceptual contribution for the strong-CP and axion literature: it cleanly separates results that follow from local operators and the anomaly (susceptibility, Witten–Veneziano, Leutwyler–Smilga, lattice topology) from those that require integer sectors and a physical vacuum angle. The derivations in Secs. II.A–G are standard and correctly executed without integer Q; the paper is careful not to claim inconsistency of the conventional framework or to dismiss axion/Nelson–Barr solutions. The result is therefore of genuine interest for foundational discussions of QCD topology even if it does not alter existing phenomenology.

minor comments (4)

The invented term 'minimal QCD' is useful but should be flagged more prominently in the abstract or keywords so that readers do not confuse it with a non-standard Lagrangian.
Fig. 1 is helpful; a short caption sentence explicitly listing which results sit above versus below the 'additional assumptions' line would improve readability.
After Eq. (83) the discussion of index-theoretic versus continuum local definitions of Q on rough configurations could cite one or two standard lattice reviews for readers less familiar with the continuum-limit subtlety.
A few recent lattice and continuum references on topology (already present in the bibliography) could be cross-linked more explicitly in Sec. III.A to the claim that integer Q is recovered only after extra constructions.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper performs a logical separation of assumptions rather than deriving a result that reduces to its own inputs by construction.

full rationale

The paper defines 'minimal QCD' as the standard local Lagrangian plus local gauge invariance, causal locality and the functional integral (explicitly excluding global smoothness/boundary/topology assumptions), then re-derives the known local consequences (q(x), topological susceptibility via second derivative of the generating functional, anomalous Ward identity, 't Hooft vertex from instanton zero modes, Witten–Veneziano from the singlet axial correlator plus large-Nc, Leutwyler–Smilga from the chiral effective potential, and lattice realizations) using only those local ingredients. It next introduces the additional global assumptions (smooth finite-action fields, pure-gauge asymptotics, π3(SU(3))=Z) and shows that integer Q, sector decomposition, the local θ term and the conventional strong-CP problem appear only after those extras are added. No equation is forced by a prior self-definition of the target quantity, no parameter is fitted and then re-labeled a prediction, and the few self-citations ([21] for notation, [22] for a related note) are not load-bearing for any uniqueness claim or central premise. The argument is therefore a self-contained conceptual clarification of logical dependence, not a circular derivation.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The central claim rests on ordinary QFT axioms plus one negative empirical assertion (no known observable forces global topology). No free parameters are fitted. The only invented entity is the terminological label 'minimal QCD'. All positive derivations use textbook local gauge theory and the axial anomaly; the load-bearing step is the assertion that smoothness/boundary/homotopy conditions are optional extras rather than part of the definition of the functional integral.

assumptions (4)

domain assumption Physical observables in QFT are defined by correlation functions of local gauge-invariant operators measured in finite spacetime regions.
Stated in the Introduction and used throughout Sec. II to argue that local q(x) and chi do not by themselves imply integer topological sectors.
domain assumption The exact functional integral is formally written over all gauge fields; typical configurations are distributional rather than classically smooth.
Invoked in Sec. III.A with citations to Glimm-Jaffe and Simon; used to claim that integer topology is not forced by the measure.
standard math Smooth finite-action maps S^3 -> SU(3) (or T^4 -> SU(3)) are classified by pi_3(SU(3)) = Z, yielding integer topological charge.
Standard homotopy fact used in Sec. III.A to construct the conventional sectors once the extra assumptions are adopted.
ad hoc to paper No established physical observable requires the additional smoothness, boundary, and global-bundle assumptions that produce integer topological sectors.
The paper's central negative claim (Abstract and Sec. IV); it is an assertion of current knowledge rather than a derived theorem.

invented entities (1)

minimal QCD
purpose: Terminological label for the standard QCD Lagrangian plus local gauge invariance, causal locality, and the functional integral, without global topological classification.
Introduced explicitly in the Introduction solely for contrast with the conventional formulation; no new dynamical content is postulated.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the Origins of the Strong CP Problem." pith.science (2026). https://pith.science/paper/TD5ZRNGG

@misc{pith2026260710272,
  author       = {Pith},
  title        = {Pith review of: On the Origins of the Strong CP Problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TD5ZRNGG}},
  note         = {Machine review of arXiv:2607.10272}
}

abstract

The conventional strong $CP$ problem arises from the apparent tension between the existence of a $CP$-violating $\theta$ term in the conventional topological formulation of QCD and the experimental constraint that the corresponding parameter satisfies $\theta\lesssim 10^{-10}$. The standard formulation assumes a globally classified topological structure of gauge-field configuration space, leading to topological sectors and $\theta$-vacua. Within this framework one investigates the resulting physical consequences, including possible resolutions of the strong $CP$ problem. A logically distinct and prior question is whether known physical principles or observables require the additional assumptions leading to such a global topological classification of gauge fields in the first place. In this work, we address the latter question. We distinguish between those aspects of QCD that follow directly from local gauge invariance and causal locality, and those that rely on additional assumptions leading to a global topological classification of gauge-field configurations. The former include the local topological charge density, the topological susceptibility, the anomalous Ward identity, the 't~Hooft vertex, the Witten--Veneziano relation, the Leutwyler--Smilga relation, and the corresponding nonperturbative results obtained in lattice QCD. We are not aware of any established physical observable that requires the additional assumptions leading to a global topological classification of gauge-field configurations. From this perspective, the conventional strong $CP$ problem is contingent upon the adoption of additional global structure rather than being a consequence of presently known QCD dynamics. This observation does not question the mathematical consistency or phenomenological success of the conventional framework, but instead clarifies the logical assumptions underlying its formulation.

Figures

Figures reproduced from arXiv: 2607.10272 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 8 linked inside Pith

[1]

C. A. Bakeret al., Phys. Rev. Lett.97, 131801 (2006), arXiv:hep-ex/0602020

arXiv 2006
[2]

Abelet al., Phys

C. Abelet al., Phys. Rev. Lett.124, 081803 (2020), arXiv:2001.11966 [hep-ex]

arXiv 2020
[3]

Witten, Nucl

E. Witten, Nucl. Phys. B156, 269 (1979)

1979
[4]

R. J. Crewther, P. Di Vecchia, G. Veneziano, and E. Witten, Phys. Lett. B88, 123 (1979)

1979
[5]

Vafa and E

C. Vafa and E. Witten, Nuclear Physics B234, 173 (1984)

1984
[6]

R. D. Peccei and H. R. Quinn, Phys. Rev. Lett.38, 1440 (1977)

1977
[7]

Nelson, Physics Letters B136, 387 (1984)

A. Nelson, Physics Letters B136, 387 (1984)

1984
[8]

S. M. Barr, Phys. Rev. Lett.53, 329 (1984)

1984

Show all 30 references

[9]

J. N. Benabou, A. Hook, C. A. Manzari, H. Murayama, and B. R. Safdi, arXiv (2025), arXiv:2510.18951 [hep-ph]

2025
[10]

D. E. Kaplan, T. Melia, and S. Rajendran, J. High Energy Phys. , 050 (2025), also available as arXiv:2505.08358 [hep-ph]

2025 arXiv
[11]

Dvali, L

G. Dvali, L. Komisel, O. Sakhelashvili, and A. Wachowitz, arXiv (2025), arXiv:2512.08834 [hep-th]

2025
[12]

Strumia, arXiv (2025), arXiv:2501.16427 [hep-ph]

A. Strumia, arXiv (2025), arXiv:2501.16427 [hep-ph]

2025 arXiv
[13]

Nakamura and G

Y. Nakamura and G. Schierholz, Nucl. Phys. B986, 116063 (2023), arXiv:2106.11369 [hep-ph]

2023 arXiv
[14]

Schierholz, J

G. Schierholz, J. Phys. G52, 04LT01 (2025), arXiv:2403.13508 [hep-ph]

2025 arXiv
[15]

Gattringer and O

C. Gattringer and O. Orasch, Nucl. Phys. B957, 115097 (2020), arXiv:2004.03837 [hep-lat]

2020 arXiv
[16]

K. Iida, E. Itou, K. Murakami, and D. Suenaga, JHEP10, 022 (2024), arXiv:2405.20566 [hep-lat]

2024 arXiv
[17]

A. Y. Kotov, M. P. Lombardo, and A. Trunin, Journal of High Energy Physics2025(2025), 10.1007/jhep09(2025)045

2025 doi
[18]

Strong cp problem, theta term and qcd topological properties,

C. Bonanno, C. Bonati, and M. D’Elia, “Strong cp problem, theta term and qcd topological properties,” (2025), arXiv:2510.03059 [hep-lat]

2025
[19]

Strong CP and the QCD Axion: Lecture Notes via Effective Field Theory,

F. Sannino, “Strong CP and the QCD Axion: Lecture Notes via Effective Field Theory,” (2026), arXiv:2601.19735 [hep-ph]

2026
[20]

Ringwald, PoSCOSMICWISPers2025, 001 (2026), arXiv:2601.04718 [hep-ph]

A. Ringwald, PoSCOSMICWISPers2025, 001 (2026), arXiv:2601.04718 [hep-ph]

2026
[21]

A. G. Williams,Introduction to Quantum Field Theory(Cambridge University Press, 2022). 33

2022
[22]

A. G. Williams, (2026), arXiv:2601.07165 [hep-ph]

2026
[23]

Zinn-Justin,Quantum Field Theory and Critical Phenomena, 4th ed

J. Zinn-Justin,Quantum Field Theory and Critical Phenomena, 4th ed. (Oxford University Press, 2002)

2002
[24]

Brezis,Functional Analysis, Sobolev Spaces and Partial Differential Equations(Springer, 2011)

H. Brezis,Functional Analysis, Sobolev Spaces and Partial Differential Equations(Springer, 2011)

2011
[25]

S. R. S. Varadhan,Large Deviations and Applications(SIAM, 1984)

1984
[26]

Glimm and A

J. Glimm and A. Jaffe,Quantum Physics: A Functional Integral Point of View(Springer, 1987)

1987
[27]

Simon,The P (Φ) 2 euclidean (Quantum) Field Theory(Princeton University Press, 2015)

B. Simon,The P (Φ) 2 euclidean (Quantum) Field Theory(Princeton University Press, 2015)

2015
[28]

Simon,Functional Integration and Quantum Physics, 2nd ed., AMS Chelsea Publishing (American Mathematical Society, 2005)

B. Simon,Functional Integration and Quantum Physics, 2nd ed., AMS Chelsea Publishing (American Mathematical Society, 2005)

2005
[29]

Neuberger, Physics Letters B417, 141–144 (1998)

H. Neuberger, Physics Letters B417, 141–144 (1998)

1998
[30]

Hasenfratz, V

P. Hasenfratz, V. Laliena, and F. Niedermayer, Physics Letters B427, 125–131 (1998). 34

1998

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.

[1] [1]

C. A. Bakeret al., Phys. Rev. Lett.97, 131801 (2006), arXiv:hep-ex/0602020

arXiv 2006

[2] [2]

Abelet al., Phys

C. Abelet al., Phys. Rev. Lett.124, 081803 (2020), arXiv:2001.11966 [hep-ex]

arXiv 2020

[3] [3]

Witten, Nucl

E. Witten, Nucl. Phys. B156, 269 (1979)

1979

[4] [4]

R. J. Crewther, P. Di Vecchia, G. Veneziano, and E. Witten, Phys. Lett. B88, 123 (1979)

1979

[5] [5]

Vafa and E

C. Vafa and E. Witten, Nuclear Physics B234, 173 (1984)

1984

[6] [6]

R. D. Peccei and H. R. Quinn, Phys. Rev. Lett.38, 1440 (1977)

1977

[7] [7]

Nelson, Physics Letters B136, 387 (1984)

A. Nelson, Physics Letters B136, 387 (1984)

1984

[8] [8]

S. M. Barr, Phys. Rev. Lett.53, 329 (1984)

1984