proposition 100.8 The photon propagator

open in the book · parts/11-qft-standard-model/02-qed-renormalization.tex:409 · p. 1903

Rests on

depends_on equation 100.2 eq:qed-action ¶
depends_on equation 100.16 eq:qed-gauge-fixing-term ¶
depends_on equation 100.15 eq:qed-photon-kernel ¶
proves proof ch:02-qed-renormalization@proof-4 ¶

Supports

depends_on proposition 100.14 The Feynman rules of QED in SI form ¶
- depends_on lemma 100.22 Spin sums ¶
  - depends_on proposition 100.24 Cross-section master formula ¶
    - depends_on lemma 101.47 The two-neutrino phase space ¶
      - depends_on proposition 101.75 Ratios of $Z$ partial widths ¶
- depends_on proposition 102.29 Feynman rules for QCD in SI form ¶
- depends_on proposition 100.24 Cross-section master formula ¶ ↺
- depends_on proposition 101.45 Decay-rate master formula ¶
- depends_on proposition 101.68 The low-energy limit reproduces Fermi ¶
  - depends_on proposition 101.70 The effective neutral-current interaction ¶
    - depends_on phenomenon 101.72 Neutrinos scatter without becoming charged leptons ¶
- depends_on theorem 100.25 One-photon exchange is the Coulomb potential ¶
  - depends_on proposition 100.33 Uehling's modification of the Coulomb potential ¶
    - depends_on phenomenon 100.62 The fine-structure constant runs ¶
    - depends_on theorem 108.64 Appelquist–Carazzone ¶
  - depends_on theorem 102.60 Confinement at strong coupling, and what it proves ¶
- depends_on theorem 100.41 Schwinger ¶
  - depends_on phenomenon 112.2 The electron magnetic moment is not the Dirac value ¶
  - depends_on phenomenon 100.67 The electron is not a pure Dirac particle ¶
    - depends_on proposition 100.71 Several roads to $\alpha$, and why that matters ¶
- depends_on theorem 100.35 One-loop electron self-energy ¶
  - depends_on phenomenon 100.66 The Lamb shift ¶
- depends_on theorem 100.31 One-loop vacuum polarization ¶
  - depends_on phenomenon 100.69 Light scatters off light ¶

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:qed-action	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:421
`depends_on`	→	eq:qed-gauge-fixing-term	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:421
`depends_on`	→	eq:qed-photon-kernel	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:421
`depends_on`	←	The Feynman rules of QED in SI form	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:714
`proves`	←	ch:02-qed-renormalization@proof-4	declared	parts/11-qft-standard-model/02-qed-renormalization.tex:424