§8.6Oscillation and CP Violation in the B⁰

Part III Bettini pp. 328–335 · ~26 min read

  • box diagram
  • flavour tagging
  • beauty factory
  • λ_f

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 10310^{-3} level, buried in a wave function. The B0B^0 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:

The kaon's peculiarities — a 571-fold lifetime ratio and a sizeable ε — are what made §8.5 hard. The B has neither.
K0K^0B0B^0why
the two lifetimesdiffer by 571equal within errorsthe 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 bylifetime — KSK_S, KLK_LmassBHB_H, BLB_Lthe lifetimes are equal, so they cannot label anything. ΔmBmHmL>0\Delta m_B \equiv m_H - m_L > 0 by definition here, unlike the kaon
CP violation in the mixingε=2.2×103|\varepsilon| = 2.2\times10^{-3}p/q1|p/q| \approx 1, negligiblethe common decay channels of B0B^0 and Bˉ0\bar B^0 are suppressed by small CKM elements, so the mixing is nearly CP-conserving
the useful signalviolation in the mixingviolation in the interferenceorder 10310^{-3} against order 1 — the B wins by three orders of magnitude

That third row matters: with p/q1|p/q| \approx 1 and Af=Aˉf|A_f| = |\bar A_f|, all the CP violation lives in a phase, and a phase is what interference measures.

The box diagram, and why only the top matters

B0B^0 and Bˉ0\bar B^0 are connected at second order by a box diagram — two W exchanges, with any up-type quark running in the loop:

Fig. 8.6 — the box that mixes B⁰ with B̄⁰

timedttdWWV_tdV_tbV_tbV_td

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 uu or cc 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}")
prints
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 p/q=1|p/q| = 1 the probabilities collapse to the simplest possible form — Eqs. (8.46) and (8.47):

Psame(t)=12eΓBt(1+cosΔmBt),Popp(t)=12eΓBt(1cosΔmBt)P_{\text{same}}(t) = \tfrac12 \htmlClass{t-exp}{e^{-\Gamma_B t}}\left(1 \htmlClass{t-plus}{+} \htmlClass{t-cos}{\cos\Delta m_B t}\right), \qquad P_{\text{opp}}(t) = \tfrac12 \htmlClass{t-exp}{e^{-\Gamma_B t}}\left(1 \htmlClass{t-minus}{-} \htmlClass{t-cos}{\cos\Delta m_B t}\right)
(8.46–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:

POFPSFPOF+PSF=cos(ΔmBt)\htmlClass{t-ratio}{\frac{P_{OF} - P_{SF}}{P_{OF} + P_{SF}}} = \htmlClass{t-cos}{\cos(\Delta m_B t)}
(8.48)

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

00.511.522.5300.20.40.60.81proper time t / τ (τ = 1.520 ps)probability
  • survival — still B⁰
  • appearance — now B⁰-bar
  • P₊ + P₋ — decay alone, no mixing
Δm
0.506 ps⁻¹
period T = 2π/Δm
12.4 ps
cτ (short)
456 μm
T / τ — the whole story
8.16

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.

The B⁰ preset. Compare with the K⁰: here the two widths are equal, so the two curves are a clean cosine riding on one exponential rather than the kaon's two-exponential mess. The period is about 8 lifetimes, so only a third of a cycle falls inside three lifetimes — the measurement works because Δt spans ±6 ps, one full period.

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 Δz=βγcΔt\Delta z = \beta\gamma\,c\,\Delta t.

Where it breaks: that conversion is only available if βγ\beta\gamma 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 Δz\Delta z 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 BsB_s needs 44 fs of resolution (§8.7), and applied to the D0D^0 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 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 Υ(41S3)\Upsilon(4^1S_3) — pp. 331 and 333, and again in problem 8.8. In the standard notation n2S+1LJn^{2S+1}L_J that reads 2S+1=12S+1 = 1, so S=0S = 0, together with J=3J = 3; and with L=0L = 0 the only possible JJ is SS itself. The label describes no state that can exist.

It also contradicts the sentence it sits in, which states that the factories produce BBˉB\bar B pairs in a pure JPC=1J^{PC} = 1^{--} state. A 11^{--} bbˉb\bar b with L=0L = 0 needs S=1S = 1, hence 2S+1=32S+1 = 3 and J=1J = 1:

Υ(4S)=43S1,not 41S3\Upsilon(4S) = 4\,{}^3S_1, \qquad \text{not } 4\,{}^1S_3

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 11S31^1S_3, 21S32^1S_3, 31S33^1S_3, 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 Υ(4S)\Upsilon(4S), and n3S1n^3S_1 wherever the term symbol is spelled out (§3.4, §4.9, §6.4).

The Υ(4S)\Upsilon(4S) sits only 20 MeV above threshold for B0Bˉ0B^0\bar B^0. So in the centre of mass each B has p=331p^* = 331 MeV, i.e. βγ=0.063\beta\gamma = 0.063, and flies

βγcτB=0.063×299.8  μm/ps×1.52  ps=28  μm\beta\gamma\,c\,\tau_B = 0.063 \times 299.8\;\mu\text{m/ps} \times 1.52\;\text{ps} = 28\;\mu\text{m}

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 βγ=0.56Δz255  μ\Rightarrow \beta\gamma = 0.56 \Rightarrow \Delta z \approx 255\;\mum
  • KEKB: 8 GeV on 3.5 GeV βγ=0.43Δz194  μ\Rightarrow \beta\gamma = 0.43 \Rightarrow \Delta z \approx 194\;\mum

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.

🛠️ An asymmetric beauty factory, in one line
B̄⁰ tagΔz ≈ 200 μme⁻9 GeVIPΥ(4S)e⁺3.1 GeVvertex detectorσ ≈ 80–120 μm123

Click a numbered marker for what that piece does.

Bettini §8.6 and Fig. 8.9. The beam energies are the only reason any of this is measurable.

🔬 Experiment card — BaBar at PEP-II (SLAC) and Belle at KEKB (KEK), 1999–2010

Apparatus
Two asymmetric e+ee^+e^- colliders running on the Υ(4S)\Upsilon(4S): PEP-II at 9 GeV on 3.1 GeV, KEKB at 8 on 3.5, giving the centre of mass βγ=0.56\langle\beta\gamma\rangle = 0.56 and 0.430.43. 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 DD); and the distance between the two decay vertices, converted to a proper-time difference by dividing by cβγc\langle\beta\gamma\rangle. Then either the flavour of the second B — giving the flavour asymmetry cos(ΔmBt)\cos(\Delta m_B t) — or its decay into a CP eigenstate such as J/ψKSJ/\psi K_S — giving afCPa_{fCP}.

