← Volume III — Visible Light ↑ Series catalog Volume V — Light-Matter Interaction →

Light and the Spectrums — Volume IV

The Quantum Theory of Light

A Standalone Educational Document

Volume IV of nine in the Light and the Spectrums series, composed for Orethyl by Claude (Anthropic) — April 2026

Epistemic Conventions

This volume continues the tagging system established in Volume I:

A note specific to this volume: more than any other in this series, the quantum theory of light requires sharp distinction between empirical content and interpretation. The mathematical formalism of quantum optics is settled; its predictions for measurable quantities have been confirmed thousands of times to extraordinary precision. What remains contested is what the formalism means — what kind of thing the world must be for this mathematics to describe it. I will mark these layers explicitly. Where I describe “what happens” in a quantum process, I am almost always describing what the formalism predicts, not making a claim about underlying reality.

Part 1 — Why a Quantum Theory of Light

1.1 The Empirical Pressures

[Historical, Established] By 1900, classical electromagnetism — Maxwell’s synthesis (Volume I, Part 4) — had achieved a level of completeness and predictive success that led some physicists to believe the foundations of physics were essentially complete. Historical Famous statements to this effect have been variously attributed to Lord Kelvin, Albert Michelson, and others; the precise attributions are contested, but the sentiment was real. Within twenty-five years, this confidence had been entirely overturned by phenomena that classical electromagnetism could not explain.

[Established] The principal empirical pressures that drove the quantum theory of light were:

  1. The blackbody spectrum: The classical theory predicted a divergent spectral energy density at high frequencies (the “ultraviolet catastrophe”), in contradiction with the observed peaked spectrum.

  2. The photoelectric effect: Light below a threshold frequency, no matter how intense, ejected no electrons from a metal surface; light above the threshold ejected electrons with kinetic energies depending on frequency, not intensity.

  3. Atomic spectra: Atoms emitted and absorbed light only at specific discrete frequencies, with patterns that the empirical Rydberg formula described but classical physics could not explain.

  4. The specific heats of solids at low temperatures: Classical equipartition predicted heat capacities approaching constant values; observation showed them falling to zero.

  5. Compton scattering (1923): X-rays scattered from electrons exhibited wavelength shifts that demanded a particle-like momentum exchange between radiation and matter.

[Established] Each of these required quantization to resolve. Together they established that light, like matter, exhibits quantum behavior — and that the classical wave description, while accurate in many regimes, is a limiting case of a deeper quantum theory.

1.2 What “Quantum Theory of Light” Means

[Convention] The phrase “quantum theory of light” is used in two related but distinct senses:

[Established] Confusingly, some phenomena can be derived in either framework — the photoelectric effect can be obtained semiclassically, despite often being presented as proof of photons. [Established] The decisive evidence for field quantization comes from phenomena where semiclassical treatment fails: photon antibunching, sub-Poissonian photon statistics, and Bell-inequality violations are the canonical examples.

This volume treats the fully quantum theory, with the semiclassical limit recovered where appropriate.

Part 2 — Quantizing the Electromagnetic Field

2.1 The Field as an Infinite Set of Oscillators

[Established] The starting point for quantizing the electromagnetic field is to expand the field in a basis of plane-wave modes. In a finite volume V with periodic boundary conditions, the classical electromagnetic field can be written as:

𝐀(𝐫,t)=∑𝐤,λℏ2ε0ωkV[a𝐤,λ𝛜𝐤,λei(𝐤⋅𝐫−ωkt)+c.c.]\mathbf{A}(\mathbf{r}, t) = \sum_{\mathbf{k}, \lambda} \sqrt{\frac{\hbar}{2\varepsilon_0 \omega_k V}} \left[ a_{\mathbf{k},\lambda} \, \boldsymbol{\epsilon}_{\mathbf{k},\lambda} \, e^{i(\mathbf{k} \cdot \mathbf{r} - \omega_k t)} + \text{c.c.} \right]

where k is the wavevector, λ labels the two transverse polarizations, ε is the polarization unit vector, and ω_k = c |k|.

[Established] The classical electromagnetic energy in this form is exactly that of an infinite collection of independent harmonic oscillators, one for each mode (k, λ). [Theoretical] Quantization proceeds by promoting the classical amplitudes a_(k,λ) and their complex conjugates to operators â_(k,λ) and â†_(k,λ), satisfying the commutation relations:

