the quantum theory of the electromagnetic field.

Quantum electrodynamics: relativistically, gauge-invariant form ← elementary particle physics

light quanta in materials

Light is a quantum object.→ quantum observables, Hamitian operators, states vector or density matrix.

Light is a field. → the observables extends over space and time, they are functions of space and time coordinates.

Light is an electromagnetic wave. → the central physical quantities of light are connected to the electromagnetic field stengths.

SUPPOSE we regard the classical fields as the expectation values of the corresponding quantum observables. $\mathbf B\to \hat {\mathbf {B}},\mathbf B=\lang\psi|\hat{\mathbf B}|\psi\rang=\lang \mathbf B\rang$. In other words, the classical fields are the ensemble averages of quantum fields.

$$ \begin{aligned} \nabla\times\langle\psi|\hat{\mathbf{E}}|\psi\rangle & = -\partial\langle\psi|\hat{\mathbf{B}}|\psi\rangle/\partial t, \\ \langle\psi|\nabla\times{\hat{\mathbf{E}}}+\partial{\hat{\mathbf{B}}}/\partial t|\psi\rangle&=0. \\ \nabla\times\hat{\mathbf{E}}+\partial\hat{\mathbf{B}}/\partial t&=0. \end{aligned} $$

Optical instruments (mirrors, lenses, beam splitters) are often made of dielectric media.[$\rho_f=0$]→ a quantum field theory of light in media.

The fields are often expressed in terms of potentials. For quantum electromagnetism, we use the operator of the vector potential $\hat {\mathrm A}$ but $\phi\equiv0$.(dielectric media and $\rho_f\equiv0$):

$$ \hat{\mathbf{E}}=-\frac{\partial\hat{\mathbf{A}}}{\partial t},\quad\hat{\mathbf{B}}=\nabla\times\hat{\mathbf{A}}. $$

Coulomb gauge condition:

$$ \nabla\cdot\varepsilon\hat{\mathbf A}=0, $$

the electromagnetic wave equation:

$$ \frac{1}{\varepsilon}\nabla\times\frac{1}{\mu}\nabla\times\hat{\mathbf{A}}+\frac{1}{c^{2}}\frac{\partial^{2}\hat{\mathbf{A}}}{\partial t^{2}}=0. $$