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.