Pith. sign in

REVIEW 3 major objections 4 minor 8 references

Four-quark operators with $\Delta F = 2$ in the GIRS scheme

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper derives one-loop conversion matrices between the GIRS and MS renormalization schemes for all ten ΔF=2 four-quark operators, giving lattice QCD the factors it needs to translate nonperturbative matrix elements into MS.

desk verdict Solid proceedings summary of a one-loop GIRS-to-MS conversion for ΔF=2 four-quark operators; the tables are plausible but the linear independence of the renormalization conditions is left to the companion paper. read the letter →

arxiv 2501.13939 v1 pith:AYJBCMLP submitted 2025-01-17 hep-lat hep-ph

M.Constantinou , M. Costa , H. Herodotou , H.Panagopoulos , G. Spanoudes This is my paper · ORCID
classification hep-lathep-ph
keywords four-quarkoperatorsΔF=2GIRSschemeMSoperatormixingrenormalizationlatticeQCDCKMmatrixelements
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper presents the one-loop conversion matrices between the coordinate-space Gauge Invariant Renormalization Scheme (GIRS) and the MS scheme for the ten $\Delta F=2$ four-quark operators, the operators that govern flavor-changing neutral-current processes such as $K^0$–$\bar K^0$ mixing. The central output is two $5\times5$ matrices, one for parity-conserving and one for parity-violating operators, whose entries are rational numbers and logarithms of 2 multiplied by powers of the color number $N_c$. These factors are the bridge lattice QCD needs: simulations can renormalize four-quark operator matrix elements nonperturbatively in GIRS and then convert them to MS for phenomenology, including CKM matrix elements and bag parameters. The derivation uses two-point Green's functions of two four-quark operators and three-point Green's functions with one four-quark and two bilinear operators, all at distinct spacetime points in dimensional regularization.

What carries the argument

The load-bearing object is the basis $Q_i^{S=\pm1}$ formed from sums and differences of each four-quark operator $O_{\Gamma\tilde\Gamma}$ and its Fierz-transformed partner $O^F_{\Gamma\tilde\Gamma}$ (the operator with the fermion lines exchanged), which block-diagonalizes the mixing problem according to the discrete symmetries parity, charge conjugation, and flavor exchange/switching. The conversion matrix $C=Z^{\mathrm{GIRS}}(Z^{\mathrm{MS}})^{-1}$ is the mechanism that translates between schemes; at one loop it is the identity plus a correction whose coefficients are exactly the entries of Tables 1 and 2. The renormalization conditions are imposed on time-slice-integrated coordinate-space Green's functions, a GIRS variant that avoids gauge fixing and can be used directly in lattice simulations.

What would settle it

Compute the determinant of the $25\times25$ linear system formed by these conditions at a generic GIRS scale $t$; a vanishing determinant, or any linear dependence among the three-point conditions, would mean Tables 1 and 2 are underdetermined. A complementary check is to rederive the conversion factor between two different GIRS scales and compare it with the ratio predicted by the GIRS anomalous dimensions of the companion paper.

Watch

Extended reading notes

Core claim

At order $g^2/(16\pi^2)$, the paper shows that GIRS-renormalized and $\overline{\mathrm{MS}}$-renormalized $\Delta F=2$ four-quark operators are connected by the conversion factor $$C_{ij}^{S\pm1,\,\mathrm{MS,GIRS}}=\delta_{ij}+\frac{g_{\overline{\mathrm{MS}}}^2}{16\$pi^{2}$}\sum_{k=-1}^{+1}\left[$g^{{\pm}}$_{ij;k}+\left(\ln(\bar\$mu^{2}$ $t^{2}$)+2\gamma_E\right)$h^{{\pm}}$_{ij;k}\right]N_c^k+O($g^{4}$),$$ with the coefficients $g^\pm_{ij;k}$ and $h^\pm_{ij;k}$ tabulated in Tables 1 and 2. The parity-conserving mixing matrix is a full $5\times5$ matrix needing 25 renormalization conditions, while the parity-violating matrix is block diagonal with blocks $\{Q_1\}$, $\{Q_2,Q_3\}$, and $\{Q_4,Q_5\}$. These tables are the concrete output lattice practitioners need: combined with the GIRS renormalization factors for the external bilinears, they translate nonperturbative GIRS matrix elements into the MS scheme.

Load-bearing premise

The load-bearing premise is that the 15 two-point and 10 three-point renormalization conditions chosen for the parity-conserving operators are linearly independent and uniquely determine all 25 entries of the mixing matrix; the paper states this choice minimizes mixing but does not prove the independence.

