{"id":"1bafdc2f-050b-49f7-abaa-3f2da9322d64","arxiv_id":"2608.01897","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"In this chiral U(1)_{B-L} axion model, demanding high axion quality forces a minimal axion-electron coupling that can exceed standard KSVZ-model predictions.","lead":"This paper derives a new lower bound, called a 'quality floor', on the coupling of the QCD axion to electrons in a specific axion model protected by a chiral U(1)_{B-L} gauge symmetry. If correct, it connects a theoretical naturalness problem (axion quality) to an observable quantity, with axion experiments as the test.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The numerical 'quality floor' in Fig. 2 rests on Eq. (23), a loop formula stated without derivation and used outside its assumed hierarchy v > m_B; the quantitative central claim is not yet established.","rationale":"The reader's verdict is CONDITIONAL, and we agree with that outcome. Our stress-test identifies the same weak point as the reader's rationale (Eq. (23)) rather than the O_a dominance assumption listed in the reader's weakest_assumption field. The O_a/c_a assumption is a standard, acknowledged limitation in axion-quality models; the derivation of Eq. (23) is a more acute technical gap because it directly affects the numerical floor in Fig. 2 and its domain of validity can be checked immediately. The typo in Eq. (17) is cosmetic and does not change the final bounds (18)-(19). The proposed test would either validate Eq. (23) or force its replacement; in either case the conceptual relation between quality and C_B-L stands, but the quantitative floor needs revision. Therefore the reader's CONDITIONAL verdict is appropriate and unchanged.","tokens_in":12608,"tokens_out":26058,"duration_ms":205097,"concrete_test":"Independently compute the a -> f fbar amplitude from Eq. (21) by one-loop matching with the full massive-B propagator, dropping the v > m_B assumption, for representative points of Fig. 2 (e.g., m=6, n=11, F_a=10^12 GeV, α_B-L=0.07 and 0.005). If the resulting |g_aee| is not equal to |(3α_B-L^2/4π^2) q_f^2 (m_f/F_a) C_B-L log(v/m_B)| with v=sqrt(m^2+n^2)F_a and m_B=g_B-L(m^2+n^2)F_a, then Eq. (23) is invalid and the quality floor must be recomputed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the 'quality floor': a lower bound on |g_aee| set by the axion-quality requirement. The chain from quality to the anomaly coefficient C_B-L is basically sound (the final bounds (18)-(19) are correct, although Eq. (17) contains a typo: the correct identities are C_B-L = (m n^2+3B)/(4m) = (n m^2+3A)/(4n)). The unproven step is Eq. (23), stated without derivation; the appendix computes only the a-B-B~ anomaly, not the radiatively induced a-f-f coupling. Moreover, its stated EFT assumption v_1 = v_2 > m_B > m_f is not satisfied in the plotted region. With v_1=v_2=v, Eq. (7) gives v = sqrt(m^2+n^2) F_a, while m_B = g_B-L sqrt(m^2+n^2) v = g_B-L (m^2+n^2) F_a. Thus v/m_B = 1/(g_B-L sqrt(m^2+n^2)). For m=6 and the plotted α_B-L ≥ 0.005 (g_B-L ≥ 0.25), even n=1 gives v/m_B ≈ 0.66 < 1; for n ≥ 5 the ratio is even smaller. Therefore log(v/m_B) in Eq. (23) is never positive in Fig. 2, and the approximation is used outside its domain. If the actual one-loop result differs, including the sign and size of the logarithmic term, the blue-shaded floor changes. The paper also notes possible cancellation with the electromagnetic term but does not include it in the floor, further weakening the 'minimal coupling' interpretation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a chiral U(1)_{B-L} gauge extension with two Higgs-like scalars and N chiral quark pairs, in which the QCD axion is an accidental pseudo-Nambu-Goldstone boson. It derives lower bounds on the U(1)_{B-L} anomaly coefficient C_{B-L} from the requirement delta_theta < 10^{-10} (Eqs. 16-20), and then argues that this 'quality floor' radiatively induces a lower bound on the axion-electron coupling |g_aee| (Eq. 23), thereby extending the visible parameter space of QCD axions beyond the KSVZ-like band. The paper also provides an explicit charge assignment at n=11, m=6 and compares the resulting couplings with red-giant bounds in Fig. 2.","tokens_in":1334,"tokens_out":1711,"duration_ms":95778,"significance":"If the derivation of Eq. (23) holds, the proposed relation between axion quality and IR axion-fermion couplings is interesting and potentially testable. The algebraic lower bounds on C_{B-L} in Eqs. (18)-(19) are carefully derived from the cubic anomaly condition (16), and the explicit charge assignment at n=11, m=6 indeed satisfies that condition. The paper also makes a good conceptual point that embedding the accidental PQ symmetry in a gauge symmetry removes the PQ charge ambiguity, so the anomaly coefficient is fixed by the UV charge assignments. The central numerical claim, however, currently rests on an unproven loop formula that is used outside its stated regime of validity.","major_comments":[{"comment":"The central formula for the induced axion-fermion coupling, Eq. (23), is presented without derivation or a specific reference. The appendix computes only the anomaly a-B-B~ and the matching to Eq. (12), not the radiative generation of g_aff from two B exchanges. Since Fig. 2 and the 'quality floor' are quantitative outputs of the paper, this missing step is load-bearing. The author should either provide the one-loop matching calculation that leads to Eq. (23) or cite a paper that contains it, and state the exact matching conditions and sign convention.","section":"IV, Eq. (23)"},{"comment":"The stated validity condition v1=v2>mB>mf is not satisfied in the plotted region. From Eq. (7) and the definition of mB one obtains v/mB = 1/(g_{B-L} sqrt(m^2+n^2)). For m=6 and the smallest plotted alpha_{B-L}=0.005 (g about 0.25), this ratio is about 0.65 for n=1 and 0.32 for n=11; for all n shown and all plotted alpha_{B-L}>=0.005 the logarithm log(v/mB) is negative. Therefore Eq. (23) is used outside its domain, and the magnitude and sign of the logarithmic term that determines the blue-shaded floor are not controlled by the stated formula.","section":"IV, Eq. (23) and Fig. 2"},{"comment":"The 'minimal coupling' claim is not rigorous because of the acknowledged possible cancellation between the B-L induced term and the model-independent electromagnetic term of Eq. (24). Since the sign of g^(B-L)_aff depends on conventions and threshold corrections, |g_aee| can be smaller than the plotted floor for suitable parameters. The paper should either include the electromagnetic contribution with a definite sign convention and show whether the cancellation can occur, or state explicitly that the floor bounds only the B-L component of the coupling rather than the total |g_aee|.","section":"IV, Eqs. (23)-(24)"},{"comment":"The quality bound Eq. (20) assumes that O_a in Eq. (9) is the dominant PQ-breaking operator with a Wilson coefficient c_a of order one and that all higher-order terms can be neglected. This is standard in the axion quality literature but is an assumption: if c_a were suppressed by a discrete symmetry, the required n would be smaller and the quality floor would be proportionally weaker. The paper should state this parametric uncertainty explicitly in the discussion of Fig. 2 and in the summary.","section":"II, Eqs. (9)-(10) and (20)"}],"minor_comments":[{"comment":"The notation v_i = sqrt(m^2+n^2) F_a is confusing because v_i elsewhere denotes the scalar VEVs; using a single symbol v for the common VEV would make the hierarchy condition and the ratio v/mB clearer.","section":"IV, Eq. (23)"},{"comment":"The equality of the two expressions for C_{B-L} in Eq. (17) follows from the cubic condition Eq. (16); stating this explicitly would help the reader follow the derivation of the lower bounds.","section":"III, Eq. (17)"},{"comment":"The caption says the blue-shaded region denotes couplings allowed by the quality requirement, but the boundaries depend on the choice of alpha_{B-L}; clarifying that the boundaries are illustrative choices and that interior points are not all guaranteed to be realizable would improve the figure.","section":"IV, Fig. 2 caption"},{"comment":"The terms 'gauged Majoron' and 'feeton' are used without definition in Section V; a brief definition or reference in the text would help non-specialist readers.","section":"V"}],"recommendation":"major_revision","confidential_remarks":"The main quantitative claim (the quality floor) depends on Eq. (23), which is currently stated without derivation and is used in a regime where the stated hierarchy v>mB fails. I believe this is fixable within the scope of the paper by supplying the one-loop matching calculation and recomputing Fig. 2 with a defensible formula, so I recommend major revision rather than rejection. The reliance on the author's own framework [28] is not inappropriate, but an independent check of Eq. (23) would substantially strengthen the paper. The topic and approach fit a hep-ph journal such as PRD."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the quality floor: in this chiral U(1)_{B-L} extension of the QWY framework, asking for δθ < 10^-10 forces a large anomaly coefficient C_{B-L}, which in turn induces a minimal axion-electron coupling. The algebraic derivation of the lower bound on C_{B-L} (Eqs. 16–19) is sound, and the explicit n=11, m=6 charge assignment satisfies the cubic anomaly condition. That part is careful and worth keeping.\n\nThe soft spot is the quantitative floor. Eq. (23), the loop-induced g_aee, is stated without derivation; the appendix computes only the a-B-B̃ anomaly, not the a-f-f coupling. Worse, the stated EFT hierarchy v > m_B is not satisfied in the plotted region. With v1=v2=v, v/m_B = 1/(g_B-L √(m^2+n^2)); for m=6 and the plotted α_B-L ≥ 0.005 this ratio is below 1 for all n. The log(v/m_B) in Eq. (23) is then not positive, and the approximation is used outside its domain. The paper also mentions possible cancellation with the electromagnetic term but excludes it from the floor, so the \"minimal\" coupling is really only the B-L piece. There is also a typo in Eq. (17): the correct identities are C_{B-L} = (n m^2+3A)/(4n) = (m n^2+3B)/(4m). The final bounds are correct, so this is a presentation slip, but it should be fixed.\n\nWhat the paper does well: it clearly connects axion quality to IR-observable couplings, extends the parameter space for QCD axions, and is explicit about its simplifying assumptions (c_a ~ O(1), higher-order terms neglected, v1=v2, m=6). The conceptual point is defensible even if the numerical floor is not yet established.\n\nWho is this for? People working on axion quality and B-L gauge extensions. It deserves a serious referee, but the referee should request a real derivation of the loop factor (or a valid EFT treatment) and a plot that respects the hierarchy. With that fixed, the paper would be a solid contribution.","headline":"A genuinely new quality-coupling relation in a chiral U(1)_{B-L} axion model, but the quantitative floor rests on an underived loop formula used outside its stated regime.","tokens_in":13527,"tokens_out":6668,"would_cite":false,"duration_ms":54268,"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 gauged chiral U(1)_{B-L} symmetry can protect the QCD axion's quality, but the same protection forces a minimal 'quality floor' on the axion-electron coupling, making axion quality testable.","keywords":["QCD axion","axion quality problem","U(1)_{B-L} gauge symmetry","chiral gauge theory","accidental PQ symmetry","axion-electron coupling","gauged Majoron","strong CP problem"],"falsifier":"A search over integer solutions of the cubic anomaly equation (16) for $m=6$, $n=11$ at $F_a=10^{12}$ GeV that satisfies the no-cross Yukawa condition and gives $C_{B-L}<33$ would disprove the claimed lower bound; alternatively, observing a QCD axion at that scale with an electron coupling below the quality floor shown in Fig. 2 would rule out this model.","tokens_in":12348,"feed_emoji":"⚛️","tokens_out":14638,"duration_ms":117262,"temperature":0.7,"pith_summary":"This paper argues that protecting the QCD axion's quality with a gauged chiral $U(1)_{B-L}$ symmetry has a concrete, testable consequence. Two complex scalars break the gauge symmetry through their vacuum expectation values; one phase combination is eaten by the $B-L$ gauge boson, and the orthogonal combination becomes the QCD axion. Requiring the axion-induced $\\bar{\\theta}$ shift to stay below $10^{-10}$ forces a large number of heavy chiral quarks, and anomaly cancellation then forces the anomaly coefficient $C_{B-L}$ between the axion and the $B-L$ gauge field to be large. Through a one-loop process with the massive $B-L$ gauge boson, this large coefficient generates an axion-electron coupling, so the same requirement that makes the axion high-quality sets a lower bound, the 'quality floor', on $|g_{aee}|$. The author concludes that axion quality is not merely a theoretical condition: for a given axion mass, the model predicts a minimal electron coupling that experiments can search for.","feed_headline":"High axion quality forces a coupling floor","feed_subtitle":"Quality protection becomes a lower bound on the axion-electron coupling that experiments can chase.","key_machinery":"The argument is carried by three linked pieces. First, the accidental PQ symmetry is the phase direction left over after the $U(1)_{B-L}$ gauge boson eats one combination of the two scalar phases; its anomaly with QCD solves the strong CP problem, and its decay constant $F_a$ follows from the scalar VEVs and charges. Second, the cubic anomaly-cancellation equation, with sums $A$ and $B$ of squared heavy-quark charges, converts the need for large $m,n$ into the lower bound on the anomaly coefficient $C_{B-L}$. Third, the one-loop triangle diagram with a massive $B-L$ gauge boson turns $C_{B-L}$ into the induced axion-fermion coupling of Eq. (23). The 'quality floor' is the composition: quality forces large $n$, which forces large $C_{B-L}$, which forces large induced $|g_{aee}|$.","core_discovery":"The paper's central claim is a quantitative quality-coupling relation: high axion quality implies a large anomalous coupling between the axion and the $U(1)_{B-L}$ gauge boson, and that coupling induces an axion-fermion interaction with a calculable lower bound. Under the charge assignment $q_1=m=l$, $-q_2=n=k$ with equal scalar VEVs, the cubic anomaly-cancellation condition reduces to $3mA-3nB = nm(m^2-n^2)$, and non-negativity of the sums $A,B$ of squared heavy-quark charges gives $C_{B-L}\\ge \\max(n^2/4,(m^2+3)/4)$ (or the $n\\leftrightarrow m$ variant). The loop computation yields $g_{aee}^{(B-L)}\\simeq (3\\alpha_{B-L}^2/(4\\pi^2))\\,q_f^2 (m_f/F_a) C_{B-L}\\log(v/m_B)$. Because the quality requirement $\\delta\\bar{\\theta}<10^{-10}$ forces $n$ large, this induced coupling has a floor that can exceed the model-independent QCD contribution, extending the observable parameter space of invisible QCD axions and tying low-energy couplings to the UV charge assignments of the heavy chiral quarks.","pith_inferences":["The same floor mechanism should appear in any gauge-protected accidental-PQ model in which quality forces a large anomaly coefficient, so the $U(1)_{B-L}$ example is likely one member of a broader family of quality-coupling relations.","Because the floor scales with the unknown order-one Wilson coefficient of the leading PQ-breaking operator, a null search cannot falsify the quality idea itself; it only rules out the order-one-coefficient version, so reporting bounds at several assumed quality thresholds would make the comparison sharper.","The logarithmic dependence of the induced coupling on $v/m_B$ suggests that raising the floor further is possible by changing the $B-L$ gauge-boson mass, connecting axion searches to direct searches for the $B-L$ gauge boson."],"forward_implications":["At a given axion decay constant, the model predicts a definite minimum axion-electron coupling; a discovered QCD axion with $|g_{aee}|$ below that floor would be inconsistent with this chiral $U(1)_{B-L}$ quality mechanism.","The allowed parameter space for invisible QCD axions widens beyond the conventional narrow coupling band, with larger $|g_{aee}|$ values that laboratory and astrophysical searches, including red-giant constraints, can probe.","The UV choice of heavy-quark $U(1)_{B-L}$ charges controls how far $C_{B-L}$ sits above its floor, so precise measurements of axion couplings would provide indirect information about the high-energy spectrum.","In the dark-matter limit where $\\alpha_{B-L}$ is very small, the induced $B-L$ contribution falls below the QCD contribution, but the floor logic still applies and can be combined with dark-matter searches."],"supporting_citations":[{"why":"Sets the neutron electric-dipole-moment limit $\\delta\\bar{\\theta}<10^{-10}$ that defines what counts as good axion quality throughout the paper.","marker":"[1, 2]"},{"why":"Supplies the chiral $U(1)$ gauge construction with two scalars, the ratio relation $-q_1/q_2 = l/k = m/n$, and the domain-wall-number relation that the quality-floor argument extends.","marker":"[28]"},{"why":"Provides the general solution to the $U(1)$ anomaly equations used to find explicit integer heavy-quark charge assignments that satisfy the cubic cancellation condition.","marker":"[64]"},{"why":"Supplies the QCD inputs ($m_\\pi$, $f_\\pi$, $z$, and $C_{a\\gamma}^{\\mathrm{QCD}}$) that enter the quality condition and the model-independent electromagnetic axion-electron contribution.","marker":"[66]"},{"why":"Derives the model-independent electromagnetic contribution to the axion-lepton coupling, the baseline against which the induced $B-L$ contribution is compared.","marker":"[67–69]"},{"why":"Supplies the red-giant bound used to mark the observationally excluded region in the axion-electron coupling plot.","marker":"[70]"}],"fun_headline_variants":["Axion quality dictates a coupling floor","High-quality axions get a testable coupling floor","Quality protection sets an axion coupling minimum","Chiral B-L axion ties quality to fermion coupling","Axion quality floor extends parameter space"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the leading symmetry-breaking operator in Eq. (9) dominates all others with an order-one Wilson coefficient, so that the quality condition in Eq. (20) fixes the required number of heavy quarks; if that coefficient were much smaller, fewer quarks would be needed and the coupling floor would drop.","fun_headline_variants_meta":{"raw":{"variants":["Axion quality dictates a coupling floor","High-quality axions get a testable coupling floor","Quality protection sets an axion coupling minimum","Chiral B-L axion ties quality to fermion coupling","Axion quality floor extends parameter space"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000442,"raw_usage":{"total_tokens":2245,"prompt_tokens":958,"completion_tokens":1287,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":574,"completion_tokens_details":{"reasoning_tokens":1217}},"tokens_in":574,"tokens_out":1287,"duration_ms":9558,"temperature":1.0,"reasoning_tokens":1217,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:06:02.141546+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A search over integer solutions of the cubic anomaly equation (16) for $m=6$, $n=11$ at $F_a=10^{12}$ GeV that satisfies the no-cross Yukawa condition and gives $C_{B-L}<33$ would disprove the claimed lower bound; alternatively, observing a QCD axion at that scale with an electron coupling below the quality floor shown in Fig. 2 would rule out this model.","supporting_citations":[],"review_version":2}