Registry · Proposition IV.P33 tau-effective formalized

IV.P33 — Photon Spin and Polarization

The photon has spin s=1 and two polarization states (helicity h=+/-1); longitudinal polarization is absent because there is no rest frame.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (2)

IV.D82 IV.P32

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.PhotonSpinAndPolarization