REVIEW 3 major objections 4 minor 1 cited by
Solving the strong CP problem
T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper claims that a modular flavour symmetry, broken by the modulus tau and protected by supersymmetry, forces the quark mass matrix determinant to be real and thereby sets the QCD theta angle to zero, while leaving the CKM phase large.
desk verdict A clear and honest proceedings review that presents the modular-CP determinant mechanism well, but the core idea is not new and the supergravity step is left as an assumption; still worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism is carried by modular invariance as a flavour symmetry, together with the holomorphicity enforced by supersymmetry. The complex modulus tau parameterises the shape of a two-torus compactification and transforms under SL(2,Z); matter fields carry modular weights k, and Yukawa couplings must be modular forms, holomorphic functions of tau of fixed weight, constructed from the Eisenstein series E_4 and E_6. The determinant of the quark mass matrix is itself a modular form of weight A, and when A = 0 the only modular form of weight zero is a constant; with CP imposed, that constant is real, so arg det M = 0. The CKM phase arises because $E_4^{3}$ and $E_6^{2}$ have different phases, yielding an order-one CP-violating phase in the mixing matrix.
What would settle it
A decisive check is to compute the one-loop effective quark mass matrix in the model of eq. (30), including the Kaehler potential of eq. (23) and its supergravity corrections; if the determinant of the canonically normalised mass matrix acquires a non-zero phase for any real coefficients c_ij, the claim that theta_QCD = 0 is false.
Extended reading notes
Core claim
The central claim is that the strong CP problem disappears if CP is identified with a modular symmetry that is spontaneously broken only by the real part of the modulus tau. The quark mass matrix M_q then has entries built from real coefficients times modular forms of positive weight; supersymmetry guarantees that no conjugated fields or negative powers appear. The determinant det M_q transforms as a modular form whose weight is the QCD modular anomaly coefficient A = sum_i (2k_Q_i + k_U_i + k_D_i) + k_Hu + k_Hd. Requiring the Higgs doublets to have k_Hu + k_Hd = 0 makes this weight zero, so det M_q is a modular form of weight zero and therefore a constant; CP then forces it real, giving theta_QCD = 0. The CKM phase, by contrast, is controlled by the relative phase of the Eisenstein series E_4 and E_6 and is generically of order unity. The paper presents a concrete three-generation model with modular weights {-6, 0, +6} that reproduces the observed quark mass hierarchies and mixing angles.
Load-bearing premise
Everything hinges on the holomorphicity assumption: Yukawa couplings must be sums of real coefficients times modular forms with non-negative powers, never involving the conjugate modulus (tau-dagger) or conjugated flavons, and the paper itself admits this assumption is so far unjustified; if it fails, the determinant acquires a phase and theta_QCD reappears.
Editorial extensions
If this is right
- theta_QCD = 0 is imposed by symmetry, so no axion or new light particle is needed to explain the smallness of the strong CP phase.
- The CKM phase is naturally of order unity, so the scheme is compatible with observed CP violation in the weak sector.
- Quark mass hierarchies emerge from modular weights, for example (2 Im tau)^6 = 64 for tau ~ i, reproducing the observed pattern with order-one coefficients.
- The mechanism extends to charged leptons and neutrinos with the same modular weights, connecting the strong CP solution to models of large neutrino mixing angles.
- If the modulus tau is light enough it produces flavour-violating effects that are experimentally testable; otherwise it sits near the Planck scale and the main signals are cosmological.
Reading between the lines
- The holomorphicity assumption is the fragile link: in any supergravity or string completion, Kaehler corrections generically depend on tau-dagger, so the solution is most secure in a limit where those corrections are negligible or protected by a non-renormalisation theorem.
- The modular mechanism can be viewed as a dynamical derivation of the Nelson-Barr structure: the zero entries and real determinant follow from modular weights rather than by fiat, which suggests a family of UV completions.
- The condition k_Hu + k_Hd = 0 is restrictive; if realistic models require Higgs doublets with non-zero modular weight, the mechanism may need to be relaxed to higher-level modular groups or include heavy quarks to restore a real full determinant.
- An experimental discovery of a QCD axion would not falsify this scheme, but would make it less compelling; conversely, continued null axion searches strengthen the case for exploring modular solutions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reviews the main approaches to the strong CP problem (axion, parity, and CP-based Nelson-Barr constructions) and then presents a new mechanism in which CP is a spontaneously broken flavour symmetry. The central idea, developed in Secs. 4.1 and 4.2, is that if the quark Yukawa couplings are sums of real coefficients times holomorphic modular forms (or U(1) monomials with non-negative powers of complex scalars), and if the total modular weight or U(1) charge of the determinant vanishes (anomaly cancellation condition), then det M_u M_d is a modular form of weight zero, hence a real constant, so that \bar theta = arg det M_u M_d + theta_QCD = 0, while the CKM phase can be large. The paper gives a toy U(1) example and a modular-invariant example with modular weights {-6,0,+6} that reproduces the observed quark mass hierarchies. The manuscript explicitly states that the construction relies on assumptions: the absence of conjugates and negative powers (footnote 1), the existence of supersymmetry, and a minimal Kähler potential; it also postpones the supergravity embedding at the end of Sec. 4.2.
Significance. If the mechanism is correct, it provides a genuinely new, axion-free solution to the strong CP problem with a natural connection to string compactifications and modular flavour symmetries. The mathematical core of the modular argument is sound under its stated assumptions: a holomorphic weight-zero modular form is a constant, and with real coefficients the determinant is real. The paper also gives a concise and useful review of axion, parity, and Nelson-Barr solutions. A particular strength is that the manuscript is unusually transparent about its own limitations, explicitly flagging the unjustified assumptions and the deferred supergravity step. However, those limitations are load-bearing: the physical implementation is not yet complete, and the U(1) generalization as stated actually contains a mathematical overgeneralization. The result, as presented, is therefore a plausible but not yet fully established solution.
major comments (3)
- [Sec. 4.2, Eqs. (23)-(29) and final paragraph of Sec. 4.2] The proof that arg det M_q = 0 is carried out in global supersymmetry with the minimal Kähler potential of Eq. (23). In N=1 supergravity, the physical fermion mass matrix receives e^{K/2} and Kähler-connection contributions, so its determinant phase need not equal arg det W_ij; only the minimal-K canonicalization leading to Eq. (29) gives real positive rescaling factors. The manuscript defers this step, stating "The mechanism can be extended to super-gravity [6], but I would not be able to present it in a simple way." Since the string-motivated value h ~ M_Pl makes the supergravity regime the one of primary interest, this is a load-bearing gap: if the supergravity corrections introduce a phase, \bar theta reappears exactly in the parameter region the mechanism is supposed to cover.
- [Sec. 4.1, Eq. (7) and footnote 1] The assumption that Yukawa couplings contain only non-negative powers of the scalars z_a and never the conjugates z_a^\dagger is called "our (so far unjustified) assumption" in footnote 1, and the text later repeats "The proposed idea is so far based on assumptions." The only justification offered is an appeal to supersymmetry and holomorphy of the superpotential. However, Kähler corrections and higher-dimensional operators can reintroduce conjugated fields or negative powers even in supersymmetric theories, and the paper does not provide a concrete symmetry or mechanism that forbids such terms beyond the minimal Kähler/superpotential structure. Without this, the reality of det M_q is not protected.
- [Sec. 4.1, Eqs. (11)-(12)] The claim that det M_q is real whenever the total charge vanishes is not correct for a general U(1) model with multiple scalars. The scaling identity det M_q ∝ λ^k only shows that the determinant is invariant under the simultaneous rescalings; it does not imply the determinant is a constant. For example, with two scalars z_1 and z_2 of charges +1 and -1, the determinant can contain a term proportional to z_1 z_2, which has zero total charge but a non-trivial phase for generic complex vevs. The condition (12) alone is insufficient; one also needs that no non-constant invariant monomials with non-negative powers exist, which is not automatic and is not stated as an assumption. The modular-invariance version avoids this problem because weight-zero modular forms are constant, but the U(1) presentation as written overstates the generality of the result.
minor comments (4)
- [Throughout] The spelling "Kahler" should be consistently rendered as "Kähler".
- [Sec. 4.1, after Eq. (13)] The phrase "let's use consider" is a typo and should read "let us consider".
- [Sec. 4.2, Eq. (26)] The statement that the Eisenstein series summation is divergent for k ≤ 2 is slightly imprecise: E_2 is a quasi-modular form, and the ordinary Eisenstein series for k=2 is not modular but has well-known transformation properties. The discussion would benefit from a brief clarification.
- [Sec. 4.2, after Eq. (28)] The claim that "modular invariance cannot have anomalies, since it's just a remnant of general covariance in higher dimensions" is a non-trivial statement; discrete anomalies are subtle, and a reference or a short argument would be helpful.
Circularity Check
Central theta=0 proof is self-contained in global SUSY; the SUGRA completion is deferred to the author's own prior work, a load-bearing self-citation.
-
self citation load bearing
[Section 4.2, final paragraph (after eq. (30))]
"The mechanism can be extended to super-gravity [6], but I would not be able to present it in a simple way."
The paper proves theta=0 only for global supersymmetry with h << M_Pl, explicitly assuming 'We here assumed h << M_Pl to avoid writing more complicated super-gravity actions.' A realistic string compactification gives h ~ M_Pl, so the physical solution requires the supergravity extension. That extension is not derived; it is referred to [6], whose authors include the present author. The load-bearing step from the global-SUSY proof to the string-theory regime is thus justified solely by a self-citation, and the assumptions underlying that cited work (holomorphic Yukawas, no negative powers) are the same 'so far unjustified' assumptions flagged in this paper.
full rationale
The central derivation in Sec. 4.2 is not circular: assuming CP, global SUSY, modular invariance with total anomaly A=0, and holomorphic Yukawa couplings built from real coefficients times modular forms, the determinant of the quark mass matrix is a modular form of weight zero, hence a holomorphic bounded function of tau and therefore a real constant. This is a direct mathematical consequence of eqs. (25)-(29), not a fit or a redefinition. The paper explicitly labels the holomorphy/no-negative-powers input as a 'so far unjustified' assumption before motivating it with supersymmetry; that is a stated assumption rather than a circularity. The only notable load-bearing self-citation is the supergravity extension, deferred to the author's own [6] with the admission 'I would not be able to present it in a simple way'. Because string compactifications give h ~ M_Pl, the realistic solution depends on that cited extension; however, the global-SUSY proof is self-contained and gives the central idea independent content. The flavour fit and large-CKM statements are supporting and not needed for theta=0. Hence score 4.
Assumptions & free parameters
free parameters (3)
- Real Yukawa coefficients c_ij and c'_33 =
not fitted in this paper; comparable values claimed in ref. [6]
- Modular weights for SM quarks and leptons =
k_Q = k_U = k_D = {-6, 0, +6}; k_L = k_E = k_Q
- Modulus vacuum expectation value tau =
unspecified, with Im tau giving O(1) factors such as (2 Im tau)^6 = 64 at tau ~ i
assumptions (7)
- domain assumption CP is an exact symmetry of the full theory with theta_QCD = 0 at tree level, broken only by the modulus VEV Re tau.
- domain assumption Yukawa couplings depend on the modulus or flavons only through positive powers, never through complex conjugates or negative powers.
- domain assumption The modular symmetry is non-anomalous because it descends from general covariance, so the QCD modular anomaly coefficient A in eq. (28) vanishes.
- domain assumption The Kaehler function does not generate a contribution to theta_bar, as asserted citing ref. [11].
- domain assumption The MSSM Higgs doublets have modular weights satisfying k_Hu + k_Hd = 0, so they do not break the modular flavour symmetry.
- domain assumption The scalar potential has a vacuum with Re tau different from zero, breaking CP, while other VEVs do not introduce extra CP violation.
- domain assumption Supersymmetry is broken at high scale by a mechanism that does not introduce new CP sources.
invented entities (2)
-
Complex structure modulus field tau
-
Flavon scalars z_a in the U(1) toy model
Cite this review
Pith. "Pith review of Solving the strong CP problem." pith.science (2026). https://pith.science/paper/DNIX77MJ
@misc{pith2026250116427,
author = {Pith},
title = {Pith review of: Solving the strong CP problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/DNIX77MJ}},
note = {Machine review of arXiv:2501.16427}
}
read the original abstract
I briefly review solutions to the strong CP problem based on axions, parity invariance, CP-invariance, and present a new idea based on CP as part of a spontaneously broken flavour symmetry such as a U(1) or modular invariance.
Figures
Forward citations
Cited by 1 Pith paper
-
On the Origins of the Strong CP Problem
The conventional strong CP problem is contingent on extra global topological assumptions about gauge fields that no established QCD observable is shown to require.
Reference graph
Works this paper leans on
-
[6]
F.Feruglio,A.Strumia,A.Titov, ‘ModularinvarianceandtheQCDangle’ ,JHEP07(2023) 027 [arXiv:2305.08908]
arXiv 2023
-
[7]
F. Feruglio, M. Parriciatu, A. Strumia, A. Titov,‘Solving the strong CP problem without axions’, JHEP 08 (2024) 214 [arXiv:2406.01689]
arXiv 2024
-
[1]
Abel et al.,‘Measurement of the Permanent Electric Dipole Moment of the Neutron’, Phys.Rev.Lett
C. Abel et al.,‘Measurement of the Permanent Electric Dipole Moment of the Neutron’, Phys.Rev.Lett. 124 (2020) 081803 [arXiv:2001.11966]
arXiv 2020
- [2]
-
[3]
L.DiLuzio,M.Giannotti,E.NardiandL.Visinelli, ‘ThelandscapeofQCDaxionmodels’ , Phys. Rept. 870 (2020) 1 [arXiv:2003.01100]
arXiv 2020
-
[4]
M.A.B.Beg,H.-S.Tsao, ‘StrongP,TNoninvariancesinaSuperweakTheory’ ,Phys.Rev.Lett. 41 (1978) 278. R.N. Mohapatra, G. Senjanovic,‘Natural Suppression of Strong p and t Noninvariance’, Phys.Lett.B 79 (1978) 283. K.S. Babu, R.N. Mohapatra,‘A Solution to the Strong CP Problem Without an Axion’, Phys.Rev.D 41 (1990) 1286. R.N. Mohapatra, A. Rasin,‘Simplesupersym...
arXiv 1978
-
[5]
L. Bento, G.C. Branco, P.A. Parada,‘A Minimal model with natural suppression of strong CP violation’, Phys.Lett.B 267 (1991) 95
work page 1991
-
[8]
S.M.Barr, ‘SupersymmetricsolutionstothestrongCPproblem’ ,Phys.Rev.D56(1997)1475 [arXiv:hep-ph/9612396]
work page Pith review arXiv 1997
Show all 13 references
-
[9]
Antusch, M
S. Antusch, M. Holthausen, M.A. Schmidt, M. Spinrath,‘Solving the Strong CP Problem with Discrete Symmetries and the Right Unitarity Triangle’, Nucl.Phys.B 877 (2013) 752 [arXiv:1307.0710]
2013 arXiv
-
[10]
Penedo, S.T
J.T. Penedo, S.T. Petcov, ‘Finite modular symmetries and the strong CP problem’ [arXiv:2404.08032]
-
[11]
Hiller, M
G. Hiller, M. Schmaltz,‘Strong Weak CP Hierarchy from Nonrenormalization Theorems’, Phys.Rev.D 65 (2002) 096009 [arXiv:hep-ph/0201251]
2002 arXiv
-
[12]
Feruglio,‘Are neutrino masses modular forms?’[arXiv:1706.08749]
F. Feruglio,‘Are neutrino masses modular forms?’[arXiv:1706.08749]
- [13]
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.