The neutral kaon system

The neutral kaon is the most instructive two-state system in particle physics, because in it the two questions "what did you make?" and "what propagates and decays?" have different answers. Produced by the strong force, K0(dsˉ)K^0(d\bar{s}) and Kˉ0(sdˉ)\bar{K}^0(s\bar{d}) are the lightest strangeness-carrying mesons — flavour eigenstates with S=±1S=\pm1, made copiously in reactions like π−p→ΛK0\pi^- p \to \Lambda K^0. But strangeness is not conserved by the weak interaction, and the same force that lets these particles decay also connects K0K^0 to Kˉ0\bar{K}^0 through second-order box diagrams. A kaon born as pure K0K^0 does not stay pure: it oscillates into Kˉ0\bar{K}^0 and back, and the states carrying a definite mass and lifetime are not the flavour states but two superpositions of them. Three ideas organize everything that follows. First, the combinations K1K_1 and K2K_2 are eigenstates of CPCP with eigenvalues +1+1 and −1-1; since two pions are CPCP-even and three CPCP-odd, exact CPCP would force K1→ππK_1\to\pi\pi and K2→πππK_2\to\pi\pi\pi exclusively. Second, the vast phase-space difference between these channels (Q≈218Q\approx218 vs 8383 MeV) makes the CPCP-even state decay some 570 times faster, splitting the kaon into a short-lived KS≈K1K_S\approx K_1 and long-lived KL≈K2K_L\approx K_2. Third — the payoff — a beam left to propagate becomes pure KLK_L, and if CPCP were exact it could never make two pions. In 1964 it did: 45 events of KL→π+π−K_L\to\pi^+\pi^- in 22 700 decays announced that CPCP is not a symmetry of nature.

Key takeaways
  • K0(dsˉ)K^0(d\bar{s}) and Kˉ0(sdˉ)\bar{K}^0(s\bar{d}) are strong-interaction flavour eigenstates (S=±1S=\pm1), mixed by the weak interaction through K0↔Kˉ0K^0\leftrightarrow\bar{K}^0 box diagrams.
  • The CPCP eigenstates are K1=12(K0+Kˉ0)K_1=\tfrac{1}{\sqrt2}(K^0+\bar{K}^0) (CP=+1CP=+1) and K2=12(K0−Kˉ0)K_2=\tfrac{1}{\sqrt2}(K^0-\bar{K}^0) (CP=−1CP=-1); two pions are CPCP-even, three pions CPCP-odd.
  • The physical states are KSK_S (τS≈0.90×10−10\tau_S\approx0.90\times10^{-10} s, →ππ\to\pi\pi) and KLK_L (τL≈5.1×10−8\tau_L\approx5.1\times10^{-8} s, →πππ\to\pi\pi\pi); the ratio τL/τS≈571\tau_L/\tau_S\approx571 is set almost entirely by phase space.
  • The mass eigenstates are nearly degenerate, Δm≈3.48×10−6\Delta m\approx3.48\times10^{-6} eV, and the "coincidence" Δm τS≈0.47\Delta m\,\tau_S\approx0.47 makes strangeness oscillations observable within a KSK_S lifetime.
  • In 1964 Christenson, Cronin, Fitch and Turlay saw KL→π+π−K_L\to\pi^+\pi^- at the 2×10−32\times10^{-3} level — the first evidence of CPCP violation, so KS≠K1K_S\ne K_1 and KL≠K2K_L\ne K_2 exactly.
  • Key idea: what you produce (flavour states K0,Kˉ0K^0,\bar{K}^0) and what propagates and decays (mass/lifetime eigenstates KS,KLK_S,K_L) are different bases related by weak mixing; comparing them reveals that CPCP is not an exact symmetry of the weak interaction.
The core insight

What you produce (the flavour states K0K^0, Kˉ0\bar{K}^0) and what propagates and decays (the mass/lifetime eigenstates KSK_S, KLK_L) are different bases related by weak mixing; comparing them — most sharply through the appearance of KL→ππK_L\to\pi\pi — reveals that CPCP is not an exact symmetry of the weak interaction.

Where this lives today

The neutral kaon remains physics' most exacting laboratory for discrete symmetries. Fixed-target experiments at CERN (NA48) and Fermilab (KTeV) measured direct CPCP violation, Re(ε′/ε)=(1.66±0.23)×10−3\mathrm{Re}(\varepsilon'/\varepsilon)=(1.66\pm0.23)\times10^{-3}, showing CPCP is broken in the decay amplitude and not only the mixing — which "superweak" models could not accommodate. At Frascati, KLOE ran on the ϕ\phi-factory DAΦ\PhiNE producing entangled KSKLK_S K_L pairs, an EPR experiment where one kaon's decay fixes the other's. The kaon also gives the most stringent CPTCPT test in physics, bounding ∣mK0−mKˉ0∣/mK<10−18|m_{K^0}-m_{\bar{K}^0}|/m_K<10^{-18}. And the mixing parameter εK\varepsilon_K tightly constrains the CKM unitarity triangle, while the ultra-rare "golden mode" KL→π0ννˉK_L\to\pi^0\nu\bar{\nu} — its rate calculable directly from CKM parameters — is hunted by KOTO at J-PARC and K+→π+ννˉK^+\to\pi^+\nu\bar{\nu} by NA62, where any excess signals new physics.

The physical picture

