Both halves of this section measure something that leaves no direct trace: a matrix element buried inside nuclear structure, and a current whose only signature is a missing muon.
🎯 Why this matters
Measurements like these are limited by models rather than by counting, so their uncertainties do not fall as data accumulates. Running longer improves a rate; it does nothing at all for a nuclear correction nobody can check.§7.11 listed the CKM elements as measured numbers. This section does two of them properly, and the pair makes a point that the table could not: the theoretically cleanest measurement is almost never the most precise one, and choosing between them is the real work.
Then §7.13 closes the chapter with the discovery that the neutral current exists — made, remarkably, by noticing that something was missing.
|V_ud|: three routes, and the cleanest is the hardest
is measured three ways: superallowed nuclear beta decays (the most precise), the neutron lifetime, and the pion’s decay, Eq. (7.99),
is the theorist’s choice by a wide margin. There is no nucleus, so no nuclear-structure corrections; it is a pure vector transition, so the matrix element is simple; and its form factor is fixed by isospin symmetry, because and sit in the same multiplet. Almost nothing has to be calculated.
It is also, experimentally, close to impossible. The branching ratio is , and the reason is a single small number:
Bettini p. 306. Everything on the right except |V_ud| is either known exactly or calculable — which is the whole appeal.
Every symbol, one at a time
Hover or tap a symbol above — it lights up in the equation and its meaning, units and type appear here.
(7.102) against the measurement, and why the experiment is brutal
import numpy as np
GF, hbar = 1.1663788e-5, 6.582119569e-25 # GeV^-2, GeV s
mpip, mpi0, Vud, tau_pi = 0.13957039, 0.1349768, 0.97373, 2.6033e-8
D = mpip - mpi0
print(f"(7.100) m_pi+ - m_pi0 = {D*1e3:.4f} MeV book: 4.5936 +- 0.0005")
print(f" that is only {D/mpip*100:.2f}% of the pion mass, and it enters at the FIFTH power")
G = GF**2 * D**5 / (30*np.pi**3) * Vud**2 * (1 - D/(2*mpip))**3
Gtot = hbar/tau_pi
print(f"\n(7.102) evaluated with |V_ud| = {Vud}:")
print(f" Gamma(pi_e3) = {G:.4e} GeV")
print(f" Gamma_total = hbar/tau_pi = {Gtot:.4e} GeV")
print(f" BR = {G/Gtot:.4e} measured (7.103): 1.036e-08")
print(f" agreement: {abs(G/Gtot/1.036e-8-1)*100:.1f}% -- and the piece deliberately left out of this")
print( " arithmetic is f(eps)(1+delta_EM), which the book calls 'a few per cent'.")
print("\nwhy the branching ratio is 10^-8:")
print( " had the whole pion mass been available, Delta^5 would be")
print(f" (m_pi/Delta)^5 = {(mpip/D)**5:.1e} times larger.")
print("\nwhat that costs the experimenter:")
print( " a 1e-3 relative uncertainty needs ~1e6 pi_e3 events,")
print(f" hence {1e6/1.036e-8:.1e} pion decays in total book: 1e14") (7.100) m_pi+ - m_pi0 = 4.5936 MeV book: 4.5936 +- 0.0005
that is only 3.29% of the pion mass, and it enters at the FIFTH power
(7.102) evaluated with |V_ud| = 0.97373:
Gamma(pi_e3) = 2.6985e-25 GeV
Gamma_total = hbar/tau_pi = 2.5284e-17 GeV
BR = 1.0673e-08 measured (7.103): 1.036e-08
agreement: 3.0% -- and the piece deliberately left out of this
arithmetic is f(eps)(1+delta_EM), which the book calls 'a few per cent'.
why the branching ratio is 10^-8:
had the whole pion mass been available, Delta^5 would be
(m_pi/Delta)^5 = 2.6e+07 times larger.
what that costs the experimenter:
a 1e-3 relative uncertainty needs ~1e6 pi_e3 events,
hence 9.7e+13 pion decays in total book: 1e14 ⚙️ Engineer’s bridge — precision and cleanliness are different axes, and you have to pick
Three measurements of the same number, and they trade off in opposite directions:
- Superallowed nuclear decays give — 0.03 %. But they need nuclear-structure and isospin-breaking corrections that are themselves the dominant uncertainty, and the corrections come from models.
- gives — 0.3 %, ten times worse. But the theory input is a form factor fixed by symmetry, with essentially nothing to model.
The central values agree to 0.02 %. That agreement is the point: two methods with almost disjoint systematic errors landing on the same number is worth more than either one’s error bar.
The pattern is the same one that governs any measurement with a model in the loop. A precise result that depends on a calculation you cannot validate is not obviously better than a coarse result that depends on almost nothing — and the way you find out is to build both and compare. Redundancy across methods, not just repetition of one method, is what converts a number into a fact. It is the same instinct as testing a fast path against a slow reference implementation: the slow one is not there for throughput, it is there because you can believe it.
Note which way the errors point here. If the two disagreed, the value — the imprecise one — would be the one you trusted.
Where it breaks: the fast-path-against-slow-reference pattern assumes the reference is correct and merely slow. Neither of these measurements is a reference implementation. The clean one is clean because isospin symmetry is nearly exact, not exact — it carries its own correction, small but not absent — so a disagreement would not tell you which method was wrong, only that one of two theory inputs was.
Worse, “independent methods” is a claim to be checked rather than a property of using two: both determinations of ultimately lean on the same nuclear structure calculations, and a shared input makes their agreement much weaker evidence than two genuinely disjoint routes would be. The question to ask of any cross-check is not “did two methods agree” but “what do the two methods have in common”, because that is the part their agreement cannot test.
⚠️ Two different functions called f, in adjacent equations
Eq. (7.101) has , the form factor — the function that absorbs the strong-interaction physics of the pion’s structure, evaluated at and fixed there by isospin.
Eq. (7.102) has , the Fermi function — a completely different object, a known kinematic factor accounting for the Coulomb interaction between the outgoing positron and the recoiling system, with .
They differ only by a subscript. And neither is , the pion decay constant of §7.4, which is a third thing with the same letter and appears in the same chapter.
Also: here is a Q value in MeV, not a mass difference between mixed states (that is Chapter 8’s ) and not a Δ baryon.
| element↕ | method↕ | value↕ | what the theory has to supply↕ |
|---|---|---|---|
| superallowed | 0.97373 ± 0.00031 | nuclear structure + isospin-breaking corrections — model-dependent, and the dominant error | |
| neutron lifetime | — | the axial/vector ratio , measured separately | |
| (PIBETA) | 0.9739 ± 0.0029 | , fixed by isospin symmetry — almost nothing | |
| (KLOE) | 0.2240 ± 0.0024 | from lattice QCD, to 0.18 % | |
| world average | 0.2243 ± 0.0008 | the same, combined across many kaon modes |
|V_us|: tagging a kaon you never see
The KLOE measurement of uses a trick worth understanding on its own, because it is a piece of quantum mechanics used as an experimental instrument.
DAΦNE is a -factory: an collider parked at GeV. About 34 % of the time the decays to two neutral kaons. Because the pair is produced in an state, its wave function is antisymmetric under exchange — so the two kaons can never be in the same state. If one decays as a , the other must be a .
That is a tagging scheme with no inefficiency in the logic. And it is usable because the two lifetimes differ enormously:
the two decay lengths, from the phi mass alone
import numpy as np
mphi, mK0 = 1.019461, 0.497611 # GeV
p = np.sqrt((mphi/2)**2 - mK0**2) # each kaon, in the phi rest frame
bg = p/mK0
print(f"sqrt(s) = m_phi = {mphi:.3f} GeV book: 1.020 GeV")
print(f"each kaon: p* = {p*1e3:.1f} MeV, beta.gamma = {bg:.4f}\n")
lam = {}
for nm, tau, book in (('K_S', 0.8954e-10, '0.6'), ('K_L', 5.116e-8, '350')):
lam[nm] = bg * 2.99792458e10 * tau # cm
print(f" lambda({nm}) = beta.gamma c tau = {lam[nm]:8.2f} cm book: {book} cm")
print(f"\na factor {lam['K_L']/lam['K_S']:.0f} between them. that is why the tag works: a decay")
print( "vertex metres from the interaction point can only be a K_L, and")
print( "a K_L on one side guarantees a K_S on the other.")
print("\nnote how little goes into this -- the phi mass, the kaon mass,")
print( "and the two lifetimes. no model of anything.") sqrt(s) = m_phi = 1.019 GeV book: 1.020 GeV each kaon: p* = 110.5 MeV, beta.gamma = 0.2220 lambda(K_S) = beta.gamma c tau = 0.60 cm book: 0.6 cm lambda(K_L) = beta.gamma c tau = 340.56 cm book: 350 cm a factor 571 between them. that is why the tag works: a decay vertex metres from the interaction point can only be a K_L, and a K_L on one side guarantees a K_S on the other. note how little goes into this -- the phi mass, the kaon mass, and the two lifetimes. no model of anything.
KLOE collected about 400 million pairs, isolated some 13 000 semileptonic decays, and measured, in Eq. (7.107),
which with the lattice form factor gives .
The Cabibbo hierarchy, seen directly
Example 7.1 is the cleanest demonstration in the chapter that is doing real work. Take one particle, the , and four decays that differ only in which CKM elements sit at the two vertices:
Fig. 7.22 — one decaying quark, four choices of vertex
Click a vertex or an internal line.
Bettini Fig. 7.22. Both vertices carry a CKM factor, so the four combinations are suppressed by cos²cos², cos²sin², sin²cos² and sin²sin² — Cabibbo favoured, singly suppressed twice over, and doubly suppressed.
Example 7.1, against the data
s, c = 0.2243, 0.97373 # sin, cos of the Cabibbo angle
t2, t4 = (s/c)**2, (s/c)**4
print(f"tan^2(theta_C) = {t2:.4f} book: 0.05")
print(f"tan^4(theta_C) = {t4:.5f} book: 0.0025\n")
print(" predicted measured meas/pred")
for nm, pred, meas in (('K+K- / pi+K- (SCS)', t2, 0.1030),
('pi+pi-/ pi+K- (SCS)', t2, 0.0369),
('K+pi- / pi+K- (DCS)', t4, 0.00344)):
print(f" {nm} {pred:9.4f} {meas:9.4f} {meas/pred:8.2f}")
print("\nthe DCS ratio, suppressed by FOUR powers of the Cabibbo angle,")
print(f"comes out within {abs(0.00344/t4-1)*100:.0f}% of a one-line estimate. that is the hierarchy")
print(f"confirmed over a range of {0.1030/0.00344:.0f} in rate.")
print("\nbut look at the two SCS rows: at this level of approximation they")
print(f"should be EQUAL, and they differ by a factor {0.1030/0.0369:.1f}. the book's own")
print("caveat covers it -- 'the colour field effects (difficult)' -- and")
print("it is worth seeing that an estimate this crude is right about the")
print("ORDERING and wrong about the individual numbers by up to 2x.") tan^2(theta_C) = 0.0531 book: 0.05
tan^4(theta_C) = 0.00282 book: 0.0025
predicted measured meas/pred
K+K- / pi+K- (SCS) 0.0531 0.1030 1.94
pi+pi-/ pi+K- (SCS) 0.0531 0.0369 0.70
K+pi- / pi+K- (DCS) 0.0028 0.0034 1.22
the DCS ratio, suppressed by FOUR powers of the Cabibbo angle,
comes out within 22% of a one-line estimate. that is the hierarchy
confirmed over a range of 30 in rate.
but look at the two SCS rows: at this level of approximation they
should be EQUAL, and they differ by a factor 2.8. the book's own
caveat covers it -- 'the colour field effects (difficult)' -- and
it is worth seeing that an estimate this crude is right about the
ORDERING and wrong about the individual numbers by up to 2x. Example 7.2 runs the same argument one generation up, and it is a cleaner test because the suppressed and unsuppressed decays differ in only the light quark the W makes:
Example 7.2. A ratio built so that everything except one CKM factor cancels — the cleanest measurement of the Cabibbo angle on the page, because the two decays differ in exactly one thing.
Every symbol, one at a time
Hover or tap a symbol above — it lights up in the equation and its meaning, units and type appear here.
Both decays are at the first vertex, so cancels exactly and the entire ratio is one CKM factor. The measured value is — agreement at the level of the estimate, and better than the ratios of Example 7.1 because there is no second effect competing.
That contrast is the lesson of the two examples read together. In the the two singly-suppressed modes should be equal and differ by a factor 2.8, because the final states are different enough for strong-interaction effects to matter. In the the two final states differ by one strange quark and nothing else, so those effects largely cancel and the naive estimate survives.
Aside — Example 7.1’s third “experimental value” is a bound, and too weak to test anything
The example closes by quoting three measured ratios as confirming the hierarchy. The first two are measurements, and . The third is printed as
an upper limit — and its own prediction is , seven times smaller. A bound seven times above the prediction cannot confirm it; it is consistent with the doubly-suppressed rate being anything from zero to seven times too large.
The ratio has in fact been measured for decades. The “wrong-sign” decay is one of the most-studied channels in charm physics, because it is also the doorway to mixing, and the ratio is about — which agrees with to 22 %, and does confirm the hierarchy.
Not an arithmetic error, so it is not filed as one. But quoting a limit where a measurement exists turns the sharpest of the three tests into the weakest, and the doubly Cabibbo-suppressed rate is the one worth having: it is the only one of the four that probes at fourth order.
§7.13 Discovering something by its absence
Flavour-changing neutral currents are suppressed to invisibility (§7.10). Flavour-conserving ones — the ordinary neutral current neutral current (NC) a weak interaction mediated by Z⁰, which changes neither charge nor flavour. Predicted by the electroweak theory and found at Gargamelle in 1973 by the absence of a muon. defined in §7.12-7.13 — open in glossary , mediated by the Z⁰ — were predicted to exist, and finding them took until 1973.
The instrument was Gargamelle, a bubble chamber named after the mother of Rabelais’s giant, built under A. Lagarrigue from 1965 and filled with 15 tonnes of the freon CF₃Br. That choice of liquid is the whole experiment: heavy enough that neutrinos interact at an appreciable rate, and with a radiation length of only 11 cm, so photons convert inside the chamber and can be seen.
Click a numbered marker for what that piece does.
Every charged-current event has a muon in it: . If neutral currents exist, then Eq. (7.109),
should also happen — and it looks like a hadronic spray with no muon and no incoming visible track. The signature is a negation.
🔬 Experiment card — Hasert et al., Gargamelle at CERN, 1973
Apparatus
A bubble chamber of 15 tonnes of CF₃Br in a magnetic field, exposed to the CERN PS muon-neutrino beam. The liquid is chosen for density (interaction rate) and for a short radiation length, cm, so that photons convert inside the chamber and neutral pions become visible as pairs of pairs.What is measured
Photographs. For each neutrino interaction, every outgoing track is classified: a muon leaves a straight minimum-ionising track that does not interact; hadrons scatter and interact; photons appear as converted pairs. The measurement is a classification, and the quantity of interest is the number of events in which no track is a muon.The result
Events exist with hadrons and no muon. The book works through one (Fig. 7.24, after Perkins): around the vertex, a stopping proton; two pairs, which are the two photons from a ; a negative track that interacts, hence a hadron; and a positive track ending in a charge-exchange producing another , identified from a Compton-scattered electron. Every track accounted for. None is a muon.What it proved
The weak neutral current exists — the , though it would not be produced directly for another decade. This is the observation the electroweak theory of Chapter 9 had predicted and needed, and it made the 1983 W and Z discoveries a confirmation rather than a surprise.⚙️ Engineer’s bridge — claiming an absence is a statement about your efficiency, not about your data
“No muon in this event” is a fundamentally different kind of claim from “a muon of 3.2 GeV in this event”, and the difference is where all the difficulty lives.
A positive identification is self-supporting: the track is there, you measure it, and if your detector were worse you would simply have missed it and said nothing. A negative identification is only as strong as your demonstrated ability to have seen the thing. If muons sometimes leave the chamber unrecorded, every one of those events becomes a fake neutral-current candidate, and the discovery evaporates.
So the entire design reads backwards from that. The shield exists so the beam is neutrinos and not muons — otherwise an entering muon could fake a vertex. The liquid is heavy so that a muon crossing it leaves an unmistakable track over a long path. cm exists so that photons are not silently lost, because a missed means an unaccounted-for track and an event you cannot classify. None of that improves the measurement of anything; all of it makes the absence credible.
Engineers meet the same asymmetry constantly. “The service returned an error” is observed; “the service never returned an error” is a claim about your monitoring coverage. “This test failed” is data; “these tests all passed” is worth exactly what your coverage is worth. Absence of evidence becomes evidence of absence only when you can quantify what your sensitivity was — and the work goes into establishing that, not into collecting more data.
This is also why null results are hard to publish and easy to get wrong, and why the FCNC limits below — — are quoted with such care. Each is a statement that an experiment would have seen the decay at that rate, and each took years to justify.
Where it breaks: in software you can usually inject the fault — kill the service, corrupt the input — and watch the monitoring catch it, which is what converts coverage from an estimate into a measurement. Here you cannot inject a μ → eγ. The efficiency has to be established from simulation and from proxy channels chosen to resemble the signal, so the limit is only as model-independent as that resemblance.
Every such bound is implicitly conditional: 4.2 × 10⁻¹³ assumes the decay’s kinematics and angular distribution: a two-body decay with the standard spin structure. A new-physics model producing the same final state with a different helicity structure changes the acceptance, and the published number does not apply to it without being recomputed. Absence of evidence becomes evidence of absence for the signal you modelled, and the modelling is the part that cannot be checked by taking more data.
What makes the neutral current different
The chapter closes by naming two properties that separate NC from CC, and both matter later:
It is diagonal. The neutral current transforms a particle into itself — no flavour change, exactly as §7.10’s Eq. (7.84) required. Searches for the off-diagonal version have never found anything, and the limits are extraordinary:
| process↕ | limit↕ | what it would mean↕ |
|---|---|---|
| lepton-flavour violation in a charged current-like transition — forbidden in the SM with massless neutrinos | ||
| the same, through a flavour-changing neutral current at tree level | ||
| muon conversion on a nucleus, relative to ordinary muon capture |
It couples to both chiralities. This is the sharpest break with everything the chapter has established. The charged current is and nothing else — that was §7.3’s whole result. The neutral current has both:
The weak neutral current. Set beside the charged current of §7.3, this is the sharpest break in the chapter — and the two unexplained constants in it are what forces the next chapter but one.
Every symbol, one at a time
Hover or tap a symbol above — it lights up in the equation and its meaning, units and type appear here.
with the left-handed sum running over all twelve fermions and the right-handed one over the charged fermions only — because a right-chirality neutrino, if it exists at all, couples to nothing.
Those constants and are left completely unexplained here. That is not an omission: they are the output of the electroweak theory, and Chapter 9 derives them from the fermions’ electric charges. The fact that a weak-interaction coupling turns out to be a function of electric charge is the single clearest signal that the two interactions are one interaction.
💡 What this really says — the neutral current is not “V−A with a different number in front”
It is easy to read that last equation as a small generalisation of the charged current. It is a change of kind, and it is worth being precise about why.
V−A is a projector. picks out one chirality and annihilates the other — §7.4’s whole point. In matrix terms it is , idempotent, with a null space: right-chirality fermions are simply not in the domain of the charged current. There is no coupling strength to measure for them, because there is no coupling.
The neutral current is a weighted sum of two projectors, . Nothing is annihilated. If you recover a pure vector current — that is electromagnetism, and the photon is exactly this with . If you recover V−A. The Z sits at neither extreme, and where it sits is a measurement: one number per fermion, and the answer will turn out to be .
So the Z is the general case and both familiar currents are its corners. An engineer will recognise the algebra: a filter written as a mix of two orthogonal projections, where the pure high-pass and pure all-pass are the endpoints of one parameterised family. The question stops being “does it couple?” and becomes “with what mixture?” — which is why the weak mixing angle exists at all, and why §9.4 is a whole section about measuring one angle.
And the asymmetry is the observable. Because , the Z distinguishes left from right — so it produces a forward–backward asymmetry and a polarization asymmetry, neither of which a pure vector current can. That is how the numbers are actually extracted, and it is why parity violation persists in neutral-current processes even though nothing here is a projector.
🔢 Worked example — sizing a detector for one event a day
Both neutrino detectors in this section are sized the same way, and the arithmetic is worth doing once.
GALLEX. A single Ga nucleus sees a rate s⁻¹; at 40 % efficiency, s⁻¹. One event per day is s⁻¹, so
and, at 40 % isotopic abundance, 14 tonnes of natural gallium. GALLEX ran with 30 t.
The scaling that matters. The rate is and only is yours to choose, so halving the cross-section doubles the building. That is why solar-neutrino detectors are measured in kilotonnes and why every improvement in this field has come from a bigger tank rather than a better one.
🔑 If you remember only three things
-
The neutral current changes what can happen, not how often. It reaches final states the charged current cannot produce, which is a change of kind rather than of coefficient.
-
Proving nothing is there costs more than proving something is. Every background capable of faking an absence has to be excluded by hand, one at a time.
-
The hierarchy becomes visible once the elements are separate numbers. Cabibbo’s angle stops being a fitted parameter and turns into a pattern you can read off a table.
Where this goes next
Chapter 7 is done. It established the Lorentz structure of the charged current (V − A, maximal P and C violation), its universality across leptons, the quark mixing that rescues universality, and — in this section — the existence of a neutral current whose couplings the chapter cannot explain.
Three threads run out of it. Chapter 8 takes the CKM phase found in §7.11 and makes it observable, in neutral-meson mixing and CP violation. Chapter 9 explains where the W and Z came from, why has the value that makes what it is, and what and are. Chapter 10 repeats §7.9’s mixing story for neutrinos, where the two bases differing is the entire phenomenon — and requires neutrino mass, which nothing in this chapter provides.
✅ Check yourself — measuring θ_C, and the neutral current
0/6 answered · 0 correct
1.π_e3 gives |V_ud| ten times less precisely than superallowed nuclear decays. Why measure it at all?
2.Why is BR(π⁺ → π⁰e⁺ν) only 10⁻⁸?
3.At a φ-factory, seeing a K_L decay tells you a K_S went the other way — with certainty, not statistically. Why?
4.Example 7.1 predicts the D⁰ decay ratios from powers of tan θ_C. How well does that work?
5.The Gargamelle neutral-current signature is the absence of a muon. What does that make hard?
6.How does the neutral current differ structurally from the charged current?