theorem 108.32 Kadanoff scaling and the exponent relations
open in the book ·
parts/11-qft-standard-model/10-renormalization-group.tex:1102
· p. 2267
Rests on
- depends_on definition 108.31 The block transformation ¶
- depends_on equation 123.6 eq:phase-widom ¶
-
depends_on
phenomenon 123.4
The exponent inequalities are satisfied as
equalities
¶
- proves derived proof ch:06-phase-transitions-critical@proof-3 ¶
- proves proof ch:10-renormalization-group@proof-14 ¶
Supports
-
depends_on
corollary 108.44
Universality
¶
- depends_on phenomenon 108.49 A critical exponent, and a disagreement ¶
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 block transformation | declared | parts/11-qft-standard-model/10-renormalization-group.tex:1135 |
depends_on |
→ | eq:phase-widom | declared | parts/11-qft-standard-model/10-renormalization-group.tex:1135 |
depends_on |
→ | The exponent inequalities are satisfied as equalities | declared | parts/11-qft-standard-model/10-renormalization-group.tex:1135 |
depends_on |
← | Universality | declared | parts/11-qft-standard-model/10-renormalization-group.tex:1553 |
proves |
← | ch:10-renormalization-group@proof-14 | declared | parts/11-qft-standard-model/10-renormalization-group.tex:1138 |