{"id":"41dec022-d518-4c8a-8743-055186d87350","arxiv_id":"2602.10057","paper_version":3,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Murayama's GeV-scale QCD axion and its extensions are excluded by pion mass/scattering measurements and by fifth-force constraints on the light-axion limit.","lead":"A proposed GeV-scale axion solution to the strong CP problem is shown to be ruled out: its PQ scalar breaks isospin, distorting pion masses and scatterings, and its light-axion limit violates fifth-force bounds. The paper identifies a structural reason why no simple extension can fix it.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Structural exclusion is not a proven no-go: C1 (eq. 42) plus the PQ-spurion argument forbid a linear up-mass term, but a tuned UV completion generating canceling O_PQ2/O_PQ3/KM-type operators could restore QCD pion physics; App. A's scan is finite.","rationale":"The reader's weakest_assumption and my concern coincide: the EFT matching at tree level and the lack of a proof that additional operators/loops cannot cancel the isospin distortion. The spurion argument shows the up mass must enter via the two-trace operator O_PQ1, so the LO chiral structure is necessarily different from QCD. However, the EFT also contains O_PQ2,3 (p^6), the KM operator, and arbitrary higher-order counterterms; a UV completion can adjust these coefficients. The paper's statement that loop corrections cannot cancel 'as long as one operator dominates' is not derived, and App. B admits the one-loop estimate is cutoff-dependent. Thus the sharp claim that all extensions are excluded is not established with mathematical certainty. On the other hand, the tree-level pion mass splitting (eq. 24/45), the failure of the KM loophole (§2.3/3.2), the two-scalar scan (App. A), and the fifth-force bound (§5) all provide independent support for the phenomenological exclusion of the minimal and natural extensions. I therefore do not recommend rejection; the verdict should be conditional on either a proof of the no-tuning claim or a softening of the conclusion to 'natural renormalizable realizations are excluded.' The proposed EFT scan would settle the issue.","tokens_in":17717,"tokens_out":42196,"duration_ms":449577,"concrete_test":"Construct the most general two-flavor chiral Lagrangian for the two spurions M̃ and I_PQ through p^6, with C1 fixed by eq. (42) and all other LECs free, and numerically scan the allowed parameter space (imposing unitarity/positivity) for points that reproduce the measured mπ±−mπ0 and the Roy-equation scattering lengths a0^0 and a0^2 within 1σ. If no such point exists, the structural obstruction is robust; if one does, the exclusion of all extensions fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Most load-bearing concern: the universality of the §4 structural obstruction. The tree-level matching C1 = fπ^4 B0^2/(4mφ^2) (eq. 42) fixes the leading two-trace operator O_PQ1 because a linear tr[I_PQ†U] term is forbidden by the PQ transformation (I_PQ→I_PQ e^{-iαQ}, U→U e^{-iαQ}). But the EFT also contains O_PQ2,3 (eq. 41), the KM operator (eq. 19), and arbitrary higher-order counterterms. The paper asserts at the end of §4.1 that loop corrections 'cannot cancel the tree-level effect, as long as one operator is dominant', but no proof is given; §3.5 and App. B state the one-loop estimate is cutoff-dependent and has no parametric suppression at κ∼1. Thus a non-minimal UV completion (extra PQ-charged scalars, a QCD-scale strong sector, or large local counterterms) could in principle tune the pion mass splitting and the ππ scattering distortions back to QCD values. App. A's two-scalar scan is finite and does not cover the full operator space. If such a tuning exists, the central claim 'extensions are excluded' collapses; the argument as written actually establishes a strong naturalness exclusion, not a no-go theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper examines the GeV-scale QCD axion proposal of Murayama, in which the up-quark mass is generated dynamically by the QCD chiral condensate through a Peccei-Quinn (PQ) scalar. The authors confirm the original model's prediction of a large neutral-charged pion mass splitting and then generalize the PQ charge assignments to u,d,s, showing that no simple assignment escapes the pion mass problem: charging only d reduces the splitting to ~7% but is still excluded; charging only s breaks isospin in the η sector and produces a too-light axion; n_u=2,n_d=1 makes the new physics nonperturbative below the QCD scale. The Kaplan-Manohar ambiguity only helps if its coefficient is much larger than lattice values. Two-scalar extensions are scanned in App. A and no viable region is found. In §4 the authors integrate out the heavy PQ scalar and obtain a modified chiral Lagrangian with a new spurion I_PQ; the leading operator O_PQ^1 = tr[I_PQ† U] tr[I_PQ U†] has a large coefficient C1 = fπ^4 B0^2/(4 mφ^2) and breaks isospin, producing both the pion mass splitting and order-one deviations in ππ scattering amplitudes. In §5 they show that in the light-axion limit the radial mode σ is as light as the axion and its nucleon couplings give gσN ~ σ_q/fφ, which is excluded by fifth-force experiments. The paper concludes that the entire class of models is strongly constrained and in practice excluded.","tokens_in":18125,"tokens_out":24232,"duration_ms":267750,"significance":"If correct, this paper closes a recently proposed alternative solution to the strong CP problem. The authors not only confirm the original model's failure but provide a systematic EFT explanation of why it fails: the PQ-breaking mechanism cannot generate the up-quark mass through the standard single-trace chiral operator; it necessarily produces a two-trace operator with different isospin properties. The paper is transparent about its limitations, explicitly noting the cutoff dependence of loop estimates and the finite extent of the parameter scans. It also gives concrete falsifiable predictions (distorted pion scattering amplitudes) and a robust fifth-force constraint. The tree-level mass splitting argument is internally consistent and does not rely on fitting any parameter to produce the exclusion. The paper's main weakness is that the 'structural obstruction' is a naturalness/phenomenological statement rather than a proven no-go theorem; a tuned UV completion with additional counterterms could in principle cancel the undesired operators. Nevertheless, the paper's central claim that the original Murayama model is excluded is solid.","major_comments":[{"comment":"The claim of a 'structural obstruction' is stronger than what is proven. The argument assumes tree-level matching and dominance of a single operator; the paper's own §3.5 and App. B state that one-loop corrections are cutoff-dependent and have no parametric suppression for κ~1. A UV completion with additional PQ-charged scalars or local counterterms could in principle generate combinations of O_PQ^2, O_PQ^3, the Kaplan-Manohar operator, and higher-order terms that restore both the pion masses and the ππ scattering amplitudes to their QCD values. App. A's scan is finite and does not cover the full operator space. I recommend either (a) proving that no PQ-invariant local counterterm can simultaneously cancel the O_PQ^1 contributions to both masses and scatterings, or (b) softening the abstract/conclusion to read 'barring tuned cancellations' and calling the result a naturalness-based exclu","section":"§4.1, Abstract/Conclusions"},{"comment":"The statement 'loop corrections cannot cancel the tree-level effect, as long as one operator is dominant' is not demonstrated. Eq. (33) is a cutoff-dependent estimate with no parametric suppression when κ~1; the integral in eq. (77) is dominated by resonances and the numerical result is not under control. Since C1 is a p^4 operator that is enhanced to mimic a p^2 mass term, chiral power counting does not protect its coefficient. If the one-loop correction to C1 were O(1) and of opposite sign in an extended model, the exclusion would not apply. Please provide a rigorous symmetry argument restricting the form of loop-generated operators, or explicitly restrict the claim to the regime where the EFT is perturbative.","section":"§3.5, §4.1"}],"minor_comments":[{"comment":"The parentheses in the ms term appear unbalanced; please check the alignment of the cosine argument.","section":"§2.2, Eq. (14)"},{"comment":"The text says 'dimensionless φ complex field with decay constant fφ'. The phrase 'decay constant' for a dimensionless field is unconventional; consider 'with scale fφ' or clarifying the kinetic normalization.","section":"§2.1"},{"comment":"The estimated width Γ(a→3π) ≈ 0.1 κ_u^2 m_a is quoted without derivation; a brief explanation or reference would help the reader assess the hadronic-candidate discussion.","section":"§3.2, Table 1"},{"comment":"The parameter scan is described but not shown. A plot or a table of the scanned ranges and the excluded region would make the result reproducible and would strengthen the claim that no viable two-scalar model exists.","section":"Appendix A"},{"comment":"The notation X0, with subscript both as a label and as a numerical factor, is a bit confusing. Consider a clearer notation such as X_π0π0 or a parenthetical definition.","section":"§4.2, Eq. (50)"},{"comment":"The reference to 'Coset Cosmology' [18] for an extra local minimum is not explained; a one-sentence clarification of the connection would be helpful.","section":"§4.2"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a strong phenomenological exclusion and should be published after minor revisions. The only substantive issue is the overstatement of the structural result as a 'no-go'; the authors should either prove the absence of counterterm cancellations or soften the language consistently. The self-citations (refs [6], [18]) are topical and not abusive. No concerns about novelty or fit with the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short take: this is a solid falsification of Murayama's GeV-scale axion and its simple extensions, with a new structural argument that goes beyond the known pion mass problem. The paper deserves a serious refereeing.\n\nThe genuinely new piece is the effective chiral theory in Sec. 4. By integrating out the heavy PQ scalar, they show that the PQ spurion generates a two-trace operator O_PQ1 that cannot be reduced to the ordinary quark mass term. This breaks the accidental isospin symmetry of the chiral Lagrangian, so even if you tune the pion masses back, the four-pion interactions are distorted at order one. That is a stronger obstruction than the mass splitting alone, and it holds across the models they scan. The extension to general PQ charges, the Kaplan-Manohar ambiguity discussion, and the light-axion fifth-force bound are useful additions; the loop calculation in App. B is a nice attempt to estimate the uncertainty systematically.\n\nSoft spots: the structural 'obstruction' is not a mathematically proven no-go. The tree-level matching coefficient C1 is fixed, but the argument that loop corrections cannot cancel the tree-level effect rests on an ordering assumption (one operator dominates), and the loop estimates in Sec. 3.5 and App. B are cutoff-dependent with no parametric suppression when kappa ~ 1. A sufficiently exotic UV completion could in principle generate compensating operators and restore the QCD chiral Lagrangian. The paper is honest about this — they say 'in practice excluded' rather than 'impossible' — and the scans in App. A are a finite exploration, not a proof over all operator space. So I would read the central claim as a strong naturalness exclusion, not a no-go theorem. That is still a valuable result, because Murayama's mechanism requires exactly the kind of tuning that the EFT obstruction makes difficult.\n\nThe fifth-force limit looks solid: the relation m_a^2 < m_sigma^2 < 3 m_a^2 follows from the mass matrix, and the existing constraints on scalar-nucleon couplings are applied correctly.\n\nFor whom: anyone working on axion models or the strong CP problem, and anyone interested in chiral effective theories with new spurions. The writing is clear, the tables and formulas are checkable, and the authors are candid about the limitations. I would send it to peer review; a good referee should push on the loop cancellation question and ask whether the structural obstruction can be formulated as an exact statement in a larger operator basis, but the current version is already a useful contribution.","headline":"Solid falsification of the GeV-scale QCD axion with a new structural EFT argument; the exclusion is strong but not a formal no-go.","tokens_in":18514,"tokens_out":3948,"would_cite":true,"duration_ms":41884,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A proposed GeV-scale QCD axion is excluded because it breaks the isospin symmetry of the chiral Lagrangian, producing pion masses and scatterings that disagree with precise measurements.","keywords":["QCD axion","Peccei-Quinn symmetry","chiral Lagrangian","isospin breaking","pion mass splitting","pion scattering","fifth force","strong CP problem"],"falsifier":"A precise measurement of the pion-pion scattering amplitude, at the level of a few percent or better, that agrees with the standard QCD chiral prediction (the Weinberg amplitude with Adler's zero) would falsify the paper's claim of order-one distortions. Alternatively, a lattice calculation of the pion mass splitting that excludes the O_PQ^1 contribution while reproducing the observed neutral-charged mass difference would also settle the matter.","tokens_in":17677,"feed_emoji":"⚛️","tokens_out":2026,"duration_ms":26180,"temperature":0.7,"pith_summary":"The paper argues that a recent proposal for a GeV-scale QCD axion, in which the up-quark mass is generated dynamically by the QCD chiral condensate and a new Peccei-Quinn scalar, fails. The central claim is that the new PQ spurion breaks the accidental isospin symmetry of the standard chiral Lagrangian, giving rise to a dominant higher-order operator that distorts both pion masses and pion scattering amplitudes. The authors test several extensions and intermediate limits, but find that the obstruction is structural: any theory of this class predicts order-one deviations in well-measured pion observables. In the opposite limit where the axion is light, a companion scalar is nearly massless and is excluded by fifth-force searches.","feed_headline":"GeV-scale QCD axion is ruled out by pion data","feed_subtitle":"A new PQ spurion breaks isospin in the chiral Lagrangian, distorting pion masses and scatterings beyond observed values.","key_machinery":"The central object is the PQ spurion I_PQ = diag(kappa_u n_u, kappa_d n_d, 0) and the chiral operator O_PQ^1 = tr[I_PQ† U] tr[I_PQ U†]. This operator has the same chiral transformation properties as the quark mass term but breaks isospin. Matching the full theory at tree level gives C1 = f_pi^4 B0^2/(4 m_phi^2), a coefficient much larger than the chiral-perturbation-theory expectation, so that O_PQ^1 contributes at leading order to pion masses and pion interactions. The operator is what carries the argument: it encodes both the pion mass distortion and the scattering-amplitude distortions, and it cannot be removed by the Kaplan-Manohar ambiguity or by loop corrections while keeping a single","core_discovery":"The paper establishes that the Murayama QCD-scale axion and its natural extensions are excluded by low-energy mesonic observables. Integrating out the heavy PQ scalar yields an effective chiral Lagrangian for mesons that contains a new spurion I_PQ, which transforms like a quark mass matrix under chiral symmetry but breaks the accidental SU(2) isospin of the leading-order QCD chiral Lagrangian. The dominant new operator, O_PQ^1 = tr[I_PQ† U] tr[I_PQ U†], replaces the standard quark-mass operator in its effect on pions. At quadratic order it produces a neutral-charged pion mass splitting of order unity, and at quartic order it changes pion scattering amplitudes from the Weinberg form by facto","pith_inferences":["The structural argument likely extends to any model where a spontaneously broken PQ symmetry is generated entirely by the QCD quark condensate: the same spurion logic would apply to any light quark with a PQ-charge-dependent mass, so the pion observables provide a robust filter.","The fifth-force constraint on the radial mode is a generic consequence of making the axion light by lowering the PQ scalar quartic; similar bounds would apply to any axion model where the PQ-breaking field's radial mode is kept light by the same tuning.","A testable extension would be a dedicated lattice computation of the coefficient C1 induced by the tree-level exchange of a heavy PQ scalar; a positive shift in pion-pion scattering constants of order unity would directly confirm the paper's claim.","The paper's operator analysis suggests that isospin restoration could be attempted by adding an SU(2) multiplet of PQ scalars, but the authors note the charged components would be excluded; a detailed collider phenomenology of such an extension remains an open question."],"forward_implications":["The specific GeV-scale axion model proposed by Murayama is excluded by currently measured pion masses and scattering amplitudes.","Any extension that preserves the QCD-condensate-triggered PQ breaking with quark-charged scalars must contain a spurion that breaks isospin, so the obstruction applies to the whole class, not just the minimal model.","The light invisible-axion limit of the same mechanism is also excluded because the radial scalar companion mediates a long-range force stronger than current fifth-force bounds allow.","The only viable way to realize this mechanism is to add an independent source of PQ breaking, recovering a DFSZ-like scenario where the axion is not dynamically tied to the QCD condensate.","If the model were viable, the pseudo-scalar component would be a candidate for the eta(1295) resonance, but the pion observables rule it out before such identification matters."],"fun_headline_variants":["Pion isospin breaking dooms GeV-scale axion","Axion theory fails isospin test","Murayama axion ruled out by pion splitting","Pion scatterings expose axion's isospin flaw","GeV axion excluded: pion data says no"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The exclusion relies on the tree-level matching of the heavy PQ scalar to the chiral operator O_PQ^1 with coefficient C1 = f_pi^4 B0^2/(4 m_phi^2), and on the absence of additional isospin-restoring operators generated by UV physics or large loop corrections that could bring pion interactions back to their QCD form.","fun_headline_variants_meta":{"raw":{"variants":["Pion isospin breaking dooms GeV-scale axion","Axion theory fails isospin test","Murayama axion ruled out by pion splitting","Pion scatterings expose axion's isospin flaw","GeV axion excluded: pion data says no"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000415,"raw_usage":{"total_tokens":1929,"prompt_tokens":646,"completion_tokens":1283,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":390,"completion_tokens_details":{"reasoning_tokens":1205}},"tokens_in":390,"tokens_out":1283,"duration_ms":11048,"temperature":1.0,"reasoning_tokens":1205,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T01:15:53.382959+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A precise measurement of the pion-pion scattering amplitude, at the level of a few percent or better, that agrees with the standard QCD chiral prediction (the Weinberg amplitude with Adler's zero) would falsify the paper's claim of order-one distortions. Alternatively, a lattice calculation of the pion mass splitting that excludes the O_PQ^1 contribution while reproducing the observed neutral-charged mass difference would also settle the matter.","supporting_citations":[],"review_version":1}