Pith. Sign in

REVIEW

The $\Delta S=1$ Effective Hamiltonian Including Next-to-Leading Order QCD and QED Corrections

High Energy Physics - Phenomenology · Submitted 15 Apr 1993 · 30 references

Pith's verdict: A solid, well-cross-checked two-loop calculation whose genuinely new HV leg is validated mostly by internal consistency rather than by anything external.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-ph/9304257 (version 1)
Pith IDQNJSDNAZ, Pith's permanent record of this paper and its review
CitationE. Franco, G. Martinelli, L. Reina, M. Ciuchini. "The $\Delta S=1$ Effective Hamiltonian Including Next-to-Leading Order QCD and QED Corrections." arXiv:hep-ph/9304257 (1993). https://pith.science/paper/QNJSDNAZ
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

A two-loop calculation of the short-distance mixing matrix for ΔS=1 four-quark operators, carried out in two regularization schemes and tied together by a scheme-translation identity checked diagram by diagram.

The reading

This paper sets out to supply the short-distance ingredient that next-to-leading-order predictions for $|ΔS|=1$ kaon decays need: the matrix that governs how the four-quark operators of the effective weak Hamiltonian mix into one another under QCD and QED through two loops. The authors give the two-loop anomalous dimension matrix at order $α_s^2$ and $α_eα_s$ in two different regularization schemes, naive dimensional regularization (NDR) and the 't Hooft–Veltman scheme (HV), together with the matching coefficients at the $W$ scale and the evolution matrix that carries them down to a few GeV. What makes the result checkable rather than one opaque table is a translation identity relating the two schemes, which the authors verify diagram by diagram and use to locate where an earlier HV calculation went wrong. If the numbers hold, they are the complete short-distance input for a next-to-leading-order treatment of $ε'/ε$ and other non-leptonic kaon observables.

What carries the argument

The load-bearing object is the two-loop anomalous dimension matrix $γ̂^{(1)}$, extracted from the single poles of the operator renormalization matrix via $γ̂^{(1)}_s = -4Ẑ^{(2)}_1 - 2β_0Ẑ^{(1)}_0 + 2(Ẑ^{(1)}_1Ẑ^{(1)}_0 + Ẑ^{(1)}_0Ẑ^{(1)}_1)$. The subtlety that makes the calculation long is that in dimensional regularization the Dirac algebra does not close on the four-dimensional operator basis, so 'effervescent' operators appear at intermediate stages and must be carried through the mixing before being projected away at the end. The scheme-translation identity above is what turns two independent computations into a single cross-checked result, and the finite one-loop matrix $r̂$ that appears in it is also the object that, combined with the two-loop matrix, defines scheme-independent coefficients.

Extended reading notes

Core claim

The paper's claim is that the full two-loop anomalous dimension matrix for the ten-operator $|ΔS|=1$ basis is now known, including the $α_s^2$ and $α_eα_s$ terms, in both NDR and HV, and that the two results are consistent. Consistency here is not a hand-wave: the authors state and use the relation $Δγ̂^{(1)} = [Δr̂, γ̂^{(0)}] + 2β_0 Δr̂$, where $Δr̂$ is the difference of the one-loop finite parts between the schemes, and they verify it for each individual two-loop diagram after all counter-terms and effervescent-operator insertions are included. The two matrices themselves are collected in tables 3 and 4. Along the way the authors report that the earlier HV results for two penguin diagrams, P8 and F8, fail this relation and that the difference is compensated elsewhere in the strong matrix but not in the electromagnetic one. They also show how to redefine the renormalized operators so that the evolution matrix, not just the product of coefficients and matrix elements, becomes scheme independent.

Load-bearing premise

The NDR side of the agreement assumes that an anticommuting $γ_5$ together with a prescription for closed odd-parity fermion loops taken from a program manual yields correct results, and the paper itself says this is not guaranteed, so the cross-scheme check inherits that unproven step.

Editorial extensions

If this is right

  • The entries of tables 3 and 4 become the standard short-distance input for next-to-leading-order Wilson coefficients at scales of a few GeV.
  • Predictions for $ε'/ε$ can be quoted with the two-loop QCD and QED mixing included, and the residual scale and scheme dependence can be estimated rather than guessed.
  • The redefinition of renormalized operators given in the paper allows Wilson coefficients to be combined with non-perturbative matrix elements, for instance from lattice QCD, without scheme mismatch.
  • The earlier HV results for diagrams P8 and F8 are superseded, which changes the electromagnetic part of the two-loop matrix in that scheme.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the scheme-translation identity holds diagram by diagram, it can serve as a debugging tool for any future two-loop calculation in this basis: a mismatch localises the error to a single diagram rather than to the whole matrix.
  • The same machinery transfers almost unchanged to the $|ΔC|=1$ and $|ΔB|=1$ bases, so the tables effectively seed a family of two-loop mixing calculations for charm and bottom decays.
  • The authors postpone the numerical and uncertainty analysis to a separate publication, so the phenomenological size of the two-loop correction to $ε'/ε$ is not settled here; the natural next step is to ask how much of the earlier leading-order prediction moves.
  • Since the scheme-independent definition of operators depends on the external states used to fix it, any comparison between a scheme-independent coefficient and a lattice matrix element must state that choice explicitly.