Editorial extensions

If this is right

  • Lattice QCD simulations using GIRS can convert their nonperturbative $\Delta F=2$ four-quark operator matrix elements to the MS scheme using Tables 1 and 2, making the results comparable with continuum calculations and phenomenology.
  • The parity-violating conversion matrices inherit the block structure of the mixing pattern, so the small sectors require only a handful of conditions; the full $5\times5$ work is needed only for parity-conserving operators.
  • The explicit $\ln(\bar\mu^2t^2)$ dependence in the conversion factors gives a direct way to check the GIRS scale dependence against the GIRS anomalous dimensions computed in the companion paper.
  • The same GIRS treatment extends to $\Delta F=1$ and $\Delta F=0$ four-quark operators, where mixing with lower-dimensional operators becomes part of the condition set.

Reading between the lines

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

  • The paper leaves an extension implicit: the conversion matrices should satisfy a consistency relation when the GIRS scale $t$ is changed, so verifying the two-scale conversion against the GIRS anomalous dimensions would test the tables independently of any particular lattice data.
  • Because the paper selects one of several admissible GIRS prescriptions, a future calculation that picks different three-point conditions would yield different off-diagonal entries; the physical renormalized matrix elements should be identical, providing a nontrivial cross-check.
  • A practical check before large simulations: numerically confirm that the 15 two-point plus 10 three-point conditions are linearly independent, since the paper motivates but does not prove this independence.
  • The coordinate-space technique could be transferred to four-quark operators relevant to B-meson mixing and to bag parameters beyond $B_K$, where the same conversion factors would supply the perturbative bridge to MS.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The manuscript presents a one-loop calculation of the conversion matrices between the coordinate-space Gauge Invariant Renormalization Scheme (GIRS) and the MS scheme for the ten Delta F = 2 four-quark operators (five parity-conserving and five parity-violating). The renormalization conditions use 15 two-point and 10 three-point Green's functions for the parity-conserving 5x5 mixing matrix, and analogous smaller sets for the block-diagonal parity-violating case. The paper gives the resulting one-loop conversion coefficients in Eqs. (3.10)-(3.11) and Tables 1-2, with the aim of enabling lattice QCD simulations to convert nonperturbative GIRS matrix elements to MS. It is a proceedings contribution and refers to the companion paper [7] for further details.

Significance. If the coefficients in Tables 1 and 2 are correct, the paper supplies a practical and regularization-independent bridge between a gauge-invariant coordinate-space scheme suitable for lattice simulations and MS, for operators relevant to K and B mixing and CKM phenomenology. The explicit renormalization conditions are stated in a form that could be applied nonperturbatively, and the decomposition into color structures N_c^{-1}, N_c^0, N_c^{+1} is useful. The main strength is the concrete NLO conversion data; the main weakness is that the paper does not demonstrate that the chosen set of renormalization conditions uniquely determines the mixing matrices. The result is therefore conditional on a linear-independence/rank check that should be supplied.

major comments (3)
  1. [§3, Eqs. (3.8)-(3.9)] The paper asserts that the 15 two-point conditions plus the 10 selected three-point conditions determine all 25 elements of Z^{S=+/-1}, but this is not demonstrated. At one loop, writing Z = 1 + delta Z, the two-point conditions fix only the symmetric part of G_0 delta Z + delta Z^T G_0, leaving a 10-dimensional space of antisymmetric perturbations; the ten three-point conditions in Eq. (3.9) are what must break this freedom. The chosen list contains no three-point condition for row 4, so the closure of the system depends on an unproved rank property of the selected functionals. Please include a check that the 10x10 system for the antisymmetric perturbations has nonvanishing determinant, or show that the full 25x25 linear system is nonsingular, or give a precise pointer to where this is proven in [7]. The same remark applies, in reduced form, to the parity-violating blocks: each 2x2 block uses one three-point condition (Eqs. (3.6)-(3.7)) to remove the remaining antisymmetric parameter, and its nonvanishing is not checked.
  2. [§3, after Eq. (3.9)] The phrase 'a choice that minimizes mixing' is not a well-defined prescription. If the linear system is underdetermined, the phrase does not select a unique conversion matrix; if it is determined, the phrase is only motivational. To make the GIRS scheme reproducible, the manuscript should define the minimized quantity (for example, the sum of squares of the off-diagonal elements of Z) and state that the selected three-point functions are the global minimizer within the family considered. This is needed for Tables 1 and 2 to be unambiguous.
  3. [Tables 1 and 2 with Eqs. (3.10)-(3.11)] The central results are presented as numerical coefficients with no representative derivation, no explicit definition of the upper/lower sign convention in the captions, and no indication of which diagrams contribute to a particular entry. Since the companion paper [7] is cited for details, at minimum the text should identify the exact equations in [7] where each table is derived, and a single sample evaluation (for example, one off-diagonal entry of C^{S=+1}_{ij}) should be shown in this proceedings paper so that the reader can verify the normalization of the GIRS conditions.
