Skip to main content

Nuclear, particle & quantum-information sequence · Interactive lesson

Auditing a proposed reaction

Before any rate is computed, a proposed reaction has to survive the ledger. Learn to write every particle as a vector of conserved eigenvalues, subtract the two sides, read which interaction the failing rows allow — and then say plainly what a balanced ledger still leaves open.

UPV-19.09 · Lesson 9 of 9 in this unit. Position is not a completion score.
Starting model: Auditing a proposed reactionLedger residuals, final minus initial, for K⁻ + p → 1 Ω⁻ + 1 K⁺ + 0 K⁰: ΔQ = 0, ΔB = 0, ΔS = -1. A bar above the zero line means the products carry too much of that number, below it too little. The right-hand bar is the threshold kaon momentum against the dashed 5.0 GeV/c beam, and the dot marks the audit's verdict.K⁻ + p → 1 Ω⁻ + 1 K⁺ + 0 K⁰(Q, B, S) initial (0, 1, −1) → final (0, 1, −2)ΔQΔBΔSbar = final − initial, 11 px per unitthreshold pK = 1.84 GeV/cdashed: the 5.0 GeV/c beam of 1964all rows zero: strong, allowedonly ΔS fails: weak onlyΔQ or ΔB fails: forbidden
Start with a picture. Change the model in the lab below.

Nuclear, particle & quantum-information sequence. These units continue into nuclear and particle physics and quantum information. Follow your university’s prerequisites, mathematical depth and assessment; this independent pathway is not a universal programme specification.

1

Build the model

Conservation says what cannot happen, and stays silent on how often the rest does.

The key idea

A reaction audit assigns every particle the eigenvalues of each generator that commutes with H, sums those integers on both sides of a proposed process, and requires the two sums to agree for whichever interaction is proposed to mediate it.

Example. For Λ⁰ → p + π⁻ the vector (Q, B, Lₑ, Lμ, Lτ, S) sums to (0, 1, 0, 0, 0, −1) before and (0, 1, 0, 0, 0, 0) after: only strangeness moves, by one unit, so the weak interaction alone can mediate it — consistent with the 2.6 × 10⁻¹⁰ s lifetime.

The complete physical model and assumptions

Every additive conservation law in this course is the same object: a Hermitian generator G with [H, G] = 0. Two consequences make the audit mechanical. On a multi-particle state the generator is a sum of one-particle copies, so its eigenvalue on |a⟩⊗|b⟩⊗… is gₐ + gb + …, and the total of a conserved number on a product state is literally a sum. And because ⟨f|[H, G]|i⟩ = (gᵢ − gf)⟨f|H|i⟩ = 0, the amplitude between states of different eigenvalue vanishes identically. So stack the eigenvalues of every commuting generator — charge, baryon number, the three lepton-family numbers, strangeness — into an integer vector, add the vectors on each side, and subtract: every non-zero row names a symmetry the proposal breaks. Angular momentum joins as a Clebsch–Gordan range rather than a row, and energy as the requirement Q > 0 or √s ≥ Σm. The rows that fail then name the mediator, because H splits into strong, electromagnetic and weak pieces that do not all commute with the same generators: S commutes with the first two and not the third. The cost of the method is written into its own derivation. The factor (gᵢ − gf) is what the audit tests; the factor ⟨f|H|i⟩ is what it never sees. A balanced ledger therefore promises no rate and no branching ratio, only that the amplitude is not forced to vanish.

1A selection rule is a matrix element forced to vanish

