Chirally improving Wilson fermions II. Four-quark operators
R. Frezzotti, G. C. Rossi
TL;DR
This work develops a lattice QCD framework using maximally twisted (twisted-mass) Wilson fermions to compute CP-conserving ΔS=1,2 matrix elements with no wrong-chirality or parity mixing and with automatic $O(a)$ improvement. By separating sea and valence quarks and employing carefully chosen valence actions (including OS-type replicas and ghost fields), the authors guarantee a positive determinant, controlled renormalization, and the absence of problematic operator mixing for key four-quark operators such as ${\cal Q}_{VV+AA}^{\Delta S=2}$ and ${\cal Q}^{\pm}_{VA+AV}$, enabling multiplicative renormalization and clean continuum limits. The paper provides concrete lattice discretizations and symmetry-based proofs showing no mixing with lower- or equal-dimension operators (aside from harmless logarithmic pieces) and demonstrates how to extract $B_K$ and $K\to\pi$ or $K\to\pi\pi$ amplitudes from correlators with automatic $O(a)$ improvement. These advances offer a practical route to first-principles, nonperturbative determinations of kaon weak matrix elements with controlled discretization effects, potentially matching or surpassing GW-based approaches in computational efficiency. The results also outline future directions, including hybrid GW/tm schemes and Schrödinger functional implementations, to further reduce lattice artifacts and enable precise phenomenology of the unitarity triangle.
Abstract
In this paper we discuss how the peculiar properties of twisted lattice QCD at maximal twist can be employed to set up a consistent computational scheme in which, despite the explicit breaking of chiral symmetry induced by the presence of the Wilson and mass terms in the action, it is possible to completely bypass the problem of wrong chirality and parity mixings in the computation of the CP-conserving matrix elements of the $ΔS=1,2$ effective weak Hamiltonian and at the same time have a positive determinant for non-degenerate quarks as well as full O($a$) improvement in on-shell quantities with no need of improving the lattice action and the operators.
