theorem 108.18 't~Hooft's mass-independence
open in the book ·
parts/11-qft-standard-model/10-renormalization-group.tex:638
· p. 2262
Rests on
- depends_on equation 108.14 eq:rg-beta-gamma-def ¶
-
depends_on
theorem 100.52
Bogoliubov–Parasiuk–Hepp–Zimmermann
¶
- depends_on definition 100.45 Bare and renormalized quantities ¶
- depends_on equation 100.69 eq:qed-counterterm-lagrangian ¶
- depends_on equation 100.26 eq:qed-superficial-degree ¶
- proves proof ch:10-renormalization-group@proof-7 ¶
Supports
Nothing declares a dependency on this node yet.
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 |
|---|---|---|---|---|
cites |
→ | Dimensional regularization and the renormalization group | derived | parts/11-qft-standard-model/10-renormalization-group.tex:643 |
depends_on |
→ | eq:rg-beta-gamma-def | declared | parts/11-qft-standard-model/10-renormalization-group.tex:644 |
depends_on |
→ | Bogoliubov–Parasiuk–Hepp–Zimmermann | declared | parts/11-qft-standard-model/10-renormalization-group.tex:644 |
proves |
← | ch:10-renormalization-group@proof-7 | declared | parts/11-qft-standard-model/10-renormalization-group.tex:647 |