Start from the operator statement behind every conservation law in this unit: a Hermitian generator G with [H, G] = 0. Take eigenstates G|i⟩ = gᵢ|i⟩ and G|f⟩ = gf|f⟩ and sandwich the commutator: ⟨f|HG − GH|i⟩ = gᵢ⟨f|H|i⟩ − gf⟨f|H|i⟩, using the Hermiticity of G to let it act leftward on ⟨f|. So (gᵢ − gf)⟨f|H|i⟩ = 0, and one of the two factors must vanish. If the eigenvalues differ the amplitude is identically zero — that is a selection rule, and it holds to every order in the interaction, not only the first. On a multi-particle state G is the sum of one-particle copies, G⊗1⊗1 + 1⊗G⊗1 + …, so a product state's eigenvalue is the total of its constituents'. Those two facts are the whole audit: add the eigenvalues on each side, subtract, and any non-zero row kills the amplitude. Read the same line the other way and you have the limit of the method. When gᵢ = gf the equation is satisfied trivially and ⟨f|H|i⟩ is unconstrained: it may be large, small, or zero for some reason the ledger knows nothing about.

2Fill the vector for every particle in the proposal

Each particle gets v = (Q, B, Lₑ, Lμ, Lτ, S), with its spin j kept to one side. Charge in units of e. Baryon number (nq − nq̄)/3: 1 for every baryon, 0 for every meson and lepton. Lepton-family number +1 for e⁻ and νₑ, −1 for e⁺ and ν̄ₑ, and likewise for the μ and τ families — the row that puts an antineutrino, not a neutrino, beside the electron in beta decay. Strangeness S = −(nₛ − nₛ̄), so the sign is the trap: K⁺ = us̄ has S = +1, Λ⁰ = uds has S = −1, Ξ⁻ = dss has S = −2 and Ω⁻ = sss has S = −3. An antiparticle negates every entry; a photon or a Z is the zero vector and a W± carries only Q = ±1. So p = (1, 1, 0, 0, 0, 0), n = (0, 1, 0, 0, 0, 0), π⁻ = (−1, 0, 0, 0, 0, 0), K⁰ = ds̄ = (0, 0, 0, 0, 0, +1), Σ⁺ = uus = (1, 1, 0, 0, 0, −1), e⁻ = (−1, 0, 1, 0, 0, 0), ν̄μ = (0, 0, 0, −1, 0, 0). Spins: 0 for the pseudoscalar mesons, ½ for the octet baryons and the leptons, 3/2 for Δ and Ω⁻, 1 for the photon. A wrong entry here makes every later step wrong with it, so build the table before doing any arithmetic.

3Subtract row by row and read what fails

π⁻ + p → K⁻ + Σ⁺ looks like ordinary strange-particle production. Initial: (−1, 0, 0, 0, 0, 0) + (1, 1, 0, 0, 0, 0) = (0, 1, 0, 0, 0, 0). Final: K⁻ = sū is (−1, 0, 0, 0, 0, −1) and Σ⁺ = uus is (1, 1, 0, 0, 0, −1), summing to (0, 1, 0, 0, 0, −2). Residual (0, 0, 0, 0, 0, −2): charge and baryon number pass, strangeness fails by two units. Swap the kaon for K⁺ = us̄ and the σ for Σ⁻ = dds: the final vector becomes (0, 1, 0, 0, 0, 0) and every row is zero — associated production, in which a strange and an antistrange quark are created together. Now a decay: p → e⁺ + π⁰. Initial (1, 1, 0, 0, 0, 0); final (1, 0, −1, 0, 0, 0). Residual (0, −1, −1, 0, 0, 0): B and Lₑ fail by one unit each, in the same direction, so the combination B − L is unchanged. That survivor is not an accident of the example. It is why grand unified theories, which violate B and L together, predict this exact channel, and why it is the one Super-Kamiokande searches for.

4Let the failing rows name the mediator