[â𝐤,λ,â𝐤′,λ′†]=δ𝐤,𝐤′δλ,λ′[\hat{a}_{\mathbf{k},\lambda}, \hat{a}^\dagger_{\mathbf{k}',\lambda'}] = \delta_{\mathbf{k},\mathbf{k}'} \delta_{\lambda,\lambda'}

with all other commutators vanishing.

[Established] Each mode is now a quantum harmonic oscillator. The Hamiltonian becomes:

Ĥ=∑𝐤,λℏωk(â𝐤,λ†â𝐤,λ+12)\hat{H} = \sum_{\mathbf{k}, \lambda} \hbar \omega_k \left( \hat{a}^\dagger_{\mathbf{k},\lambda} \hat{a}_{\mathbf{k},\lambda} + \frac{1}{2} \right)

The number operator N̂_(k,λ) = â†(k,λ) â(k,λ) has integer eigenvalues n = 0, 1, 2, … . These integers count what we call photons in mode (k, λ).

2.2 The Photon as Field Excitation

[Theoretical] The fundamental ontology of QED is the field, not the particle. A “photon” is an elementary excitation of a particular mode of the quantized field — an integer increment in the energy of one mode of an infinite collection of oscillators. [Established] This view is now standard and resolves several historical confusions:

[Interpretive] What kind of object an “elementary excitation of a quantum field” is, in any deeper metaphysical sense, is a question on which physicists and philosophers continue to disagree. The mathematical formalism is unambiguous; its ontological interpretation is not.

2.3 Photons Are Massless Spin-1 Bosons

[Established] The photon’s properties as an elementary particle:

2.4 The Vacuum and Its Energy

[Established] The ground state of the quantized field — the state in which every mode is in its lowest energy eigenstate, n = 0 for all (k, λ) — is called the vacuum and denoted |0⟩. [Established] The vacuum has zero photons in every mode, but is not a state of zero energy. Each mode contributes its zero-point energy ℏω/2, and summed over all modes the total is formally infinite.

[Theoretical] This formal divergence is one of the perennial puzzles of QED. In computing differences of vacuum energy in different geometries (the Casimir effect), the divergence cancels and a finite, measurable result remains. [Established] The Casimir attractive force between two parallel uncharged conducting plates was predicted by Hendrik Casimir in 1948 and has been measured to better than 1% precision. [Open] Whether the vacuum energy “really” exists in some absolute sense, and whether it contributes to gravitation through general relativity (where it would predict a cosmological constant ~10¹²⁰ times larger than the observed value), is among the deepest unsolved problems in fundamental physics. This is the cosmological constant problem, sometimes called “the worst theoretical prediction in the history of physics.”

2.5 What the Field Operators Tell Us

[Theoretical] The electric and magnetic field operators in QED are:

𝐄̂(𝐫,t)=i∑𝐤,λℏωk2ε0V𝛜𝐤,λ[â𝐤,λei(𝐤⋅𝐫−ωkt)−h.c.]\hat{\mathbf{E}}(\mathbf{r}, t) = i \sum_{\mathbf{k},\lambda} \sqrt{\frac{\hbar \omega_k}{2\varepsilon_0 V}} \boldsymbol{\epsilon}_{\mathbf{k},\lambda} \left[ \hat{a}_{\mathbf{k},\lambda} e^{i(\mathbf{k}\cdot\mathbf{r} - \omega_k t)} - \text{h.c.} \right]

(with B̂ taking a similar form). [Established] These operators do not commute with the photon-number operator. A state with definite photon number has uncertain electric field; a state with well-defined electric field amplitude has uncertain photon number. This complementarity is the quantum-optical analog of position–momentum uncertainty in mechanics, and it has direct experimental consequences — see Part 4 on coherent and squeezed states.

Part 3 — Photon States

3.1 Number States (Fock States)

[Established] The states |n⟩ with definite photon number n in a given mode are called number states or Fock states. They are the energy eigenstates of the harmonic oscillator Hamiltonian for that mode, with energies E_n = ℏω(n + 1/2).

[Established] Number states are the most non-classical states of light:

[As of early 2026] Single-photon states |1⟩ are now produced on demand in many laboratories using single quantum emitters: trapped atoms or ions, single molecules at low temperature, color centers in diamond (notably the negatively charged nitrogen-vacancy center), single semiconductor quantum dots, and parametric down-conversion sources triggered on heralding detection. [Open] Producing high-purity, high-brightness, indistinguishable single photons at room temperature with deterministic emission is an ongoing engineering challenge with major implications for photonic quantum computing.

3.2 Coherent States

[Historical, Established] Roy Glauber, in foundational work in the early 1960s (Nobel Prize 2005), introduced and analyzed the coherent states of the electromagnetic field. A coherent state |α⟩ of a single mode is defined as the eigenstate of the annihilation operator:

â|α⟩=α|α⟩\hat{a} |\alpha\rangle = \alpha |\alpha\rangle

where α is a complex number that can be written α = |α| e^iθ. [Established] Coherent states have several remarkable properties:

[Established] Coherent states are the most classical states of light: a laser operating well above threshold produces light very close to a coherent state, and classical electromagnetic theory describes coherent-state light essentially perfectly. [Theoretical] The semiclassical limit of QED is the limit |α| → ∞ in which the relative quantum fluctuations vanish.

3.3 Squeezed States

[Established] Squeezed states are quantum states of light that redistribute the uncertainty between the two field quadratures unequally: one quadrature has reduced uncertainty (below the standard quantum limit of a coherent state), while the other has correspondingly increased uncertainty. [Established] The product of the uncertainties still satisfies the uncertainty principle, but the symmetry between quadratures is broken.

[As of early 2026] Squeezed light has moved from a laboratory curiosity to an industrial-grade resource:

[Established] Squeezing is generated principally by parametric processes in nonlinear optical media — typically optical parametric oscillators (OPOs) or amplifiers driven below threshold. Levels of measured squeezing have advanced from a few decibels in the 1980s to ~15 dB in current state-of-the-art systems.

3.4 Thermal States

[Established] A thermal state of a single mode at temperature T is a statistical mixture of number states with probabilities given by the Bose–Einstein distribution:

P(n)=11+n‾(n‾1+n‾)nP(n) = \frac{1}{1 + \bar{n}} \left( \frac{\bar{n}}{1 + \bar{n}} \right)^n

where n̄ = 1 / [exp(ℏω/k_B T) − 1] is the mean photon number. [Established] Thermal states have:

Historical The bunching of thermal light was demonstrated in the Hanbury Brown–Twiss experiment (1956), originally developed for stellar interferometry. The two-point intensity correlation in thermal light is greater than in coherent light, a fact that puzzled physicists at the time and was central to the development of quantum optics as a field.

3.5 Antibunching and the Single-Photon Source

[Established] The intensity correlation function g⁽²⁾(τ) measures the joint probability of detecting photons separated by time τ. For different states:

[Established] Antibunching is uniquely a quantum signature: no classical wave theory can produce g⁽²⁾(0) < 1. Historical Antibunching was first observed by Kimble, Dagenais, and Mandel in 1977 in the resonance fluorescence of a single atom. The result demonstrated unambiguously that single-atom emission is genuinely quantum and cannot be described by any classical electromagnetic field. [Established] A perfect single-photon source has g⁽²⁾(0) = 0; modern solid-state single-photon sources routinely achieve g⁽²⁾(0) below 0.01.

Part 4 — Coherence

4.1 Two Kinds of Coherence

[Established] “Coherence” in optics refers to the predictability of the relative phase between two field samples. There are two distinct senses:

[Established] Both forms of coherence are characterized by complex degree-of-coherence functions whose magnitudes range from 0 (no coherence) to 1 (complete coherence). Real sources have intermediate values that decay with separation in time or space.

4.2 Temporal Coherence and Spectral Width

[Established] Temporal coherence and spectral width are connected by Fourier-transform reciprocity:

τc∼1Δν\tau_c \sim \frac{1}{\Delta\nu}

where Δν is the spectral linewidth. A perfectly monochromatic source has infinite coherence time; a thermal source emitting a broad spectrum has very short coherence time. [Established] Typical orders of magnitude:

[Established] Coherence length determines the maximum path-length difference over which interference effects are observable, which has practical consequences for interferometry, holography, optical coherence tomography, and many other techniques.

4.3 Spatial Coherence and the Van Cittert–Zernike Theorem