A neutral kaon lives a double life. The strong interaction that makes it, and the semileptonic decays that later "tag" it, speak flavour: S=+1S=+1 for K0K^0, S=−1S=-1 for Kˉ0\bar{K}^0. But nothing forces the particle travelling down the beam pipe to have definite strangeness — the weak Hamiltonian governing propagation and decay does not commute with strangeness, so its eigenstates are mixtures. Diagonalizing it gives two states with sharp masses and lifetimes, KSK_S and KLK_L. The first figure lays the two bases side by side, with the CPCP eigenstates as the bridge.

Figure
Two bases for one particle: the strong interaction produces flavour eigenstates K⁰ and K̄⁰ (strangeness ±1), but the weak interaction propagates and decays the mass/lifetime eigenstates K_S and K_L; the CP eigenstates K₁ (CP +1) and K₂ (CP −1) bridge them, and the two masses differ by only Δm ≈ 3.48×10⁻⁶ eV
One particle, two bases — flavour (make it) versus mass/lifetime (watch it decay) STRONG · flavour basis CP eigenstates WEAK · mass/lifetime basis K⁰ = d s̄ S = +1 K̄⁰ = s d̄ S = −1 K₁ = (K⁰+K̄⁰)/√2 CP = +1 → ππ K₂ = (K⁰−K̄⁰)/√2 CP = −1 → πππ K_S ≈ K₁ τ_S = 0.90×10⁻¹⁰ s K_L ≈ K₂ τ_L = 5.1×10⁻⁸ s Δm = m_L − m_S ≈ 3.48×10⁻⁶ eV nearly degenerate: Δm/m_K ≈ 7×10⁻¹⁵ tiny K₂ ↔ K₁ admixture (the ε term) is the CP violation — so K_S≠K₁, K_L≠K₂ exactly

The right-hand column is what a beam delivers. Because KSK_S decays about 570 times faster, a beam that has flown a few decay lengths past its source has lost its KSK_S component to ππ\pi\pi decay and is, to one part in ten thousand, a pure KLK_L beam — and the whole logic of the experiments is to exploit that separation. Meanwhile the flavour composition oscillates: the second figure plots a beam born as pure K0K^0, with the probability of finding a Kˉ0\bar{K}^0 rising and beating against the decay, its frequency set by Δm\Delta m.

Figure
Strangeness oscillation of a beam born as pure K⁰: the probability of finding K⁰ (blue) and K̄⁰ (red) versus proper time in units of the K_S lifetime, from the interference of the K_S and K_L amplitudes; the beat frequency is set by the mass splitting through Δm·τ_S = 0.47, and both curves damp toward ¼ once the K_S component has decayed away
The punchline: a K⁰ beam oscillates into K̄⁰ — beat frequency fixes Δm·τ_S = 0.47 1.0 0.75 0.50 0.25 0.0 0 2 4 6 8 10 proper time t / τ_S probability P(K⁰) P(K̄⁰) asymptote ¼ (pure K_L) first K̄⁰ maximum ≈ 5 τ_S

The core equations

The formalism rests on distinguishing two orthonormal bases and writing the weak evolution in whichever is convenient. The first equation defines the CPCP eigenstates, in the convention (phase ζ=π\zeta=\pi) where C^P^ ∣K0⟩=+∣Kˉ0⟩\hat{C}\hat{P}\,|K^0\rangle=+|\bar{K}^0\rangle and C^P^ ∣Kˉ0⟩=+∣K0⟩\hat{C}\hat{P}\,|\bar{K}^0\rangle=+|K^0\rangle.

∣K1⟩=12(∣K0⟩+∣Kˉ0⟩),∣K2⟩=12(∣K0⟩−∣Kˉ0⟩),C^P^ ∣K1,2⟩=±∣K1,2⟩(1)|K_1\rangle=\tfrac{1}{\sqrt2}\big(|K^0\rangle+|\bar{K}^0\rangle\big),\qquad |K_2\rangle=\tfrac{1}{\sqrt2}\big(|K^0\rangle-|\bar{K}^0\rangle\big),\qquad \hat{C}\hat{P}\,|K_{1,2}\rangle=\pm|K_{1,2}\rangle \qquad (1)

where: ∣K0⟩,∣Kˉ0⟩|K^0\rangle,|\bar{K}^0\rangle — flavour eigenstates with JP=0−J^P=0^-; ∣K1⟩,∣K2⟩|K_1\rangle,|K_2\rangle — CPCP eigenstates with eigenvalues +1,−1+1,-1. If CPCP were exact these would be the states that decay with definite lifetimes. They are not, quite — hence everything below. A decaying two-state system is not Hermitian — probability leaks out through decay. The Weisskopf–Wigner approximation packages the coupled flavour amplitudes a(t),b(t)a(t),b(t) (the K0K^0 and Kˉ0\bar{K}^0 content) into a Schrödinger-like equation with a non-Hermitian effective Hamiltonian.

iddt(ab)=H(ab),H=M−i2Γ(2)i\frac{\mathrm{d}}{\mathrm{d}t}\begin{pmatrix}a\\ b\end{pmatrix}=\mathbf{H}\begin{pmatrix}a\\ b\end{pmatrix},\qquad \mathbf{H}=\mathbf{M}-\frac{i}{2}\boldsymbol{\Gamma} \qquad (2)