H = Hₛ + HEM + Hw, and the three pieces do not commute with the same generators. Q, B and each L_ℓ commute with all three, so a failure there closes every door, except that for L_ℓ the neutrino-mass terms leave it ajar, at a μ → eγ branching ratio near 10⁻⁵⁴. S commutes with Hₛ and HEM but not with Hw: at a charged-current vertex an s quark becomes a u quark, changing S by exactly one unit, so |ΔS| = 1 means weak or nothing, and |ΔS| = 2 needs two W exchanges — Ξ⁻ → n + π⁻ sits below 2 × 10⁻⁵. Semileptonic decays obey the sharper rule ΔS = ΔQhad, which is what forbids Σ⁺ → n + e⁺ + νₑ at first order. If every row is zero the process takes the strongest interaction available: hadrons in and out with no photon means strong, near 10⁻²³ s, so a Δ resonance of width 117 MeV lives 5.6 × 10⁻²⁴ s; a photon, or a decay into photons, means electromagnetic, π⁰ → γγ at 8.4 × 10⁻¹⁷ s; a neutrino anywhere, or ΔS ≠ 0, means weak, Λ⁰ at 2.6 × 10⁻¹⁰ s and K⁺ at 1.2 × 10⁻⁸ s. Parity, being multiplicative, is a label rather than a row: conserved by Hₛ and HEM, ignored by Hw.

5Angular momentum is a triangle test, not a row

J is not additive, so it cannot be a row of the vector. The products' spins couple through Clebsch–Gordan coefficients to any total from |j₁ − j₂| to j₁ + j₂, that total couples to the orbital L between them, and the audit asks only whether the parent's J lies in the resulting range. Λ⁰ → p + π⁻: ½ ⊗ 0 = ½, then L = 0 gives J = ½ and L = 1 gives ½ or 3/2, so the parent's ½ is reachable both ways. Parity picks between them: the product parity (+)(−)(−1)L is + for L = 1 and − for L = 0, against the Λ⁰'s +, so a parity-conserving interaction would allow only the p-wave. The weak decay uses both, and the measured asymmetry α = 0.75 is their interference. What is strictly additive is the fermion count: half-integer J on one side demands an odd number of fermions on the other. Two-body n → p + e⁻ has one fermion becoming two, so its final J is an integer for every L, and the proposal fails on angular momentum before the lepton row is even reached.

6What a balanced ledger still leaves open

K⁺ → μ⁺νμ, K⁺ → π⁺π⁰, K⁺ → π⁺π⁺π⁻ and K⁺ → e⁺νₑ pass the same audit: Q +1 → +1, B 0 → 0, the lepton family balanced, ΔS = −1 at one weak vertex. Measured, they take 63.6%, 20.7%, 5.6% and 1.6 × 10⁻⁵ of the decays, and nothing in the ledger ranks them. The rate is Fermi's golden rule, Γ = (2π/ħ)|⟨f|Hw|i⟩|²ρ(E), and a branching ratio divides one such Γ by the sum of all of them, so it needs every amplitude and every phase space. The electron mode is the sharpest lesson. Its amplitude is proportional to m_ℓ, because a spin-0 kaon forces the ℓ⁺ and the ν into the same helicity, and (mₑ/mμ)² × 1.10 = 2.6 × 10⁻⁵ against 2.49 × 10⁻⁵ measured — a factor of about 40,000 the ledger cannot see. The audit also inherits the status of its symmetries. Q is exact and gauge-protected; B and L are accidental, so "forbidden" means only "not yet seen", for p → e⁺π⁰ at lifetimes below 10³⁴ years; lepton-family number is already known to fail through oscillation.

2

Key equations

Read the units, assumptions and limits before substituting.

Selection rule from a commuting generator

[H, G] = 0 ⇒ (gᵢ − gf) ⟨f|H|i⟩ = 0

Either the eigenvalues agree or the amplitude vanishes identically — the audit tests the first factor and never sees the second.

G Hermitian with integer eigenvalues g (dimensionless); |i⟩, |f⟩ its eigenstates; H the Hamiltonian, interaction included, in MeV

Additivity on a product state

G = Σₖ G⁽ᵏ⁾ ⇒ G |a⟩⊗|b⟩⊗… = (gₐ + gb + …) |a⟩⊗|b⟩⊗…

