Overview
Gauge theory introduces a redundancy in description that keeps physical observables unchanged while strongly constraining interactions. In electromagnetism, quantizing the field and isolating physical polarizations leads to the photon picture used in QED.
This page covers search intent around gauge symmetry, gauge redundancy, and photon quantization without requiring readers to know the formal language beforehand.