REVIEW 3 major objections 3 minor 1 cited by
Correlators of heavy-light quark currents in HQET: Perturbative contribution up to 4 loops and beyond
T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Four-loop coefficients for the HQET heavy-light current correlator are computed, extending the perturbative expansion to order α_s^3 and confirming the renormalization-group structure.
desk verdict A credible four-loop HQET correlator calculation with genuinely new constants, but the abstract promises a large-beta0 analysis that the supplied text does not contain. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The renormalization-group exponentiation formula (3), which expresses each coefficient function as an exponentiated series in $\alpha_s/(4\pi)$ with logarithmic terms $L_\tau$ fixed by the anomalous dimensions $\gamma_n$ and the $\beta$ function, is the machinery that turns loop computation into finite constants. The divergent parts (poles in $1/\varepsilon$) of the four-loop diagrams fix the logarithmic terms through the anomalous dimensions and $\beta$, and the constants $c_3$ are then read off from the finite remainder after subtracting these logarithms. The actual integrals are handled by IBP reduction with LiteRed v2 and the $\varepsilon$-expanded master integrals of Lee and Pikelner.
What would settle it
Recompute the four-loop master integrals with an independent numerical method (for example, sector decomposition) at a fixed value of the space-time dimension $\varepsilon$, insert them into the reduced diagrams, and compare the resulting coefficient $c^{(1)}_3$ with Eq. (5); a mismatch beyond the integration errors would disprove the new result.
Extended reading notes
Core claim
The central claim is that the renormalization-group structure of the Euclidean correlator, together with four-loop master integrals, fixes the finite parts of the Wilson coefficients at order $\alpha_s^3$. Explicitly, Eqs. (5)–(7) give the four-loop constants $c^{(1)}_3$, $c^{(m)}_3$, $c^{(m^2)}_3$, Eq. (9) gives the two-loop constant $c^{(\sum m_i^2)}_1$, and Eqs. (12)–(14) give the spectral-density analogues $r^{(mn)}_3$. The coefficients at two and three loops reproduce the known results of the earlier three-loop OPE calculation, and the four-loop results are new. The calculation is performed in a general covariant gauge; the final expressions are independent of the gauge parameter, and the renormalized correlator and spectral density are free of $1/\varepsilon$ poles, both serving as internal consistency checks. The abstract also states that in the leading large-$\beta_0$ limit the highest-$n_f$ terms are summed to all orders and that the Borel image exhibits renormalon poles, with naive nonabelianization failing to approximate the results well.
Load-bearing premise
The four-loop constants are only as reliable as the four-loop master integrals from Lee-Pikelner and the LiteRed IBP reduction, and the known three-loop anomalous dimension of the heavy-light current; the paper provides no independent numerical check of the new four-loop results.
Editorial extensions
If this is right
- The $\alpha_s^3$ terms provide the next order in the OPE used by QCD sum rules for heavy-light meson masses and decay constants.
- The light-quark-mass terms quantify SU(3) flavour breaking, so they sharpen predictions for the $B_s$–$B$ mass splitting.
- The spectral-density coefficients $r^{(mn)}_3$ allow a direct order-by-order comparison with lattice QCD results for the same correlator.
- The claimed all-order large-$\beta_0$ analysis yields renormalon poles in the Borel image, which can be used to assess the asymptotic behaviour of the perturbative series.
Reading between the lines
- If the four-loop constants are numerically large compared with lower orders, sum-rule extractions may need to account for a slowly converging series; the paper does not assess this.
- The same RG-plus-master-integral framework can be extended to the dimension-3 operators (light-quark condensate and cubic mass combinations), which the paper leaves out because of operator mixing.
- The poor performance of naive nonabelianization reported in the abstract suggests that resummation of these correlators at higher orders should not rely on the standard large-$n_f$ approximation without testing other schemes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript computes the four-loop perturbative contribution to the correlator of two HQET heavy-light currents, with the light-quark mass expansion truncated at quadratic order. It reports new four-loop constants c_3 for the unit, m, and m^2 Wilson coefficients in Eqs. (5)-(7), the corresponding spectral-density constants r_3 in Eqs. (12)-(14), and the new three-loop coefficient c(sum m_i^2)_1 in Eq. (9). The calculation uses qgraf, FORM, LiteRed v2, and the four-loop master integrals of Ref. [15], and it verifies that the one- and two-loop coefficients agree with Ref. [7]. The abstract additionally advertises a leading large-beta0 all-orders analysis and a statement about naive nonabelianization, but that analysis is not present in the supplied text.
Significance. If the new finite parts are correct, this is a useful four-loop advance for a correlator used in QCD sum rules and lattice comparisons of heavy-light mesons; in particular, the m^2 and sum m_i^2 terms are relevant for SU(3)-flavor-breaking quantities such as B_s^* versus B^*. The fixed-order part is internally coherent: it has no fitted parameters, it reproduces the published two- and three-loop coefficients, and it passes pole-cancellation and partial gauge-invariance checks. The main value of the paper is the new finite constants, and precisely those are the least verified part of the calculation. The lower-order inputs are external and independent, so there is no circularity in the RG extraction of the logarithmic structure. The abstract's all-orders claims, if substantiated elsewhere, would raise significance, but they cannot be evaluated from the supplied text.
major comments (3)
- [Eqs. (5)-(7), (12)-(14)] The new four-loop coefficients c(mn)_3 in Eqs. (5)-(7), r(mn)_3 in Eqs. (12)-(14), and c(sum m_i^2)_1 in Eq. (9) are finite parts that rest on the epsilon expansions of the four-loop master integrals of Ref. [15] and on the completeness of the LiteRed v2 IBP reduction. The manuscript provides no independent numerical or analytical check of these finite parts. The checks that are reported are not sensitive to the new finite terms: cancellation of 1/epsilon poles is fixed by lower-loop coefficients and anomalous dimensions, the gauge-parameter check is performed only to order xi^1 (see next comment), and agreement of c1 and c2 with Ref. [7] is insensitive to the new four-loop integrals. I ask for at least one independent cross-check (for example, numerical evaluation of the most complicated master integrals, a second reduction code, or a subset of diagrams evaluated by a different method) or a clear statement that the result is contingent on the external input without further verification.
- [Section 1, calculation setup] The four-loop gauge-invariance check is reported only to first order in the covariant-gauge parameter xi. Because the xi dependence of individual diagrams is polynomial in the number of gluon propagators, a partial check through O(xi) does not exclude O(xi^2) and higher contributions; a truly gauge-invariant result would require those to cancel as well. If the higher-order xi terms are zero for structural reasons, that argument should be stated; otherwise the check should be described as partial rather than 'strong'.
- [Abstract vs. full text] The abstract claims that the leading large-beta0 limit is considered, that Borel images contain renormalon poles, and that naive nonabelianization works surprisingly poorly, but none of these results appears in the supplied full text. The only referenced attachment is said to contain momentum-space Wilson coefficients, not a large-beta0 analysis. This mismatch makes a headline result uninspectable. The all-orders analysis should be included in the submission, or the abstract and title should be revised to describe only the fixed-order four-loop result.
minor comments (3)
- [Throughout] There are several typographical errors: 'Cancelation' should be 'Cancellation', 'simler diaghrams' should be 'simpler diagrams', 'up to xi^1' has a missing space, and 'recently is has been calculated' should be 'it has recently been calculated'.
- [Title and abstract] The title of the version under review says 'and beyond' while the body and conclusion only claim a four-loop calculation; align the title with the content unless the large-beta0 section is added.
- [Eq. (3)] The notation in Eq. (3) mixes superscripts and subscripts for the coefficients c(mn)_i; a short table or a compact notation for the three operators would improve readability.
Circularity Check
No circularity: the new four-loop constants are computed from IBP-reduced master integrals and standard RG equations; self-citations are to independent published inputs, not to the claimed outputs.
full rationale
The derivation chain for c(mn)_3 in Eqs. (5)-(7), r(mn)_3 in Eqs. (12)-(14), and c(∑m_i^2)_1 in Eq. (9) is a direct diagrammatic calculation: diagrams are generated with qgraf, traces and color factors are evaluated with FORM/color, four-loop integrals are reduced by LiteRed v2 to master integrals taken from Lee and Pikelner [15], and the RG logarithms are removed using the standard structure (3) with γj, γm, and β from published results. No parameter is fitted to the target coefficients, and no coefficient is defined in terms of the quantity it is said to predict. The quoted checks—gauge-parameter cancellation to ξ^1 and cancellation of 1/ε poles—are consistency checks that do not by themselves fix the finite parts; the new finite parts are genuine outputs of the four-loop integrals. The self-citations [7,8,16] are prior published calculations used as benchmarks or as inputs whose assumptions do not include the present c3 values; γj from [16] determines logarithmic structure but does not algebraically determine the constants c3. The only notable issue is that the abstract's announced large-β0 and naive-nonabelianization analysis is not present in the supplied full text; that is a completeness and verifiability concern, not a circularity of the derivation. No circular step can be exhibited from the paper's equations.
Assumptions & free parameters
assumptions (4)
- domain assumption The heavy-light current correlator admits an OPE in local operators, with light-quark masses treated perturbatively and no mixing from dimension-3 operators affecting dimension <=2 coefficients.
- domain assumption The four-loop master integrals of Lee and Pikelner (Ref. [15]) are correct and complete in their epsilon expansions.
- domain assumption The anomalous dimensions gamma_j up to three loops (Ref. [16]) and gamma_m and beta at the required orders are correct.
- domain assumption The computational pipeline (qgraf, FORM/color, LiteRed v2) is implemented without error.
Cite this review
Pith. "Pith review of Correlators of heavy-light quark currents in HQET: Perturbative contribution up to 4 loops and beyond." pith.science (2026). https://pith.science/paper/VZ7OMDF2
@misc{pith2026241111080,
author = {Pith},
title = {Pith review of: Correlators of heavy-light quark currents in HQET: Perturbative contribution up to 4 loops and beyond},
year = {2026},
howpublished = {\url{https://pith.science/paper/VZ7OMDF2}},
note = {Machine review of arXiv:2411.11080}
}
abstract
The perturbative contribution to the correlator of two HQET heavy-light currents expanded in light-quark masses up to quadratic terms is calculated up to 4 loops. The leading large-$\beta_0$ limit is also considered, so that terms with the highest degrees of $n_f$ are calculated to all orders in $\alpha_s$. Borel images of coefficient functions in this limit contain renormalon poles. Naive nonabelianization works surprisingly poorly for the coefficient functions considered here.
Forward citations
Cited by 1 Pith paper
-
Correlator of heavy-light quark currents in HQET in the large $\beta_0$ limit
The perturbative heavy-light current correlator in HQET is computed to O(m_q²) at leading order in 1/β₀, and its UV/IR renormalon poles are mapped.
Reference graph
Works this paper leans on
-
[7]
K. G. Chetyrkin and A. G. Grozin, Correlators of heavy-light quark currents in HQET: OPE at three loops, Nucl. Phys. B 976, 115702 (2022), arXiv:2111.14571 [hep-ph]
arXiv 2022
-
[15]
R. N. Lee and A. F. Pikelner, Four-loop HQET propagators from the DRA method, JHEP 02, 097, arXiv:2211.03668 [hep- ph]
-
[1]
Neubert, Heavy quark symmetry, Phys
M. Neubert, Heavy quark symmetry, Phys. Rept. 245, 259 (1994), arXiv:hep-ph/9306320 [hep-ph]
arXiv 1994
-
[2]
A. V . Manohar and M. B. Wise, Heavy quark physics , Camb. Monogr. Part. Phys. Nucl. Phys. Cosmol., V ol. 10 (Cambridge university press, Cambridge, 2000)
work page 2000
-
[3]
A. G. Grozin, Heavy quark effective theory , Springer Tracts Mod. Phys., V ol. 201 (Springer, Berlin, 2004)
work page 2004
-
[4]
D. J. Broadhurst and A. G. Grozin, Operator product expansion in static quark effective field theory: Large perturbative correc- tion, Phys. Lett. B 274, 421 (1992), arXiv:hep-ph/9908363
arXiv 1992
- [5]
-
[6]
Neubert, Heavy meson form-factors from QCD sum rules, Phys
M. Neubert, Heavy meson form-factors from QCD sum rules, Phys. Rev. D 45, 2451 (1992)
work page 1992
Show all 16 references
-
[8]
Grozin, Anomalous dimension of the heavy-light quark current in HQET up to four loops, JHEP 02, 198, arXiv:2311.09894 [hep-ph]
A. Grozin, Anomalous dimension of the heavy-light quark current in HQET up to four loops, JHEP 02, 198, arXiv:2311.09894 [hep-ph]
-
[9]
Nogueira, Automatic Feynman graph generation, J
P. Nogueira, Automatic Feynman graph generation, J. Comput. Phys. 105, 279 (1993)
1993
-
[10]
Kuipers, T
J. Kuipers, T. Ueda, J. A. M. Vermaseren, and J. V ollinga, FORM version 4.0, Comput. Phys. Commun.184, 1453 (2013), arXiv:1203.6543 [cs.SC]
2013 arXiv
-
[11]
Ruijl, T
B. Ruijl, T. Ueda, and J. Vermaseren, FORM version 4.2, (2017), arXiv:1707.06453 [hep-ph]
2017 arXiv
-
[12]
van Ritbergen, A
T. van Ritbergen, A. N. Schellekens, and J. A. M. Vermaseren, Group theory factors for Feynman diagrams, Int. J. Mod. Phys. A 14, 41 (1999), arXiv:hep-ph/9802376
1999 arXiv
-
[13]
R. N. Lee, Presenting LiteRed: a tool for the Loop InTEgrals REDuction, (2012), arXiv:1212.2685 [hep-ph]
2012 arXiv
-
[14]
R. N. Lee, LiteRed 1.4: a powerful tool for reduction of multiloop integrals, J. Phys. Conf. Ser. 523, 012059 (2014), arXiv:1310.1145 [hep-ph]
2014 arXiv
-
[16]
K. G. Chetyrkin and A. G. Grozin, Three loop anomalous di- mension of the heavy light quark current in HQET, Nucl. Phys. B 666, 289 (2003), arXiv:hep-ph/0303113
2003 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.