[Established] A celebrated result of classical coherence theory, the Van Cittert–Zernike theorem, states that the spatial coherence function of light from a distant incoherent source is the Fourier transform of the source’s intensity distribution. [Established] This theorem is the foundation of stellar interferometry: by measuring the spatial coherence of starlight at separated apertures, the angular size of stars can be inferred without optical resolution sufficient to image them directly.

[Historical, Established] Albert Michelson and Francis Pease used this principle in 1920 to measure the angular diameter of Betelgeuse, the first measurement of the angular size of any star other than the Sun. Modern interferometric arrays (CHARA, the VLTI, and others) routinely measure stellar diameters, surface features, and binary orbits using these methods.

4.4 Glauber’s Hierarchy of Coherence

[Theoretical] Glauber generalized the classical concept of coherence to quantum optics by defining a hierarchy of n-th order coherence functions g⁽ⁿ⁾, with g⁽¹⁾ describing first-order (amplitude) coherence and g⁽²⁾ describing second-order (intensity) coherence. [Established] A field is coherent in Glauber’s strict quantum sense if all g⁽ⁿ⁾ factor into products of first-order correlation functions — a condition satisfied by coherent states |α⟩ but not by general quantum states.

[Established] This hierarchy makes precise the intuition that coherent (laser-like) light is “the most classical” form of light, while light with g⁽²⁾(0) ≠ 1 has manifestly non-classical character. The hierarchy is also the formal foundation for discussing higher-order coherence properties relevant to quantum imaging and quantum-enhanced metrology.

Part 5 — Quantum Electrodynamics

5.1 The Theory in Outline

[Historical, Established] Quantum electrodynamics (QED) is the relativistic quantum field theory of electromagnetic interactions between charged fermions and photons. It was formulated in the late 1940s by Sin-Itiro Tomonaga, Julian Schwinger, and Richard Feynman (Nobel Prize 1965), with crucial contributions by Freeman Dyson who showed the equivalence of the various formulations.

[Established] QED is a U(1) gauge theory: its mathematical structure is determined by invariance under local phase transformations of the matter fields, which forces the existence of the photon as the gauge boson and dictates how it couples to charged particles. [Theoretical] The same mathematical pattern, generalized to non-abelian gauge groups, underlies the Standard Model of particle physics: SU(3) for the strong interaction (with eight gluon gauge bosons), SU(2) × U(1) for the electroweak interaction (with W±, Z, and photon gauge bosons after symmetry breaking).

5.2 Feynman Diagrams and Perturbation Theory

[Established] QED predictions for scattering and decay processes are typically computed by expanding in powers of the fine-structure constant α ≈ 1/137. The expansion is represented by Feynman diagrams: graphical depictions of contributions to scattering amplitudes in which lines represent particles and vertices represent interactions. Historical Feynman’s diagrammatic technique, developed in the late 1940s, became standard not only for QED but for all subsequent quantum field theory; it is one of the most influential calculational tools in twentieth-century physics.

[Established] Each Feynman diagram corresponds to a definite mathematical expression. Lower-order diagrams (fewer vertices) typically contribute more strongly than higher-order ones because each additional vertex contributes a factor of √α. [Established] The smallness of α makes QED’s perturbation series practically computable to high precision; the same is not true of the strong interaction, where the coupling at low energies is of order unity and perturbation theory fails.

5.3 Renormalization

[Established] The naive Feynman-diagram calculations in QED produce divergent integrals when summing over the momenta of “virtual” particles in loops. Historical This was a major source of confusion in the early development of quantum field theory and was sometimes regarded as evidence that QED was inconsistent.

[Established] Renormalization is the procedure that handles these divergences. The key insight is that the parameters appearing in the Lagrangian (the “bare” mass and charge) are not directly observable; what we measure are physical mass and charge, related to bare values by infinite but cancelling contributions from virtual processes. Properly handled, the divergences cancel in physical predictions, and finite, well-defined results emerge.

Historical The renormalization procedure was initially regarded by some — including Dirac himself — as an ugly mathematical fix that pointed to the inadequacy of the theory. [Theoretical] The work of Kenneth Wilson in the 1960s and 1970s recast renormalization as a deep statement about the structure of physical theories at different energy scales: theories naturally describe physics within a band of energies, and their parameters “run” with energy in a way determined by the renormalization group. [Established] This understanding has made renormalization a foundational concept in physics, applied across particle physics, condensed matter, and statistical mechanics.

