theorem 103.54 Three-flavour oscillation probability
open in the book ·
parts/11-qft-standard-model/05-flavour-neutrinos.tex:2482
· p. 2057
Rests on
- depends_on equation 103.51 eq:flavour-phase ¶
- depends_on equation 103.47 eq:flavour-pmns-def ¶
- proves proof ch:05-flavour-neutrinos@proof-28 ¶
Supports
-
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 phenomenon 114.8 The third mixing angle is small but not zero ¶
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:flavour-phase | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2501 |
depends_on |
→ | eq:flavour-pmns-def | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2501 |
assumes |
← | Neutrino Oscillations | declared | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:4 |
depends_on |
← | The third mixing angle is small but not zero | declared | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1989 |
proves |
← | ch:05-flavour-neutrinos@proof-28 | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:2504 |