Two colliders and two detectors were built, and ran for a decade, to measure a single angle. Both got the same answer and the theory had said in advance what it would be.
🎯 Why this matters
This is where the phase of §7.11 stops being a parameter and becomes a tested prediction. Everything earlier in the chapter measures how CP violation appears; this measures whether the one source the theory allows is the one at work.The kaon gave CP violation at the level, buried in a wave function. The gives it at order one, as a clean sinusoid whose amplitude the Standard Model predicts. This section is where the CKM phase of §7.11 finally becomes something you can plot.
What is different about the B
Two structural differences from the kaon, and both simplify things:
| ↕ | ↕ | ↕ | why↕ |
|---|---|---|---|
| the two lifetimes | differ by 571 | equal within errors | the kaon has one channel with a huge Q value and one with a tiny one; both B eigenstates have large Q values and hundreds of open channels |
| labelled by | lifetime — , | mass — , | the lifetimes are equal, so they cannot label anything. by definition here, unlike the kaon |
| CP violation in the mixing | , negligible | the common decay channels of and are suppressed by small CKM elements, so the mixing is nearly CP-conserving | |
| the useful signal | violation in the mixing | violation in the interference | order against order 1 — the B wins by three orders of magnitude |
That third row matters: with and , all the CP violation lives in a phase, and a phase is what interference measures.
The box diagram, and why only the top matters
and are connected at second order by a box diagram box diagram the second-order W-exchange loop connecting a neutral meson to its antiparticle. Its amplitude grows as the square of the internal quark mass, so the top dominates and Δm measures |V_tq V_tb|². defined in §8.6 — open in glossary — two W exchanges, with any up-type quark running in the loop:
Fig. 8.6 — the box that mixes B⁰ with B̄⁰
Click a vertex or an internal line.
Bettini Fig. 8.6. Second order in the weak interaction — four vertices — which is why mixing is slow enough to watch.
The book says the internal-quark contribution “is proportional to the square of its mass”, so the diagrams with or are negligible. That is right, but it understates how the win is achieved:
why the top dominates the box, and it is not the CKM factors
mt, mc = 173.0, 1.27 # GeV
Vtd, Vtb, Vcd, Vcb = 8.6e-3, 1.014, 0.221, 40.8e-3
hbar = 6.582119569e-4 # eV ps
ckm_t, ckm_c = (Vtd*Vtb)**2, (Vcd*Vcb)**2
print("the two competing internal quarks, top and charm:\n")
print(f" CKM weight |V_td V_tb|^2 = {ckm_t:.2e} (top)")
print(f" |V_cd V_cb|^2 = {ckm_c:.2e} (charm)")
print(f" ratio {ckm_t/ckm_c:.2f} -- essentially EQUAL. the CKM factors do not choose.\n")
print(f" mass weight (m_t/m_c)^2 = {(mt/mc)**2:.2e}\n")
print(f" net top/charm = {ckm_t/ckm_c*(mt/mc)**2:.1e}")
print("\nso the top wins by four orders of magnitude entirely on its mass.")
print("the small CKM elements it must pay (|V_td| = 8.6e-03) are almost")
print("exactly cancelled by the charm's own smallness -- had the mass factor")
print("been absent, the two would have contributed equally.")
print("\nand this is why Delta m_B measures |V_td V_tb|:")
print(f" Delta m_B = 0.5065 ps^-1 = {0.5065*hbar*1e3:.4f} meV book (8.55): 0.3340 meV")
print( " extracted: |V_td||V_tb| = 8.4e-03 book (8.56): (8.4 +- 0.6)e-03")
print(f" from Sec. 7.11's elements: {Vtd:.1e} x {Vtb} = {Vtd*Vtb:.2e}") the two competing internal quarks, top and charm:
CKM weight |V_td V_tb|^2 = 7.60e-05 (top)
|V_cd V_cb|^2 = 8.13e-05 (charm)
ratio 0.94 -- essentially EQUAL. the CKM factors do not choose.
mass weight (m_t/m_c)^2 = 1.86e+04
net top/charm = 1.7e+04
so the top wins by four orders of magnitude entirely on its mass.
the small CKM elements it must pay (|V_td| = 8.6e-03) are almost
exactly cancelled by the charm's own smallness -- had the mass factor
been absent, the two would have contributed equally.
and this is why Delta m_B measures |V_td V_tb|:
Delta m_B = 0.5065 ps^-1 = 0.3334 meV book (8.55): 0.3340 meV
extracted: |V_td||V_tb| = 8.4e-03 book (8.56): (8.4 +- 0.6)e-03
from Sec. 7.11's elements: 8.6e-03 x 1.014 = 8.72e-03 The oscillation itself
With the probabilities collapse to the simplest possible form — Eqs. (8.46) and (8.47):
B⁰ oscillation in its simplest form, available because |p/q| = 1 to a fraction of a per cent. Compare the kaon, where two very different widths make the same physics far messier.
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.
and their normalised difference, the flavour asymmetry, is a bare cosine:
The flavour asymmetry: a bare cosine, with the exponential gone. This is the quantity that is actually fitted, and its shape is the reason Δm_B is known to 0.4 %.
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.
Survival and appearance — one equation, four systems
- survival — still B⁰
- appearance — now B⁰-bar
- P₊ + P₋ — decay alone, no mixing
B⁰. The comfortable case: about one full oscillation fits inside the exponential, so both the period and the decay are measurable in the same data set. This is what the beauty factories were built to exploit.
The dashed curve is pure exponential decay — what would happen with no mixing at all. The two solid curves always sum to it: mixing redistributes the survivors between the two flavours, it does not change how many there are.
Measuring a time when you can only measure a length
⚙️ Engineer’s bridge — you have a ruler, not a clock — so make the thing move
Every formula in this section is a function of proper time. No detector measures proper time. What a vertex detector measures is a distance, and the only bridge between them is .
Where it breaks: that conversion is only available if is both large enough and known. At a symmetric collider sitting on the Υ(4S), the two B mesons are produced nearly at rest — there is barely 20 MeV of kinetic energy to share — so collapses below any achievable vertex resolution and the measurement is not merely hard, it is absent. The boost had to be built into the machine, by colliding 9 GeV electrons on 3.1 GeV positrons, which is why the B factories are asymmetric and why that decision preceded every detector choice.
The trick also stops working when the thing you want to time is fast: the same substitution applied to the needs 44 fs of resolution (§8.7), and applied to the it fails outright. A ruler substitutes for a clock only while the object is obliging enough to move a measurable distance.
That turns the whole design of a beauty factory beauty factory a high-luminosity asymmetric e⁺e⁻ collider running at the Υ(4S). "Asymmetric" so that the centre of mass moves in the laboratory and the ~200 μm separation between the two B decay vertices can be resolved. defined in §8.6 — open in glossary into a single engineering problem, and the numbers are brutal:
Erratum — the book’s spectroscopic label for the Υ is impossible, and it is systematic
The book calls the resonance — pp. 331 and 333, and again in problem 8.8. In the standard notation that reads , so , together with ; and with the only possible is itself. The label describes no state that can exist.
It also contradicts the sentence it sits in, which states that the factories produce pairs in a pure state. A with needs , hence and :
The superscript and subscript are interchanged, and the same swap appears in Chapter 4 — Fig. 4.31’s caption lists the first three Υ states as , , , and p. 198 repeats it. Three occurrences in two chapters make it a house convention rather than a typo, which is worth knowing: a reader who takes it at face value learns the term-symbol convention backwards. The site writes , and wherever the term symbol is spelled out (§3.4, §4.9, §6.4).
The sits only 20 MeV above threshold for . So in the centre of mass each B has MeV, i.e. , and flies
before decaying. Silicon vertex detectors resolve 80–120 μm. The signal is three to four times smaller than the resolution: not marginal, invisible.
You cannot improve the resolution by a factor of five, and you cannot move the resonance. What you can do is change frames. Collide unequal beams so that the centre of mass itself moves in the laboratory, and the same proper time maps onto a longer distance:
- PEP2: 9 GeV on 3.1 GeV m
- KEKB: 8 GeV on 3.5 GeV m
Now the flight length is about twice the resolution — which is exactly what the book means when it says the resolution corresponds “to about one half of the flight length in a lifetime”. The asymmetry is not a quirk of these machines; it is the machines. Two accelerator complexes, a decade of construction each, because a measurement needed a factor of ten in one number.
The move generalises. When an observable is below your noise floor, you rarely fix it by improving the instrument; you find a transformation that maps the observable into a regime where your instrument is already good. Chop a DC signal to AC and measure where you have gain. Upconvert to where the mixer is linear. Trade a hard latency measurement for an easier throughput one. Here the transformation is a Lorentz boost, chosen by picking two beam energies, and its magnitude is a design parameter like any other.
Click a numbered marker for what that piece does.
🔬 Experiment card — BaBar at PEP-II (SLAC) and Belle at KEKB (KEK), 1999–2010
Apparatus
Two asymmetric colliders running on the : PEP-II at 9 GeV on 3.1 GeV, KEKB at 8 on 3.5, giving the centre of mass and . Each interaction point is surrounded by a silicon micro-strip vertex detector aligned to a few microns, reconstructing decay vertices to 80–120 μm, inside a tracker, particle identification and a calorimeter.What is measured
For each event with two neutral Bs: the flavour of one, from the sign of the lepton in its semileptonic decay (or by reconstructing the ); and the distance between the two decay vertices, converted to a proper-time difference by dividing by . Then either the flavour of the second B — giving the flavour asymmetry — or its decay into a CP eigenstate such as — giving .Not a rate and not a lifetime. A time-dependent asymmetry, in which every absolute normalisation cancels.
The result
About pairs at Belle and at BaBar, from which
and the and asymmetries come out as mirror images, as CP requires.
What it proved
CP violation outside the kaon system, 37 years after 1964 — and this time at order one rather than , in a quantity the Standard Model predicts with no hadronic input. It converted the CKM phase from a parameter that had to exist into one measured to a few per cent, and it is the reason is the best-known constraint on the unitarity triangle of §8.11.Kobayashi and Maskawa received the 2008 Nobel Prize after these measurements confirmed the mechanism they had proposed in 1973.
Tagging, and a puzzle about time
The two neutral Bs from an are one and one , but which is which is undetermined — a single wave function describes both, and their relative phase does not evolve. Then one of them decays semileptonically, and the sign of its lepton says what it was (§8.3’s rule again, now ):
That is flavour tagging flavour tagging inferring the flavour of one neutral meson from the decay of its coherently produced partner, or from the charge of the soft pion in D* → D⁰π. The technique that makes time-dependent CP measurements possible at all. defined in §8.6 — open in glossary . At the instant of the tag decay, the other B is known to be the opposite flavour, and its clock starts.
💡 What this really says — the companion’s wave function evolves before the tag — including at t < 0
The book slips in a remark that deserves stopping for: the untagged B’s wave function is even before the tagging decay, that is, for negative . Half the measured events have , and Fig. 8.11’s horizontal axis runs from to ps for exactly that reason.
Read carelessly, this sounds like the tag causes the other B to become a , retroactively. It does not, and the resolution is worth stating plainly.
Quantum mechanics is deterministic in the wave function. The pair is produced in a definite two-particle state; that state evolves unitarily from the moment of production; and it does so whether or not anyone looks. What the tag decay supplies is not a change to the other particle but a label for us — it tells us which branch of the correlated state we are in, and the branch was there all along. Once you know the wave function at one instant you know it at every instant, past and future alike, so assigning to the tag and running the formula backwards is not a trick; it is just reading the same function on the other side.
The engineering instinct that helps here is the difference between a measurement and a synchronisation. Nothing propagates from one B to the other. What happens is that two records, taken at different places, are given a common origin after the fact — the same thing you do when you align two logs by a shared event rather than by wall-clock time. The correlation was written at production; the tag only lets you read it.
The interference asymmetry
Now the observable. The quantity to measure is λ_f λ_f the product (p/q)(Ā_f/A_f), whose imaginary part is the CP-violating observable in interference. |λ_f| = 1 when CP is violated in neither the mixing nor the decay. defined in §8.6 — open in glossary . Take a final state that is a CP eigenstate and that both flavours can reach — then a can get there directly, or oscillate into a first and get there from the other side, and the two paths interfere:
Bettini p. 331. A pure sinusoid, with no exponential and no constant — every rate factor cancels in the ratio.
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.
For the Standard Model prediction is unusually clean, and the argument is worth following. Look at Fig. 8.10: the decay diagram contains and , both real to excellent approximation, so the decay contributes no phase. The mixing box contains twice, and is the one element carrying the CKM phase. Hence
Why J/ψ K⁰ is the golden channel. Every hadronic uncertainty cancels and what survives is one angle of the unitarity triangle, measured directly.
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.
Fig. 8.10 — two routes to the same final state
Click a vertex or an internal line.
Bettini Fig. 8.10. The two amplitudes reach different kaon flavours and would not interfere — except that both kaons decay as K_S, which is the same state. The kaon's own mixing is what makes the interference possible.
The result, and how to read the plot
- η_f = −1 (J/ψ K_S), ideal: amplitude sin2β = 0.68
- η_f = +1 (J/ψ K_L) — the mirror image
- what is actually measured — diluted to ≈0.45
Do not read off the plot. The published curves have an amplitude of roughly 0.45, not 0.68, and the book lists the three reasons: background, time resolution of 1–1.5 ps against a 12.4 ps period, and mis-tags — events where a was called a . All three dilute the amplitude towards zero and none of them shifts the phase, so the fitted value is corrected upward for each:
from two experiments to an angle
import numpy as np
meas = [('BaBar', 0.687, 0.028, 0.012), ('Belle', 0.667, 0.023, 0.012)]
for nm, v, st, sy in meas:
print(f"{nm} {v} +- {st} (stat) +- {sy} (syst) combined {np.hypot(st, sy):.4f}")
w = [(v, np.hypot(st, sy)) for _, v, st, sy in meas]
avg = sum(v/s**2 for v, s in w) / sum(1/s**2 for v, s in w)
err = 1/np.sqrt(sum(1/s**2 for v, s in w))
print(f"\nweighted mean sin 2 beta = {avg:.4f} +- {err:.4f}")
print(f" -> 2 beta = {np.degrees(np.arcsin(avg)):.1f} deg, beta = {np.degrees(np.arcsin(avg))/2:.1f} deg (PDG global fit: 22.2 deg)")
print("\nwhat makes this measurement remarkable is what is NOT in it:")
print(" no hadronic matrix element, no lattice input, no form factor.")
print(" every rate factor cancels in the ratio (8.53), and the amplitude")
print(" is a pure CKM phase.")
print("\ncontrast with Delta m_B, on the same page:")
print(" |V_td||V_tb| = 8.4e-03 +- 0.6e-03, i.e. +-7%, and the error is")
print(" dominated by the LATTICE calculation of the box's hadronic matrix")
print(" element -- not by the frequency, which is known to 0.4%.") BaBar 0.687 +- 0.028 (stat) +- 0.012 (syst) combined 0.0305 Belle 0.667 +- 0.023 (stat) +- 0.012 (syst) combined 0.0259 weighted mean sin 2 beta = 0.6754 +- 0.0198 -> 2 beta = 42.5 deg, beta = 21.2 deg (PDG global fit: 22.2 deg) what makes this measurement remarkable is what is NOT in it: no hadronic matrix element, no lattice input, no form factor. every rate factor cancels in the ratio (8.53), and the amplitude is a pure CKM phase. contrast with Delta m_B, on the same page: |V_td||V_tb| = 8.4e-03 +- 0.6e-03, i.e. +-7%, and the error is dominated by the LATTICE calculation of the box's hadronic matrix element -- not by the frequency, which is known to 0.4%.
⚠️ β is called φ₁ in half the literature, and the numbering does not correspond
The three unitarity-triangle angles carry two competing sets of names — , , from BaBar and , , from Belle — and the two orders are not aligned:
Only keeps its position. The book never states the correspondence, but it is not avoidable: the source line under Fig. 8.11 credits a Belle paper titled “…the CP violation parameter …”, so the reader meets on the same page as with nothing connecting them. Anyone who follows a citation out of this chapter will meet it again immediately.
The site uses , , throughout, as the book does.
Erratum — Fig. 8.11’s η_f labels contradict the facing page
Page 333 states, and the physics confirms:
Check it: ; and ; and contributes . So . The text is right.
But Fig. 8.11’s caption assigns the left panels to , and those panels are labelled ; the right panels, , are labelled . Both Belle and BaBar rows carry the same labelling.
So either the labels are interchanged or the caption’s left/right assignment is. They cannot both stand, and the text plus the CP arithmetic favour the labels being the error. Nothing quantitative changes — the two curves are mirror images either way, and which one is which is fixed by the physics rather than by the figure.
This is the same species as ch07’s Fig. 7.3(b), where the “B up” and “B down” curves were likewise swapped relative to the text.
Aside — the sign chain in (8.49), (8.53) and (8.58)–(8.59) does not close
The book asserts, immediately after (8.59), that the two asymmetries have “the same period, the same amplitude and opposite phases” — which is true, and which Fig. 8.11 shows. But applying the printed equations literally does not give it.
Eq. (8.49) defines — with inside. Eq. (8.53) then writes , multiplying by a second time. And (8.57) computes — without the that (8.49) put in.
Take (8.58) and (8.59) , together with the text’s and , and (8.53) gives for both — the same phase, not opposite.
Somewhere in that chain is counted twice or dropped once; the printed equations are mutually inconsistent and it is not possible to say from the book alone which one is at fault. What is not in doubt is the physics: the two asymmetries are opposite in sign, with amplitude , because is opposite for the two final states. That mirroring is itself the measurement’s best internal check, since no instrumental background flips sign with the CP eigenvalue of the final state.
🔑 If you remember only three things
-
The machine is asymmetric so that a time becomes a length. Unequal beam energies push the decay products far enough downstream to be measured at all.
-
Only the heaviest quark in the loop matters. The box diagram is dominated by the top, which is why a B meson is sensitive to a mass it can never produce.
-
A sinusoid is a stronger claim than a rate difference. Fitting a curve whose amplitude and phase were both predicted tests far more than finding an asymmetry that is not zero.
Where this goes next
is one angle of the unitarity triangle, measured to 3 % with essentially no theoretical input. §8.11 will demand that it agree with every other side and angle simultaneously.
First, §8.7 runs the same programme on the , which oscillates 35 times faster — a 0.35 ps period against 12.4 ps — and therefore needs the LHC rather than a beauty factory. Then §8.8 returns to the hardest case: CP violation in the decay amplitudes themselves, where the observable is a double ratio and the answer is , a thousand times smaller than .
✅ Check yourself — the B⁰ system
0/6 answered · 0 correct
1.The box diagram is dominated by the top quark. Is that because of its CKM couplings or its mass?
2.Why are beauty factories built with unequal beam energies?
3.About half the events in Fig. 8.11 have t < 0, and the book says the companion B's wave function evolves as Ψ₀(t) even before the tag decays. Does the tag cause the other B to become a B̄⁰?
4.Why is the sin2β measurement described as theoretically clean, unlike the Δm_B one on the same page?
5.The published Fig. 8.11 curves have an amplitude of about 0.45, but the quoted sin2β is 0.68. Why the difference?
6.J/ψK_S and J/ψK_L give asymmetries that are mirror images. Why is that mirroring valuable beyond confirming the sign?