Why a ledger is a sum: a multi-particle eigenvalue is the total of its constituents', so each conserved number costs one subtraction.

G⁽ᵏ⁾ the one-particle generator acting on slot k of the tensor product; gₐ the eigenvalue carried by particle a

The ledger vector

v = (Q, B, Lₑ, Lμ, Lτ, S) ∈ ℤ⁶, Σfinal v − Σᵢₙᵢₜᵢₐₗ v = 0

Six integers per particle, negated for antiparticles; a non-zero row names the symmetry a proposal breaks and so the interaction it would need.

Q in units of e; B = (nq − nq̄)/3; L_ℓ = +1 per lepton, −1 per antilepton of family ℓ; S = −(nₛ − nₛ̄)

Strangeness at each interaction

[Hₛ + HEM, S] = 0, ΔS = 0 or ±1 per W vertex, ΔS = ΔQhad (semileptonic)

ΔS ≠ 0 forces a weak mediator; |ΔS| = 2 needs two W exchanges and another factor of GF², which is why Ξ⁻ → n + π⁻ sits below 2 × 10⁻⁵.

Hₛ, HEM, Hw the strong, electromagnetic and weak parts of H; ΔQhad the change in total hadronic charge

Angular momentum: a triangle, not a sum

|j₁ − j₂| ≤ J ≤ j₁ + j₂, Jfinal ∈ (spins coupled) ⊗ L, (−1)(2J) = (−1)(Nf)

J passes if the parent's value lies in the Clebsch–Gordan range; the only strictly additive part is the fermion parity, which two-body n → p + e⁻ fails outright.

j, J in units of ħ; L the orbital angular momentum between the products; Nf the number of half-integer-spin particles

What the audit leaves open

Γ = (2π/ħ) |⟨f|H′|i⟩|² ρ(Ef), BRₖ = Γₖ / Σⱼ Γⱼ

A balanced ledger says the amplitude need not vanish; the rate needs its value and the phase space, and a branching ratio needs every competing channel's too.

Γ in s⁻¹ with ħ = 6.582 × 10⁻²² MeV s; ρ the density of final states per MeV; H′ the interaction term
3

Interactive lab

Predict first. Explore the model. Compare the result.

Explore the model

1
0 to 2; steps of 1.
1
0 to 3; steps of 1.
0
0 to 3; steps of 1.

Try this. Start from the tempting two-body guess K⁻ + p → Ω⁻ + K⁺, where only the ΔS bar stands, at −1, then add one K⁰: every bar vanishes, the dot climbs to 'strong, allowed', and the threshold rises from 1.84 to 3.14 GeV/c, still under the 5 GeV/c beam. Set Ω⁻ to 0 or 2 and ΔB fails whatever the kaons do.

Live results

ΔQ FINAL − INITIAL
0
ΔB FINAL − INITIAL
0
ΔS FINAL − INITIAL
-1
THRESHOLD pK
1.84 GeV/c

Results follow this lesson’s model and assumptions. Displayed values are rounded.

Interactive Physics V modelLedger residuals, final minus initial, for K⁻ + p → 1 Ω⁻ + 1 K⁺ + 0 K⁰: ΔQ = 0, ΔB = 0, ΔS = -1. A bar above the zero line means the products carry too much of that number, below it too little. The right-hand bar is the threshold kaon momentum against the dashed 5.0 GeV/c beam, and the dot marks the audit's verdict.K⁻ + p → 1 Ω⁻ + 1 K⁺ + 0 K⁰(Q, B, S) initial (0, 1, −1) → final (0, 1, −2)ΔQΔBΔSbar = final − initial, 11 px per unitthreshold pK = 1.84 GeV/cdashed: the 5.0 GeV/c beam of 1964all rows zero: strong, allowedonly ΔS fails: weak onlyΔQ or ΔB fails: forbidden
Ledger residuals, final minus initial, for K⁻ + p → 1 Ω⁻ + 1 K⁺ + 0 K⁰: ΔQ = 0, ΔB = 0, ΔS = −1. A bar above the zero line means the products carry too much of that number, below it too little. The right-hand bar is the threshold kaon momentum against the dashed 5.0 GeV/c beam, and the dot marks the audit's verdict.