Not a rate and not a lifetime. A time-dependent asymmetry, in which every absolute normalisation cancels.

The result
About 4.65×1084.65\times10^8 BBˉB\bar B pairs at Belle and 7.72×1087.72\times10^8 at BaBar, from which

ΔmB=0.5065±0.0019  ps1\Delta m_B = 0.5065 \pm 0.0019\;\text{ps}^{-1} sin2β=0.687±0.028±0.012  (BaBar),0.667±0.023±0.012  (Belle)\sin2\beta = 0.687 \pm 0.028 \pm 0.012 \;(\text{BaBar}), \quad 0.667 \pm 0.023 \pm 0.012\;(\text{Belle})

and the J/ψKSJ/\psi K_S and J/ψKLJ/\psi K_L 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 10310^{-3}, 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 sin2β\sin2\beta 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 Υ(4S)\Upsilon(4S) are one B0B^0 and one Bˉ0\bar B^0, 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 ΔS=ΔQ\Delta S = \Delta Q rule again, now ΔB=ΔQ\Delta B = \Delta Q):

bcνˉ    Bˉ0D+νˉ,bˉcˉ+ν    B0D+νb \to c\,\ell^-\bar\nu \;\Rightarrow\; \bar B^0 \to D^+\ell^-\bar\nu, \qquad \bar b \to \bar c\,\ell^+\nu \;\Rightarrow\; B^0 \to D^-\ell^+\nu

That is flavour tagging . 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 Ψ0(t)\Psi_0(t) even before the tagging decay, that is, for negative tt. Half the measured events have t<0t < 0, and Fig. 8.11’s horizontal axis runs from 6-6 to +6+6 ps for exactly that reason.

Read carelessly, this sounds like the tag causes the other B to become a Bˉ0\bar B^0, 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 t=0t = 0 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 . Take a final state ff that is a CP eigenstate and that both flavours can reach — then a B0B^0 can get there directly, or oscillate into a Bˉ0\bar B^0 first and get there from the other side, and the two paths interfere:

afCP=fΨ0(t)2fΨ0ˉ(t)2fΨ0(t)2+fΨ0ˉ(t)2=ηfImλfsin(ΔmBt)a_{fCP} = \frac{|\langle f|\Psi_0(t)\rangle|^2 - |\langle f|\Psi_{\bar 0}(t)\rangle|^2} {|\langle f|\Psi_0(t)\rangle|^2 + |\langle f|\Psi_{\bar 0}(t)\rangle|^2} = \htmlClass{t-e}{\eta_f}\,\htmlClass{t-l}{\mathrm{Im}\,\lambda_f}\,\htmlClass{t-s}{\sin(\Delta m_B t)}
(8.53)

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 f=J/ψK0f = J/\psi K^0 the Standard Model prediction is unusually clean, and the argument is worth following. Look at Fig. 8.10: the decay diagram contains VcbV_{cb} and VcsV_{cs}, both real to excellent approximation, so the decay contributes no phase. The mixing box contains VtdV_{td} twice, and VtdV_{td} is the one element carrying the CKM phase. Hence

λJ/ψK=pqAAˉ=e2iβImλ=sin2β\lambda_{J/\psi K} = \htmlClass{t-mix}{\frac{p}{q}}\htmlClass{t-dec}{\frac{A}{\bar A}} = \htmlClass{t-e}{e^{2i\beta}} \qquad\Longrightarrow\qquad \htmlClass{t-im}{\mathrm{Im}\,\lambda = \sin 2\beta}

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