minor comments (4)
  1. [Table captions] The captions of Tables 1 and 2 do not define the upper/lower sign in the +/- and -/+ entries; the text should state explicitly that the upper sign is for S = +1 and the lower sign for S = -1, in both the parity-conserving and parity-violating cases.
  2. [§2, Eq. (2.2)] The set notation in Eq. (2.2) lists gamma_5 sigma_mu_nu with a comma, which suggests it is a separate independent matrix; consider writing the set as {1, gamma_5, gamma_mu, gamma_mu gamma_5, sigma_mu_nu, gamma_5 sigma_mu_nu} and defining gamma_5 sigma_mu_nu more precisely if needed.
  3. [§3, after Eq. (3.7)] The sentence after Eq. (3.7) lists S;Q2;P and S;Q5;P as the chosen three-point functions for the parity-violating case, but the following paragraph switches to parity-conserving operators without a label; restructuring or adding explicit labels would avoid an apparent mismatch between this sentence and the list after Eq. (3.9).
  4. [Abstract and §1] The abstract states that further details appear in the companion paper [7], but the body does not delineate which equations or results are new in this proceedings contribution versus [7]; adding such a statement would help readers situate the submission.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the conversion matrices are obtained from explicit one-loop Green's function computations under a scheme defined by renormalization conditions, not by fitting or by importing the target result.

full rationale

The paper's central claim is a one-loop perturbative calculation of conversion factors between GIRS and MS. The GIRS renormalization conditions in Sec. 3 set renormalized Green's functions equal to their tree-level values; this is the definition of the scheme, not a circular input. The conversion matrices in Tables 1 and 2 follow from direct diagrammatic evaluation in dimensional regularization, with no parameter fitted to the tables themselves. The use of the bilinear renormalization factors from reference [5] is a self-citation, but it supplies the previously defined GIRS scheme for quark bilinears and is not the target four-quark mixing result; the four-quark mixing matrices are computed in this work. The paper also explicitly states that the chosen conditions are one of several valid GIRS prescriptions and are selected to minimize mixing contributions, so no uniqueness theorem or forced choice is imported. The skeptic's concern about possible linear dependence of the three-point conditions is a well-posedness or correctness issue, not circularity: even if the conditions left residual freedom, the tables would be non-unique rather than tautological. The derivation is therefore self-contained against the claimed one-loop conversion factors.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on standard perturbative QCD in DR, on a cited symmetry classification of operator mixing, and on the unproved sufficiency and independence of the chosen renormalization conditions. No free parameters are fitted to data, and no new entities are introduced.

assumptions (4)
  • standard math Dimensional regularization in D = 4 - 2ε provides a valid regulator for the perturbative computation of the GIRS Green's functions.
    Used throughout Section 3 to compute the one-loop integrals; standard in perturbative QCD.
  • domain assumption The operator mixing pattern for ΔF=2 four-quark operators is fully determined by the discrete symmetries P, C, S, S', S'' with mass-degenerate quarks, as classified in Ref. [8].
    This classification determines the block structure of the mixing matrices in Eq. (2.7); it is cited from [8] and not re-derived.
  • ad hoc to paper The selected set of two-point and three-point renormalization conditions (Eqs. (3.3)-(3.9)) is sufficient to uniquely determine all entries of the 5×5 mixing matrices.
    The paper asserts 15 two-point and 10 three-point conditions for 25 unknowns without proving their linear independence; this is load-bearing for the extraction of the tables.
  • domain assumption The GIRS renormalization scale t and t' can be chosen equal (t' = t) without loss of generality for the three-point conditions.
    Stated in Section 3 before Eq. (3.6); this simplifies the conditions but may restrict the scheme.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Four-quark operators with $\Delta F = 2$ in the GIRS scheme." pith.science (2026). https://pith.science/paper/AYJBCMLP

@misc{pith2026250113939,
  author       = {Pith},
  title        = {Pith review of: Four-quark operators with $\Delta F = 2$ in the GIRS scheme},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AYJBCMLP}},
  note         = {Machine review of arXiv:2501.13939}
}
read the original abstract

