{"id":"4a726496-7b81-405c-a5bf-2284fc35c108","arxiv_id":"2509.10786","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The sigma-mass, obtained by subtracting the trace-anomaly contribution from the pole mass, is free of the leading infrared renormalon, with its relation to the pole mass now known to five loops.","lead":"Heavy quark masses carry a built-in ambiguity from infrared renormalons; this paper shows the ambiguity sits entirely in the trace-anomaly piece of the pole mass. Subtracting that piece gives a cleaner 'sigma-mass', and the paper provides five-loop conversion formulas plus updated top and bottom masses.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central renormalon-freedom claim rests on the companion-paper operator identity (1)-(2), unproved here; a wavefunction-renormalization factor or gauge remainder would rescale the leading renormalon and break the subtraction.","rationale":"The reader's CONDITIONAL verdict is appropriate. The RG derivation leading to eqs. (14) and (17) is internally consistent, and the one-loop coefficient of m_σ/m_os is reproduced by the formula, which gives independent support to the algebra. The linear-μ property of the leading renormalon is referenced to established literature and is not the weak point. The genuinely load-bearing premise is the operator identity (1)-(2), which is imported from a companion paper without proof. My concern sharpens this: a possible wavefunction-renormalization normalization mismatch between eqs. (1), (4), and (6), and a possible gauge-dependent remainder in the on-shell limit, are exactly the places where the identity could fail in a way that rescales or contaminates the leading renormalon residue. Either failure would invalidate eq. (10) and hence the claimed renormalon freedom of m_σ. Since this is the same assumption the reader identified, and no new fatal flaw was found, the verdict should remain CONDITIONAL: the result is well-constructed and likely correct, but should not be treated as established until the companion identity is independently verified or proved in this framework.","tokens_in":10840,"tokens_out":28435,"duration_ms":246412,"concrete_test":"Perform an explicit one-loop check of eq. (2) in DR with a general covariant gauge ξ and off-shell p: compute the l.h.s. (amputated two-point function with insertion of 2ϵ[-F^2/4 - (∂A)^2/(2ξ)]_B) and the r.h.s. \\hatμ∂Σ_B/∂\\hatμ, verify the identity before and after the on-shell projection, and verify that the on-shell result equals \\hatμ∂m_os/∂\\hatμ = (2/π)α_s m_os (at μ=m_os, one loop) with no extra Z_ψ^{±1} factor or ξ-dependent remainder. If the check fails, eq. (10) and the m_σ construction are falsified; if it passes, the companion identity is supported at the first nontrivial order.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central conclusion—that the trace-anomaly contribution carries exactly the leading renormalon of m_os—depends on the equality between the on-shell amputated matrix element of 2ϵ F^2_B and \\hatμ ∂Σ_B/∂\\hatμ at /p=m_os (eqs. (1)-(2)), taken verbatim from the companion paper [18]. This text provides no proof or independent check of that identity. Two concrete failure modes are visible. First, eq. (1) is stated for the bare amputated matrix element, while the derivation of eq. (6) starts from a renormalized matrix element with an explicit factor Z_ψ (eq. (4)); if the correct LSZ/amputation factor is Z_ψ^{-1} (or the identity in [18] is stated for a different normalization), the result of eq. (6) would be rescaled by a Z_ψ-dependent factor. Since Z_ψ is analytic at the Borel singularity u=1/2, such a factor would change the residue of the leading IR renormalon, invalidating eq. (10) and the renormalon-freedom of m_σ. Second, eq. (2) is an off-shell identity in a generic covariant gauge involving the gauge-fixing operator -(1/(2ξ))(∂A)^2; the passage to the on-shell Landau-gauge limit is asserted but not derived. Any residual gauge or equation-of-motion operator would shift \\hatμ∂m_os/∂\\hatμ and the subtracted mass. Because the five-loop conversion (20) and the numerical m_σ values inherit this identity, the central claim is conditional on [18] being correct in exactly the normalization and gauge used here.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that the leading infrared renormalon in the perturbative pole mass of a heavy quark resides entirely in the contribution from the trace anomaly of the energy-momentum tensor. On this basis, the recently proposed trace-anomaly-subtracted sigma-mass is asserted to be free of the leading renormalon. The authors derive a formula (Eq. (17)) connecting m_sigma/m_os to the QCD beta-function, the mass anomalous dimension gamma_m, and the pole-to-MS conversion factor C_m, and use known four- and five-loop results to present five-loop numerical relations for m_sigma/m_os and four-loop relations for m_sigma/m. They also update the sigma-masses of the top and bottom quarks.","tokens_in":11196,"tokens_out":38498,"duration_ms":245758,"significance":"If the central claim holds, the sigma-mass is a promising process-independent heavy-quark mass definition with better perturbative convergence than the pole mass. The RG derivation leading to Eqs. (14) and (17) is internally consistent and elegant, and the five-loop numerical results with documented uncertainties are a useful contribution to the literature. The paper also makes explicit falsifiable predictions for the on-shell matrix element of the MS-renormalized gluon field-strength squared (Eq. (19)) and provides compact conversion relations that can be used in high-energy applications. However, the renormalon-freedom conclusion is conditional on an operator identity taken from a companion paper, and one step in the derivation is written in a way that is misleading if read literally.","major_comments":[{"comment":"The central renormalon-freedom claim is conditional on the operator identity (1)/(2) taken without proof from the companion paper [18]. In particular, the passage from the off-shell identity (2) in a generic covariant gauge to the on-shell Landau-gauge identity (1) is asserted but not derived; the gauge-fixing operator in Eq. (2) could in principle contribute in the on-shell limit. Moreover, the normalization of the identity, including any implicit operator renormalization factor, must be consistent with the Z_psi factor appearing in Eq. (4), and no such consistency check is provided here. Because Eq. (10) and the numerical results in Section 3 inherit this identity, the paper's main conclusion is not self-contained and is only as solid as [18].","section":"Section 1, Eqs. (1)-(2)"},{"comment":"The step leading to Eq. (9) is not rigorously justified. The statement '∂Z_m/∂μ = 0 = ∂m/∂μ' is false if μ is the MS renormalization scale, since Z_m depends on μ through α_s(μ) and the MS mass m(μ) runs with μ. The intended reading appears to be a partial derivative at fixed renormalized parameters, but this is not what the notation conveys. This step is load-bearing because it identifies the trace-anomaly contribution with m μ∂C_m/∂μ; a correct derivation must use the chain rule together with the RG equations and must specify which variables are held fixed. Without this clarification, the identification is not established.","section":"Section 1, Eq. (9)"},{"comment":"The 'linear-μ' property of the leading IR renormalon is used to assert μ∂C_m/∂μ|_{LIR} = C_m|_{LIR}, which is the key cancellation that makes the subtraction work. This property is cited to Refs. [14-16,20] but is not stated precisely. The equality requires that the leading renormalon contribution to C_m is exactly proportional to μ/m with no other μ-dependence; a precise statement and a brief derivation (or a specific quotation from the literature) would make the argument robust and easier to verify.","section":"Section 1, Eq. (10)"}],"minor_comments":[{"comment":"The notation 'ampu.' is used without definition; it should be defined as 'amputated' on first use.","section":"Section 1, Eq. (1)"},{"comment":"The text says 'If we boldly assume that one can exchange the operation ordering' and then Eq. (6) is presented as a rigorous derivation. The wording is inconsistent; Eq. (6) should be framed as a proof, not as relying on a bold assumption.","section":"Section 1, paragraph after Eq. (3)"},{"comment":"The numerical results are evaluated at a specific renormalization scale (μ=m_os for Eq. (20) and μ=m for Eq. (21)) but this is stated only in prose; it should be repeated in the equation captions or the text directly preceding them. It should also be stated whether the quoted errors in the five-loop coefficients include only the uncertainties of the four-loop C_m or also those of beta and gamma_m.","section":"Section 3, Eqs. (20)-(21)"},{"comment":"The phrase 'one loop-order less' should read 'one loop order less'.","section":"Section 3, text after Eq. (20)"},{"comment":"The reference to Eq. (2.8) of Ref. [9] is cryptic and does not clearly explain why that formula cannot be applied here; the sentence should be expanded or removed.","section":"Footnote 3"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on a companion paper [18] by the same first author, which is not part of this submission. Since the central renormalon-freedom claim is conditional on the operator identity (1)/(2), the editor may wish to obtain [18] for the referee or ask the authors to include the necessary derivation in a revised version. The self-citation pattern is understandable in a short communication, but the current manuscript is not self-contained at the point where it matters most."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real news here is a mass definition that is simultaneously scheme/scale-invariant and free of the leading IR renormalon, with explicit five-loop conversion relations. If the central identity holds, this is a practical advance for top and bottom mass extractions. The paper deserves a serious referee, but the referee should push on two specific soft spots.\n\nWhat is genuinely new: the observation that the leading renormalon in the pole mass is fully contained in the trace-anomaly piece, and the resulting formulas (14), (17), and the five-loop expansion (20). The derivation of (14) from the RG equation is clever and internally consistent, and the numerical inputs are documented with uncertainties. The five-loop coefficients are presented clearly, and the improved convergence of the m_sigma series compared to the pole-mass series is a concrete, useful result.\n\nThe soft spots are real but not fatal in my reading. First, the load-bearing operator identity (1)-(2) is taken verbatim from the companion paper [18], with no proof or independent check. The stress-test worry about the Z_psi normalization is legitimate: eq. (4) introduces a Z_psi factor that seems to cancel in the derivation, but the convention must match [18] exactly, and the paper does not demonstrate that. Second, the statement 'd Z_m/d mu = 0 = d m/d mu' near eq. (9) is at best misleading, since both depend on mu in MS. The subsequent RG-based derivation (11)-(14) avoids the need for that statement, so the result is salvageable, but the presentation should be cleaned up.\n\nThe paper does not manufacture evidence; it builds on known linear-mu renormalon behavior and a standard RG argument. The reliance on the companion paper is the main condition on the result. I would not desk-reject this. Send it to peer review with a request that the authors clarify the operator identity normalization and the derivative notation, and ideally include the proof of the identity or a clear pointer to where it is established.\n\nWho gets value: anyone doing precision heavy-quark mass work, especially for top and bottom. I would cite this once the companion paper checks out.","headline":"A useful five-loop mass relation that is probably right, but the central renormalon-freedom claim rests on an identity from the companion paper that this text does not prove.","tokens_in":11747,"tokens_out":3153,"would_cite":true,"duration_ms":28668,"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":"The leading infrared-renormalon divergence of the heavy-quark pole mass lies entirely in the QCD trace anomaly, so the subtracted σ-mass is leading-renormalon-free through five loops.","keywords":["infrared renormalons","pole mass","trace anomaly","heavy quark masses","sigma-mass","five-loop QCD","beta function","quark mass anomalous dimension"],"falsifier":"Compute the Borel transform of the $m_\\sigma/m_{\\mathrm{os}}$ series (20) and locate its closest singularity: the claim predicts no pole at $u=1/2$ after the trace-anomaly subtraction, so a residual leading singularity there would refute it. Alternatively, an independent evaluation of the 'classical' piece $m_B\\,\\partial m_{\\mathrm{os}}/\\partial m_B$ at high loop order that found a nonvanishing leading renormalon residue would contradict eq. (10).","tokens_in":10573,"feed_emoji":"⚛️","tokens_out":16094,"duration_ms":127685,"temperature":0.7,"pith_summary":"The paper argues that the leading infrared-renormalon ambiguity of the perturbative heavy-quark pole mass is carried entirely by the trace-anomaly contribution, the piece $\\mu\\, dm_{\\mathrm{os}}/d\\mu$ that appears when the on-shell mass is viewed as a function of the dimensional-regularization scale. It therefore defines a trace-anomaly-subtracted $\\sigma$-mass, $m_\\sigma = m_{\\mathrm{os}} - \\mu\\, dm_{\\mathrm{os}}/d\\mu$, and claims this mass is simultaneously scheme- and scale-invariant and free of the leading renormalon. The central result is eq. (17), a conversion formula written only in terms of the QCD $\\beta$-function, the quark-mass anomalous dimension $\\gamma_m$, and the pole-to-$\\overline{\\mathrm{MS}}$ conversion factor $C_m$, together with its five-loop numerical evaluation, eq. (20). If correct, precision heavy-quark physics gains a process-independent short-distance mass that avoids the leading renormalon problem of the pole mass.","feed_headline":"Trace anomaly carries the pole-mass renormalon","feed_subtitle":"A scheme-invariant σ-mass with no leading renormalon now has five-loop conversion formulas.","key_machinery":"The load-bearing object is the trace-anomaly contribution $\\mu\\, dm_{\\mathrm{os}}/d\\mu$ to the pole mass, identified through the dimensionally regulated operator identity (2) that equates the bare amputated matrix element of the gluon trace-anomaly operator with the $\\hat\\mu$-derivative of the bare quark self-energy. The second load-bearing ingredient is the linear-$\\mu$ property of the leading renormalon in the pole-to-$\\overline{\\mathrm{MS}}$ conversion factor $C_m$, which ensures that the leading renormalon of the trace-anomaly piece equals the leading renormalon of $m_{\\mathrm{os}}$ itself. The final mechanism is formula (17), which turns this identification into an explicit conversion between $m_\\sigma$ and the on-shell and $\\overline{\\mathrm{MS}}$ masses using only $\\beta$, $\\gamma_m$, and the logarithmic coupling-derivative of $C_m$; because $\\beta$ starts at $O(\\alpha_s)$, the conversion at $O(\\alpha_s^N)$ needs $C_m$ only to $O(\\alpha_s^{N-1})$.","core_discovery":"The discovery is that the leading infrared-renormalon terms in the pole mass $m_{\\mathrm{os}}$ coincide with the leading infrared-renormalon terms in the trace-anomaly contribution $\\mu\\, \\partial m_{\\mathrm{os}}/\\partial\\mu$, so subtracting that contribution removes the leading renormalon without touching the classical fermion-mass part $m_B \\partial m_{\\mathrm{os}}/\\partial m_B$. The proof starts from the operator identity (2) that ties the bare amputated trace-anomaly matrix element to the $\\hat\\mu$-derivative of the bare quark self-energy, passes through the on-shell renormalization conditions, and uses the established linear-$\\mu$ behavior of the leading renormalon in the pole-to-$\\overline{\\mathrm{MS}}$ conversion factor. The resulting $\\sigma$-mass is then expressed through $Z_\\sigma = m_\\sigma/m_{\\mathrm{os}} = (1+2\\beta\\, \\partial \\ln C_m/\\partial\\ln\\alpha_s)/(1-2\\gamma_m)$, evaluated to five loops in eq. (20) and to four loops as $m_\\sigma/m$ in eq. (21).","pith_inferences":["A direct numerical check of the claim would be to compute the Borel transform of the five-loop series in eq. (20) and test whether the leading $u=1/2$ singularity vanishes; the finite coefficients shown in the paper do not by themselves prove renormalon freedom.","The same trace-anomaly subtraction logic could, in principle, define renormalon-free mass-like parameters in other gauge theories where the operator identity (2) has an analogue, although the paper does not make that extension.","The removal of the leading renormalon suggests that scale-setting procedures applied to $m_\\sigma$-based observables should show less residual-scale sensitivity than their pole-mass counterparts, though the paper does not quantify that comparison.","Once a five-loop pole-to-$\\overline{\\mathrm{MS}}$ conversion becomes available, the same formula (17) would immediately produce a six-loop $m_\\sigma/m_{\\mathrm{os}}$ series using the known five-loop $\\beta$ and $\\gamma_m$."],"forward_implications":["The $\\sigma$-mass is expected to be free of the leading $u=1/2$ renormalon while preserving the scheme- and scale-invariance of the pole mass, making it usable as a process-independent heavy-quark mass.","The five-loop series in eq. (20) supplies the $m_\\sigma/m_{\\mathrm{os}}$ conversion at the on-shell scale, with errors set by the per-mille-level numerical constants of the four-loop pole-to-$\\overline{\\mathrm{MS}}$ relation.","The four-loop $m_\\sigma/m$ relation in eq. (21) has smaller perturbative coefficients than the usual pole-to-$\\overline{\\mathrm{MS}}$ series, since the leading renormalon is absent.","Updated central values follow for the top and bottom $\\sigma$-masses: $m_\\sigma^t = 158.67 \\pm 0.29$ GeV and $m_\\sigma^b = 3.97^{+0.08}_{-0.07}$ GeV from the input pole and $\\overline{\\mathrm{MS}}$ masses.","Relations from $m_\\sigma$ to other short-distance mass schemes (kinetic, PS, MSR, renormalon-subtracted) can be derived to three or four loops wherever those masses are already related to the on-shell or $\\overline{\\mathrm{MS}}$ definitions."],"supporting_citations":[{"why":"This supplies the operator identity (2) that identifies the trace-anomaly matrix element with $\\hat\\mu\\,\\partial\\Sigma_B/\\partial\\hat\\mu$, the paper's starting point.","marker":"[18]"},{"why":"These references establish the linear-$\\mu$ property of the leading renormalon in the pole-mass conversion factor used in eq. (10).","marker":"[14–16, 20]"},{"why":"These references provide the renormalization-scale independence of the pole mass used in the renormalization-group equation (11).","marker":"[12, 13, 17, 19]"},{"why":"These references supply the four-loop pole-to-$\\overline{\\mathrm{MS}}$ conversion factor used as input for the five-loop result in eq. (20).","marker":"[23, 24]"},{"why":"These references provide the five-loop QCD $\\beta$-function used for the $O(\\alpha_s^5)$ evaluation.","marker":"[27–29]"},{"why":"These references provide the five-loop quark-mass anomalous dimension $\\gamma_m$ used for the $O(\\alpha_s^5)$ evaluation.","marker":"[30–32]"}],"fun_headline_variants":["Trace anomaly subtraction yields renormalon-free quark mass","Five-loop σ-mass: leading pole mass renormalon removed","Scheme-invariant σ-mass with no leading renormalon, five-loop","Trace anomaly carries pole-mass renormalon; subtract it away"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes without proof here the operator identity (2) equating the bare amputated trace-anomaly matrix element to $\\hat\\mu\\,\\partial\\Sigma_B/\\partial\\hat\\mu$ prior to the on-shell limit; if that identity misses scheme- or gauge-dependent terms, or needs extra counterterms on shell, the identification of the leading renormalon with the trace-anomaly piece fails.","fun_headline_variants_meta":{"raw":{"variants":["Trace anomaly subtraction yields renormalon-free quark mass","Five-loop σ-mass: leading pole mass renormalon removed","Scheme-invariant σ-mass with no leading renormalon, five-loop","Trace anomaly carries pole-mass renormalon; subtract it away"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000159,"raw_usage":{"total_tokens":1269,"prompt_tokens":1026,"completion_tokens":243,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":642,"completion_tokens_details":{"reasoning_tokens":172}},"tokens_in":642,"tokens_out":243,"duration_ms":2793,"temperature":1.0,"reasoning_tokens":172,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:54:22.291770+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Borel transform of the $m_\\sigma/m_{\\mathrm{os}}$ series (20) and locate its closest singularity: the claim predicts no pole at $u=1/2$ after the trace-anomaly subtraction, so a residual leading singularity there would refute it. Alternatively, an independent evaluation of the 'classical' piece $m_B\\,\\partial m_{\\mathrm{os}}/\\partial m_B$ at high loop order that found a nonvanishing leading renormalon residue would contradict eq. (10).","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This supplies the operator identity (2) that identifies the trace-anomaly matrix element with $\\hat\\mu\\,\\partial\\Sigma_B/\\partial\\hat\\mu$, the paper's starting point."}],"review_version":2}