where: M\mathbf{M} — Hermitian mass matrix (dispersive, set mainly by the ΔS=2\Delta S=2 box diagram); Γ\boldsymbol{\Gamma} — Hermitian decay matrix (absorptive, from channels common to K0K^0 and Kˉ0\bar{K}^0, dominantly ππ\pi\pi). CPTCPT forces the diagonals equal, M11=M22M_{11}=M_{22}, Γ11=Γ22\Gamma_{11}=\Gamma_{22}. Diagonalizing H\mathbf{H} gives the physical states — the combinations of K0K^0 and Kˉ0\bar{K}^0 that evolve as pure exponentials, with mixing ratio q/pq/p fixed entirely by the off-diagonal elements.

∣KS⟩=p ∣K0⟩+q ∣Kˉ0⟩,∣KL⟩=p ∣K0⟩−q ∣Kˉ0⟩,qp=M12∗−i2Γ12∗M12−i2Γ12(3)|K_S\rangle=p\,|K^0\rangle+q\,|\bar{K}^0\rangle,\qquad |K_L\rangle=p\,|K^0\rangle-q\,|\bar{K}^0\rangle,\qquad \frac{q}{p}=\sqrt{\frac{M_{12}^{*}-\tfrac{i}{2}\Gamma_{12}^{*}}{M_{12}-\tfrac{i}{2}\Gamma_{12}}} \qquad (3)

where: p,qp,q — complex mixing coefficients, ∣p∣2+∣q∣2=1|p|^2+|q|^2=1. If CPCP holds, q/p=1q/p=1 and KS,KL→K1,K2K_S,K_L\to K_1,K_2 exactly. The physical states are non-orthogonal, ⟨KS∣KL⟩=∣p∣2−∣q∣2≠0\langle K_S|K_L\rangle=|p|^2-|q|^2\ne0. The eigenvalues of H\mathbf{H} are complex — real parts the masses, imaginary parts the half-widths. This one line contains both the mass splitting Δm\Delta m that drives oscillation and the width splitting ΔΓ\Delta\Gamma that separates the two lifetimes.

μS,L≡mS,L−i2ΓS,L=(M11−i2Γ11)±(M12−i2Γ12)(M12∗−i2Γ12∗)(4)\mu_{S,L}\equiv m_{S,L}-\frac{i}{2}\Gamma_{S,L}=\Big(M_{11}-\tfrac{i}{2}\Gamma_{11}\Big)\pm\sqrt{\Big(M_{12}-\tfrac{i}{2}\Gamma_{12}\Big)\Big(M_{12}^{*}-\tfrac{i}{2}\Gamma_{12}^{*}\Big)} \qquad (4)

where: Δm=mL−mS≈3.48×10−6\Delta m=m_L-m_S\approx3.48\times10^{-6} eV; ΔΓ=ΓS−ΓL≈ΓS\Delta\Gamma=\Gamma_S-\Gamma_L\approx\Gamma_S. The diagonal term sets the common mass and mean width; the square root of the off-diagonal product sets the splitting between the two physical kaons. Because KSK_S and KLK_L differ in both mass and lifetime, a beam of definite flavour beats between K0K^0 and Kˉ0\bar{K}^0. Projecting the evolved state onto the flavour basis and squaring gives the strangeness-oscillation law of the second figure.

P(K0 ⁣→Kˉ0; t)=14[e−ΓSt+e−ΓLt−2 e−(ΓS+ΓL)t/2cos⁡(Δm t)](5)P(K^0\!\to\bar{K}^0;\,t)=\frac{1}{4}\Big[e^{-\Gamma_S t}+e^{-\Gamma_L t}-2\,e^{-(\Gamma_S+\Gamma_L)t/2}\cos(\Delta m\,t)\Big] \qquad (5)

where: tt — proper time; the cos⁡(Δm t)\cos(\Delta m\,t) term is pure quantum interference between the KSK_S and KLK_L amplitudes. The dimensionless x≡Δm τS≈0.47x\equiv\Delta m\,\tau_S\approx0.47 sets how many oscillations fit inside a KSK_S lifetime — about half a cycle, so the effect is measurable but gentle. Finally, CPCP violation is quantified by the ratios of KLK_L to KSK_S amplitudes into the same CPCP-even two-pion final states.

η+−=⟨π+π−∣KL⟩⟨π+π−∣KS⟩=ε+ε′,η00=⟨π0π0∣KL⟩⟨π0π0∣KS⟩=ε−2ε′,∣ε∣≈2.23×10−3(6)\eta_{+-}=\frac{\langle\pi^+\pi^-|K_L\rangle}{\langle\pi^+\pi^-|K_S\rangle}=\varepsilon+\varepsilon',\qquad \eta_{00}=\frac{\langle\pi^0\pi^0|K_L\rangle}{\langle\pi^0\pi^0|K_S\rangle}=\varepsilon-2\varepsilon',\qquad |\varepsilon|\approx2.23\times10^{-3} \qquad (6)

where: ε\varepsilon — indirect CPCP violation, the K1K_1 admixture in KLK_L from mixing; ε′\varepsilon' — direct CPCP violation in the decay amplitude, Re(ε′/ε)≈1.7×10−3\mathrm{Re}(\varepsilon'/\varepsilon)\approx1.7\times10^{-3}. The near-equality η+−≈η00≈ε\eta_{+-}\approx\eta_{00}\approx\varepsilon is why the effect was first read as mixing alone; resolving ε′\varepsilon' took three more decades.