We calculate the mixing matrices of four-quark operators that change flavor numbers by two units. Our approach employs two schemes: the coordinate-space Gauge Invariant Renormalization Scheme (GIRS) and the Modified Minimal Subtraction scheme. From our perturbative computations, we extract the conversion factors between these two renormalization schemes at the next-to-leading order. A significant challenge in the study of four-quark operators is that they mix among themselves upon renormalization. Additionally, computations in GIRS at a given order in perturbation theory require Feynman diagrams with at least one additional loop. The extraction of the conversion factors involves calculating two-point Green's functions, which include products of two four-quark operators, and three-point Green's functions, which involve one four-quark operator and two bilinear operators, with all operators located at distinct spacetime points. We investigate both parity-conserving and parity-violating four-quark operators. This calculation is relevant to the determination of Cabibbo-Kobayashi-Maskawa (CKM) matrix elements from numerical simulations using the GIRS scheme.

Figures

Figures reproduced from arXiv: 2501.13939 by the authors.

Figure 1
Figure 1. Feynman diagrams contributing to G 2pt OΓΓ˜ ;OΓ′ ˜Γ′ (⃗z,z4) ≡ ⟨OΓΓ˜(0)O † Γ′Γ˜′ (z)⟩, up to order O(g 2 ). Wavy (solid) lines represent gluons (quarks). 1 2 3 X X X X 4 X 5 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Feynman diagrams contributing to G 3pt OΓ′;OΓΓ˜ ;OΓ′′ ((⃗z,z4),( ⃗z ′ ,z ′ 4 )) ≡ ⟨OΓ′(z)OΓΓ˜(0)OΓ′′(z ′ )⟩, up to order O(g 2 ), (OΓ(z) ≡ ψ¯ fi (z)Γψf j (z)). In this work, we present specific choices that involve all two-point Green’s functions and select three-point Green’s functions which lead to the smallest mixing contributions (off-diagonal matrix elements of Z S=±1 lm and Z S=±1 ). In the case of the Parity … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 1 canonical work pages

  1. [7]

    Gauge-invariant renormalization of four-quark operators

    M. Constantinou, M. Costa, H. Herodotou, H. Panagopoulos and G. Spanoudes, Gauge-invariant renormalization of four-quark operators in lattice QCD , Phys. Rev. D 110 (2024) 074506 [arXiv:2406.08065 [hep-lat] ]

    work page Pith review arXiv 2024

  2. [1]

    Buchalla, A

    G. Buchalla, A. J. Buras and M. E. Lautenbacher, Weak decays beyond leading logarithms, Rev. Mod. Phys. 68 (1996) 1125 [arXiv:hep-ph/9512380 [hep-ph] ]

    arXiv 1996

  3. [2]

    Lehner et al

    C. Lehner et al. [USQCD], Opportunities for Lattice QCD in Quark and Lepton Flavor Physics , Eur. Phys. J. A 55 (2019) 195 [arXiv:1904.09479 [hep-lat] ]

    arXiv 2019

  4. [3]

    Aoki et al

    Y . Aoki et al. [Flavour Lattice Averaging Group (FLAG)],FLAG Review 2021, Eur. Phys. J. C 82 (2022) 869 [arXiv:2111.09849 [hep-lat] ]

    arXiv 2022

  5. [4]

    Aaij et al

    R. Aaij et al. [LHCb], Observation of a Resonant Structure near the Ds+Ds- Threshold in the B+→Ds+Ds-K+ Decay, Phys. Rev. Lett. 131 (2023) 071901 [arXiv:2210.15153 [hep-ex] ]

    arXiv 2023

  6. [5]

    Costa, I

    M. Costa, I. Karpasitis, T. Pafitis, G. Panagopoulos, H. Panagopoulos, A. Skouroupathis and G. Spanoudes, Gauge-invariant renormalization scheme in QCD: Application to fermion bilinears and the energy-momentum tensor, Phys. Rev. D 103 (2021) 094509 [arXiv:2102.00858 [hep-lat]]

    arXiv 2021

  7. [6]

    J. Lin, W. Detmold and S. Meinel, Position-space renormalization schemes for four-quark operators in HQET, JHEP 07 (2024) 188 [arXiv:2404.16191 [hep-lat] ]

    arXiv 2024

  8. [8]

    Frezzotti and G

    R. Frezzotti and G. C. Rossi, Chirally improving Wilson fermions. II. F our-quark operators, JHEP 10 (2004) 070 [arXiv:hep-lat/0407002 [hep-lat]]. 8

    arXiv 2004

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.