proposition 104.66 The quartic coupling runs down
open in the book ·
parts/11-qft-standard-model/06-electroweak-higgs.tex:3365
· p. 2108
Rests on
-
depends_on
corollary 106.39
The minus sign of a closed fermion loop
¶
- depends_on equation 106.37 eq:pathint-W ¶
- depends_on equation 106.7 eq:pathint-gaussian-n ¶
-
depends_on
proposition 106.38
Integrating out the fermions
¶
- depends_on equation 106.51 eq:pathint-grassmann-gaussian ¶
- depends_on equation 100.5 eq:qed-free-dirac ¶
- proves proof ch:08-path-integral-quantization@proof-27 ¶
- proves proof ch:08-path-integral-quantization@proof-28 ¶
- depends_on definition 104.24 The scalar sector ¶
- depends_on equation 104.38 eq:ewh-lambda-value ¶
- proves proof ch:06-electroweak-higgs@proof-37 ¶
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 |
→ | Higgs mass and vacuum stability in the Standard Model at NNLO | derived | parts/11-qft-standard-model/06-electroweak-higgs.tex:3378 |
depends_on |
→ | The minus sign of a closed fermion loop | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:3392 |
depends_on |
→ | The scalar sector | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:3392 |
depends_on |
→ | eq:ewh-lambda-value | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:3392 |
proves |
← | ch:06-electroweak-higgs@proof-37 | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:3396 |