Predict → change one variable → check

Plan a change before running it. Every other input stays at the saved baseline.

Saved baseline. Ω⁻ count in final state: 1; K⁺ count in final state: 1; K⁰ count in final state: 0

Baseline 1; choose 0 to 2, in steps of 1.
4. Compared with the saved baseline, this result will…

This experiment is kept only while this page is open. It does not change saved course progress.

4

Catch the common trap

The error is to read the audit as a two-way verdict: balanced means the reaction happens, unbalanced means it never can. Neither half survives the derivation. The audit checks the factor (gᵢ − gf) in (gᵢ − gf)⟨f|H|i⟩ = 0 and never touches ⟨f|H|i⟩, so a balanced ledger only says the amplitude is not forced to zero — K⁺ → e⁺νₑ and K⁺ → μ⁺νμ share every row and differ in rate by a factor of about 40,000. The unbalanced half fails for a different reason: a row is forbidden only for the interactions whose Hamiltonian commutes with that generator. ΔS = 1 closes the strong and electromagnetic doors and leaves the weak one open, which is why the Λ⁰ decays at all. And B and L are accidental symmetries, so proton stability is an experimental limit above 10³⁴ years, not a theorem.

5

Practice & worked examples

3 authored examples. Make an attempt, then reveal the reasoning one step at a time.

EasyExample 1

Audit π⁻ + p → K⁰ + Λ⁰ and π⁻ + p → K⁰ + n. Write (Q, B, S) for every particle, sum both sides, and name the interaction each proposal is allowed to use. Quark content: π⁻ = dū, K⁰ = ds̄, Λ⁰ = uds.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 4 steps revealed.

MediumExample 2

Audit μ⁻ → e⁻ + γ and p → e⁺ + π⁰. For each, list the rows that fail, find a conserved combination that survives, and compare with the experimental limits BR(μ → eγ) < 4 × 10⁻¹³ and τ(p → e⁺π⁰) > 2 × 10³⁴ yr.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 5 steps revealed.

HardExample 3

K⁺ → μ⁺ + νμ and K⁺ → e⁺ + νₑ pass the same audit. Helicity suppression makes the amplitude proportional to the lepton mass, and two-body phase space gives Γ ∝ m_ℓ² (1 − m_ℓ²/mK²)². With mK = 493.68, mμ = 105.66 and mₑ = 0.511 MeV, compute Γₑ/Γμ and then BR(K⁺ → e⁺νₑ), given BR(K⁺ → μ⁺νμ) = 63.6%. Measured: Γₑ/Γμ = 2.49 × 10⁻⁵.

Sketch your answer or reasoning, then compare it with the authored solution. Your writing is not automatically graded or saved.

0 of 5 steps revealed.

6

Quick check

Select an answer and explain it before checking.

K⁺ → μ⁺ + νμ and K⁺ → e⁺ + νₑ pass identical audits: Q +1 → +1, B 0 → 0, the lepton-family row 0 → (−1) + (+1), ΔS = −1 at a single weak vertex. Measured, the electron mode is 2.5 × 10⁻⁵ of the muon mode. What does that ratio say about the audit?
7

Review & continue

A reaction audit assigns every particle the eigenvalues of each generator that commutes with H, sums those integers on both sides of a proposed process, and requires the two sums to agree for whichever interaction is proposed to mediate it.

  • Explain the relationship without looking at the equation.
  • Check a sign, a unit and a model assumption in your working.
  • Return to the lab or worked example if a step is still unclear.

Extra challenging questions

Connect several ideas, explore supplied data, and compare your reasoning with a worked solution.