Average over the possible pure-state pairs
Input one occupies with probability . Input two occupies with probability . Independence makes their joint weight the product. For each pair, the coincidence is one half times one minus squared overlap. Summing gives the trace expression.
The inputs must be independent. Correlated or entangled inputs require their joint state. We also assume one photon per input port, a balanced lossless splitter, and detection that does not resolve the internal modes being studied.
Reading: C. K. Hong · P. J. Mosley et al.
Identical preparation turns overlap into purity
If , the overlap is purity. For our equal-intensity examples, zero pair phase gives pure signal photons and zero coincidence. Half a turn gives equally mixed signals and coincidence one quarter. The pair intensity maps alone cannot predict this difference.
Two pure but orthogonal inputs have zero overlap and coincidence one half. A shallow dip can therefore reflect mixture or a mismatch between the sources. Reading visibility as purity requires independent evidence that the preparations and other assumptions match.
| Pair phase | Purity | Zero-delay coincidence |
|---|---|---|
Apply delay to the state being modeled
A delay multiplies spectral amplitudes by . This is a unitary operation. If two modes are actual frequency bins, delay changes their relative phase and can cause beating. A Gaussian envelope must follow from the chosen state.
The upgraded HOM experiment uses an explicit factorization: the two-mode mixture is an internal degree of freedom, with an independent Gaussian arrival wave packet and independent polarization. Their overlap factors multiply. This separates mixture, timing and polarization experimentally. Applying it to a continuous time-frequency state requires checking those independence assumptions.
Keep probabilities separate from counts
Ideal probability times trial number gives expected coincidences. Mode-independent detector efficiencies scale those counts, and finite sampling adds fluctuations. Extra pairs at higher gain create more detection paths; threshold detectors merge some outcomes. The simple single-pair interpretation then needs replacement.
Ideal probabilities, expected counts and synthetic acquisition records describe different objects. Changing source or detection conditions in the HOM experiment clears the incompatible scan; changing delay can add points under the current conditions. Export records and settings before comparing preparations so physical changes remain distinguishable from sampling variation.