theorem 108.19 The first two beta coefficients are scheme independent
open in the book ·
parts/11-qft-standard-model/10-renormalization-group.tex:674
· p. 2262
Rests on
-
depends_on
proposition 100.55
Scheme independence of observables
¶
- depends_on definition 100.46 On-shell renormalization conditions ¶
- depends_on definition 100.54 Two schemes ¶
- proves proof ch:02-qed-renormalization@proof-30 ¶
- proves proof ch:10-renormalization-group@proof-8 ¶
Supports
-
depends_on
corollary 108.20
What is physical in a beta function
¶
- depends_on proposition 108.59 The hypercharge coupling and its pole ¶
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 |
→ | Scheme independence of observables | declared | parts/11-qft-standard-model/10-renormalization-group.tex:686 |
depends_on |
← | What is physical in a beta function | declared | parts/11-qft-standard-model/10-renormalization-group.tex:734 |
proves |
← | ch:10-renormalization-group@proof-8 | declared | parts/11-qft-standard-model/10-renormalization-group.tex:689 |