theorem 104.38 Masses, mixing, and where the CKM matrix comes from

open in the book · parts/11-qft-standard-model/06-electroweak-higgs.tex:1653 · p. 2089

Rests on

depends_on equation 104.29 eq:ewh-vacuum ¶
depends_on equation 104.46 eq:ewh-yukawa-lagrangian ¶
depends_on theorem 101.59 Glashow–Iliopoulos–Maiani ¶
- depends_on equation 101.62 eq:weak-cabibbo-rotation ¶
- depends_on proposition 101.58 A single rotated doublet produces a flavour-changing neutral current ¶
  - depends_on equation 101.62 eq:weak-cabibbo-rotation ¶ ↺
  - proves proof ch:03-weak-interactions@proof-41 ¶
- proves proof ch:03-weak-interactions@proof-42 ¶
proves proof ch:06-electroweak-higgs@proof-20 ¶

Supports

depends_on phenomenon 104.59 A neutral scalar boson exists ¶
- tests experiment The Higgs Boson Discovery ¶
  - cites (method) derived bib 08 The ATLAS Experiment at the CERN Large Hadron Collider ¶
  - cites (method) derived bib 08 The ATLAS Experiment at the CERN Large Hadron Collider ¶ ↺
  - cites (method) derived bib 08 The ATLAS Experiment at the CERN Large Hadron Collider ¶ ↺
  - cites (evidence) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (evidence) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - cites (data) derived bib 1 Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC ¶ ↺
  - … 128 more
depends_on phenomenon 103.10 There are no flavour-changing neutral currents ¶
depends_on proposition 104.61 The couplings are the masses divided by $v$ ¶
- assumes experiment The Higgs Boson Discovery ¶ ↺
- depends_on phenomenon 104.62 The scalar couples in proportion to mass ¶
  - tests experiment The Higgs Boson Discovery ¶ ↺
- depends_on phenomenon 113.24 Couplings proportional to mass ¶
- depends_on proposition 113.5 One number is unknown, and it is the mass ¶
  - depends_on phenomenon 113.17 A new boson near 125 GeV ¶
  - depends_on proposition 113.12 Sensitivity is set by ratio, not by rate ¶

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-vacuum	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1674
`depends_on`	→	eq:ewh-yukawa-lagrangian	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1674
`depends_on`	→	Glashow–Iliopoulos–Maiani	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1674
`depends_on`	←	A neutral scalar boson exists	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:3001
`depends_on`	←	There are no flavour-changing neutral currents	declared	parts/11-qft-standard-model/05-flavour-neutrinos.tex:394
`depends_on`	←	The couplings are the masses divided by $v$	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:3188
`proves`	←	ch:06-electroweak-higgs@proof-20	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1677