The strong CP puzzle and axions

Christopher Smith

The strong CP puzzle and axions

T0 review · 0 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper argues that the axion, the leading solution to the strong CP problem, can be merged with baryon and lepton number symmetries, potentially connecting the axion to neutrino mass generation and baryogenesis while still accounting…

desk verdict A competent proceedings review that adds pedagogical clarity on axion representations but breaks no new ground; worth a referee's time as a review, not as a research claim. read the letter →

arxiv 2411.09529 v1 pith:V32V6UUI submitted 2024-11-14 hep-ph

Christopher Smith This is my paper · ORCID

classification hep-ph

keywords strongCPproblemaxionPeccei-Quinnsymmetrybaryonnumberleptonneutrinomassbaryogenesisdarkmatter

open problems The Strong CP Problem

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

The paper reviews the strong CP puzzle and the axion mechanism, then develops the idea that the Peccei-Quinn symmetry that underpins the axion can be mixed with baryon and lepton number. In this merged picture, the same axion that relaxes the QCD theta term could also generate small neutrino masses, drive baryogenesis, and remain a dark matter candidate. The author shows that such mixing is natural because PQ is just another flavor symmetry, and he works out the constraints, notably that at most two independent combinations of baryon and lepton number can be broken before the axion acquires a mass. The upshot is a model-building route in which one particle addresses several long-standing puzzles at once.

What carries the argument

The axion is the Goldstone boson of a spontaneously broken U(1)_PQ symmetry, coupled to the gluon topological density through the chiral anomaly. The load-bearing identity is the equivalence of the three representations of the axion Lagrangian—linear, polar, and derivative—even when chiral gauge interactions are present. In the derivative representation, local terms like a W ilde{W} are canceled by anomalous triangle graphs, so observables are representation-independent. That equivalence makes it permissible to assign PQ charges that mix with baryon and lepton numbers; the counting rule that at most two independent B/L combinations can be broken is what limits how far the merging can go.

What would settle it

Compute the axion coupling to W and Z bosons at two loops in both the linear and derivative representations; if the two results differ, the claimed representation equivalence fails. Alternatively, attempt to construct a renormalizable model that breaks three independent combinations of baryon and lepton number while the axion remains massless and still solves the strong CP problem—success would contradict the counting rule.

Watch

Extended reading notes

Core claim

The central claim is that the Peccei-Quinn symmetry should be viewed as a flavor symmetry that can be merged with baryon and lepton number, not as an isolated accidental symmetry. In the derivative representation of the axion Lagrangian, the apparent local anomalous couplings to chiral gauge bosons are spurious: they cancel exactly against triangle-graph anomalies, so the physical axion couplings are the same as in the linear or polar representations. Once this equivalence is accepted, one can add couplings such as the seesaw operator φ ν_R^c ν_R to the KSVZ model, and the axion becomes entangled with lepton number. The paper states a counting rule, from the literature, that at most two independent B and/or L combinations can be broken before the axion becomes massive, and it exhibits explicit leptoquark/diquark constructions where the axion is tied to neutrino masses, spontaneous proton decay, and neutron-antineutron oscillations.

Load-bearing premise

The argument rests on the assumption that the derivative representation of the axion is physically equivalent to the linear and polar representations even for chiral gauge interactions, so that local anomaly terms cancel exactly against triangle-graph anomalies, and on the counting rule that at most two independent baryon-plus-lepton numbers can be broken before the axion becomes massive.

Editorial extensions

If this is right

If the PQ symmetry is merged with lepton number, the seesaw scale can be tied to the axion breaking scale, so the smallness of neutrino masses and the axion mass are no longer independent.
Models built this way can generate baryogenesis through B/L-violating couplings without destroying the axion's solution to strong CP, as long as the counting rule is respected.
Electroweak instantons can generate effective operators that spoil axion quality, so unified axion-B/L models must be checked against that additional constraint.
Distinctive signatures such as spontaneous proton decay, neutron-antineutron oscillations, and axion-induced neutron transitions can arise, giving experimenters concrete channels beyond standard axion searches.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The representation equivalence for chiral gauge interactions is only established at the level of one-loop triangle graphs; a two-loop consistency check would either confirm or refute the spurious-anomaly cancellation, and that calculation is a natural next step.
The counting rule suggests an organizing principle: the number of broken B/L combinations before the axion becomes massive could be a diagnostic for whether an axion model can also explain neutrino masses and the baryon asymmetry, which is not explicitly developed in the paper.
If electroweak instantons spoil axion quality in seesaw-axion unified models, then discrete or other symmetries that protect the axion might simultaneously explain the smallness of neutrino masses, a connection the paper leaves implicit.

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

