This paper addresses a technical but important piece of a rare kaon decay puzzle. The decay K_L→μ+μ− is sensitive to both short‑distance effects (calculable with standard perturbation theory) and a long‑distance contribution in which the kaon exchanges two photons before producing the muon pair. The long‑distance two‑photon piece must be computed nonperturbatively using lattice QCD. The authors show how to remove unphysical parameters that appear when this calculation is done in a three‑flavor effective theory that omits the charm quark.

Why do extra parameters appear? In a theory with only the up, down and strange quarks (the “three‑flavor” theory) one loses the so‑called Glashow‑Iliopoulos‑Maiani (GIM) cancellation that normally tames some short‑distance divergences when electromagnetism is included. As a result, additional low‑energy constants (LECs) must be added to the three‑flavor weak Hamiltonian. These LECs depend on the omitted charm mass mc and must be determined before the three‑flavor lattice result can be turned into a physical prediction.

What the authors propose is a practical way to determine those LECs. They classify the divergent pieces that appear in the three‑flavor calculation into three types (called Class A, B and C) and propose renormalization conditions that can be imposed by matching to a four‑flavor lattice calculation that does include a charm quark. To keep the four‑flavor calculation practical, they suggest doing it on a small lattice volume and with up and down quark masses heavier than their physical values. Two regularization strategies are discussed in detail: using a conserved electromagnetic current to reduce divergences, or introducing an unphysical light charm as a Pauli–Villars–type regulator to produce a GIM‑like subtraction. The authors also show how an expansion in the strong coupling at the charm scale, αs(mc), can simplify the determination of the needed counterterms.