lemma 105.35 Every Lorentz index costs a sign

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

Rests on

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 ¶

Supports

depends_on proposition 105.40 Greenberg ¶
depends_on theorem 105.37 Opposite charges and opposite magnetic moments ¶
- depends_on phenomenon 112.13 Electron and positron moments agree ¶
depends_on theorem 105.34 $CPT$ ¶
- 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
`depends_on`	→	eq:cpt-C-photon	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2729
`depends_on`	→	eq:cpt-P-photon	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2729
`depends_on`	→	eq:cpt-T-photon	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2729
`depends_on`	←	Greenberg	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:3120
`depends_on`	←	Opposite charges and opposite magnetic moments	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2896
`depends_on`	←	$CPT$	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2710
`proves`	←	ch:07-discrete-symmetries-cpt@proof-26	declared	parts/11-qft-standard-model/07-discrete-symmetries-cpt.tex:2732