First, know this: it's a conference proceedings review, not a research preprint. No new equations, fits, or predictions. What earns credit is the clarity. The write-up of the strong CP problem is standard but well done, and the discussion of the derivative representation—where the anomalous couplings to chiral gauge bosons are shown to be cancelled by triangle graphs, making the naive 'dynamic theta term' picture unreliable—is genuinely instructive. The section on merging PQ with B and L is also a nice, concise summary, with the counting rule stated cleanly. The author is honest about the caveats: the axion quality problem gets a paragraph, and the illustrative model of Eq. (12) is called 'hardly economical.' The speculative link to neutrino masses and baryogenesis is explicitly modal and not oversold.

Soft spots are mostly the flip side of the format. Almost all of the technical content comes from the author's own earlier papers (Refs. [25-28]), so there is little originality here. For a regular research paper that would be a real weakness; for a proceedings talk it's acceptable, but it does limit the audience to people who haven't read those papers. There's also a debatable aside about the order of infinite limits for the QCD vacuum, which the author clearly labels as an opinion. No mathematical errors or overclaims jumped out at me, and the stress-test note agrees.

In short: if you want a quick, readable orientation on axions and the PQ-B/L mixing program, this is a fine entry point. If you're an expert, you've seen all of it before. I wouldn't cite it in my own work—I'd cite the underlying papers—and I wouldn't push it on a reading group unless the group is new to axions. But it is accurate and professionally honest, so if it were submitted to a journal as a review, I'd send it to a referee rather than desk-reject.

Referee Report

0 major / 5 minor

Summary. The paper, based on a talk at DIS2024, reviews the strong CP puzzle and the axion mechanism before presenting recent work on mixing the Peccei-Quinn (PQ) symmetry with baryon and lepton numbers. The first part covers the theta parameter, the KSVZ and DFSZ axion models, axion phenomenology (mass, couplings, dark matter), and the axion quality problem. The second part argues that the PQ symmetry, being a flavor U(1), can mix with B and L, and illustrates how this could connect axions to neutrino masses, leptogenesis, or baryogenesis. The discussion emphasizes the equivalence of the linear, polar, and derivative representations of the axion field, and the spurious nature of apparent anomalous couplings in the derivative representation. The central claim is deliberately modal: the axion 'could ultimately play a role' in other Standard Model puzzles.

Significance. The paper is a conference-proceedings review rather than a new research contribution, so its significance lies in synthesis and perspective. It provides a clear, up-to-date pedagogical account of the strong CP problem and axion physics, and it highlights a line of model building (mixing PQ with B and L) that may broaden the axion's phenomenological role. The speculative claims are carefully hedged, with explicit acknowledgment of limitations such as the counting rule restricting B/L breaking, the axion quality problem, and unresolved questions about non-standard limits. The treatment of representation dependence in axion-gauge couplings is technically careful and correctly emphasizes cancellations of spurious local anomaly terms. The review is balanced and should be useful to readers entering the field.

minor comments (5)

[Section 2, Eq. (10)] The symbol v in the gluon term (θ + a/v) is not defined; it should presumably be f_a to match Eq. (4) and the derivative interaction in the same equation.
[Section 3, Eq. (12)] The hypercharge convention is not specified; the value 8/3 for the weak-singlet scalars assumes the convention Q = T_3 + Y/2. Please state the convention explicitly at first use to avoid confusion.
[Figure 2 caption] The caption describes three panels (a), (b), and (c), but the figure itself is not embedded in the manuscript text; ensure the figure is included with clearly labeled panels.
[Section 1, 'Solution 3: Infinities'] The sentence 'the impact of tr G\tilde{G} vanishes at any finite order of perturbation theory' could be misunderstood; consider rewording to clarify that this refers to perturbative matrix elements of the total derivative term.
[References] Reference [4] (CKMfitter) would benefit from an arXiv identifier, as provided for the other references.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the review's speculative central claim is hedged, and its technical premises rest on explicit derivations and standard results rather than on the conclusion being established.