Derivation ADiagonalizing the effective Hamiltonian to find K_S and K_L

The goal is to start from the two-component weak evolution of equation (2) and show that its eigenstates are the mixed states of equation (3), its eigenvalues the complex masses of equation (4), and — most importantly — that in the exact-CPCP limit the whole apparatus collapses back onto the CPCP eigenstates K1K_1 and K2K_2. This turns "the kaon mixes" into the concrete machinery of q/pq/p, Δm\Delta m and ΔΓ\Delta\Gamma, and pins down which small quantity measures the CPCP violation.

Step 1. Write the effective Hamiltonian in the flavour basis using CPTCPT (H11=H22≡DH_{11}=H_{22}\equiv D) and Hermiticity of M,Γ\mathbf{M},\boldsymbol{\Gamma} (so M21=M12∗M_{21}=M_{12}^{*}, Γ21=Γ12∗\Gamma_{21}=\Gamma_{12}^{*}): H=(DH12H21D)\mathbf{H}=\begin{pmatrix}D & H_{12}\\ H_{21} & D\end{pmatrix} with H12=M12−i2Γ12H_{12}=M_{12}-\tfrac{i}{2}\Gamma_{12} and H21=M12∗−i2Γ12∗H_{21}=M_{12}^{*}-\tfrac{i}{2}\Gamma_{12}^{*}. Why: CPTCPT is the one symmetry we insist on keeping, and it makes the diagonal entries equal — so any difference between the two physical kaons must come from the off-diagonal mixing, not an intrinsic K0K^0–Kˉ0\bar{K}^0 mass difference.

Step 2. Solve the 2×22\times2 eigenproblem: eigenvalues μS,L=D±H12H21\mu_{S,L}=D\pm\sqrt{H_{12}H_{21}} (equation 4) and eigenvectors (p,±q)T(p,\pm q)^{T} with q/p=H21/H12q/p=\sqrt{H_{21}/H_{12}} (equation 3). Why: for equal diagonals the eigenvectors are the symmetric and antisymmetric flavour combinations weighted by q/pq/p, so all the mixing is compressed into one complex ratio q/pq/p.

Step 3. Take the CPCP-symmetric limit. CPCP invariance requires H12=H21H_{12}=H_{21} (M12,Γ12M_{12},\Gamma_{12} real in this convention); then q/p=1q/p=1, ∣KS⟩=12(∣K0⟩+∣Kˉ0⟩)=∣K1⟩|K_S\rangle=\tfrac{1}{\sqrt2}(|K^0\rangle+|\bar{K}^0\rangle)=|K_1\rangle and ∣KL⟩=∣K2⟩|K_L\rangle=|K_2\rangle. Why: the anchor — the mass eigenstates coincide with the CPCP eigenstates precisely when CPCP is good, so any measured departure of q/pq/p from unity is a direct, model-independent signal of CPCP violation.

Step 4. Parametrize the departure. With ε=(p−q)/(p+q)\varepsilon=(p-q)/(p+q) the physical states become ∣KS⟩∝∣K1⟩+ε∣K2⟩|K_S\rangle\propto|K_1\rangle+\varepsilon|K_2\rangle and ∣KL⟩∝∣K2⟩+ε∣K1⟩|K_L\rangle\propto|K_2\rangle+\varepsilon|K_1\rangle: each carries a small "wrong-CPCP" impurity ε\varepsilon. Why: this is the mechanism behind KL→ππK_L\to\pi\pi — the long-lived state is mostly CPCP-odd K2K_2 but contains a fraction ε≈2.2×10−3\varepsilon\approx2.2\times10^{-3} of CPCP-even K1K_1, and it is that fraction which decays to two pions. *As a check: the eigenvalues μS,L=D±H12H21\mu_{S,L}=D\pm\sqrt{H_{12}H_{21}} and eigenvectors (p,±q)(p,\pm q) reduce exactly to K1,K2K_1,K_2 when q/p=1q/p=1, and ε→0\varepsilon\to0 in the CPCP-conserving limit.*

Go deeper · Derivation B · 1 minStrangeness oscillations from the two-lifetime evolution
Derivation BStrangeness oscillations from the two-lifetime evolution

The aim is to derive the oscillation formula (5) from scratch: take a state prepared as pure K0K^0, expand it in the physical basis whose time dependence we know, evolve it, and project back onto Kˉ0\bar{K}^0. The result shows two nearly-degenerate decaying states interfering, giving a strangeness beat whose frequency is the mass splitting and whose envelope is the decay — a two-level quantum beat with complex frequencies. We work in the CPCP-conserving approximation (KS=K1K_S=K_1, KL=K2K_L=K_2), exact to 10−310^{-3} here.

Step 1. Express the initial flavour state in the physical basis: ∣K0⟩=12(∣K1⟩+∣K2⟩)=12(∣KS⟩+∣KL⟩)|K^0\rangle=\tfrac{1}{\sqrt2}(|K_1\rangle+|K_2\rangle)=\tfrac{1}{\sqrt2}(|K_S\rangle+|K_L\rangle). Why: only KS,KLK_S,K_L have simple exponential time dependence, so a beam of definite flavour must be resolved into them before it can be evolved.

