phenomenon 113.6 The weak bosons are massive and the photon is not

open in the book · parts/11-qft-standard-model/15-exp-higgs-discovery.tex:342 · p. 2421

phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt

Rests on

depends_on equation 104.36 eq:ewh-masses ¶
depends_on proposition 104.43 The top contribution to $\rho$ ¶
- depends_on equation 104.32 eq:ewh-vev-value ¶
- depends_on proposition 104.42 The sources of custodial violation ¶
  - depends_on equation 104.46 eq:ewh-yukawa-lagrangian ¶
  - depends_on theorem 104.40 Custodial symmetry ¶
    - 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 ¶
  - proves proof ch:06-electroweak-higgs@proof-23 ¶
- proves proof ch:06-electroweak-higgs@proof-24 ¶
depends_on theorem 104.41 Ross–Veltman: $\rho$ counts the representation ¶
- depends_on equation 104.45 eq:ewh-rho ¶ ↺
- depends_on theorem 104.28 The gauge boson masses ¶
  - depends_on equation 104.29 eq:ewh-vacuum ¶
  - depends_on notation 104.1 Dimensionless couplings and the electroweak scale ¶
  - depends_on theorem 104.22 Kibble: the gauge-boson mass matrix ¶
    - depends_on theorem 104.19 The abelian Higgs mechanism ¶
      - depends_on equation 104.16 eq:ewh-goldstone-expansion ¶
      - depends_on equation 104.6 eq:ewh-longitudinal ¶
      - depends_on equation 100.8 eq:qed-gauge-transformation ¶
      - proves proof ch:06-electroweak-higgs@proof-8 ¶
    - depends_on theorem 104.17 Goldstone's theorem, tree level ¶
      - depends_on definition 104.14 Spontaneous breaking ¶
      - proves proof ch:06-electroweak-higgs@proof-7 ¶
    - proves proof ch:06-electroweak-higgs@proof-10 ¶
  - proves proof ch:06-electroweak-higgs@proof-13 ¶
- proves proof ch:06-electroweak-higgs@proof-22 ¶
proves proof ch:15-exp-higgs-discovery@proof-3 ¶

Supports

depends_on phenomenon 113.17 A new boson near 125 GeV ¶

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` (data)	→	Review of Particle Physics	derived	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:350
`cites` (data)	→	Review of Particle Physics	derived	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:353
`depends_on`	→	eq:ewh-masses	declared	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:360
`depends_on`	→	The top contribution to $\rho$	declared	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:360
`depends_on`	→	Ross–Veltman: $\rho$ counts the representation	declared	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:360
`depends_on`	←	A new boson near 125 GeV	declared	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:1642
`proves`	←	ch:15-exp-higgs-discovery@proof-3	declared	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:363