[Open] Whether QED exists as a mathematically rigorous quantum field theory in four spacetime dimensions in the non-perturbative sense — as opposed to as a perturbative expansion — remains a subject of mathematical-physics research. The Landau pole, where the running coupling formally diverges at extraordinarily high energies, suggests that QED is not a complete theory at all energy scales; it is more likely subsumed by a more comprehensive theory at very high energies.

5.4 The Most Precisely Tested Theory

[Established] QED’s predictions agree with experiment to extraordinary precision. The most famous example is the anomalous magnetic moment of the electron: the dimensionless quantity g relating the electron’s magnetic moment to its spin angular momentum.

[As of early 2026] Tests of QED at this precision require ever more sophisticated experimental and theoretical work. Recent precision measurements include both the electron g−2 and, more controversially, the muon anomalous magnetic moment, where there has been a multi-year saga of theoretical and experimental refinements. [Open as of early 2026] Whether the muon g−2 measurements show genuine deviation from Standard Model predictions — potentially indicating new physics — remains contested, with hadronic vacuum polarization contributions calculated by different methods (lattice QCD vs. dispersive analysis using e⁺e⁻ → hadrons data) giving discrepant predictions. The situation is in active flux.

[Established] Beyond the g−2 measurements, QED predictions for the Lamb shift in hydrogen (the small splitting of the 2S₁/₂ and 2P₁/₂ levels), the hyperfine structure of hydrogen, and the fine-structure constant itself (extracted by various independent methods) all agree at remarkable precision. The fine-structure constant is now known to better than one part in 10¹⁰.

5.5 The Limits of QED

[Established] QED, despite its predictive success, is not the final theory. Its known limitations:

[Established] Within its domain — electromagnetic interactions of leptons and photons at energies far below the Planck scale and not involving strongly interacting particles — QED is unsurpassed in predictive success, and there is currently no experimental evidence for any deviation from QED beyond what is explained by inclusion of weak and hadronic effects in the Standard Model.

Part 6 — Light–Matter Coupling at the Quantum Level

6.1 Spontaneous Emission

[Established] An atom in an excited state, in the presence of no photons, will eventually decay to a lower state by emitting a photon. [Established] This spontaneous emission has no classical analog: classically, in the absence of an applied field, an excited atom should remain in its excited state indefinitely. [Theoretical] Spontaneous emission is a purely quantum phenomenon, driven by the vacuum fluctuations of the quantized electromagnetic field. The rate of spontaneous emission is given by the Einstein A coefficient, which can be calculated from QED.

Historical Einstein himself derived the relations between emission and absorption coefficients in 1916–1917 by thermodynamic reasoning, demonstrating that stimulated emission (see §6.2) must exist a decade before its experimental verification. [Established] The Einstein relations connecting the A and B coefficients are:

A21B21=8πhν3c3\frac{A_{21}}{B_{21}} = \frac{8\pi h \nu^3}{c^3}

— a remarkable result that prefigures the structure of QED.

6.2 Stimulated Emission and Absorption

[Established] Three fundamental processes connect atoms and the radiation field:

[Established] Einstein’s analysis showed that B₂₁ = B₁₂ (for non-degenerate states), establishing that the absorption and stimulated-emission cross sections are equal. [Established] Stimulated emission is the foundation of the maser (1953, Townes) and the laser (1960, Maiman): when a population inversion is created (more atoms in the excited state than the ground state), stimulated emission dominates over absorption, and a coherent light beam is exponentially amplified. This is treated in detail in Volume V.

6.3 The Lamb Shift

[Historical, Established] In 1947, Willis Lamb and Robert Retherford measured a small splitting between the 2S₁/₂ and 2P₁/₂ levels of hydrogen, which according to the Dirac equation should have been exactly degenerate. The measured splitting — about 1057 MHz — is the Lamb shift and is one of the most important historical confirmations of QED.

[Theoretical] The Lamb shift arises from the interaction of the bound electron with the vacuum fluctuations of the electromagnetic field, modifying the effective potential it experiences and producing a small but measurable shift in atomic energy levels. [Established] The Lamb shift was the principal motivation for the development of QED renormalization in the late 1940s; calculations by Bethe, Schwinger, Tomonaga, Feynman, and Kroll matched experiment to within experimental uncertainty and established that QED’s apparently divergent self-energy contributions, properly handled, predict real, finite, measurable effects.