full rationale

This is a conference-proceedings review, not a paper that fits parameters or predicts data. The central assertion in the abstract is explicitly modal ('could ultimately play a role') and the manuscript repeatedly hedges its model-building discussion ('This is still a long way off'; the model of Eq. (12) is 'hardly economical'). The two technical premises that could conceivably carry a self-citation burden are (i) the equivalence of the linear, polar and derivative representations for axion couplings to chiral gauge bosons, and (ii) the counting rule that at most two independent combinations of baryon and lepton number can be broken before the axion becomes massive. Both are attributed to the author's prior work ([26] and [27]), but in each case the text gives an independent reason or frames the cited result as a derived constraint: the anomaly cancellation is justified by the existence of the linear representation in which no anomaly arises, and the counting rule is presented as a model-independent 'what is true' constraint, not as a restatement of the paper's conclusion. No equation in the paper reduces to an earlier equation by construction, and no fitted quantity is relabelled as a prediction. The self-citations point to parameter-free derivations with stated assumptions, so under the review rules they count as real evidence rather than circularity. Score 0 is therefore appropriate.

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

This paper is a review; it contributes no fitted parameters or new postulates. The central perspective rests on standard axion lore and on several technical claims taken from the author's earlier papers, especially the representation independence of axion couplings and the limit on breaking independent B and L combinations.

free parameters (1)

alpha (PQ charge reparametrization)
In Eq. (11), the PQ charges of the new fermions are defined up to a common constant alpha. The paper argues that alpha cancels from physical couplings through anomaly cancellation, so it is a free but unobservable parameter.

assumptions (4)

domain assumption The QCD vacuum angle theta is a physical parameter, so a strong CP problem exists.
Section 1 builds the puzzle on the topological structure of SU(3), instantons, and the neutron EDM bound; the paper itself notes that the alternative 'infinities' resolution in Ref. [13] is not established.
domain assumption The Peccei-Quinn mechanism works as a solution: a spontaneously broken anomalous U(1)_PQ relaxes theta to zero.
Section 2 assumes this standard mechanism and acknowledges the axion quality problem, but does not solve it.
domain assumption Derivative, linear, and polar representations of axion interactions are physically equivalent, with spurious local anomalies canceling against triangle graphs for chiral gauge bosons.
Section 3, 'Electroweak couplings', relies on this cancellation, citing Refs. [25,26]. This is load-bearing for the B/L mixing discussion.
domain assumption The SM Yukawa sector conserves baryon and lepton number, so PQ charges have B/L ambiguities that become physical once B/L-violating couplings are added; at most two independent B/L combinations can be broken before the axion becomes massive.
Section 3, 'Merging the PQ symmetry with B and L', states these rules, citing Refs. [27,28]. The counting rule is a key constraint on the proposed models.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The strong CP puzzle and axions." pith.science (2026). https://pith.science/paper/V32V6UUI

@misc{pith2026241109529,
  author       = {Pith},
  title        = {Pith review of: The strong CP puzzle and axions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V32V6UUI}},
  note         = {Machine review of arXiv:2411.09529}
}

read the original abstract

In the first part of this talk, after a brief presentation of the strong CP puzzle, the construction of axion models and their main phenomenological features are described. In the second part, the possibility to mix the Peccei-Quinn symmetry with baryon and lepton numbers is discussed, showing that the axion could ultimately play a role in other puzzles of the Standard Model like the smallness of neutrino masses or baryogenesis.

Figures

Figures reproduced from arXiv: 2411.09529 by the authors.

