theorem 105.34 $CPT$
open in the book ·
parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2692
· p. 2141
Rests on
-
depends_on
definition 39.5
Orthochronous Lorentz group
¶
-
depends_on
definition 39.1
Lorentz group
¶
-
depends_on
definition 38.6
Minkowski metric and interval
¶
-
depends_on
proposition 38.5
The invariant interval
¶
- depends_on equation 38.1 eq:lor-beta-gamma ¶
- depends_on theorem 38.4 Lorentz boost ¶
- proves proof ch:02-lorentz-transformations@proof-2 ¶
-
depends_on
proposition 38.5
The invariant interval
¶
-
depends_on
definition 38.6
Minkowski metric and interval
¶
-
depends_on
equation 39.3
eq:mink-noncompact
¶
- step_from equation 39.2 eq:mink-lorentz-condition ¶
-
depends_on
definition 39.1
Lorentz group
¶
- depends_on equation 100.2 eq:qed-action ¶
-
depends_on
lemma 105.35
Every Lorentz index costs a sign
¶
- depends_on equation 105.17 eq:cpt-C-photon ¶
- depends_on equation 105.6 eq:cpt-P-photon ¶
- depends_on equation 105.30 eq:cpt-T-photon ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-26 ¶
- proves proof ch:07-discrete-symmetries-cpt@proof-27 ¶
Supports
-
assumes
experiment
CP Violation
¶
- cites (data) derived bib 22 First Observation ofCPViolation in the Decays ofBs0Mesons ¶
- cites (data) derived bib 22 First Observation ofCPViolation in the Decays ofBs0Mesons ¶ ↺
- cites (evidence) derived bib 22 First Observation ofCPViolation in the Decays ofBs0Mesons ¶ ↺
- cites (evidence) derived bib 22 First Observation ofCPViolation in the Decays ofBs0Mesons ¶ ↺
- cites (evidence) derived bib 21 Observation of CP Violation in Charm Decays ¶
- cites (data) derived bib 21 Observation of CP Violation in Charm Decays ¶ ↺
- cites (evidence) derived bib 21 Observation of CP Violation in Charm Decays ¶ ↺
- cites (evidence) derived bib 9 Observation of LargeCPViolation in the NeutralBMeson System ¶
- cites (data) derived bib 9 Observation of LargeCPViolation in the NeutralBMeson System ¶ ↺
- cites (data) derived bib 9 Observation of LargeCPViolation in the NeutralBMeson System ¶ ↺
- cites (evidence) derived bib 9 Observation of LargeCPViolation in the NeutralBMeson System ¶ ↺
- cites (data) derived bib 8 Measurement of the Permanent Electric Dipole Moment of the Neutron ¶
- … 109 more
- depends_on phenomenon 111.9 Charge asymmetry in semileptonic kaon decay ¶
- depends_on proposition 105.40 Greenberg ¶
-
depends_on
theorem 105.38
Equal total lifetimes
¶
- assumes experiment CP Violation ¶ ↺
-
depends_on
proposition 105.39
A direct $CP$ asymmetry needs two amplitudes and
two kinds of phase
¶
- depends_on phenomenon 111.15 CP violation in charm decay ¶
- depends_on phenomenon 111.11 Direct CP violation in kaon decay ¶
-
depends_on
theorem 105.36
Equal masses
¶
- assumes experiment CP Violation ¶ ↺
- depends_on phenomenon 111.17 The universe is made of matter ¶
-
depends_on
theorem 105.41
Sakharov's conditions
¶
- depends_on phenomenon 111.17 The universe is made of matter ¶ ↺
- depends_on phenomenon 103.44 The universe contains matter and almost no antimatter ¶
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 |
→ | Time reversal in field theory | derived | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2709 |
cites |
→ | Eine Bemerkung zum CTP-Theorem | derived | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2709 |
cites |
→ | Proof of the TCP theorem | derived | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2709 |
cites |
→ | On the equivalence of invariance under time reversal and under particle-antiparticle conjugation for relativistic field theories | derived | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2709 |
cites |
→ | Exclusion principle, Lorentz group and reflection of space-time and charge | derived | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2709 |
depends_on |
→ | Orthochronous Lorentz group | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2710 |
depends_on |
→ | eq:qed-action | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2710 |
depends_on |
→ | Every Lorentz index costs a sign | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2710 |
assumes |
← | CP Violation | declared | parts/11-qft-standard-model/13-exp-cp-violation.tex:4 |
depends_on |
← | Charge asymmetry in semileptonic kaon decay | declared | parts/11-qft-standard-model/13-exp-cp-violation.tex:958 |
depends_on |
← | Greenberg | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:3120 |
depends_on |
← | Equal total lifetimes | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2948 |
depends_on |
← | Equal masses | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2870 |
depends_on |
← | Sakharov's conditions | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:3263 |
proves |
← | ch:07-discrete-symmetries-cpt@proof-27 | declared | parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2760 |