proposition 103.56 The matter potential
open in the book ·
parts/11-qft-standard-model/05-flavour-neutrinos.tex:2579
· p. 2058
Rests on
- depends_on definition 100.2 Fields and their dimensions ¶
- depends_on equation 101.8 eq:weak-fermi-constant ¶
- depends_on equation 101.6 eq:weak-fermi-lagrangian ¶
- proves proof ch:05-flavour-neutrinos@proof-29 ¶
Supports
-
depends_on
theorem 103.57
Mixing in matter and the MSW resonance
¶
-
assumes
experiment
Neutrino Oscillations
¶
- cites (evidence) derived bib 6161 Evidence for High-Energy Extraterrestrial Neutrinos at the IceCube Detector ¶
- cites (evidence) derived bib 6161 Evidence for High-Energy Extraterrestrial Neutrinos at the IceCube Detector ¶ ↺
- cites (evidence) derived bib 6398 Neutrino emission from the direction of the blazar TXS 0506+056 prior to the IceCube-170922A alert ¶
- cites (evidence) derived bib 6398 Neutrino emission from the direction of the blazar TXS 0506+056 prior to the IceCube-170922A alert ¶ ↺
- cites (evidence) derived bib 7 Measurement of Atmospheric Neutrino Oscillations at 6--56 GeV with IceCube DeepCore ¶
- cites (evidence) derived bib 1 Measurement of the solar neutrino capture rate with gallium metal. III. Results for the 2002--2007 data-taking period ¶
- cites (method) derived bib 1 Measurement of the solar neutrino capture rate with gallium metal. III. Results for the 2002--2007 data-taking period ¶ ↺
- cites (evidence) derived bib 1 Measurement of the solar neutrino capture rate with gallium metal. III. Results for the 2002--2007 data-taking period ¶ ↺
- cites (data) derived bib 1 Measurement of the solar neutrino capture rate with gallium metal. III. Results for the 2002--2007 data-taking period ¶ ↺
- cites (evidence) derived bib 1 Measurement of the solar neutrino capture rate with gallium metal. III. Results for the 2002--2007 data-taking period ¶ ↺
- cites (method) derived bib 4 Indication of Electron Neutrino Appearance from an Accelerator-Produced Off-Axis Muon Neutrino Beam ¶
- cites (data) derived bib 4 Indication of Electron Neutrino Appearance from an Accelerator-Produced Off-Axis Muon Neutrino Beam ¶ ↺
- … 128 more
- depends_on proposition 103.59 Adiabaticity ¶
-
assumes
experiment
Neutrino Oscillations
¶
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 |
→ | Fields and their dimensions | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2594 |
depends_on |
→ | eq:weak-fermi-constant | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2594 |
depends_on |
→ | eq:weak-fermi-lagrangian | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2594 |
depends_on |
← | Mixing in matter and the MSW resonance | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2659 |
proves |
← | ch:05-flavour-neutrinos@proof-29 | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2598 |