On the QCD Axion Potential in Fried's QCD Functional Formalism
Pith reviewed 2026-06-28 08:55 UTC · model grok-4.3
The pith
The QCD axion mass satisfies m_a² f_a² equals the topological susceptibility expressed as the inverse of the sum of inverse pure-glue stiffness and inverse quark-mass-condensate products.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under the assumptions that the Θ-dependence of the QCD vacuum energy after effective-locality reduction is fully captured by the Fried chiral condensate Σ_F and the pure-glue topological stiffness A_F, the topological susceptibility takes the form χ_top^F = [A_F^{-1} + sum_f (m_f Σ_F)^{-1}]^{-1}, from which the axion mass relation m_a² f_a² = χ_top^F follows directly. The same expression recovers the heavy-quark, light-quark, and massless-quark limits. In a separable scalar/pseudoscalar approximation Σ_F is written explicitly in terms of the effective-locality scale and a ratio fixed by a gap equation, while the full derivation remains conditional on computing both Σ_F and A_F from the compl
What carries the argument
The Fried chiral condensate Σ_F and the pure-glue topological stiffness A_F, which together encode the entire Θ-dependence of the vacuum energy after the effective-locality reduction of the gluonic degrees of freedom.
If this is right
- The expression recovers the expected heavy-quark, light-quark, and massless-quark limits for the axion mass.
- In the separable scalar/pseudoscalar approximation Σ_F equals N_cr Λ_EL³ I(r) over 4π² with the ratio r fixed by the gap equation 1 equals α_χ^F J(r).
- The contribution of Fried QCD to a multi-axion mass matrix is rank one.
- Additional massive axion-like species require additional independent topological sectors beyond the single Fried sector.
Where Pith is reading between the lines
- Direct evaluation of Σ_F and A_F from the full functional measure would yield a parameter-free prediction for the axion mass.
- The rank-one structure implies that any realistic multi-axion model must introduce extra topological sectors if more than one axion is to acquire a mass from QCD.
- The same two quantities could be used to study the theta dependence of other observables once they are computed from the measure.
Load-bearing premise
The theta dependence of the QCD vacuum energy after the effective-locality reduction of the gluonic degrees of freedom is fully captured by the Fried chiral condensate and the pure-glue topological stiffness.
What would settle it
An explicit computation of the vacuum energy versus theta in the full Fried-Gabellini-Grandou-Tsang-Sheu measure that cannot be reproduced by any choice of Σ_F and A_F alone would falsify the central relation.
read the original abstract
We examine the QCD axion potential in Fried's nonperturbative QCD functional formalism. The axion is introduced in the standard way through (\Theta=\theta_{\rm QCD}+a/f_a). The question addressed is how the resulting (\Theta)-dependence of the QCD vacuum energy is represented after the effective-locality reduction of the gluonic degrees of freedom. The construction is organized around two nonperturbative quantities: the Fried chiral condensate (\Sigma_{\rm F}=-\langle\bar q q\rangle_{\rm F}), generated by the scalar/pseudoscalar projection of the effective-locality kernel, and the pure-glue topological stiffness (A_{\rm F}=\chi_{\rm YM}^{\rm F}), represented in the Halpern formulation by a CP-odd self-dual/anti-self-dual curvature. Under these assumptions, [ \chi_{\rm top}^{\rm F} ====================== \left[ A_{\rm F}^{-1} + \sum_f (m_f\Sigma_{\rm F})^{-1} \right]^{-1}, \qquad m_a^2f_a^2=\chi_{\rm top}^{\rm F}. ] This expression has the expected heavy-quark, light-quark, and massless-quark limits. In a separable scalar/pseudoscalar approximation, (\Sigma_{\rm F}=N_cr\Lambda_{\rm EL}^3 I(r)/(4\pi^2)), with (r=M_0/\Lambda_{\rm EL}) fixed by (1=\alpha_\chi^{\rm F}J(r)). The result is conditional: a complete first-principles derivation requires computing (\Sigma_{\rm F}) and (A_{\rm F}) from the full Fried--Gabellini--Grandou--Tsang--Sheu measure. We also note that the Fried-QCD contribution to a multi-axion mass matrix is rank one; additional massive axion-like species require additional independent topological sectors.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper examines the QCD axion potential in Fried's nonperturbative QCD functional formalism. The axion enters via the standard shift Θ = θ_QCD + a/f_a. After effective-locality reduction of the gluonic degrees of freedom, the Θ-dependence of the vacuum energy is asserted to be captured entirely by the Fried chiral condensate Σ_F = −⟨q̄q⟩_F (from the scalar/pseudoscalar kernel) and the pure-glue topological stiffness A_F = χ_YM^F (represented by a CP-odd self-dual/anti-self-dual curvature in the Halpern formulation). Under these assumptions the topological susceptibility is given by χ_top^F = [A_F^{-1} + ∑_f (m_f Σ_F)^{-1}]^{-1}, so that m_a² f_a² = χ_top^F. The expression recovers the expected heavy-quark, light-quark and massless-quark limits. A separable scalar/pseudoscalar approximation is introduced for Σ_F with a single free parameter r = M_0/Λ_EL fixed by the auxiliary condition 1 = α_χ^F J(r). The result is explicitly labeled conditional on a future first-principles evaluation of Σ_F and A_F from the full Fried–Gabellini–Grandou–Tsang–Sheu measure. The Fried-QCD piece of any multi-axion mass matrix is noted to be rank one.
Significance. If the central reduction assumption holds, the manuscript supplies a compact, nonperturbative organization of the axion potential inside Fried’s formalism that automatically reproduces the standard relation m_a² f_a² = χ_top and the correct quark-mass limits. The rank-one observation for multi-axion mass matrices is a useful structural remark. Because Σ_F and A_F are not evaluated from the full measure and the final formula follows by construction once the two quantities are defined, the work remains conceptual rather than predictive; its value would increase substantially once the missing first-principles computation is supplied.
major comments (2)
- [Abstract] Abstract (paragraph beginning “The construction is organized around two nonperturbative quantities”): the claim that the Θ-dependence of the vacuum energy after effective-locality reduction is fully captured by Σ_F and A_F is asserted without an explicit demonstration that the reduced functional measure contains no additional Θ-dependent structures (higher-order gluonic operators, cross terms between the scalar/pseudoscalar kernel and the topological sector, etc.). This assumption is load-bearing for the inverse-sum formula for χ_top^F.
- [Abstract] Abstract (the displayed equation for χ_top^F): once Σ_F and A_F are introduced as the sole carriers of Θ-dependence, the relation m_a² f_a² = χ_top^F follows immediately by algebraic rearrangement and therefore reduces by construction to the conventional topological susceptibility; the separable approximation merely parametrizes the same relation via the auxiliary condition 1 = α_χ^F J(r).
minor comments (1)
- The functions I(r) and J(r) appearing in the separable approximation for Σ_F are not defined in the text; a brief definition or reference to the earlier literature in which they were introduced would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for recognizing the conceptual organization of the axion potential within Fried's formalism. We address the major comments point by point below. The manuscript already frames its central results as conditional on future first-principles evaluation of Σ_F and A_F; the referee's observations align with this framing.
read point-by-point responses
-
Referee: [Abstract] Abstract (paragraph beginning “The construction is organized around two nonperturbative quantities”): the claim that the Θ-dependence of the vacuum energy after effective-locality reduction is fully captured by Σ_F and A_F is asserted without an explicit demonstration that the reduced functional measure contains no additional Θ-dependent structures (higher-order gluonic operators, cross terms between the scalar/pseudoscalar kernel and the topological sector, etc.). This assumption is load-bearing for the inverse-sum formula for χ_top^F.
Authors: We agree that the assumption that Σ_F and A_F are the sole carriers of Θ-dependence after effective-locality reduction is load-bearing and is not accompanied by an explicit proof that the reduced measure contains no further Θ-dependent structures. The manuscript states the results 'under these assumptions' and repeatedly flags the need for a complete derivation from the full Fried–Gabellini–Grandou–Tsang–Sheu measure. No such demonstration is provided here because it would require a separate, extensive analysis of the functional measure that lies outside the present scope. We will revise the abstract and introduction to state the assumption more explicitly as a working hypothesis pending that future verification. revision: partial
-
Referee: [Abstract] Abstract (the displayed equation for χ_top^F): once Σ_F and A_F are introduced as the sole carriers of Θ-dependence, the relation m_a² f_a² = χ_top^F follows immediately by algebraic rearrangement and therefore reduces by construction to the conventional topological susceptibility; the separable approximation merely parametrizes the same relation via the auxiliary condition 1 = α_χ^F J(r).
Authors: We concur that, once Σ_F and A_F are posited as the only Θ-dependent quantities, the inverse-sum expression for χ_top^F and the equality m_a² f_a² = χ_top^F follow by direct algebra. The manuscript already presents the result in this conditional manner and notes that the separable approximation is fixed by the auxiliary condition 1 = α_χ^F J(r). The contribution of the work is therefore organizational: it shows how the standard relation and the correct quark-mass limits emerge inside Fried's formalism once the two nonperturbative quantities are identified, together with the rank-one structure for multi-axion mass matrices. No revision is required on this point. revision: no
- A complete, first-principles verification that the reduced measure contains no additional Θ-dependent structures would require evaluating the full Fried–Gabellini–Grandou–Tsang–Sheu functional integral, which is explicitly identified in the manuscript as future work and is not performed here.
Circularity Check
No significant circularity; central result is explicitly conditional on assumptions
full rationale
The paper states the χ_top^F expression under explicit assumptions about how Θ-dependence reduces to Σ_F and A_F after effective-locality reduction, labels the entire result conditional on future first-principles evaluation of those inputs from the Fried–Gabellini–Grandou–Tsang–Sheu measure, and notes the standard limits without using them to force the outcome. No load-bearing step in the provided text reduces by the paper's own equations or self-citations to its inputs; the separable approximation fixing of r is presented as part of the approximation rather than a self-referential prediction. The derivation chain is therefore self-contained as a conditional representation rather than a closed tautology.
Axiom & Free-Parameter Ledger
free parameters (1)
- r = M_0 / Λ_EL
axioms (2)
- domain assumption The Θ-dependence of the QCD vacuum energy after effective-locality reduction is represented by the Fried chiral condensate Σ_F and the pure-glue topological stiffness A_F.
- domain assumption A_F is represented in the Halpern formulation by a CP-odd self-dual/anti-self-dual curvature.
Reference graph
Works this paper leans on
-
[1]
Fried, H. M. and Gabellini, Y. and Grandou, T. and Tsang, P. H. , title =. Universe , volume =. 2021 , eprint =
2021
-
[2]
Fried, H. M. and Gabellini, Y. and Grandou, T. , title =. arXiv e-prints , pages =. 2022 , eprint =
2022
-
[3]
Peccei, R. D. and Quinn, H. R. , title =. Phys. Rev. Lett. , volume =
-
[4]
Peccei, R. D. and Quinn, H. R. , title =. Phys. Rev. D , volume =
-
[5]
Weinberg, Steven , title =. Phys. Rev. Lett. , volume =
-
[6]
Wilczek, Frank , title =. Phys. Rev. Lett. , volume =
-
[7]
Witten, Edward , title =. Nucl. Phys. B , volume =
-
[8]
, title =
Veneziano, G. , title =. Nucl. Phys. B , volume =
-
[9]
JHEP , volume =
di Cortona, Giovanni Grilli and Hardy, Edward and Pardo Vega, Javier and Villadoro, Giovanni , title =. JHEP , volume =. 2016 , eprint =
2016
-
[10]
JHEP , volume =
Gorghetto, Marco and Villadoro, Giovanni , title =. JHEP , volume =. 2019 , eprint =
2019
-
[11]
and others , title =
Borsanyi, S. and others , title =. Nature , volume =. 2016 , eprint =
2016
-
[12]
and Giusti, L
Del Debbio, L. and Giusti, L. and Pica, C. , title =. Phys. Rev. Lett. , volume =. 2005 , eprint =
2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.