proposition 105.27 When $CP$ violation is possible
open in the book ·
parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2142
· p. 2135
Rests on
- depends_on definition 105.26 The Jarlskog invariant ¶
-
depends_on
theorem 105.25
Number of physical phases
¶
- depends_on equation 104.46 eq:ewh-yukawa-lagrangian ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-20 ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-21 ¶
Supports
- depends_on proposition 103.30 Area and the Jarlskog invariant ¶
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 |
→ | The Jarlskog invariant | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2154 |
depends_on |
→ | Number of physical phases | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2154 |
depends_on |
← | Area and the Jarlskog invariant | declared | parts/11-qft-standard-model/05-flavour-neutrinos.tex:1409 |
proves |
← | ch:07-discrete-symmetries-cpt@proof-21 | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2157 |