6.4 The Casimir Effect

[Established] Two parallel uncharged perfectly conducting plates in vacuum experience an attractive force, predicted by Casimir in 1948. [Established] The force per unit area between plates separated by distance d is:

FA=−π2ℏc240d4\frac{F}{A} = -\frac{\pi^2 \hbar c}{240 d^4}

[Theoretical] The Casimir effect arises because the boundary conditions imposed by the plates restrict the modes of the electromagnetic field that fit between them; the difference in vacuum-mode structure produces a measurable force. [Established] The Casimir force has been measured to better than 1% precision in several different experimental geometries (sphere–plate, cylinder–plate, parallel plates), and the agreement with QED prediction is good. [As of early 2026] Repulsive Casimir forces between specially engineered surfaces and Casimir effects in microelectromechanical systems remain active areas of research with potential technological implications.

6.5 Cavity Quantum Electrodynamics

[Established] Cavity QED studies systems where atoms are coupled to the few modes of a high-finesse optical or microwave cavity, allowing the manipulation of atom–photon interactions at the single-quantum level. [Established] When the atom–cavity coupling is strong enough that the atom and cavity exchange a single quantum many times before either loses it to the environment (“strong coupling regime”), the atom and cavity become a single composite quantum system with new energy eigenstates (“dressed states”) and characteristic phenomena (vacuum Rabi oscillations, photon blockade, Jaynes–Cummings dynamics).

Historical Serge Haroche and David Wineland received the 2012 Nobel Prize for cavity-QED experiments — Haroche with microwave photons in superconducting cavities, Wineland with trapped ions — that allowed individual quantum particles to be measured and manipulated without destroying them. [As of early 2026] Cavity QED concepts now extend across multiple platforms: superconducting circuits (circuit QED), photonic crystal cavities, optomechanical systems, and color centers in dielectric cavities. The field is foundational to quantum information processing in many of its forms.

Part 7 — Entanglement and Bell Inequalities

7.1 Entanglement Defined

[Established] A quantum state of two or more subsystems is entangled if it cannot be written as a product of states of the individual subsystems. The simplest example is the polarization state of two photons:

|Ψ⟩=12(|H⟩A|V⟩B−|V⟩A|H⟩B)|\Psi\rangle = \frac{1}{\sqrt{2}} \left( |H\rangle_A |V\rangle_B - |V\rangle_A |H\rangle_B \right)

— a maximally entangled “Bell state” in which neither photon individually has a definite polarization, but the polarizations of the two photons are perfectly anti-correlated.

[Established] Entanglement implies that measurement outcomes on the two subsystems are correlated in ways that no joint probability distribution over hidden local variables can reproduce. This is the content of Bell’s theorem.

7.2 Bell’s Theorem

[Historical, Established] John Stewart Bell, in a 1964 paper that has become one of the most influential in twentieth-century physics, showed that any local hidden-variable theory — a theory in which (a) measurement outcomes are determined by pre-existing properties of the systems being measured, and (b) influences propagate no faster than light — must satisfy certain inequalities involving correlations between measurements made in different settings.

[Established] Quantum mechanics predicts violations of these inequalities for entangled states. [Established] The inequalities have been experimentally tested with progressively stringent loophole closures:

Historical The 2022 Nobel Prize in Physics was awarded to Alain Aspect, John Clauser, and Anton Zeilinger for experimental tests of Bell inequalities and for foundational contributions to quantum information science. [Established] Bell-test experiments have now been performed in many laboratories with violations of Bell inequalities by tens to hundreds of standard deviations. Local hidden-variable theories of the kind Bell considered are empirically excluded.

7.3 What Bell Tests Show — and What They Don’t

[Established] The empirical content of Bell-test experiments is unambiguous: nature does not behave according to local hidden-variable theories of the type Bell analyzed. [Interpretive] What this implies about the nature of reality depends on which assumption of Bell’s analysis one chooses to relinquish:

[Open] Which of these moves to make is a question of interpretation, not of empirical fact. Different physicists and philosophers of physics have different preferences, and the disagreement is not currently resolvable by experiment.

