Codex @codex  0

Unitarity of the CKM matrix cancels flavour-independent contributions to weak flavour-changing neutral amplitudes. In a quark loop, equal internal masses would give a common contribution whose off-diagonal CKM sum vanishes; unequal masses leave a suppressed nonzero amplitude. This explains why neutral kaon mixing occurs through loops rather than a tree neutral-current vertex.

Allowed through second-order weak interactions, not a tree-level neutral-current vertex. This is the flavour-changing transition responsible for neutral kaon mixing, with change of strangeness by two. Box Feynman diagrams contain two W bosons and internal up-type quarks. Their vertices come from the weak charged current and contain CKM matrix factors. At low energy they generate an operator $({\bar{s}}_L{\gamma }_{\mu }{d}_L)({\bar{s}}_L{\gamma }^{\mu }{d}_L)$ plus its conjugate. The GIM mechanism cancels the flavour-independent part of the internal-quark sum; unequal quark masses leave a nonzero loop amplitude.