Step 2. Evolve each with its own complex frequency, μ=m−i2Γ\mu=m-\tfrac{i}{2}\Gamma, giving ∣K0(t)⟩=12(e−iμSt∣KS⟩+e−iμLt∣KL⟩)|K^0(t)\rangle=\tfrac{1}{\sqrt2}\big(e^{-i\mu_S t}|K_S\rangle+e^{-i\mu_L t}|K_L\rangle\big). Why: the imaginary part of μ\mu shrinks each amplitude as e−Γt/2e^{-\Gamma t/2} while the real part advances its phase as e−imte^{-imt} — decay and oscillation on the same exponential.

Step 3. Project onto Kˉ0\bar{K}^0 using ⟨Kˉ0∣KS⟩=+12\langle\bar{K}^0|K_S\rangle=+\tfrac{1}{\sqrt2} and ⟨Kˉ0∣KL⟩=−12\langle\bar{K}^0|K_L\rangle=-\tfrac{1}{\sqrt2}: the amplitude is ⟨Kˉ0∣K0(t)⟩=12(e−iμSt−e−iμLt)\langle\bar{K}^0|K^0(t)\rangle=\tfrac12\big(e^{-i\mu_S t}-e^{-i\mu_L t}\big). Why: the opposite signs are the crux — the Kˉ0\bar{K}^0 amplitude is a difference of the two exponentials, vanishing at t=0t=0 (pure K0K^0) and growing only as the eigenstates dephase.

Step 4. Square the modulus, ∣z1−z2∣2=∣z1∣2+∣z2∣2−2Re(z1z2∗)|z_1-z_2|^2=|z_1|^2+|z_2|^2-2\mathrm{Re}(z_1 z_2^{*}), to obtain P=14[e−ΓSt+e−ΓLt−2e−(ΓS+ΓL)t/2cos⁡(Δm t)]P=\tfrac14[e^{-\Gamma_S t}+e^{-\Gamma_L t}-2e^{-(\Gamma_S+\Gamma_L)t/2}\cos(\Delta m\,t)], equation (5). Why: the cross term carries cos⁡(Δm t)\cos(\Delta m\,t), so the beat frequency is a direct read-out of the mass difference — historically how Δm\Delta m was first extracted. *As a check: P(K0 ⁣→Kˉ0;0)=0P(K^0\!\to\bar{K}^0;0)=0 (the beam starts pure K0K^0) and P→14e−ΓLtP\to\tfrac14 e^{-\Gamma_L t} for t≫τSt\gg\tau_S (only KLK_L survives); the survival probability P(K0 ⁣→K0)P(K^0\!\to K^0) carries +cos⁡(Δm t)+\cos(\Delta m\,t), and the two probabilities sum to 12(e−ΓSt+e−ΓLt)\tfrac12(e^{-\Gamma_S t}+e^{-\Gamma_L t}), as required by unitarity.*

Go deeper · Derivation C · 1 minWhy K₁ makes two pions and K₂ makes three
Derivation CWhy K₁ makes two pions and K₂ makes three

The purpose here is to establish what gives the two lifetimes their enormous ratio: the CPCP quantum numbers of the pionic final states and the phase space of each. We compute the parity and charge conjugation of ππ\pi\pi and πππ\pi\pi\pi, match them to the CPCP eigenvalues of K1K_1 and K2K_2, and show that the far larger ππ\pi\pi phase space makes the CPCP-even kaon short-lived — where the labels "KSK_S" and "KLK_L" acquire their physical identity.

Step 1. Find CPCP of the two-pion state. The kaon has spin zero, so the pions emerge with L=0L=0. Parity gives P=Pπ2(−1)L=+1P=P_\pi^2(-1)^L=+1; charge conjugation gives C=(−1)L=+1C=(-1)^L=+1 (both π+π−\pi^+\pi^- and π0π0\pi^0\pi^0). Hence CP(ππ)=+1CP(\pi\pi)=+1. Why: each pion's negative parity squares away, and with L=0L=0 nothing makes the pair CPCP-odd — two pions are unavoidably CPCP-even.

Step 2. Find CPCP of the three-pion state. For the dominant low-LL configuration, P=Pπ3(−1)L=−1P=P_\pi^3(-1)^{L}=-1 and C=+1C=+1, so CP(πππ)=−1CP(\pi\pi\pi)=-1; the exactly CPCP-odd 3π03\pi^0 case is guaranteed by Bose symmetry. Why: the extra pion flips the parity, so three pions are CPCP-odd where two are CPCP-even — the channels select opposite CPCP eigenstates.

Step 3. Match to the kaons. K1K_1 (CP=+1CP=+1) can decay to ππ\pi\pi; K2K_2 (CP=−1CP=-1) cannot, and is driven to πππ\pi\pi\pi. Why: CPCP conservation ties each eigenstate to a final state of matching CPCP, forbidding the fast ππ\pi\pi mode for K2K_2.

Step 4. Compare phase space. The energy release is Qππ=mK−2mπ≈218Q_{\pi\pi}=m_K-2m_\pi\approx218 MeV against Q3π=mK−3mπ≈83Q_{3\pi}=m_K-3m_\pi\approx83 MeV, and the three-body mode is further suppressed by the extra final-state particle. The upshot is Γ(K1)≫Γ(K2)\Gamma(K_1)\gg\Gamma(K_2). Why: a decay rate rises steeply with available energy and falls with each extra particle, so the CPCP-even kaon empties into ππ\pi\pi hundreds of times faster — giving τL/τS≈571\tau_L/\tau_S\approx571 and KS≈K1K_S\approx K_1, KL≈K2K_L\approx K_2. *As a check: CP(ππ)=+1CP(\pi\pi)=+1 and CP(πππ)=−1CP(\pi\pi\pi)=-1; the energy releases Qππ≈218≫Q3π≈83Q_{\pi\pi}\approx218\gg Q_{3\pi}\approx83 MeV confirm the phase-space hierarchy, and the measured τL/τS=571\tau_L/\tau_S=571 follows directly from it.*