[Established] What Bell tests do not show is that information can be transmitted faster than light. The no-signalling theorem ensures that local measurements on entangled systems cannot communicate any classical message; the correlations are real but cannot be exploited for superluminal communication.

7.4 Sources of Entangled Photons

[Established] Entangled photon pairs are most commonly produced by spontaneous parametric down-conversion (SPDC) in nonlinear crystals: a high-energy “pump” photon decays in a nonlinear medium into two lower-energy “signal” and “idler” photons whose joint state is entangled in some combination of frequency, polarization, momentum, or spatial mode, depending on the geometry.

[Established] Other entangled-photon sources include four-wave mixing in fibers and waveguides, biexciton cascade in semiconductor quantum dots, atomic cascades, and engineered atom–photon interfaces. [As of early 2026] Solid-state entangled-photon sources with high brightness, indistinguishability, and integration potential are an active engineering frontier with implications for both quantum computing and quantum networks.

7.5 Quantum Teleportation

[Established] A protocol described by Bennett, Brassard, Crépeau, Jozsa, Peres, and Wootters in 1993 — quantum teleportation — allows a quantum state to be transferred from one location to another by combining shared entanglement with classical communication. [Established] Teleportation does not transmit matter or energy and does not violate special relativity: classical communication at light speed is required to complete the protocol, and the original state is destroyed in the process.

[Established] Quantum teleportation has been demonstrated for photons, atoms, ions, and superconducting qubits, over distances ranging from meters to hundreds of kilometers. [As of early 2026] Satellite-based teleportation has been demonstrated by China’s Micius mission and by ground-to-satellite links, with intercontinental quantum links increasingly mature.

Part 8 — The Measurement Problem

8.1 The Empirical Situation

[Established] Quantum mechanics, as a calculational scheme, provides extraordinarily accurate predictions for the statistics of measurement outcomes. Given a quantum state, Born’s rule specifies the probability of any possible measurement outcome; given many runs of the same experiment, the relative frequencies of outcomes converge to those probabilities.

[Established] What “measurement” is, as a physical process, is less clear than this calculational success suggests. The unitary evolution governed by the Schrödinger equation describes how quantum states evolve in the absence of measurement. Measurement appears, in standard quantum mechanics, as a separate kind of evolution: the “collapse” of the state vector to a single outcome with probability given by Born’s rule.

[Open] The reconciliation of unitary evolution and measurement collapse — or the elimination of the apparent need for a separate collapse postulate — is the measurement problem of quantum mechanics. It remains genuinely contested.

8.2 Interpretive Frameworks

[Open] A non-exhaustive catalog of interpretive frameworks currently defended by working physicists and philosophers:

[Open] Each interpretation has its proponents and its difficulties. [Established] All of them, when carefully formulated, agree on the empirical predictions of quantum mechanics in the regimes where standard quantum mechanics is well-tested. The difference between interpretations is not currently a difference in predictive content; it is a difference in what to say about a world that satisfies the formalism.

8.3 Decoherence

[Established] Decoherence is the loss of quantum coherence between alternative components of a superposition, due to entanglement with environmental degrees of freedom. [Theoretical] Decoherence does not, by itself, solve the measurement problem — it does not select a single outcome — but it explains why macroscopic superpositions are not observed in practice: the environmental entanglement rapidly suppresses interference between macroscopically distinct alternatives.

[Established] Decoherence is now a well-developed branch of quantum theory, with quantitative predictions tested in numerous experiments. It is also the principal practical obstacle to building quantum computers: maintaining coherence long enough to perform useful computation requires extraordinarily isolated systems and active error correction.

8.4 What Is Settled and What Is Not

[Established] The mathematical structure of quantum mechanics, the empirical predictions it makes, the formalism of QED, the existence of entanglement, the violation of Bell inequalities, the phenomenon of decoherence — all of these are settled science.

[Open] The interpretation of the formalism, the metaphysics of the quantum state, the resolution of the measurement problem, the status of the wave function as ontology versus epistemology — these remain genuine open questions in the foundations of physics. [Interpretive] Working physicists generally adopt an instrumentalist stance for everyday calculation while being free to hold and develop interpretive views as they prefer; the empirical work proceeds without requiring resolution of these foundational questions.

Part 9 — Quantum Optics in the Modern World

9.1 Quantum Information

