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