proposition 100.63 The QED beta function
open in the book ·
parts/11-qft-standard-model/02-qed-renormalization.tex:2888
· p. 1931
Rests on
- depends_on equation 100.82 eq:qed-alpha-effective ¶
- depends_on equation 100.83 eq:qed-pi-log ¶
- proves proof ch:02-qed-renormalization@proof-33 ¶
Supports
- depends_on phenomenon 101.73 The weak interaction is carried by heavy bosons ¶
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-alpha-effective | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:2900 |
depends_on |
→ | eq:qed-pi-log | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:2900 |
depends_on |
← | The weak interaction is carried by heavy bosons | declared | parts/11-qft-standard-model/03-weak-interactions.tex:3569 |
proves |
← | ch:02-qed-renormalization@proof-33 | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:2903 |