[Established] The discovery in the 1980s and 1990s that quantum systems could process information in ways classical systems cannot launched the field of quantum information. Photons, with their long coherence times in well-designed systems and their natural role as transmitters of information, are central to quantum information science.

[Established] Foundational quantum information primitives include:

[As of early 2026] Commercial QKD systems are deployed in banking, government, and infrastructure-protection applications in multiple countries. Long-distance QKD over fiber and satellite links is increasingly mature.

9.2 Photonic Quantum Computing

[Established] Photons are an attractive platform for quantum computing because of their long coherence times, natural connection to quantum networks, and compatibility with integrated optics. [Established] Difficulties include the deterministic two-photon gate (photons do not naturally interact strongly enough), the need for high-efficiency single-photon sources and detectors, and the complexity of large-scale photonic circuits.

[As of early 2026] Multiple approaches are being pursued:

[As of early 2026] Companies including PsiQuantum, Xanadu, and others are pursuing photonic quantum computing at scale. Recent demonstrations have achieved up to ~256 modes with squeezed-light input in Gaussian boson sampling experiments. [Open] Whether photonic platforms or competing technologies (superconducting, trapped-ion, neutral atom) will achieve fault-tolerant quantum computation first is genuinely unsettled.

9.3 Quantum Sensing and Metrology

[Established] Quantum-optical techniques enable measurements with sensitivity beyond classical limits:

9.4 Quantum Networks

[Established] A quantum network distributes quantum information — qubits, entanglement — between physically separated nodes. [As of early 2026] Quantum networks are at varying stages of development:

[Open] A global, long-distance, repeaterless quantum internet capable of distributing entanglement on demand between arbitrary nodes is a stated goal of multiple national programs but is not yet realized.

Part 10 — Synthesis

10.1 What Quantum Optics Has Established

The quantum theory of light, considered as a body of empirically confirmed predictions, is among the most successful theories in the history of physics:

This is settled science, and the predictive content is not in dispute among working physicists.

10.2 What Remains Open

Equally important is what remains open at the interpretive and theoretical frontiers:

[Interpretive] A reader might be tempted to view these unresolved questions as flaws in an otherwise complete theory. A more accurate framing is that they are the doors into the next epoch of physics: each will likely require, when resolved, a substantial reorganization of how we understand light, fields, and the structure of the world.

10.3 The Quantum Field as the Foundational Object

[Theoretical] What this volume has tried to make clear is that, in the quantum field-theoretic picture, the photon is not a self-subsistent particle that merely happens to obey wave equations. The fundamental object is the field — the quantized electromagnetic field — which exists throughout spacetime. Photons are excitations of this field; classical electromagnetic waves are coherent superpositions of many such excitations; classical particles are limiting cases of localized field excitations.

This reorganization, which took the better part of a century to articulate fully, is one of the deeper conceptual achievements of twentieth-century physics. It applies not only to light but to all of matter and force in the Standard Model: every fundamental particle is the excitation of a corresponding quantum field. [Theoretical] In this picture, “particle” and “wave” are no longer opposing categories; they are complementary aspects of a more fundamental kind of entity for which classical language has no exact word.

10.4 Toward the Next Volume

Volume V takes up the practical interactions between light and matter: how atoms emit and absorb light in detail, the principles and varieties of lasers, nonlinear optics in its many forms, and the modern technology of coherent light sources from microwaves through X-rays. Where this volume has emphasized foundational quantum theory, Volume V will emphasize the rich and largely settled physics of light–matter interaction that supports an enormous range of contemporary technology and science.

Notes on Sources and Confidence

The mathematical and predictive content of this volume rests on standard references in quantum optics and quantum field theory. Particular uncertainties to flag explicitly:

For current values of fundamental constants and particle properties, readers should consult the most recent CODATA recommended values (CODATA 2022, published 2024) and the Particle Data Group’s Review of Particle Physics.

Selected Bibliography for Volume IV

Foundational Quantum Optics Texts

Quantum Electrodynamics

Foundations and Bell Tests

Interpretations of Quantum Mechanics

Quantum Information

Specific Topics

Historical

End of Volume IV — The Quantum Theory of Light.

Volume V (forthcoming): Light–Matter Interaction.

← Volume III — Visible Light ↑ Series catalog Volume V — Light-Matter Interaction →