Limiting cases

CaseResultMeaning
Exact CPCP (ε→0\varepsilon\to0)KS=K1, KL=K2K_S=K_1,\ K_L=K_2; KL→ππK_L\to\pi\pi forbiddenmass and CPCP bases coincide; the 1964 signal would vanish
Degenerate masses (Δm→0\Delta m\to0)cos⁡(Δm t)→1\cos(\Delta m\,t)\to1, no strangeness beatoscillation frequency is the mass splitting; kill it and mixing shows only in decay
No shared channel (Γ12→0\Gamma_{12}\to0)mixing purely dispersive, ΔΓ→0\Delta\Gamma\to0the two lifetimes coincide; the KSK_S/KLK_L split needs a common final state
Long beam (t≫τSt\gg\tau_S)KSK_S gone, essentially pure KLK_Lthe experimental workhorse — a clean CP=−1CP=-1 beam to test against
Equal u,cu,c masses (GIM)box amplitude cancels, Δm→0\Delta m\to0ΔmK\Delta m_K is a probe of the charm mass — how mc∼1.5m_c\sim1.5 GeV was predicted
CPTCPT imposedmK0=mKˉ0m_{K^0}=m_{\bar{K}^0}, Γ11=Γ22\Gamma_{11}=\Gamma_{22}forbids an intrinsic flavour mass difference; all splitting is off-diagonal

Worked examples

1 · Making a pure K_L beam (confidence builder)

A neutral kaon beam is produced with momentum p=10p=10 GeV/cc. Using τS=0.895×10−10\tau_S=0.895\times10^{-10} s and τL=5.12×10−8\tau_L=5.12\times10^{-8} s, find the two decay lengths in the laboratory and estimate how far the beam must travel before it is 99.99%99.99\% pure KLK_L.

Step 1. Boost. With mK=497.6m_K=497.6 MeV and p=10p=10 GeV/cc, E=p2+mK2=10.012E=\sqrt{p^2+m_K^2}=10.012 GeV, so γ=E/mK=20.1\gamma=E/m_K=\mathbf{20.1} and β≈1\beta\approx1 dilates every proper time by this factor.

Step 2. Proper decay lengths. cτS=(2.998×108)(0.895×10−10)=2.68 cmc\tau_S=(2.998\times10^8)(0.895\times10^{-10})=\mathbf{2.68\ cm} and cτL=(2.998×108)(5.12×10−8)=15.3 mc\tau_L=(2.998\times10^8)(5.12\times10^{-8})=\mathbf{15.3\ m} — a ratio of 571.

Step 3. Lab decay lengths. Multiply by γβ≈20.1\gamma\beta\approx20.1: LS=0.54 mL_S=\mathbf{0.54\ m} (where the KSK_S intensity falls by 1/e1/e) and LL=308 mL_L=\mathbf{308\ m}.

Step 4. Purity. The surviving KSK_S fraction after ℓ\ell is e−ℓ/LSe^{-\ell/L_S}; suppressing it to 10−410^{-4} needs ℓ/LS=ln⁡104=9.2\ell/L_S=\ln 10^4=9.2, i.e. ℓ≈5 m\ell\approx\mathbf{5\ m}, over which KLK_L barely changes (e−5/308=0.984e^{-5/308}=0.984). After about 5 m the beam is a clean 99.99% KLK_L beam — the setup Cronin and Fitch used to hunt the forbidden KL→ππK_L\to\pi\pi.

2 · Reading the mass difference off the oscillation

The mass splitting is quoted as Δm=3.48×10−6\Delta m=3.48\times10^{-6} eV. Show that this makes Δm τS≈0.47\Delta m\,\tau_S\approx0.47, and interpret what that number says about the strangeness oscillation.

Step 1. Convert to a frequency. The oscillation angular frequency is Δm/ℏ\Delta m/\hbar with ℏ=6.582×10−16\hbar=6.582\times10^{-16} eV·s, so Δm/ℏ=(3.48×10−6)/(6.582×10−16)=5.29×109 s−1\Delta m/\hbar=(3.48\times10^{-6})/(6.582\times10^{-16})=\mathbf{5.29\times10^{9}\ s^{-1}}.

Step 2. Form the product. x=Δm τS/ℏ=(5.29×109)(0.895×10−10)=0.474x=\Delta m\,\tau_S/\hbar=(5.29\times10^{9})(0.895\times10^{-10})=\mathbf{0.474}.

Step 3. Interpret. The phase gained in one KSK_S lifetime is 0.470.47 rad, only ∼8%\sim8\% of a cycle, before the interfering KSK_S amplitude decays away. This is the "coincidence" Δm≈12ΓS\Delta m\approx\tfrac12\Gamma_S: mass splitting and decay rate are comparable — exactly the regime where the interference term of equation (5) is neither frozen nor washed out, so Δm\Delta m is measurable precisely because x∼1x\sim1.

3 · The size of CP violation from the branching ratios

