theorem 104.40 Custodial symmetry
open in the book ·
parts/11-qft-standard-model/06-electroweak-higgs.tex:1796
· p. 2090
Rests on
- depends_on equation 104.35 eq:ewh-neutral-rotation ¶
- depends_on equation 104.45 eq:ewh-rho ¶
- depends_on equation 104.27 eq:ewh-scalar-lagrangian ¶
- proves proof ch:06-electroweak-higgs@proof-21 ¶
Supports
- depends_on phenomenon 103.19 The top mass was known before the top was seen ¶
-
depends_on
proposition 104.42
The sources of custodial violation
¶
-
depends_on
proposition 104.43
The top contribution to $\rho$
¶
-
depends_on
phenomenon 113.6
The weak bosons are massive and the photon is not
¶
- depends_on phenomenon 113.17 A new boson near 125 GeV ¶
- depends_on phenomenon 103.19 The top mass was known before the top was seen ¶ ↺
-
depends_on
phenomenon 113.6
The weak bosons are massive and the photon is not
¶
-
depends_on
proposition 104.43
The top contribution to $\rho$
¶
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 |
→ | eq:ewh-neutral-rotation | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1817 |
depends_on |
→ | eq:ewh-rho | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1817 |
depends_on |
→ | eq:ewh-scalar-lagrangian | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1817 |
depends_on |
← | The top mass was known before the top was seen | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:842 |
depends_on |
← | The sources of custodial violation | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1940 |
proves |
← | ch:06-electroweak-higgs@proof-21 | declared | parts/11-qft-standard-model/06-electroweak-higgs.tex:1821 |