{"id":"e686c6fe-05ae-455c-b2b0-36daf199052c","arxiv_id":"2412.00179","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A bulk axion in flat or warped extra dimensions cannot produce displaced 'QCD maxion' patterns; only a canonical QCD axion plus a decoupled KK plateau survives the combined gravitational, unitarity, and astrophysical constraints.","lead":"This paper shows that a bulk axion in extra dimensions can only realize the standard single-axion solution to the strong CP problem: the exotic multi-axion 'maxion' patterns are ruled out by gravity, unitarity, and supernova bounds. This tells axion experiments that the canonical QCD axion band remains the primary target for simple extra-dimensional models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The no-go holds only for brane-localized QCD with universal KK wavefunctions; the abstract's unconditional 'only canonical patterns' claim is broader than the analysis supports.","rationale":"The paper is technically sound within its declared setup: the eigenvalue derivation, the RS extension, the sum rule in Eq. (IV.8), and the combined unitarity/fifth-force/astrophysics chain in Sec. V are coherent, and the 2×2 approximation is an O(1) simplification that does not invert the qualitative conclusion. The load-bearing issue is the gap between the proven subclass and the advertised conclusion. The abstract claims that only canonical KK patterns can emerge from a bulk axion, while the robustness argument explicitly relies on brane-localized QCD and universal KK wavefunctions. The authors acknowledge the escape hatches in Sec. VII, so this is not a hidden flaw, but it is exactly the kind of caveat that should appear in the abstract or be resolved. A dedicated analysis of the bulk-QCD overlap case would settle whether the abstract's stronger statement is true. The reader's CONDITIONAL verdict is therefore appropriate; no change to the verdict is needed, though the revision should qualify the abstract or provide the missing analysis.","tokens_in":25965,"tokens_out":16094,"duration_ms":152750,"concrete_test":"Compute the KK axion mass matrix for the bulk-QCD scenario of Ref. [13] in one flat extra dimension with a nontrivial QCD overlap kernel w(y), replacing Eq. (III.1) by M^2_{nm}=m_PQ^2(κ_nκ_m + y^2(n^2/R^2)δ_nm) with κ_n=∫dy w(y)ψ_n(y), and check whether any (R, f5, w) exists with g0>1 for a lowest mode µ1 that satisfies fifth-force bounds. If such parameter space exists, the abstract's universal claim must be qualified; if none exists, the scope concern is settled and only wording needs adjustment.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The mass matrix in Eq. (III.1) and the central bound in Sec. V use the brane values ψ_n(πR) of a single bulk axion and assume ψ_i=ψ_j for all i,j>0 (Eq. III.4). This is exact for flat space and a good approximation for strongly warped RS, but it presupposes that the QCD operator is localized on the IR brane (the δ-function in Eq. II.4) and that the axion and graviton KK profiles coincide. If QCD propagates in the bulk, the coupling of each KK axion to QCD is an overlap integral ∫dy √g w(y)ψ_n(y), not ψ_n(πR), and the fifth-force exclusion of the lightest graviton does not directly constrain the same combination of KK axion couplings that enters the g-factor. The paper lists these as open possibilities in Sec. VII items 1 and 2, but does not analyze them. The abstract's sentence 'only KK canonical patterns ... can emerge from a bulk axion in one or more extra spacetime dimensions' therefore overstates a statement that is proven only for the brane-localized, universal-profile subclass. This is a scope concern about the advertised central claim, not an internal inconsistency in the derivations.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies a bulk axion in flat and Randall-Sundrum extra dimensions, with QCD localized on the IR brane. It constructs the KK axion mass matrix, derives analytic expressions for the eigenvalues and the g-factors gλ=mλ^2fλ^2/χ_QCD, and shows that the parameter space yields either a canonical QCD axion plus a decoupled tower or a set of 'QCD maxions' with gλ≫1. It then applies perturbative unitarity, fifth-force bounds on the lightest KK graviton, and supernova cooling via the resummed KK axion coupling to argue that the maxion patterns are in severe tension with data. Generalizations to multiple extra dimensions and to a non-constant bulk VEV profile are discussed, and a list of possible escape hatches is given.","tokens_in":26257,"tokens_out":20329,"duration_ms":172158,"significance":"If the no-go is correct, it substantially narrows the phenomenologically acceptable axion patterns from extra-dimensional models, which is relevant for axion searches and model building. The paper's analytic derivation of the eigenvalue equation (III.5) and the g-factor formulas (IV.11) and (IV.26) is a useful technical contribution, and the explicit re-derivation of the QCD axion sum rule in App. B for the KK system is a clean cross-check. The constraints are order-of-magnitude, but the margins appear robust to O(1) factors. The main weakness is that the advertised central claim is broader than the proven subclass, and some generality claims in Sec. VII are not fully supported by the analysis presented.","major_comments":[{"comment":"The paper's advertised central claim—'only KK canonical patterns (with the zero-mode close to the standard QCD line) can emerge from a bulk axion in one or more extra spacetime dimensions'—is broader than the analysis. The no-go is proven for models with brane-localized QCD (Eq. (II.4)) and universal KK wavefunctions matching the graviton profiles (assumption (III.4)). Sec. VII itself lists, as open possibilities, scenarios with bulk QCD and with non-universal/disentangled axion-graviton profiles; in the bulk-QCD case the coupling would be an overlap integral rather than ψ_n(πR), and the fifth-force bound on the lightest graviton would not constrain the same combination of couplings. The abstract and the concluding paragraph should either state these conditions explicitly or the authors should extend the analysis to at least the bulk-QCD case.","section":"Abstract; Sec. VII"},{"comment":"The claim in Sec. VII that the conclusion holds 'independently of the number of (universal) spacetime dimensions and the VEV profile of the PQ field in the bulk' is not fully supported. The VEV-profile analysis in Sec. VI.B is performed only for a flat background, in the limits m→0 and m→∞, with the warped case relegated to Ref. [45]. Since the warped case is one of the two main settings of the paper, the independence claim should be moderated or the warped VEV-profile case should be analyzed.","section":"Sec. VI.B; Sec. VII"}],"minor_comments":[{"comment":"The word 'representated' should be 'represented'.","section":"Sec. I, second paragraph"},{"comment":"The subscript 'i' in 'g_{aiγγ}' appears spurious; the standard notation is 'g_{aγγ}'.","section":"Eq. (V.11)"},{"comment":"The displayed expression for 1/F appears corrupted in the text; please check the typeset formula.","section":"Eq. (V.2)"},{"comment":"The notation f(n) for the summand conflicts with the decay constants f_d, f_4, f_5 used elsewhere; consider renaming the function, e.g., h(n).","section":"Sec. VI.A, Eq. (VI.4)"},{"comment":"The phrase 'the distance of the maxions to the QCD axion canonical line' is unclear; it presumably refers to the deviation of g_λ from unity.","section":"Sec. IV.B"}],"recommendation":"major_revision","confidential_remarks":"The manuscript fits the journal's scope and the technical content is sound for the analyzed class of models. My main reservation is the overbroad abstract and conclusion; after the requested qualification it should be suitable for publication. No concerns about citation practice or novelty."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Solid paper. The genuinely new pieces are the RS maxion treatment, the δ-dimensional generalization of the eigensystem, and the combined constraint analysis that puts the maxion patterns in severe tension with fifth-force, unitarity, and supernova bounds. For the brane-localized QCD case with universal KK wavefunctions, the derivations are clean and the no-go is convincing; the margin is large enough that O(1) uncertainties in the 2×2 truncation don't threaten the conclusion. The citation pattern is fair: the flat-space spectrum and the QCD axion sum rule are properly attributed to Refs. [8,18,5].\n\nThe main soft spot is scope. The abstract says 'only KK canonical patterns ... can emerge from a bulk axion in one or more extra spacetime dimensions,' but what is actually proven is narrower. The no-go assumes QCD is localized on the IR brane (Eq. II.4) and that the axion KK wavefunctions coincide with the graviton profiles, so fifth-force bounds on the lightest graviton directly constrain the same combination of couplings that enters the g-factors. If QCD propagates in the bulk, or if non-universal bulk profiles decouple the axion couplings from graviton bounds, the maxion patterns can reappear. The authors list these escape hatches in Sec. VII but do not analyze them. So the advertised headline is broader than the proof.\n\nMinor issues: the 2×2 truncation is only O(1) accurate, with the flat case differing from the RS estimate by about a factor of 2.5; not fatal because the excluded regions are orders of magnitude away, but the accuracy should be stated. The assumption of a TeV-scale EFT cutoff is reasonable and backed by LHC and η′ arguments, but it is load-bearing for the quantitative strength of the bound.\n\nThis is a useful paper for axion phenomenology and extra-dimensional model building. The RS formulas and the δ-dimensional generalization are worth having. It deserves a serious referee. Recommendation: accept after a revision that softens the abstract to match the actual assumptions and explicitly states the accuracy of the approximation.","headline":"Solid new no-go for brane-localized extra-dimensional maxions, but the abstract overstates the scope beyond the analyzed universal-profile subclass.","tokens_in":26771,"tokens_out":3078,"would_cite":true,"duration_ms":26264,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Extra-dimensional axions cannot produce displaced maxion patterns: only a canonical QCD axion plus a heavy KK plateau survives gravity and astrophysical bounds.","keywords":["QCD axion","Kaluza-Klein axions","extra dimensions","Randall-Sundrum","QCD maxions","strong CP problem","fifth-force constraints","axion sum rule"],"falsifier":"A measurement of a KK axion eigenstate with $g_\\lambda > 1$ while the lightest graviton mass sits above the fifth-force bound, for example $\\mu_1 \\gtrsim 10^{-3}\\,\\mathrm{eV}$ with the EFT cutoff at $\\Lambda \\gtrsim 1\\,\\mathrm{TeV}$, would falsify the no-go and require non-universal bulk wavefunctions. A concrete check is the stellar-cooling factor: at $\\mu_1 = 10^{-2}\\,\\mathrm{eV}$ and $\\Lambda = 1\\,\\mathrm{TeV}$ the paper's flat-space formula gives $\\aleph(E_c=30\\,\\mathrm{MeV}) \\sim 10^5$, so a supernova observation matching the single-axion coupling predicted by $g_0 \\approx 4.5\\times 10^3$ in that parameter region would contradict the paper's conclusion.","tokens_in":25724,"feed_emoji":"🌌","tokens_out":7600,"duration_ms":67636,"temperature":0.7,"pith_summary":"The paper asks whether a QCD axion living in the bulk of one or more extra spacetime dimensions can solve the strong CP problem in a non-canonical way, with several Kaluza-Klein modes mixing into a displaced solution. It shows that in the flat and Randall-Sundrum models considered, such 'maxion' patterns are excluded: the same wavefunctions that couple the axion tower to QCD also couple it to gravity, so fifth-force, astrophysical, and unitarity bounds push the lightest mode back onto the standard QCD axion line. What survives is a single canonical QCD axion, the zero mode, accompanied by a plateau of heavier, weakly coupled KK axions. The analysis rests on a general eigenvalue equation derived for arbitrary numbers of extra dimensions and compactifications, making the conclusion uniform across the class of models considered.","feed_headline":"Bulk axions stay on the canonical QCD line","feed_subtitle":"Gravity and stellar cooling rule out displaced KK-axion patterns, leaving one canonical axion plus a heavy plateau.","key_machinery":"The central object is the KK axion mass matrix $(M^2)_{ij} = m_{\\mathrm{PQ}}^2[\\psi_i \\psi_j + y^2(\\mu_i/\\mu_1)^2 \\delta_{ij}]$, where $\\psi_i$ is the axion wavefunction on the infrared brane and $y = \\mu_1/m_{\\mathrm{PQ}}$. The argument runs through the eigenvalue equation $\\sum_n \\psi_n^2/[\\lambda^2 - (\\mu_n/\\mu_1)^2 y^2] = 1$, the resulting $g$-factors $g_\\lambda = m_\\lambda^2 f_\\lambda^2/\\chi_{\\mathrm{QCD}}$, the QCD axion sum rule $\\sum_\\lambda 1/g_\\lambda = 1$, and the resummed stellar-cooling factor $\\aleph(E_c)$. Because the same formalism reproduces the flat, warped, multi-dimensional, and nontrivial-VEV cases, the no-go statement is tied to this single mechanistic structure.","core_discovery":"The central claim is that a single bulk axion in flat or Randall-Sundrum extra dimensions, with QCD localized on the infrared brane and QCD as the only source of Peccei-Quinn breaking, can realize only one viable pattern: one zero-mode axion on the canonical QCD line plus a plateau of heavier KK modes. The non-canonical patterns, in which several KK modes share the solution to the strong CP problem and sit at $g_i \\gg 1$, are in severe tension with the combined constraints from fifth-force searches, astrophysics, and perturbative unitarity. The proof relies on the KK axion wavefunctions being universal and matching the graviton wavefunctions, so that bounds on the lightest massive graviton directly constrain the axion tower; it holds in both flat and warped geometries and, as the paper shows, also when the number of extra dimensions is increased or the bulk VEV profile is changed.","pith_inferences":["If an experiment found several displaced axion-like resonances with nearly equal $g$-factors, that would be evidence for non-universal bulk wavefunctions or for QCD propagating in the bulk, because the single-bulk-axion models studied here cannot generate such a pattern.","The no-go can be read as a model-building constraint: any successful maxion construction must decouple the axion KK wavefunctions from the graviton wavefunctions, so its signatures should include a modified relation between axion couplings and gravitational tower bounds.","The argument could be inverted as a diagnostic: null results from fifth-force searches at $\\mu_1 \\sim 10^{-2}\\,\\mathrm{eV}$, together with null searches for a heavy KK plateau, would shrink the allowed parameter space even for the canonical KK axion pattern.","The paper's multi-dimensional result suggests a sharper test: in six or more spacetime dimensions the dependence on $\\mu_1$ drops out of the maxion $g$-factor, so one could look for a universal suppression that is insensitive to the lightest graviton mass."],"forward_implications":["A future detection of a plateau of KK axions together with a single canonical zero mode would point to a bulk Peccei-Quinn field and would locate the zero mode inside the standard QCD axion band.","In these models, the heavy KK plateau is collectively visible in broadband axion searches, with an effective photon coupling enhanced roughly by the square root of the number of modes.","The exotic displaced QCD axion signals that motivate searches outside the canonical band cannot be produced by the simple bulk-axion setups considered here.","Adding extra spacetime dimensions or giving the bulk PQ field a nontrivial VEV profile makes the maxion patterns even less viable rather than rescuing them.","The generalized eigenvalue and eigenvector equations can be reused for other bulk fields whose wavefunctions factorize across an arbitrary number of orbifolded dimensions."],"supporting_citations":[{"why":"Introduces QCD maxions and the QCD axion sum rule that the paper uses to characterize the non-canonical patterns.","marker":"[5]"},{"why":"Provides the flat 5D axion KK spectrum and mass matrix that the paper generalizes to the warped and multi-dimensional cases.","marker":"[8]"},{"why":"Sets up the warped axion model with the QCD coupling localized on the infrared brane, which the paper adopts.","marker":"[10]"},{"why":"Supplies the flat KK axion mass spectrum and couplings used as the baseline pattern for the flat scenario.","marker":"[18]"},{"why":"Contains the effective interaction scale $\\aleph(E_c)$ for flat extra dimensions, the method the paper extends to Randall-Sundrum geometries.","marker":"[20]"},{"why":"Gives the Newtonian potential correction in the Randall-Sundrum model used to translate fifth-force bounds into a constraint on $\\mu_1$.","marker":"[29]"},{"why":"The fifth-force experimental limits that exclude lightest graviton masses below the range needed for maxion patterns.","marker":"[30–37]"},{"why":"Provides the Bessel-function sum identity used to derive the exact RS eigenvalue equation and $g$-factors.","marker":"[25]"}],"fun_headline_variants":["Only canonical axion line survives extra dimensions","Axion KK modes forced onto canonical line","Extra dimensions uphold canonical axion pattern","Bulk axion: only canonical line passes constraints","Axion tower flattened by constraints"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The exclusion depends on the axion KK wavefunctions being exactly the same as the graviton wavefunctions, so that fifth-force limits on the lightest massive graviton directly constrain the axion tower; if that universality breaks, or if QCD lives in the bulk, the maxion patterns can reappear.","fun_headline_variants_meta":{"raw":{"variants":["Only canonical axion line survives extra dimensions","Axion KK modes forced onto canonical line","Extra dimensions uphold canonical axion pattern","Bulk axion: only canonical line passes constraints","Axion tower flattened by constraints"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000482,"raw_usage":{"total_tokens":2346,"prompt_tokens":875,"completion_tokens":1471,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":491,"completion_tokens_details":{"reasoning_tokens":1406}},"tokens_in":491,"tokens_out":1471,"duration_ms":10584,"temperature":1.0,"reasoning_tokens":1406,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:41:28.316779+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A measurement of a KK axion eigenstate with $g_\\lambda > 1$ while the lightest graviton mass sits above the fifth-force bound, for example $\\mu_1 \\gtrsim 10^{-3}\\,\\mathrm{eV}$ with the EFT cutoff at $\\Lambda \\gtrsim 1\\,\\mathrm{TeV}$, would falsify the no-go and require non-universal bulk wavefunctions. A concrete check is the stellar-cooling factor: at $\\mu_1 = 10^{-2}\\,\\mathrm{eV}$ and $\\Lambda = 1\\,\\mathrm{TeV}$ the paper's flat-space formula gives $\\aleph(E_c=30\\,\\mathrm{MeV}) \\sim 10^5$, so a supernova observation matching the single-axion coupling predicted by $g_0 \\approx 4.5\\times 10^3$ in that parameter region would contradict the paper's conclusion.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces QCD maxions and the QCD axion sum rule that the paper uses to characterize the non-canonical patterns."},{"cited_title":"Phenomenological Constraints on Axion Models of Dynamical Dark Matter","cited_arxiv_id":"1203.1923","evidence_quote":"Provides the Bessel-function sum identity used to derive the exact RS eigenvalue equation and $g$-factors."}],"review_version":1}