The observed branching ratios are BR(KL→π+π−)=1.97×10−3\mathrm{BR}(K_L\to\pi^+\pi^-)=1.97\times10^{-3} and BR(KS→π+π−)=0.692\mathrm{BR}(K_S\to\pi^+\pi^-)=0.692. Extract ∣η+−∣|\eta_{+-}| and compare with ∣ε∣|\varepsilon|.

Step 1. Relate η+−\eta_{+-} to rates. ∣η+−∣2=Γ(KL→π+π−)Γ(KS→π+π−)=BRLBRS⋅τSτL|\eta_{+-}|^2=\dfrac{\Gamma(K_L\to\pi^+\pi^-)}{\Gamma(K_S\to\pi^+\pi^-)}=\dfrac{\mathrm{BR}_L}{\mathrm{BR}_S}\cdot\dfrac{\tau_S}{\tau_L}, since Γ=BR/τ\Gamma=\mathrm{BR}/\tau.

Step 2. Plug in. BRLBRS=1.97×10−30.692=2.85×10−3\dfrac{\mathrm{BR}_L}{\mathrm{BR}_S}=\dfrac{1.97\times10^{-3}}{0.692}=2.85\times10^{-3} and τSτL=1.75×10−3\dfrac{\tau_S}{\tau_L}=1.75\times10^{-3}, so ∣η+−∣2=4.98×10−6|\eta_{+-}|^2=4.98\times10^{-6}.

Step 3. Root. ∣η+−∣=4.98×10−6=2.23×10−3|\eta_{+-}|=\sqrt{4.98\times10^{-6}}=\mathbf{2.23\times10^{-3}}. This matches ∣ε∣≈2.23×10−3|\varepsilon|\approx2.23\times10^{-3}: the "forbidden" amplitude is two parts in a thousand of the allowed one, and to this accuracy it is entirely indirect (mixing) CPCP violation. The residual direct piece ε′\varepsilon' is a further ∼10−3\sim10^{-3} smaller — hence NA48 and KTeV to resolve Re(ε′/ε)=(1.66±0.23)×10−3\mathrm{Re}(\varepsilon'/\varepsilon)=(1.66\pm0.23)\times10^{-3}.

Physics of the portrait

The neutral kaon is a rare case where theoretical bravado — predicting a particle mixture no one had asked for — was vindicated, then overturned a symmetry everyone assumed. The portrait belongs not to one person but to the mechanism that opened it: the Gell-Mann–Pais idea that the neutral kaon is a superposition with two distinct lifetimes.

Origins · 1 minGell-Mann-Pais mechanism and how this was discovered
GM
Gell-Mann-Pais mechanism
the 1955 prediction of two neutral-kaon lifetimes · strangeness mixing and CP

Neutral V-particles turned up in cosmic rays in 1947 (Rochester and Butler), but made no sense until Gell-Mann and Nishijima invented strangeness in 1953 to explain why they were produced strongly yet decayed weakly. The leap came in 1955: Gell-Mann and Pais reasoned that if K0K^0 and Kˉ0\bar{K}^0 are distinct antiparticles yet share the same 2π2\pi channel, the second-order weak interaction must connect them — so the states of definite lifetime are not K0K^0 and Kˉ0\bar{K}^0 but their combinations. From a purely quantum-mechanical argument about particle–antiparticle interference they boldly predicted a second, long-lived neutral kaon when only the short-lived one was known — confirmed in 1956 when Lederman and collaborators found the K2K_2 at Brookhaven. Pais and Piccioni then predicted that a KLK_L beam crossing matter would regenerate KSK_S, because K0K^0 and Kˉ0\bar{K}^0 scatter differently — soon borne out. The final twist was not in the script: in 1964 Christenson, Cronin, Fitch and Turlay found the long-lived beam making two pions after all, and CPCP fell. Kobayashi and Maskawa explained it in 1973 by adding a third quark generation — wrung out of a two-part-per-thousand effect in a beam of kaons.

History
1947
— Rochester and Butler photograph neutral V-particle decays in cosmic rays
1955
— Gell-Mann and Pais predict K⁰ mixing and a second, long-lived neutral kaon
1956
— Lederman and collaborators observe the long-lived K₂ at Brookhaven
1964
— Christenson, Cronin, Fitch and Turlay find K_L → π⁺π⁻, discovering CP violation
1973
— Kobayashi and Maskawa trace CP violation to a third quark generation

Going further

Texts. Thomson, Modern Particle Physics, §14.4 and §14.4.1–2 · Perkins, Introduction to High Energy Physics, 4th ed., Ch. 11 · Griffiths, Introduction to Elementary Particles, 2nd ed., §4.4 · Commins & Bucksbaum, Weak Interactions of Leptons and Quarks, Ch. 12 · Branco, Lavoura & Silva, CP Violation, Chs. 6–7 · Bigi & Sanda, CP Violation, Ch. 6. The ΔS=2\Delta S=2 box diagram that generates M12M_{12}, and the GIM/charm suppression that controls its size, are treated in the weak-interaction and CKM articles listed below. The key numerical results used throughout are: CP(ππ)=+1CP(\pi\pi)=+1, CP(πππ)=−1CP(\pi\pi\pi)=-1; eigenvalues μS,L=D±H12H21\mu_{S,L}=D\pm\sqrt{H_{12}H_{21}} reducing to K1,K2K_1,K_2 at q/p=1q/p=1; oscillation law (5) with Δm τS=0.47\Delta m\,\tau_S=0.47; ∣η+−∣=2.23×10−3|\eta_{+-}|=2.23\times10^{-3} from the branching ratios; and LS=0.54L_S=0.54 m, LL=308L_L=308 m at p=10p=10 GeV/cc. All inputs (τS=0.895×10−10\tau_S=0.895\times10^{-10} s, τL=5.12×10−8\tau_L=5.12\times10^{-8} s, Δm=3.48×10−6\Delta m=3.48\times10^{-6} eV, mK=497.6m_K=497.6 MeV) are PDG values.

