phenomenon 114.8 The third mixing angle is small but not zero
open in the book ·
parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1981
· p. 2476
- phenomenon-tested: no experiment declares a \tests edge to it and it is not listed in untested.txt
Rests on
- depends_on equation 114.25 eq:expnuosc-ratio ¶
-
depends_on
proposition 114.2
What a near-to-far ratio cancels
¶
- depends_on equation 101.5 eq:weak-ibd-cross-section ¶
- proves proof ch:16-exp-neutrino-oscillations@proof-2 ¶
-
depends_on
theorem 103.54
Three-flavour oscillation probability
¶
- 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 ¶
- proves proof ch:16-exp-neutrino-oscillations@proof-7 ¶
Supports
Nothing declares a dependency on this node yet.
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 |
→ | Observation of Reactor Electron Antineutrinos Disappearance in the RENO Experiment | derived | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1986 |
cites |
→ | Observation of Electron-Antineutrino Disappearance at Daya Bay | derived | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1986 |
depends_on |
→ | eq:expnuosc-ratio | declared | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1989 |
depends_on |
→ | What a near-to-far ratio cancels | declared | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1989 |
depends_on |
→ | Three-flavour oscillation probability | declared | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1989 |
proves |
← | ch:16-exp-neutrino-oscillations@proof-7 | declared | parts/11-qft-standard-model/16-exp-neutrino-oscillations.tex:1993 |