lemma 100.22 Spin sums
open in the book ·
parts/11-qft-standard-model/02-qed-renormalization.tex:1086
· p. 1912
Rests on
-
depends_on
proposition 100.14
The Feynman rules of QED in SI form
¶
- depends_on equation 100.2 eq:qed-action ¶
-
depends_on
proposition 100.8
The photon propagator
¶
- depends_on equation 100.2 eq:qed-action ¶ ↺
- depends_on equation 100.16 eq:qed-gauge-fixing-term ¶
- depends_on equation 100.15 eq:qed-photon-kernel ¶
- proves proof ch:02-qed-renormalization@proof-4 ¶
-
depends_on
theorem 100.5
The gauge principle
¶
- 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 ¶
- proves proof ch:02-qed-renormalization@proof-7 ¶
- proves proof ch:02-qed-renormalization@proof-11 ¶
Supports
-
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
lemma 101.47
The two-neutrino phase space
¶
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 |
→ | The Feynman rules of QED in SI form | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:1099 |
depends_on |
← | Cross-section master formula | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:1191 |
proves |
← | ch:02-qed-renormalization@proof-11 | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:1102 |