Prerequisites. CKM Matrix · Symmetries in QM · Intrinsic Parity of Fermions · Weak Interactions of Quarks. Leads to. Strangeness Oscillations · CPCP Violation in Kaons · CPCP Violation in the Standard Model · BB-Meson Physics.

Ask the tutor: Ask me how the ε\varepsilon admixture in KLK_L turns the 1964 count of 45 two-pion events into a number, or how the GIM box diagram fixes Δm\Delta m and once predicted the charm mass.

Is the long-lived kaon K_L exactly the same as the CP eigenstate K₂?

Almost, but not exactly — and the "not exactly" is the whole story. KLK_L is predominantly the CPCP-odd K2K_2 but carries a small CPCP-even admixture, ∣KL⟩∝∣K2⟩+ε∣K1⟩|K_L\rangle\propto|K_2\rangle+\varepsilon|K_1\rangle with ∣ε∣≈2.2×10−3|\varepsilon|\approx2.2\times10^{-3}, and that impurity is why KLK_L can decay to two pions where a pure CPCP-odd state cannot. Set ε=0\varepsilon=0 and you recover exact CPCP and lose the 1964 discovery. For lifetimes KL≈K2K_L\approx K_2 is fine; for anything touching CPCP, keep the ε\varepsilon term.

How do experimenters know whether a kaon is a K⁰ or a K̄⁰ at the moment it decays?

Through semileptonic decays and the ΔS=ΔQ\Delta S=\Delta Q rule. A K0(dsˉ)K^0(d\bar{s}) decays as K0→π−e+νeK^0\to\pi^-e^+\nu_e (positive lepton); a Kˉ0(sdˉ)\bar{K}^0(s\bar{d}) as Kˉ0→π+e−νˉe\bar{K}^0\to\pi^+e^-\bar{\nu}_e (negative lepton). The lepton charge "tags" the strangeness at the instant of decay, so plotting tagged flavour against proper time maps the oscillation of equation (5) directly — and the charge asymmetry also carries CPCP-violation information.

What is regeneration, and why does it happen?

When a pure KLK_L beam (an equal, antisymmetric mix of K0K^0 and Kˉ0\bar{K}^0) crosses matter, the two flavour components scatter differently: a Kˉ0\bar{K}^0 can annihilate on nucleons and produce hyperons where a K0K^0 cannot, so their forward-scattering amplitudes differ. The material attenuates the two pieces unequally, and an unequal mixture is no longer pure KLK_L — it has acquired a KSK_S component, which decays to two pions right after the slab. Pais and Piccioni predicted this in 1955; it confirms the mixing picture and was a background the 1964 experiment had to rule out.

Why does the neutral kaon have two lifetimes but the charged kaon only one?

Because only a neutral particle can mix with its own antiparticle. K+(usˉ)K^+(u\bar{s}) and K−(suˉ)K^-(s\bar{u}) carry opposite, exactly-conserved charge, so nothing turns one into the other — there is nothing to diagonalize, and K+K^+ has a single lifetime. The neutral K0K^0 and Kˉ0\bar{K}^0 differ only in strangeness, which the weak interaction does not conserve, so it mixes them into two eigenstates of different mass and lifetime. Two lifetimes are the fingerprint of particle–antiparticle mixing, seen again in the B0B^0, Bs0B_s^0 and D0D^0 systems.

Is CP violation in kaons a large effect or a small one?

Small — about two parts in a thousand. The forbidden KL→ππK_L\to\pi\pi amplitude is ∣η∣≈2.2×10−3|\eta|\approx2.2\times10^{-3} of the allowed one, and the direct piece ε′\varepsilon' is a thousand times smaller still. Its importance is out of all proportion to its size: it was the first crack in the mirror-symmetry of physical law, it is one of the Sakharov conditions for a matter-dominated universe, and its explanation forced a third quark generation. A tiny number with enormous consequences.

What is the difference between indirect (ε) and direct (ε′) CP violation?

Indirect CPCP violation (ε\varepsilon) lives in the mixing: KLK_L is not a pure CPCP eigenstate, so it reaches a CPCP-even final state simply by containing a bit of the wrong-CPCP kaon. Direct CPCP violation (ε′\varepsilon') lives in the decay amplitude: even a pure CPCP eigenstate would decay to ππ\pi\pi at slightly different rates for kaon and antikaon. For years it was unclear whether ε′\varepsilon' existed — a "superweak" theory could fake the data with ε\varepsilon alone — and its firm measurement, Re(ε′/ε)≈1.7×10−3\mathrm{Re}(\varepsilon'/\varepsilon)\approx1.7\times10^{-3}, proved CPCP violation is genuinely built into the Standard Model weak decay, as Kobayashi and Maskawa required.

Before this

Where this leads