Original abstract

In this paper we present a calculation of the $\Delta S=1$ effective weak Hamiltonian including next-to-leading order QCD and QED corrections. At a scale $\mu$ of the order of few GeV, the Wilson coefficients of the operators are given in terms of the renormalization group evolution matrix and of the coefficients computed at a large scale $\sim M_W$. The expression of the evolution matrix is derived from the two-loop anomalous dimension matrix which governs the mixing of the relevant current-current and penguin operators, renormalized in some given regularization scheme. We have computed the anomalous dimension matrix up to and including order $\alphas^2$ and $\alphae \alphas$ in two different renormalization schemes, NDR and HV, with consistent results. We give many details on the calculation of the anomalous dimension matrix at two loops, on the determination of the Wilson coefficients at the scale $M_W$ and of their evolution from $M_W$ to $\mu$. We also discuss the dependence of the Wilson coefficients/operators on the regularization scheme.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,102 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.15 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.09 · compares with prior results 0.21 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

In this paper we present a calculation of the $\Delta S=1$ effective weak Hamiltonian including next-to-leading order QCD and QED corrections. At a scale $\mu$ of the order of few GeV, the Wilson coefficients of the operators are given in terms of the renormalization group evolution matrix and of the coefficients computed at a large scale $\sim M_W$. The expression of the evolution matrix is derived from the two-loop anomalous dimension matrix which governs the mixing of the relevant current-current and penguin operators, renormalized in some given regularization scheme. We have computed the anomalous dimension matrix up to and including order $\alphas^2$ and $\alphae \alphas$ in two different renormalization schemes, NDR and HV, with consistent results. We give many details on the calculation of the anomalous dimension matrix at two loops, on the determination of the Wilson coefficients at the scale $M_W$ and of their evolution from $M_W$ to $\mu$. We also discuss the dependence of the Wilson coefficients/operators on the regularization scheme.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 In this paper we present a calculation of the $\Delta S=1$ effective weak Hamiltonian including next-to-leading order QCD and QED corrections. contribution 1.00 0.95 0.41 asserted 1.00
s1 At a scale $\mu$ of the order of few GeV, the Wilson coefficients of the operators are given in terms of the renormalization group evolution matrix and of the coefficients computed at a large scale $\sim M_W$. method 0.44 0.53 0.10 asserted 1.00
s2 The expression of the evolution matrix is derived from the two-loop anomalous dimension matrix which governs the mixing of the relevant current-current and penguin operators, renormalized in some given regularization scheme. method 0.92 0.79 0.05 asserted 1.00
s3 We have computed the anomalous dimension matrix up to and including order $\alphas^2$ and $\alphae \alphas$ in two different renormalization schemes, NDR and HV, with consistent results. result 0.48 0.97 0.15 asserted 1.00
s4 We give many details on the calculation of the anomalous dimension matrix at two loops, on the determination of the Wilson coefficients at the scale $M_W$ and of their evolution from $M_W$ to $\mu$. contribution 0.75 0.94 0.06 asserted 0.99
s5 We also discuss the dependence of the Wilson coefficients/operators on the regularization scheme. contribution 0.94 0.66 0.05 unclear 0.50

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.90.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. fig.1: Tree-level current-current diagram.
Figure 13. fig.13: Diagramatic representation of the subtraction procedure
Figure 14. fig.14. In HV two diagrams which go one into the other by Fierz rearra

Showing 3 of the paper's 14 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:hep-ph/9304257 by the authors.

References
How the literature uses it

54 arXiv papers cite this in 80 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 57 sentences without a confident label

Uses its method or tool 4 papers
  • [ref] was either in the or in the schemes [ref] ; iii) the matching of the renormalised operators in the SMOM schemes to the operators renormalised in the $$ scheme in which the Wilson coefficient functions have been computed at the NLO [ref] ; iv) the combination of the operators in the $$ scheme and the Wilson coefficients computed at the NLO to compute the relevant amplitudes.

    New UTfit Analysis of the Unitarity Triangle in the Cabibbo-Kobayashi-Maskawa scheme · New: the lattice determination of $ε^'/ε$ · 0.90

  • We use the effective Hamiltonian for $ΔS=1$ transitions of [ref] [equation]

    Improved anatomy of epsilon'/epsilon in the Standard Model · Effective Hamiltonian · 0.96

  • All our calculations are performed with the naive dimensional regularization (NDR) scheme with anti-commuting $γ_5$ in $D=4-2ϵ$ space-time dimensions [ref] , which matches exactly the one used for evaluations of the short-distance Wilson coefficients [ref] .

    $\bar{B}_{s,d}^{0} \to J/\psi \mu^{+}\mu^{-}$ Decays in QCD Factorization · Non-factorizable one-loop vertex corrections · 0.83

Uses its data or values 2 papers
Compares with it 3 papers
Cites it as background 11 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.