theorem 105.38 Equal total lifetimes

open in the book · parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2944 · p. 2144

Rests on

depends_on equation 105.26 eq:cpt-antiunitary-sandwich ¶
depends_on theorem 105.34 $CPT$ ¶
- 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 39.3 eq:mink-noncompact ¶
    - step_from equation 39.2 eq:mink-lorentz-condition ¶
- 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 ¶
proves proof ch:07-discrete-symmetries-cpt@proof-30 ¶

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 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 ¶

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:cpt-antiunitary-sandwich	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2948
`depends_on`	→	$CPT$	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2948
`assumes`	←	CP Violation	declared	parts/11-qft-standard-model/13-exp-cp-violation.tex:4
`depends_on`	←	A direct $CP$ asymmetry needs two amplitudes and two kinds of phase	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:3001
`proves`	←	ch:07-discrete-symmetries-cpt@proof-30	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2951