**Figure 1.** Illustration of the two sources for 𝜃 in the SM. In this picture, a naive way to see that the QCD topology breaks 𝑇, hence 𝐶𝑃, is to imagine a gluon emitted from the vacuum at time 𝑡1 and absorbed at a later time 𝑡2. The time-reversed process is different since emitting back the gluon at 𝑡2, there is no guarantee to end up in the same vacuum at 𝑡1. 1. Brief introduction to the strong CP puzzle The Standard Model (SM… view at source ↗

**Figure 2.** 𝑎. Leading axion couplings to SM particles in the KSVZ and DFSZ scenarios. 𝑏. Schematic representation of the axion exclusion plot, with the axion band from the theoretical correlation between 𝑔𝑎𝛾𝛾 and 𝑚𝑎. The main search strategies are light-shining through the wall-type experiments (LSW), helioscopes using the sun as an axion source, or haloscopes aiming for the DM axions of the galactic halo. 𝑐. Spontaneous proto… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Dark-matter induced neutron-antineutron oscillations
hep-ph 2024-12 conditional novelty 7.0 of 10

True QCD axion dark matter cannot induce observable neutron-antineutron oscillations, because its Goldstone nature forces competing axionless baryon-number-violating effects that are already ruled out.

Reference graph

Works this paper leans on

28 extracted references · 10 canonical work pages · cited by 1 Pith paper

[1]

Abelet al.Phys

C. Abelet al.Phys. Rev. Lett.124 (2020) no.8, 081803 [arxiv:2001.11966]

arXiv 2020
[2]

37(1976)8;Phys.Rev.D 14(1976)3432;E.Witten,Nucl.Phys

G.’tHooft,Phys.Rev.Lett. 37(1976)8;Phys.Rev.D 14(1976)3432;E.Witten,Nucl.Phys. B 156 (1979) 269

work page 1976
[3]

G. S. Baliet al.[RQCD], JHEP08 (2021) 137 [2106.05398]

arXiv 2021
[4]

Charleset al.[CKMfitter Group], Eur

J. Charleset al.[CKMfitter Group], Eur. Phys. J. C41 (2005) 1 [hep-ph/0406184], updated results and plots available at: http://ckmfitter.in2p3.fr

arXiv 2005
[5]

Leutwyler, PoSCD09(2009) 005 [0911.1416]

H. Leutwyler, PoSCD09(2009) 005 [0911.1416]

arXiv 2009
[6]

Georgi and I

H. Georgi and I. N. McArthur, HUTP-81/A011. 9 The strong CP puzzle and axions Christopher Smith

work page
[7]

A $\pmb{\nu}$ Solution to the Strong CP Problem

M. Carena,et al.Phys. Rev. D100 (2019) 9, 094018 [1904.05360]

work page Pith review arXiv 2019
[8]

Senjanovic and V

G. Senjanovic and V. Tello, Int. J. Mod. Phys. A38 (2023) 15n16, 2350067 [2004.04036]

arXiv 2023

Show all 28 references

[9]

J.R.EllisandM.K.Gaillard,Nucl.Phys.B 150(1979)141;I.B.KhriplovichandA.I.Vain- shtein,Nucl.Phys.B 414(1994)27[hep-ph/9308334].,seealsoC.SmithandS.Touati,Nucl. Phys. B924(2017) 417 [1707.06805], and references there

1979 arXiv
[10]

Shifman and A

M. Shifman and A. Vainshtein, Mod. Phys. Lett. A32(2017) 14, 1750084 [1701.00467]

2017 arXiv
[11]

’t Hooft, Nucl

G. ’t Hooft, Nucl. Phys. B190 (1981) 455

1981
[12]

[𝜒QCD], Phys

C.Alexandrou etal.,Phys.Rev.D 103(2021)5,054501[2011.01084];J.Liang etal. [𝜒QCD], Phys. Rev. D108 (2023) 9, 094512 [2301.04331]

2021
[13]

W. Y. Aiet al., Phys. Lett. B822 (2021) 136616 [2001.07152]

2021 arXiv
[14]

43(1979)103;M.A.Shifman,A.I.VainshteinandV.I.Zakharov, Nucl

J.E.Kim,Phys.Rev.Lett. 43(1979)103;M.A.Shifman,A.I.VainshteinandV.I.Zakharov, Nucl. Phys. B166(1980) 493

1979
[15]

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

1977
[16]

Weinberg, Phys

S. Weinberg, Phys. Rev. Lett.40(1978) 223; F. Wilczek, Phys. Rev. Lett.40(1978) 279

1978
[17]

M. Dine, W. Fischler and M. Srednicki, Phys. Lett. B104 (1981), 199-202; A. R. Zhitnitsky, Sov. J. Nucl. Phys.31(1980) 260

1981
[18]

Kamionkowski and J

M. Kamionkowski and J. March-Russell, Phys. Lett. B282 (1992) 137 [hep-th/9202003]

1992 arXiv
[19]

Di Luzioet al., Phys

L. Di Luzioet al., Phys. Rept.870 (2020) 1 [2003.01100]

2020 arXiv
[20]

Grenetet al.[2110.14406]

T. Grenetet al.[2110.14406]

arXiv
[21]

https://cajohare.github.io/AxionLimits/
[22]

Di Luzio, F

L. Di Luzio, F. Mescia and E. Nardi, Phys. Rev. Lett.118 (2017) 3, 031801 [1610.07593]. T.Higaki etal.,Phys.Lett.B 755(2016)13[1512.05295].L.DiLuzio etal.,JHEP 05(2021) 184 [2102.00012]. M. K. Gaillardet al.Eur. Phys. J. C78(2018) 11, 972 [1805.06465]

2017 arXiv
[23]

R. T. Co, L. J. Hall and K. Harigaya, Phys. Rev. Lett.124 (2020) 25, 251802 [1910.14152]

2020 arXiv
[24]

D. J. E. Marsh, Phys. Rept.643 (2016) 1 [1510.07633]

2016 arXiv
[25]

Smith, Eur

C. Smith, Eur. Phys. J. C84 (2024) 12 [2302.01142]

2024 arXiv
[26]

Quevillon and C

J. Quevillon and C. Smith, Eur. Phys. J. C79 (2019) 10, 822 [1903.12559]; J. Quevillon, C. Smith and P. N. H. Vuong, JHEP08 (2022) 137 [2112.00553]; and for an application to axion-like particles, F. Arias-Aragón, J. Quevillon and C. Smith, JHEP03 (2023) 134 [2211.04489]

2019 arXiv
[27]

Quevillon and C

J. Quevillon and C. Smith, Phys. Rev. D102 (2020) 7, 075031 [2006.06778]; Eur. Phys. J. Plus 137 (2022) 1, 141 [2010.13683]

2020 arXiv
[28]

Arias-Aragón and C

F. Arias-Aragón and C. Smith, Phys. Rev. D106 (2022) 5, 055034 [2206.09810]. 10

2022 arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

Abelet al.Phys

C. Abelet al.Phys. Rev. Lett.124 (2020) no.8, 081803 [arxiv:2001.11966]

arXiv 2020

[2] [2]

37(1976)8;Phys.Rev.D 14(1976)3432;E.Witten,Nucl.Phys

G.’tHooft,Phys.Rev.Lett. 37(1976)8;Phys.Rev.D 14(1976)3432;E.Witten,Nucl.Phys. B 156 (1979) 269

work page 1976

[3] [3]

G. S. Baliet al.[RQCD], JHEP08 (2021) 137 [2106.05398]

arXiv 2021

[4] [4]

Charleset al.[CKMfitter Group], Eur

J. Charleset al.[CKMfitter Group], Eur. Phys. J. C41 (2005) 1 [hep-ph/0406184], updated results and plots available at: http://ckmfitter.in2p3.fr

arXiv 2005

[5] [5]

Leutwyler, PoSCD09(2009) 005 [0911.1416]

H. Leutwyler, PoSCD09(2009) 005 [0911.1416]

arXiv 2009

[6] [6]

Georgi and I

H. Georgi and I. N. McArthur, HUTP-81/A011. 9 The strong CP puzzle and axions Christopher Smith

work page

[7] [7]

A $\pmb{\nu}$ Solution to the Strong CP Problem

M. Carena,et al.Phys. Rev. D100 (2019) 9, 094018 [1904.05360]

work page Pith review arXiv 2019

[8] [8]

Senjanovic and V

G. Senjanovic and V. Tello, Int. J. Mod. Phys. A38 (2023) 15n16, 2350067 [2004.04036]

arXiv 2023