{"id":"e3d8f20c-bab5-409b-b613-1c2eaa22fd3a","arxiv_id":"2505.01422","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"In asymptotically safe gravity, the Weinberg operator is shown to be irrelevant, so Standard Model neutrinos cannot get masses without new fields; type-I seesaw scales are bounded from above.","lead":"This paper asks whether neutrino masses can arise in asymptotic safety, a proposed quantum theory of gravity. It finds the Standard Model alone cannot do it and that right-handed neutrino (seesaw) masses would be capped around 10^14 GeV.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-go rests on the sign and size of the gravitational term in Eq. (2); as printed, Eq. (2), the stated critical exponent, and Fig. 6 are mutually inconsistent, and that term is not derived in the paper.","rationale":"The central no-go claim in Sec. IV is logically valid conditional on Eq. (2): if beta_zeta is linear in zeta and the gravitational coefficient makes the linearized eigenvalue negative, then zeta* = 0 is the only fixed point and zeta is irrelevant, forcing zeta(M_Pl) = 0. The paper's own Sec. III defines positive theta as relevant via eigenvalues of -d(beta_i)/d(g_j). Plugging the printed Eq. (2) into that definition at the fixed-point values quoted in Sec. V (G* = 4.6, Lambda* = -6.8) gives theta_zeta = 1 - 17G/(18pi) approximately -0.38, which is irrelevant and matches the conclusion the paper wants. But the paper prints theta_zeta approximately -1 + 17G/(18pi) approximately +0.38, which by its own definition would make zeta relevant and invalidate the no-go. Fig. 6's caption describes the gravitational contribution as making the coupling relevant and needing to overwhelm the canonical term, which corresponds to the printed theta, not to the claimed conclusion. The computation of the 17G/(18pi) term is not shown; footnote 5 sends the reader to reference [105], 'To appear'; footnote 2 assumes away higher-order operators that could mix into beta_zeta at zeta = 0. Thus the single coefficient that carries the result is both unverified and inconsistently presented. The secondary Seesaw bound in Sec. V is algebraically straightforward once y_nu,upper is accepted, but y_nu,upper inherits the same truncation dependence through f_y in Eq. (7), so the same uncertainty percolates into the numerical bound. Because a single sign or factor error in Eq. (2) flips the headline result, the appropriate status is UNVERDICTED: this is not a rejection of the asymptotic-safety framework, but an inability to assess the paper's central claim as written until Eq. (2) is independently re-derived and the sign/convention inconsistency is resolved. The reader's weakest assumption correctly identified the beta-function coefficient as the load-bearing premise; this stress test sharpens that concern into a concrete internal inconsistency in the printed equations and figure caption. Credit is due where the paper is careful: the conditional logic from Eq. (2) to the no-go, the algebraic derivation of Eq. (9), and the explicit discussion of systematic uncertainties in Appendix A.3 are all sound in themselves, but none of them can rescue the conclusion if the underlying gravitational coefficient is wrong or misreported.","tokens_in":15799,"tokens_out":15382,"duration_ms":160656,"concrete_test":"Independently re-derive beta_zeta from the action in Appendix A, Eqs. (A2)-(A14), with the Litim regulator (A1) in Landau-DeWitt gauge, retaining the dependence of the gravitational threshold functions on both G and Lambda, and evaluate theta_zeta = -d(beta_zeta)/d(zeta) at the fixed point (G*, Lambda*) = (4.6, -6.8). If the eigenvalue is positive, or if Eq. (2) is recovered with the printed +17G/(18pi) coefficient while the stated theta is kept, the central no-go fails at the paper's own fixed point. As a cross-check, recompute Fig. 6 and report the threshold value of G at Lambda = -6.8: the text implies relevance only for G approximately 30 and larger, whereas the coefficient in Eq. (2) implies relevance for G greater than roughly 3.3; these two statements must be reconciled.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The paper's headline conclusion that the Weinberg operator must vanish hinges entirely on the sign and magnitude of the gravitational contribution to beta_zeta in Eq. (2), specifically the +17G/(18pi) zeta term and its interplay with the canonical term. This term is asserted as a new result, but its computation is not shown, no code is provided, and the surrounding text is internally inconsistent. With the paper's own convention in Sec. III, critical exponents are eigenvalues of -d(beta_i)/d(g_j), with positive theta meaning relevant. For a beta function beta_zeta = (-1 + 17G/(18pi)) zeta, the critical exponent is theta_zeta = 1 - 17G/(18pi), which at the fixed-point value G* = 4.6 used in Sec. V is negative (-0.38), i.e., irrelevant. The paper instead prints theta_zeta approximately -1 + 17G/(18pi) = +0.38, which by its own convention is relevant and would destroy the no-go. If the first term in Eq. (2) is not the conventional -zeta for a dimension-five operator, the equation itself fails to encode the claimed canonical suppression. Fig. 6 adds further tension: its caption states that the gravitational contribution is positive and 'the correct one to make the coupling relevant', and that relevance is achieved only for large G, with the lowest values around G approximately 30; it therefore does not demonstrate robustness at the quoted G* = 4.6. Footnote 5 explicitly defers the extended-truncation behavior to reference [105], 'To appear', and footnote 2 relies on the near-perturbative assumption to neglect higher-order interactions that could generate terms in beta_zeta independent of zeta. Thus the no-go is carried by a single untested coefficient whose sign, magnitude, and sign convention are exactly where the argument is least secure.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses three questions about neutrino mass generation in asymptotically safe quantum gravity. Using the functional RG with an Einstein-Hilbert truncation for gravity plus Standard Model (SM) fields, it claims: (i) the Weinberg operator coupling zeta has only the Gaussian fixed point zeta*=0 and is irrelevant there, so zeta(M_Pl)=0 and remains zero at all lower scales, implying that new degrees of freedom beyond the SM are necessary for neutrino masses; (ii) in the type-I seesaw, an upper bound on the right-handed neutrino mass m_R <= y_nu,upper^2 v_H^2/(2 m_2) exists, numerically about 6e13 GeV for m_2=1e-10 GeV; and (iii) pseudo-Dirac neutrinos can be accommodated. The central tool is the beta function (2) for zeta, which contains a new gravitational term, while the seesaw analysis uses beta functions for SM fermion Yukawas plus gravity with fixed-point inputs from earlier work.","tokens_in":16185,"tokens_out":5270,"duration_ms":51573,"significance":"If correct, the no-go result would be a substantive step: it would show that, within the asymptotic-safety paradigm, the SM plus gravity alone cannot produce neutrino masses and that the seesaw scale is bounded from above. The paper is clearly written, the logical chain from the stated beta functions to the conclusions is internally consistent, and the provision of an ancillary notebook for the seesaw beta functions and a gauge-parameter robustness check (Fig. 6) is commendable. However, the load-bearing gravitational term in Eq. (2) is not derived in the manuscript, and the printed critical exponent and the content of Fig. 6 are in tension with the paper's own conventions and with each other. The secondary bound also inherits truncation-dependent fixed-point inputs whose extended-truncation behavior is deferred to a 'To appear' reference. These issues leave the central claims insufficiently supported as the paper stands.","major_comments":[{"comment":"The critical exponent is misstated. With the convention of Sec. III, beta_zeta = (-1 + 17G/(18π) + ...) ζ implies θ_ζ = 1 - 17G/(18π), which at G*=4.6 is about -0.38 (irrelevant), not θ_ζ = -1 + 17G/(18π) ≈ +0.38 (relevant). As printed, the text's conclusion of irrelevance contradicts its own formula. This is more than a typographical slip, because the sign of the gravitational term determines the no-go: a positive coefficient in Eq. (2) counteracts the canonical suppression, whereas the prose states that 'gravity fluctuations also screen the coupling.' The reader cannot determine which sign the actual calculation produced.","section":"§IV, Eq. (2) and following paragraph"},{"comment":"The gravitational contribution 17G/(18π) ζ is asserted as a new result, but no derivation is shown in the text or the appendix, and no ancillary notebook is provided for this beta function (in contrast to the seesaw beta functions). Since the entire no-go result rests on this coefficient, the calculation must be presented in a reproducible way or a detailed reference must be supplied.","section":"§IV, Eq. (2)"},{"comment":"The robustness check does not support the claim as presented. The caption states that the gravitational contribution is positive and 'the correct one to make the coupling relevant,' and that relevance is achieved only for very large G, with the lowest values around G≈30. The fixed-point value used in Sec. V is G*=4.6, far below that range. Thus Fig. 6 highlights the sensitivity of the central premise to truncation rather than demonstrating robustness; the deferral in footnote 5 to reference [105] ('To appear') confirms that extended-truncation behavior is not settled.","section":"Appendix A, Fig. 6 and footnote 5"},{"comment":"The seesaw upper bound inherits the truncation-dependent fixed-point values G*=4.6 and Λ*=-6.8 from prior work, and the paper itself states in footnote 5 that in extended truncations the physics generating the relevant direction 'may be encoded in other ways [105].' Without that reference, the existence of the bound cannot be assessed beyond the present truncation. Since the quantitative claim in Eq. (10) is a headline result, the derivation of f_y and of the upper bound on y_nu should be shown in the text or the ancillary notebook, and the truncation dependence should be stated as a caveat in the main conclusions.","section":"§V, Eqs. (7)-(8) and footnote 5"}],"minor_comments":[{"comment":"The abstract quotes a numerical bound of 10^14 GeV, while Eq. (10) gives approximately 6×10^13 GeV; the order-of-magnitude rounding should be stated consistently.","section":"Abstract and §V, Eq. (10)"},{"comment":"The gauge-parameter robustness estimate for m_R is described as using the fixed-point value of y_nu as the initial condition at the Planck scale and neglecting transplanckian running, whereas the main bound in Eq. (10) uses y_nu(k=mt)<0.45. The relation between these two estimates should be clarified.","section":"§V, Fig. 5 caption"},{"comment":"The normalization of the gauge coupling g_2 is not defined. In the action (A8) the gauge kinetic term is written as 1/(4 g_2^2) F^2, while the beta function (2) uses a conventional 3/(16π^2) g_2^2 term; specifying the convention would help the reader reproduce the non-gravitational part.","section":"§V, text near Eq. (6)"},{"comment":"The phrase 'first unequivocal evidence' is stronger than warranted given the truncation dependencies identified above; a more cautious formulation would better match the evidence presented.","section":"§VII, Conclusions"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses an interesting and timely question, and the algebraic derivation of the seesaw bound from the seesaw relation is clean. The central problem is that the no-go result rests on a single gravitational coefficient in Eq. (2) that is not derived, whose printed critical-exponent formula is internally inconsistent, and for which the accompanying robustness figure actually shows relevance only for large G. The authors should be asked to provide the derivation of Eq. (2), correct the sign/convention inconsistency, and reconcile Fig. 6 with the claimed robustness. The seesaw bound is more defensible but still depends on truncation-dependent inputs; the deferral to [105] 'To appear' should be removed or the relevant calculation included. With those changes the paper could be suitable for publication, but in its current form the main claim is not sufficiently supported."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the one-line version: whether asymptotically safe gravity forces new neutrino physics depends on a genuinely new beta-function result that the paper does not actually show you.\n\nThe paper asks the right question -- can the Weinberg operator be generated by quantum gravity alone? -- and gives a clear answer: no, in their truncation the coupling is driven to zero at the fixed point, so SM+gravity cannot give neutrinos mass. The type-I seesaw section then turns the previously known upper bound on the neutrino Yukawa coupling into an explicit upper bound on the right-handed mass, roughly 6e13 GeV for a 0.1 eV neutrino. That's a simple rearrangement, but it is useful and gives an experimental anchor. The pseudo-Dirac section is fine but mostly follows from the freedom in the Majorana mass.\n\nWhat's genuinely good: the paper is honest about truncation uncertainties, tests gauge-parameter dependence of the Weinberg result, provides the beta-function notebook for the seesaw sector, and does not overclaim the precision of the seesaw bound. The no-go result, if it holds up, is significant because it forces BSM matter in an otherwise economical setting.\n\nThe soft spots are real. First, Eq. (2) is the load-bearing piece for the no-go, and the gravitational contribution +17G/(18pi)zeta is asserted as new without derivation. For a claim this strong, a reader needs to see the computation, not just the result. Second, the printed critical exponent is inconsistent with the paper's own definition. With the quoted beta function, theta_zeta should be negative (irrelevant) for G* = 4.6; the text prints a positive value. That looks like a sign typo, but a referee cannot verify the argument as it stands. Third, the robustness of the no-go in extended truncations is deferred to [105], 'To appear.' That is legitimate if the companion paper exists, but it temporarily leaves the central claim on an unpublished reference. The seesaw bound is on firmer ground; its systematic uncertainty is honestly charted in Fig. 1.\n\nThere is no fatal internal contradiction in the main logic once the sign typo is corrected. The paper deserves a serious referee, but publication should wait until the beta-function derivation is supplied and the sign mismatch is fixed. This is a paper for people in asymptotic-safety phenomenology and BSM model building; for them it is worth engaging with. I would not desk reject it.","headline":"A clear, significant no-go for the Weinberg operator in asymptotically safe gravity, but the central beta-function calculation is not shown and the printed critical exponent has a sign inconsistency; the seesaw bound is a useful corollary.","tokens_in":16770,"tokens_out":7968,"would_cite":true,"duration_ms":82369,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.60.-m","14.60.Pq","11.10.Hi"],"model":"deepseek-v4-flash","headline":"In asymptotically safe gravity, the Standard Model plus gravity cannot give neutrinos a mass: the Weinberg operator's coupling is forced to zero at all scales, so new degrees of freedom are required.","keywords":["asymptotically safe gravity","neutrino mass","Weinberg operator","type-I seesaw","pseudo-Dirac neutrino","renormalization group","functional renormalization group","swampland"],"falsifier":"Compute the critical exponent $\\theta_\\zeta$ at the interacting gravitational fixed point in an extended truncation, for example including higher-derivative gravity operators or a momentum-dependent gravity-matter vertex. If $\\theta_\\zeta>0$ at the fixed point, then $\\zeta$ is relevant and a non-zero low-energy Weinberg operator can result, directly refuting the paper's central claim; the same check applies to $f_y$, where a vanishing or sign-flipped gravitational coefficient would remove the seesaw upper bound.","tokens_in":15627,"feed_emoji":"⚛️","tokens_out":13361,"duration_ms":127640,"temperature":0.7,"pith_summary":"Neutrinos are known to have mass, but the mechanism remains unknown. This paper asks which mechanisms can survive inside asymptotically safe quantum gravity, the proposal that gravity and matter are defined by an interacting fixed point at trans-Planckian energies. Its central answer is a negative one for the most economical option: the Weinberg operator, a dimension-five interaction built from Standard Model fields only, cannot generate neutrino masses there, because its coupling must sit exactly at zero at the Planck scale and stay zero. New degrees of freedom beyond the Standard Model are therefore required. The paper also derives an upper bound on the type-I seesaw scale, about $6\\times10^{13}$ GeV for a $10^{-10}$ GeV visible neutrino, and shows that pseudo-Dirac neutrinos remain a viable option.","feed_headline":"Asymptotically safe gravity rules out SM-only neutrino mass","feed_subtitle":"A new calculation finds the Weinberg operator must vanish and caps the seesaw scale near 10^14 GeV.","key_machinery":"The machinery is the functional renormalization group, an exact RG flow equation for the effective action with an infrared cutoff scale $k$, used to compute $\\beta$ functions and fixed points for the coupled gravity-matter system. The load-bearing object is the $\\beta$ function for the Weinberg coupling, whose gravitational term $\\frac{17}{18\\pi}G\\zeta$ screens the coupling and keeps the critical exponent $\\theta_\\zeta=-1+\\frac{17}{18\\pi}G$ negative at the fixed point. The seesaw bound is carried by the gravitational contribution $f_y$ inside the neutrino Yukawa $\\beta$ function, which generates the upper bound on $y_\\nu$.","core_discovery":"The paper's central claim is that the dimensionless coupling $\\zeta$ of the Weinberg operator obeys a $\\beta$ function that is linear in $\\zeta$ and contains a gravitational contribution $\\frac{17}{18\\pi}G\\zeta$, so the only fixed point is $\\zeta_*=0$, with critical exponent $\\theta_\\zeta=-1+\\frac{17}{18\\pi}G$. At the near-perturbative gravitational fixed point this exponent is negative, so $\\zeta$ is irrelevant and cannot move away from zero; since $\\zeta=0$ preserves lepton number, the coupling stays zero at every lower scale. As a consequence, the Weinberg operator cannot give neutrinos mass in asymptotic safety. For the type-I seesaw, the same machinery gives $m_R \\lesssim y_{\\nu,\\mathrm{upper}}^2 v_H^2/(2m_2)$, numerically about $6\\times10^{13}$ GeV for $m_2=10^{-10}$ GeV, and if the seesaw scale is taken at the Planck scale the visible neutrino mass is bounded by about $10^{-15}$ GeV. Pseudo-Dirac neutrinos, with $m_R \\sim 10^{-2} m_D$, are realized by explicit RG trajectories.","pith_inferences":["A sharp way to test the paper's central no-go is to compute the same critical exponent in an extended truncation: if higher-derivative gravity or a momentum-dependent coupling changes the coefficient of $G$ so that $\\theta_\\zeta$ becomes positive at the fixed point, the Weinberg operator becomes relevant and the main conclusion reverses; the paper's own Fig. 6 indicates this would require unusuall","The same functional-RG machinery could be applied to other higher-dimensional operators, for example proton-decay operators or dimension-six four-fermion operators, to map out which SMEFT directions asymptotic safety leaves open and which it forces to vanish.","If the no-go survives, asymptotic safety becomes empirically distinguishable from other quantum-gravity approaches: a purely Weinberg-operator origin of neutrino mass would count against it, whereas a seesaw origin at the predicted scale would support it.","Combining the new upper bound with the standard leptogenesis lower bound, $m_R\\gtrsim10^8$-$10^9$ GeV, leaves a finite but narrow window for thermal-leptogenesis seesaw models; the paper notes the leptogenesis range can be accommodated but does not perform this combined constraint analysis."],"forward_implications":["If the central claim is correct, any asymptotically safe theory of the Standard Model plus gravity must include new degrees of freedom beyond the Standard Model to reproduce observed neutrino oscillations.","The Weinberg operator is predicted to be exactly zero at all scales, so lepton-number-violating processes generated purely by it, such as neutrinoless double-beta decay mediated by the Weinberg operator, are absent.","Type-I seesaw models remain viable only with $m_R$ below the quantum-gravity upper bound, for example $\\lesssim6\\times10^{13}$ GeV for $m_2=10^{-10}$ GeV; heavier right-handed neutrinos lie in the asymptotic-safety swampland.","If one insists on a natural seesaw scale near the Planck mass, the model predicts an upper bound on the visible neutrino mass of about $10^{-15}$ GeV, which future cosmological and laboratory bounds could confront.","Pseudo-Dirac neutrinos, with a tiny Majorana mass splitting, sit in the asymptotically safe landscape, so searches for active-sterile oscillations can probe this scenario."],"supporting_citations":[{"why":"Defines the dimension-five Weinberg operator, the central object whose coupling the paper proves must vanish.","marker":"[69]"},{"why":"Supplies the Standard-Model part of the Weinberg-operator beta function, which the paper extends with the gravitational term.","marker":"[74]"},{"why":"Established the tiny-neutrino-Yukawa mechanism and beta functions that the paper confirms and extends to nonvanishing Majorana mass.","marker":"[34]"},{"why":"Provides gravitational fixed-point input and the $f_y$ coefficient behind the upper bound on the neutrino Yukawa coupling.","marker":"[51]"},{"why":"Derives the general upper bounds on SM Yukawa couplings from asymptotic safety that underpin the seesaw bound.","marker":"[67]"},{"why":"Yields the fixed-point values $G_*=4.6$, $\\Lambda_*=-6.8$ used in the numerical bound $m_R \\lesssim 6\\times10^{13}$ GeV.","marker":"[101]"},{"why":"Quantifies the regulator and scheme dependence of the gravitational fixed-point values used to set the uncertainty band.","marker":"[104]"}],"fun_headline_variants":["Gravity kills the Weinberg operator for neutrino mass","Quantum gravity caps seesaw scale at 10^14 GeV","Pseudo-Dirac neutrinos survive asymptotic safety","Gravity forces new particles for neutrino mass"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the gravitational contribution to the Weinberg-operator $\\beta$ function, $\\frac{17}{18\\pi}G$, has the size and sign found in the paper's truncation; if an extended truncation turned the critical exponent $\\theta_\\zeta=-1+\\frac{17}{18\\pi}G$ positive, the operator could be nonvanishing and the no-go would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Gravity kills the Weinberg operator for neutrino mass","Quantum gravity caps seesaw scale at 10^14 GeV","Pseudo-Dirac neutrinos survive asymptotic safety","Gravity forces new particles for neutrino mass"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000654,"raw_usage":{"total_tokens":3044,"prompt_tokens":1042,"completion_tokens":2002,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":658,"completion_tokens_details":{"reasoning_tokens":1939}},"tokens_in":658,"tokens_out":2002,"duration_ms":13792,"temperature":1.0,"reasoning_tokens":1939,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:19:18.957672+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the critical exponent $\\theta_\\zeta$ at the interacting gravitational fixed point in an extended truncation, for example including higher-derivative gravity operators or a momentum-dependent gravity-matter vertex. If $\\theta_\\zeta>0$ at the fixed point, then $\\zeta$ is relevant and a non-zero low-energy Weinberg operator can result, directly refuting the paper's central claim; the same check applies to $f_y$, where a vanishing or sign-flipped gravitational coefficient would remove the seesaw upper bound.","supporting_citations":[],"review_version":1}