timeB̄⁰J/ψK⁰ → K_SB̄⁰box → B⁰J/ψ K̄⁰ → K_SV_cbV_td²

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

-6-4-20246-0.5-0.2500.250.5Δt (ps)CP asymmetry
  • η_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
Fig. 8.11 redrawn as one panel. The two CP eigenvalues give mirror-image sinusoids of the same period and amplitude — and that mirroring is the strongest internal check in the measurement, because no background flips sign with η_f.

Do not read sin2β\sin2\beta 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 B0B^0 was called a Bˉ0\bar B^0. All three dilute the amplitude towards zero and none of them shifts the phase, so the fitted value is corrected upward for each:

BaBar: sin2β=0.687±0.028±0.012,Belle: sin2β=0.667±0.023±0.012\text{BaBar: } \sin2\beta = 0.687 \pm 0.028 \pm 0.012, \qquad \text{Belle: } \sin2\beta = 0.667 \pm 0.023 \pm 0.012

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%.")
prints
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 — α\alpha, β\beta, γ\gamma from BaBar and ϕ1\phi_1, ϕ2\phi_2, ϕ3\phi_3 from Belle — and the two orders are not aligned:

α=ϕ2,β=ϕ1,γ=ϕ3\alpha = \phi_2, \qquad \beta = \phi_1, \qquad \gamma = \phi_3

Only γ\gamma 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 sin2ϕ1\sin 2\phi_1…”, so the reader meets ϕ1\phi_1 on the same page as β\beta with nothing connecting them. Anyone who follows a citation out of this chapter will meet it again immediately.

The site uses α\alpha, β\beta, γ\gamma throughout, as the book does.

Erratum — Fig. 8.11’s η_f labels contradict the facing page

Page 333 states, and the physics confirms:

ηJ/ψKL=+1,ηJ/ψKS=1\eta_{J/\psi K_L} = +1, \qquad \eta_{J/\psi K_S} = -1

Check it: CP(J/ψ)=CP=(1)(1)=+1\mathrm{CP}(J/\psi) = C\cdot P = (-1)(-1) = +1; CP(KS)=+1\mathrm{CP}(K_S) = +1 and CP(KL)=1\mathrm{CP}(K_L) = -1; and L=1L = 1 contributes (1)L=1(-1)^L = -1. So η(J/ψKS)=(+1)(+1)(1)=1\eta(J/\psi K_S) = (+1)(+1)(-1) = -1. The text is right.

But Fig. 8.11’s caption assigns the left panels to J/ψKSJ/\psi K_S, and those panels are labelled ηf=+1\eta_f = +1; the right panels, J/ψKLJ/\psi K_L, are labelled ηf=1\eta_f = -1. Both Belle and BaBar rows carry the same labelling.

So either the ηf\eta_f 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 λfηf(p/q)(Af/Aˉf)\lambda_f \equiv \eta_f\,(p/q)(A_f/\bar A_f) — with ηf\eta_f inside. Eq. (8.53) then writes afCP=ηfImλfsin(ΔmBt)a_{fCP} = \eta_f\,\mathrm{Im}\,\lambda_f\sin(\Delta m_B t), multiplying by ηf\eta_f a second time. And (8.57) computes λJ/ψKS=(p/q)(A/Aˉ)=e2iβ\lambda_{J/\psi K_S} = (p/q)(A/\bar A) = e^{2i\beta}without the ηf\eta_f that (8.49) put in.

Take (8.58) ImλJ/ψKS=+sin2β\mathrm{Im}\,\lambda_{J/\psi K_S} = +\sin2\beta and (8.59) ImλJ/ψKL=sin2β\mathrm{Im}\,\lambda_{J/\psi K_L} = -\sin2\beta, together with the text’s η=1\eta = -1 and +1+1, and (8.53) gives sin2βsin(ΔmBt)-\sin2\beta\sin(\Delta m_Bt) for both — the same phase, not opposite.

Somewhere in that chain ηf\eta_f 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 sin2β\sin2\beta, because ηf\eta_f 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

sin2β0.68\sin2\beta \approx 0.68 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 Bs0B_s^0, 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 ε\varepsilon', a thousand times smaller than ε\varepsilon.

Check yourself — the B⁰ system

0/6 answered · 0 correct

  1. 1.The box diagram is dominated by the top quark. Is that because of its CKM couplings or its mass?

  2. 2.Why are beauty factories built with unequal beam energies?

  3. 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. 4.Why is the sin2β measurement described as theoretically clean, unlike the Δm_B one on the same page?

  5. 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. 6.J/ψK_S and J/ψK_L give asymmetries that are mirror images. Why is that mirroring valuable beyond confirming the sign?

Study aid derived from A. Bettini, Introduction to Elementary Particle Physics, 3rd ed., Cambridge University Press 2024 — published Open Access under CC-BY-NC 4.0, DOI 10.1017/9781009440745. Not the book: an independently written interactive companion, figures redrawn.