theorem 100.5 The gauge principle

open in the book · parts/11-qft-standard-model/02-qed-renormalization.tex:184 · p. 1901

Rests on

depends_on equation 100.6 eq:qed-current ¶
depends_on equation 100.5 eq:qed-free-dirac ¶
proves proof ch:02-qed-renormalization@proof-1 ¶

Supports

depends_on proposition 100.14 The Feynman rules of QED in SI form ¶
- depends_on lemma 100.22 Spin sums ¶
  - depends_on proposition 100.24 Cross-section master formula ¶
    - depends_on lemma 101.47 The two-neutrino phase space ¶
      - depends_on proposition 101.75 Ratios of $Z$ partial widths ¶
- depends_on proposition 102.29 Feynman rules for QCD in SI form ¶
- depends_on proposition 100.24 Cross-section master formula ¶ ↺
- depends_on proposition 101.45 Decay-rate master formula ¶
- depends_on proposition 101.68 The low-energy limit reproduces Fermi ¶
  - depends_on proposition 101.70 The effective neutral-current interaction ¶
    - depends_on phenomenon 101.72 Neutrinos scatter without becoming charged leptons ¶
- depends_on theorem 100.25 One-photon exchange is the Coulomb potential ¶
  - depends_on proposition 100.33 Uehling's modification of the Coulomb potential ¶
    - depends_on phenomenon 100.62 The fine-structure constant runs ¶
    - depends_on theorem 108.64 Appelquist–Carazzone ¶
  - depends_on theorem 102.60 Confinement at strong coupling, and what it proves ¶
- depends_on theorem 100.41 Schwinger ¶
  - depends_on phenomenon 112.2 The electron magnetic moment is not the Dirac value ¶
  - depends_on phenomenon 100.67 The electron is not a pure Dirac particle ¶
    - depends_on proposition 100.71 Several roads to $\alpha$, and why that matters ¶
- depends_on theorem 100.35 One-loop electron self-energy ¶
  - depends_on phenomenon 100.66 The Lamb shift ¶
- depends_on theorem 100.31 One-loop vacuum polarization ¶
  - depends_on phenomenon 100.69 Light scatters off light ¶
depends_on proposition 100.6 The coupling is universal ¶
- depends_on phenomenon 101.40 The vector coupling is not renormalized ¶
  - depends_on phenomenon 101.43 One coupling governs every charged-current process ¶
    - depends_on phenomenon 103.7 Strangeness-changing decays are suppressed, by one angle ¶
    - depends_on phenomenon 101.55 Strangeness-changing decays are suppressed by one angle ¶
depends_on theorem 100.48 Ward–Takahashi ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	eq:qed-current	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:204
`depends_on`	→	eq:qed-free-dirac	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:204
`depends_on`	←	The Feynman rules of QED in SI form	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:714
`depends_on`	←	The coupling is universal	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:290
`depends_on`	←	Ward–Takahashi	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:2411
`proves`	←	ch:02-qed-renormalization@proof-1	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:207