A Standard Model charged-current box diagram converts into . Internal quarks run over , and the flavor sum contains with . The loop function depends on internal masses; CKM matrix unitarity gives , producing the GIM mechanism cancellation of flavor-independent terms. The amplitude is of order and second order in the weak interaction.
Neutral kaon mixing Created 2026-10-06 Updated 2026-10-18
The neutral flavour states and can mix through second-order weak interactions. Box diagrams with W bosons and internal up-type quarks induce a strangeness-changing-by-two four-quark operator. The GIM mechanism removes its flavour-independent part.
Adopt the phase convention and . Changing both phases changes the convention for the mixing parameter, not physical predictions. The flavor contents are and . A pair of charged weak currents changes strangeness by two units through the following box contractions, with summed over.
Figure 1.
Charged-current box contractions for neutral-kaon mixing; solid arrows carry quark number and wavy lines denote W bosons
. Details.
The drawing uses unitary gauge: the W boson gauge-boson propagator contains its longitudinal part. In a gauge of a renormalizable quantum field theory, charged Goldstone boson boxes must also be included to obtain the same gauge-independent result. The external lines represent the valence quarks; the meson matrix element also contains strong interaction binding effects.
Put , and . The charged weak box contribution to kaon mixing has the effective four-fermion interaction structure
Here is the Fermi constant, is the CKM matrix, and is a dimensionless loop function from a Feynman integral; the estimate suppresses convention-dependent numerical factors. Four weak interaction Feynman vertices and a one-loop Feynman integral give the coupling and loop order suppression. Unitarity of the CKM matrix gives , so the GIM mechanism cancels the mass-independent part. With a negligible up quark mass, the leading charm quark term has . Define by . Estimating the hadronic matrix element by , with the dimensionless kaon bag parameter of order unity, gives
The hadronic normalization includes division by when relativistically normalized states are converted to the effective Hamiltonian for neutral-meson mixing. Since , the Cabibbo suppression is explicit. Illustrative scales , , and give an order to estimate. The full sum includes charm quark-top quark and top quark-top quark terms, important for CP violation; long-distance strong interaction contributions prevent this dimensional estimate from being a precision prediction. A meson matrix element necessarily needs hadronic input in addition to electroweak parameters.
For the decaying kaon system write , where and are Hermitian matrices. The entries denoted in the question are entries of this effective Hamiltonian for neutral-meson mixing; they need not themselves form a Hermitian matrix. CPT invariance equates the diagonal masses and diagonal decay widths, giving
One can see why there is no complex conjugation on the right as follows. In the flavor subspace let and represent the antiunitary CPT operation by followed by complex conjugation. CPT changes a projected forward propagator into its adjoint. Indeed, if projects onto the flavor subspace and is the Hermitian microscopic generator, its invariance and the antiunitary reversal of give . In the time-independent two-state approximation, the effective generator this means , whose diagonal entries give ; the off-diagonal entries impose no further condition. Equivalently, apply CPT separately to the dispersive and absorptive Hermitian matrices. Treating the decaying effective Hamiltonian for neutral-meson mixing as a Hermitian matrix would incorrectly discard the absorptive part.
In the chosen flavor phase convention CP is represented by . Its invariance requires . Thus it gives diagonal equality and additionally
The normalized CP eigenstates are
Applying CP directly gives eigenvalues and respectively.
Now use CPT to put and take correlated square roots , . Its characteristic polynomial equation is , and direct multiplication shows
Expressing these two eigenvectors in the CP eigenstate basis gives, respectively, coefficients proportional to and . Therefore the kaon CP mixing parameter is
and, because the CP eigenstate basis is orthonormal, the normalized states at production are
The kaon mixing square-root branch convention correlates the roots continuously with the limit of conserved CP , where and . Reversing one root interchanges the two eigenstates. The labels short and long are fixed by their decay widths: their complex eigenvalues are , and subsequent evolution supplies . The displayed formula assumes nonzero mixing and , as in the physical kaon system; degenerate or defective matrices require a separate limiting treatment.
Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets transform as under , whereas and transform as and . With a Higgs doublet and its conjugate , the gauge-invariant Yukawa interaction is
The generation indices are matrix-multiplied. Electroweak symmetry breaking, , produces and .
Each complex fermion mass matrix admits a biunitary diagonalization,
where the diagonal entries are real nonnegative quark masses. Define and , and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomes
This unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.
Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and . The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an amplitude contains . Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.
For generations a unitary matrix has real parameters: mixing angles and phases. Rephasing the up-type and down-type quark fields removes phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers are
Two generations therefore give a real Cabibbo rotation,
with strangeness-changing charged-current transitions suppressed by . Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.
Writing and , a standard exact parametrization is
Complex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes real. A useful invariant test is the Jarlskog invariant,
A nonzero requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.
The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put , , and . Expanding the exact matrix gives
The observed pattern is predominantly diagonal, with - mixing largest and -, - mixing successively suppressed. The expansion implies . The truncated matrix must not be treated as an exactly unitary matrix.
Column orthogonality gives
The three complex numbers form a CKM unitarity triangle, with area . Dividing by puts its vertices at , and , where . The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.
Semileptonic decay rates determine magnitudes of CKM entries through factors once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.
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 plus its conjugate. The GIM mechanism cancels the flavour-independent part of the internal-quark sum; unequal quark masses leave a nonzero loop amplitude.
The literal final state has a three-vertex loop using the Standard Model quartic vertex . The two other vertices are and , with . The internal down-type quark joins those two vertices, while two charged-vector propagators join them through the quartic vertex emitting both neutral bosons. The bottom panel of the figure shows this topology, satisfying the three-vertex hint without dropping the photon. Its additional electromagnetic coupling is contained in the four-leg vertex; counting vertices alone does not determine coupling order.
The companion single- penguin diagram illustrates : it instead attaches the neutral boson to the internal quark line and has three cubic vertices. These are different final states. A complete gauge-invariant amplitude requires all companion attachments; for these include photon radiation from charged lines as well as the quartic graph.
Both flavour sums have the form
where the loop function also depends on the final-state kinematics. After cancellation of a mass-independent part by GIM mechanism, the bottom-quark mass gives the largest surviving contribution: , while is not unusually small compared with the strange combination. The larger than then favours final charm. Schematically,
The same flavour preference applies to the separate two-body modes and . This estimates a relative flavour preference, not an absolute branching ratio. Loop factors and mass-difference suppression remain, so these channels are fully compatible with GIM. A resolved extra photon also introduces another electromagnetic coupling and three-body phase space; an experimental definition needs photon-energy and isolation cuts to distinguish hard radiation from the soft limit.