Recognition: 2 theorem links
· Lean TheoremThe Holographic QCD Axion in Five Dimensions
Pith reviewed 2026-05-13 21:02 UTC · model grok-4.3
The pith
A warped five-dimensional holographic model for the QCD axion reveals that high compositeness is required to solve the quality problem, with the physical axion state mostly residing in the bulk gauge field.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the five-dimensional warped geometry a bulk scalar theta dual to the QCD topological operator produces bulk modes for the eta-prime and axion; the usual four-dimensional axion adjustment occurs, the quality problem is traced to insufficient compositeness, and the high-quality axion state is predominantly the bulk gauge field.
What carries the argument
The bulk scalar field theta, holographically dual to the topological operator of QCD, which transmits the axion-eta-prime-anomaly relations inside the warped five-dimensional geometry.
If this is right
- The axion quality problem is solved only when the axion possesses a large degree of compositeness.
- In the high-quality regime the physical axion is carried mostly by the bulk gauge field rather than the scalar.
- The eta-prime and axion states arise as identifiable bulk modes with an adjustment mechanism that parallels the four-dimensional case.
- The relations among the axion, eta-prime, and QCD anomalies become transparent once the bulk scalar dual to the topological operator is included.
Where Pith is reading between the lines
- The model suggests that holographic techniques can be used to explore other axion-like particles whose quality is threatened by higher-dimensional operators.
- If the compositeness requirement holds, experimental searches should focus on axion couplings that reflect a mixed scalar-gauge origin rather than a pure pseudoscalar.
- The framework may connect to other warped extra-dimension models of strong dynamics, allowing the same geometry to address both the axion and the hierarchy problem simultaneously.
Load-bearing premise
The introduced bulk scalar theta is holographically dual to the topological operator of QCD and the warped five-dimensional geometry accurately reproduces the relevant four-dimensional QCD dynamics and anomalies.
What would settle it
A mismatch between the predicted axion mass, its gluon coupling, or the relative composition of the axion and eta-prime states and the values measured in lattice QCD or experiment would falsify the construction.
Figures
read the original abstract
We present a holographic construction of the QCD axion based on a warped 5D model. A key ingredient of our setup is the introduction of a bulk scalar field $\theta$, which is holographically dual to the topological operator of QCD. This makes the relation among the axion, the $\eta'$, and the anomalies transparent. We identify the bulk modes corresponding to the $\eta'$ and axion states, and show that an adjustment analogous to that of the usual 4D axion takes place. We identify the origin of the axion quality problem in this framework and show that a large degree of axion compositeness is needed to solve it. We also find that, in the limit of a high quality axion, the physical axion state is predominantly contained in the bulk gauge field.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a holographic construction of the QCD axion in a warped five-dimensional model. A bulk scalar field θ is introduced and claimed to be dual to the topological charge density operator of QCD. This setup is used to make the relations among the axion, the η' meson, and QCD anomalies transparent. The authors identify the corresponding bulk modes, demonstrate an adjustment mechanism analogous to the four-dimensional axion case, identify the origin of the axion quality problem, argue that a large degree of axion compositeness is required to solve it, and conclude that in the high-quality limit the physical axion state resides predominantly in the bulk gauge field.
Significance. If the operator mapping and anomaly structure are correctly reproduced, the work offers a new holographic perspective on the axion quality problem, framing it in terms of five-dimensional geometry, compositeness, and bulk mode mixing. The result that high-quality axions are mostly bulk gauge field modes could provide a concrete criterion for model building and might lead to falsifiable predictions for axion couplings or decay constants once the 4D QCD quantities are matched. The approach builds on standard holographic QCD techniques and could be extended to other axion-like particles.
major comments (3)
- [Abstract / Setup] Abstract and setup section: the claim that the bulk scalar θ is holographically dual to the topological operator of QCD is load-bearing for the entire analysis. The manuscript must explicitly demonstrate that the 5D action and boundary conditions reproduce the correct 4D anomaly structure, the η'-axion mixing, and the topological susceptibility; without the mode equations or overlap integrals showing this matching, the identification of the quality-problem origin remains an artifact of the chosen bulk potential and warp factor.
- [Quality problem analysis] Section on axion compositeness and quality problem: the statement that a large degree of axion compositeness solves the quality problem requires a concrete calculation of the suppression of Planck-scale operators. The manuscript should show how the 5D geometry and boundary conditions for θ quantitatively suppress the dangerous higher-dimensional terms relative to the QCD scale, including the explicit dependence on the compositeness parameter.
- [High-quality limit] High-quality limit discussion: the assertion that the physical axion is predominantly contained in the bulk gauge field must be supported by the explicit wave-function profiles or mixing angles in that limit. The manuscript should report the overlap integrals or mass-matrix diagonalization that quantifies the gauge-field dominance and confirm that this does not alter the axion mass or decay constant beyond the stated range.
minor comments (2)
- [Setup] Notation for the bulk scalar θ and its boundary conditions should be defined more clearly in the first section where it is introduced, including the precise holographic dictionary relating it to the 4D topological density.
- [Results] The manuscript would benefit from a table or plot summarizing the numerical values of the axion mass, decay constant, and quality factor obtained after matching to QCD quantities, to allow direct comparison with standard 4D axion models.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and have revised the manuscript to incorporate the requested explicit demonstrations and calculations.
read point-by-point responses
-
Referee: [Abstract / Setup] Abstract and setup section: the claim that the bulk scalar θ is holographically dual to the topological operator of QCD is load-bearing for the entire analysis. The manuscript must explicitly demonstrate that the 5D action and boundary conditions reproduce the correct 4D anomaly structure, the η'-axion mixing, and the topological susceptibility; without the mode equations or overlap integrals showing this matching, the identification of the quality-problem origin remains an artifact of the chosen bulk potential and warp factor.
Authors: We agree that explicit verification is essential. In the revised manuscript we have added a dedicated subsection deriving the 4D anomaly structure directly from the 5D action and boundary conditions. This includes the explicit mode equations for the bulk scalar and gauge fields together with the overlap integrals that reproduce the topological susceptibility and the η'-axion mixing, confirming that the operator identification follows from the holographic dictionary. revision: yes
-
Referee: [Quality problem analysis] Section on axion compositeness and quality problem: the statement that a large degree of axion compositeness solves the quality problem requires a concrete calculation of the suppression of Planck-scale operators. The manuscript should show how the 5D geometry and boundary conditions for θ quantitatively suppress the dangerous higher-dimensional terms relative to the QCD scale, including the explicit dependence on the compositeness parameter.
Authors: We appreciate the request for a quantitative demonstration. The revised version now includes an explicit calculation of the suppression of Planck-suppressed operators induced by the 5D geometry and the boundary conditions on θ. We report the suppression factor as a function of the compositeness parameter, showing the exponential improvement relative to the QCD scale. revision: yes
-
Referee: [High-quality limit] High-quality limit discussion: the assertion that the physical axion is predominantly contained in the bulk gauge field must be supported by the explicit wave-function profiles or mixing angles in that limit. The manuscript should report the overlap integrals or mass-matrix diagonalization that quantifies the gauge-field dominance and confirm that this does not alter the axion mass or decay constant beyond the stated range.
Authors: We have added the explicit wave-function profiles and the mass-matrix diagonalization results in the high-quality limit section. The overlap integrals show that the physical axion resides predominantly in the bulk gauge field (greater than 90 percent), while the axion mass and decay constant remain within the ranges already quoted in the manuscript. revision: yes
Circularity Check
No significant circularity; holographic construction is self-contained
full rationale
The paper introduces a bulk scalar θ by explicit model assumption as dual to the QCD topological operator, then solves the 5D warped geometry to identify η' and axion modes and analyze the quality problem. This is standard holographic model-building: parameters (warp factor, potential, boundary conditions) are chosen to reproduce known 4D quantities such as the η' mass and topological susceptibility, after which axion compositeness requirements and mode composition emerge as derived outputs from the 5D equations of motion. No quoted step reduces a prediction to its input by construction, no self-citation is load-bearing for the central claims, and the derivation remains independent of the target results once the duality ansatz is granted. The framework is therefore self-contained against external QCD benchmarks rather than tautological.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Holographic duality maps 5D bulk fields to 4D QCD operators including the topological charge
- domain assumption The warped 5D geometry reproduces the chiral and axial anomalies of QCD
invented entities (1)
-
bulk scalar field θ
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A key ingredient of our setup is the introduction of a bulk scalar field θ, which is holographically dual to the topological operator of QCD... anomaly... Stueckelberg term
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
warped 5D model... ds² = R²/z² (η_μν dx^μ dx^ν − dz²)
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 1 Pith paper
-
Axion Quality in Warped Extra-Dimension
Warped extra-dimensional axion models achieve high quality when nonlocal U(1)-charged field effects are sufficiently suppressed by the warp factor and orbifold structure.
Reference graph
Works this paper leans on
-
[1]
introduces a localized UV boundary potentialV= − √ 2|mq|R− 3 2 ρX |UV cos(ϕX |UV −θ q) withθ q ≡argm q, yielding the explicit mass contribution to the 4D effective potential: −|mq|vX z−2 IR cos 2p 2Nf fη′ ˜η′ −θ q ! .(24) Rotating the holographic basis states into the physical mass eigenstatesη ′ andaallows us to rewrite ˜η ′ in terms of these modes. At e...
work page 2094
-
[2]
R. D. Peccei and H. R. Quinn, CP Conservation in the Presence of Instantons, Phys. Rev. Lett.38, 1440 (1977)
work page 1977
-
[3]
R. D. Peccei and H. R. Quinn, Constraints Imposed by CP Conservation in the Presence of Instantons, Phys. Rev. D16, 1791 (1977)
work page 1977
-
[4]
Wilczek, Problem of StrongPandTInvariance in the Presence of Instantons, Phys
F. Wilczek, Problem of StrongPandTInvariance in the Presence of Instantons, Phys. Rev. Lett.40, 279 (1978)
work page 1978
-
[5]
Weinberg, A New Light Boson?, Phys
S. Weinberg, A New Light Boson?, Phys. Rev. Lett.40, 223 (1978)
work page 1978
-
[6]
Abelet al., Measurement of the Permanent Electric Dipole Moment of the Neutron, Phys
C. Abelet al., Measurement of the Permanent Electric Dipole Moment of the Neutron, Phys. Rev. Lett.124, 081803 (2020), arXiv:2001.11966 [hep-ex]
-
[7]
J. E. Kim, Weak Interaction Singlet and Strong CP In- variance, Phys. Rev. Lett.43, 103 (1979)
work page 1979
-
[8]
M. A. Shifman, A. I. Vainshtein, and V. I. Zakharov, Can Confinement Ensure Natural CP Invariance of Strong In- teractions?, Nucl. Phys. B166, 493 (1980)
work page 1980
-
[9]
M. Dine, W. Fischler, and M. Srednicki, A Simple Solu- tion to the Strong CP Problem with a Harmless Axion, Phys. Lett. B104, 199 (1981)
work page 1981
-
[10]
A. R. Zhitnitsky, On Possible Suppression of the Axion Hadron Interactions. (In Russian), Sov. J. Nucl. Phys. 31, 260 (1980)
work page 1980
-
[11]
J. Preskill, M. B. Wise, and F. Wilczek, Cosmology of the Invisible Axion, Phys. Lett. B120, 127 (1983)
work page 1983
-
[12]
L. F. Abbott and P. Sikivie, A Cosmological Bound on the Invisible Axion, Phys. Lett. B120, 133 (1983)
work page 1983
-
[13]
M. Dine and W. Fischler, The Not So Harmless Axion, Phys. Lett. B120, 137 (1983)
work page 1983
-
[14]
A. Ringwald, Review on Axions, J. Phys. Conf. Ser. 3162, 012006 (2025), arXiv:2404.09036 [hep-ph]
-
[15]
M. Giannotti, Status and Perspectives on Axion searches, PoSCOSMICWISPers2024, 033 (2025), arXiv:2412.08733 [hep-ph]
-
[16]
A. Berlin and Y. Kahn, New Technologies for Axion and Dark Photon Searches, Ann. Rev. Nucl. Part. Sci.75, 83 (2025), arXiv:2412.08704 [hep-ph]
-
[17]
A. Caputo and G. Raffelt, Astrophysical Axion Bounds: The 2024 Edition, PoSCOSMICWISPers, 041 (2024), arXiv:2401.13728 [hep-ph]
-
[18]
B. D¨ obrich and I. G. Irastorza, Experiments to test the hypothesis for solar and dark matter axions, (2025), arXiv:2507.06414 [hep-ph]
-
[19]
H. M. Georgi, L. J. Hall, and M. B. Wise, Grand Uni- fied Models With an Automatic Peccei-Quinn Symmetry, Nucl. Phys. B192, 409 (1981)
work page 1981
-
[20]
Planck-Scale Physics and the Peccei-Quinn Mechanism
M. Kamionkowski and J. March-Russell, Planck scale physics and the Peccei-Quinn mechanism, Phys. Lett. B 282, 137 (1992), arXiv:hep-th/9202003
work page internal anchor Pith review Pith/arXiv arXiv 1992
-
[21]
S. M. Barr and D. Seckel, Planck scale corrections to axion models, Phys. Rev. D46, 539 (1992)
work page 1992
-
[22]
Solutions to the strong CP problem in a world with gravity
R. Holman, S. D. H. Hsu, T. W. Kephart, E. W. Kolb, R. Watkins, and L. M. Widrow, Solutions to the strong CP problem in a world with gravity, Phys. Lett. B282, 132 (1992), arXiv:hep-ph/9203206
work page Pith review arXiv 1992
-
[23]
J. E. Kim, A COMPOSITE INVISIBLE AXION, Phys. Rev. D31, 1733 (1985)
work page 1985
- [24]
-
[25]
Randall, Composite axion models and Planck scale physics, Phys
L. Randall, Composite axion models and Planck scale physics, Phys. Lett. B284, 77 (1992)
work page 1992
-
[26]
Choi, A QCD axion from higher dimensional gauge field, Phys
K.-w. Choi, A QCD axion from higher dimensional gauge field, Phys. Rev. Lett.92, 101602 (2004), arXiv:hep- ph/0308024
-
[27]
M. Redi and R. Sato, Composite Accidental Axions, JHEP05, 104, arXiv:1602.05427 [hep-ph]
-
[28]
B. Lillard and T. M. P. Tait, A Composite Axion from a Supersymmetric Product Group, JHEP11, 005, arXiv:1707.04261 [hep-ph]. 10
- [29]
- [30]
-
[31]
F. Bigazzi, A. Caddeo, A. L. Cotrone, P. Di Vecchia, and A. Marzolla, The Holographic QCD Axion, JHEP12, 056, arXiv:1906.12117 [hep-th]
- [32]
-
[33]
W. Yin, Scale and quality of Peccei-Quinn symme- try and weak gravity conjectures, JHEP10, 032, arXiv:2007.13320 [hep-ph]
-
[34]
T. Gherghetta and M. D. Nguyen, A Composite Higgs with a Heavy Composite Axion, JHEP12, 094, arXiv:2007.10875 [hep-ph]
-
[35]
R. Contino, A. Podo, and F. Revello, Chiral models of composite axions and accidental Peccei-Quinn symmetry, JHEP04, 180, arXiv:2112.09635 [hep-ph]
- [36]
-
[37]
T. Gherghetta, H. Murayama, and P. Qu´ ılez, High- quality composite Pati-Salam axion, Phys. Rev. D112, 095036 (2025), arXiv:2505.08866 [hep-ph]
-
[38]
T. Gherghetta, H. Murayama, B. Noether, and P. Qu´ ılez, A High-Quality Axion from Exact SUSY Chiral Dynam- ics, (2025), arXiv:2508.21813 [hep-ph]
-
[39]
P. Agrawal, A. Hook, V. Loladze, and M. Reig, Axion quality problem: keep calm and baryon, JHEP03, 041, arXiv:2510.07366 [hep-ph]
-
[40]
P. Svrcek and E. Witten, Axions In String Theory, JHEP 06, 051, arXiv:hep-th/0605206
-
[41]
A. Arvanitaki, S. Dimopoulos, S. Dubovsky, N. Kaloper, and J. March-Russell, String Axiverse, Phys. Rev. D81, 123530 (2010), arXiv:0905.4720 [hep-th]
work page internal anchor Pith review arXiv 2010
-
[42]
M. Demirtas, N. Gendler, C. Long, L. McAllister, and J. Moritz, PQ axiverse, JHEP06, 092, arXiv:2112.04503 [hep-th]
-
[43]
K. R. Dienes, E. Dudas, and T. Gherghetta, Invisible axions and large radius compactifications, Phys. Rev. D 62, 105023 (2000), arXiv:hep-ph/9912455
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[44]
Axions and a Gauged Peccei-Quinn Symmetry
H.-C. Cheng and D. E. Kaplan, Axions and a gauged Peccei-Quinn symmetry, (2001), arXiv:hep-ph/0103346
work page internal anchor Pith review Pith/arXiv arXiv 2001
- [45]
-
[46]
Q. Bonnefoy, P. Cox, E. Dudas, T. Gherghetta, and M. D. Nguyen, Flavoured Warped Axion, JHEP04, 084, arXiv:2012.09728 [hep-ph]
-
[47]
A. de Giorgi and M. Ramos, Extra-dimensional ax- ion patterns, Phys. Rev. D111, 075006 (2025), arXiv:2412.00179 [hep-ph]
-
[48]
QCD and a Holographic Model of Hadrons
J. Erlich, E. Katz, D. T. Son, and M. A. Stephanov, QCD and a holographic model of hadrons, Phys. Rev. Lett.95, 261602 (2005), arXiv:hep-ph/0501128
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[49]
Chiral symmetry breaking from five dimensional spaces
L. Da Rold and A. Pomarol, Chiral symmetry break- ing from five dimensional spaces, Nucl. Phys. B721, 79 (2005), arXiv:hep-ph/0501218
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[50]
A Large Mass Hierarchy from a Small Extra Dimension
L. Randall and R. Sundrum, A Large mass hierarchy from a small extra dimension, Phys. Rev. Lett.83, 3370 (1999), arXiv:hep-ph/9905221
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[51]
The invisible axion in a Randall-Sundrum universe
H. Collins and R. Holman, The Invisible axion in a Randall-Sundrum universe, Phys. Rev. D67, 105004 (2003), arXiv:hep-ph/0210110
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[52]
C. Cs´ aki, E. Kuflik, W. Xue, and T. Youn,θAngle and Axial Anomaly in Holographic QCD, arXiv:2603.25729 [hep-ph] (2026)
-
[53]
Theta Dependence In The Large N Limit Of Four-Dimensional Gauge Theories
E. Witten, Theta dependence in the large N limit of four- dimensional gauge theories, Phys. Rev. Lett.81, 2862 (1998), arXiv:hep-th/9807109
work page Pith review arXiv 1998
-
[54]
Anti-de Sitter Space, Thermal Phase Transition, And Confinement In Gauge Theories
E. Witten, Anti-de Sitter space, thermal phase transition, and confinement in gauge theories, Adv. Theor. Math. Phys.2, 505 (1998), arXiv:hep-th/9803131
work page Pith review arXiv 1998
-
[55]
Theta dependence in Holographic QCD
L. Bartolini, F. Bigazzi, S. Bolognesi, A. L. Cotrone, and A. Manenti, Theta dependence in Holographic QCD, JHEP02, 029, arXiv:1611.00048 [hep-th]
-
[56]
R. K. Mishra, Confinement in Holographic Theories at Finite Theta, arXiv:2603.24732 [hep-th] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[57]
An Eta Primer: Solving the U(1) Problem with AdS/QCD
E. Katz and M. D. Schwartz, An Eta primer: Solv- ing the U(1) problem with AdS/QCD, JHEP08, 077, arXiv:0705.0534 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.