Single-Photon Sources and Detectors

A photonic quantum computer, a quantum key distribution link, and a quantum network all rest on the same two pieces of hardware: something that emits one photon when you ask, and something that clicks when one arrives. An ideal single-photon source delivers the Fock state ∣1⟩|1\rangle — never zero, never two — into one clean spatiotemporal mode on demand; an ideal detector projects onto photon number with unit efficiency and no false counts. Every real device is a measured departure from those ideals, and the departures are not incidental losses. They are the very parameters — multi-photon probability, indistinguishability, efficiency, dark counts, timing jitter — that enter the error budget of every photonic protocol. The figure of merit for a source is therefore not "one photon on average" but the suppression of multi-photon events, quantified by the second-order coherence g(2)(0)g^{(2)}(0), together with brightness and indistinguishability. Two paradigms dominate. Heralded sources exploit a nonlinear crystal or waveguide that emits correlated photon pairs; detecting one photon announces its twin, but the emission is intrinsically thermal, so pumping harder for a higher rate also raises the multi-photon contamination. Deterministic sources — semiconductor quantum dots in cavities — behave as artificial two-level atoms that re-emit at most one photon per cycle, reaching g(2)(0)≪1g^{(2)}(0)\ll 1 on demand. On the detection side, most detectors are "click/no-click" devices that cannot tell one photon from two: a two-element POVM, not a projection onto Fock states. This article assembles the physics and the numbers that turn "emit and detect a photon" into a resource you can compute with.

Key takeaways
  • A single-photon source should emit exactly one photon per trigger into a well-defined mode; the quantum signature is antibunching, g(2)(0)→0g^{(2)}(0)\to 0, with indistinguishability V→1\mathcal{V}\to 1 and high brightness.
  • Heralded sources (parametric down-conversion, four-wave mixing) make photon pairs with thermal statistics; heralding trades determinism for purity, but multi-pair error grows as gcond(2)(0)≈2μg^{(2)}_{\text{cond}}(0)\approx 2\mu with the pump.
  • Deterministic quantum-dot sources in cavities use Purcell enhancement to emit faster than they dephase, raising both indistinguishability and the collection fraction β=FP/(FP+1)\beta=F_P/(F_P+1).
  • Real detectors are graded by efficiency η\eta, dark counts, dead time, and jitter; most are non-number-resolving "click" detectors described by a two-outcome POVM.
  • Superconducting nanowire detectors (SNSPDs) reach η>90%\eta>90\%, timing jitter of tens of picoseconds, and dark counts below 10210^2 Hz — outperforming avalanche photodiodes in the telecom band.
  • Key idea: An ideal source emits ∣1⟩|1\rangle on demand (g(2)(0)=0g^{(2)}(0)=0, V=1\mathcal{V}=1, unit brightness) and an ideal detector projects onto photon number with unit efficiency and zero noise; every real device is a controlled departure from these limits, and those departures are exactly the error terms of photonic quantum information.
The core insight

An ideal single-photon source emits the Fock state ∣1⟩|1\rangle on demand (g(2)(0)=0g^{(2)}(0)=0, V=1\mathcal{V}=1, unit brightness), and an ideal detector projects onto photon number with unit efficiency and zero noise; every real device is a controlled departure from these limits, and the departures — multi-photon probability, distinguishability, efficiency, dark counts, jitter — are precisely the parameters that enter the error budget of photonic quantum computing.

Where this lives today

Single-photon hardware is the rate-limiting resource in photonic quantum technology. Quantum-dot sources in microcavities routinely deliver g(2)(0)<0.01g^{(2)}(0)<0.01, Hong–Ou–Mandel indistinguishability above 0.950.95, and brightness high enough that boson-sampling machines such as the Jiuzhang experiments interfere tens of photons — a regime classical computers struggle to simulate. Multiplexed heralded SPDC sources push in parallel, switching whichever probabilistic pair-generation attempt succeeded into a common output. On the detector side, waveguide-integrated SNSPD arrays now exceed 98%98\% system efficiency with jitter below 33 ps, co-fabricated with the circuits they read out. The stakes are concrete: satellite and fiber quantum-key-distribution links have their secure distance fixed by detector dark counts and source g(2)(0)g^{(2)}(0), and metropolitan networks are stitched together by entanglement-swapping nodes whose heralding rate is indistinguishability times detection efficiency. The open frontier is a source that is at once deterministic, indistinguishable, and telecom-wavelength — the missing piece for a scalable photonic quantum internet.

The physical picture

Picture a perfect single-photon source as a turnstile: every push of the button lets exactly one person through — never zero, never a clump. A faint laser is instead a leaky gate that lets on average one person pass per push, but sometimes none and occasionally two at once. That clumping is the multi-photon error, and the instrument that measures it is the intensity correlator g(2)(τ)g^{(2)}(\tau): split the beam onto two detectors (a Hanbury Brown–Twiss setup) and histogram the delay τ\tau between clicks. A single quantum emitter must be re-excited after each emission, so two photons never arrive together — the histogram dips to zero at τ=0\tau=0. Thermal light does the opposite, bunching into a peak of two; a laser shows no correlation. The first figure is this fingerprint, with the three defining values g(2)(0)=0, 1, 2g^{(2)}(0)=0,\,1,\,2.

Figure
Second-order coherence g²(τ) for three kinds of light: a single-photon source dips to g²(0) = 0 (antibunching), a laser sits flat at 1 (Poissonian), thermal light peaks at g²(0) = 2 (bunching) — the width of each feature is the emitter or coherence time
The photon-statistics fingerprint: g²(0) tells single photons (0) from lasers (1) from thermal light (2) 0 1 2 g²(τ) delay τ (τ = 0 at centre) 0 thermal · g²(0) = 2 laser · g²(0) = 1 single photon · g²(0) = 0 nonclassical: g²(0) below 1 requires sub-Poissonian light

The other quantity a photonic engineer lives by is indistinguishability: two photons interfere usefully only if they are copies of one another in every degree of freedom. The test is the Hong–Ou–Mandel effect — send one photon into each port of a balanced beam splitter, and if they are truly identical they always leave together, so the coincidence rate collapses. The detector side has its own hard reality, mapped by the second figure. A "click" detector is a smoke alarm: it reports something arrived but not how much. The technologies differ on two axes — how often they fire when a photon is present (efficiency) and how precisely they timestamp it (jitter), with dark counts, operating temperature, and number resolution as the fine print. Superconducting nanowires occupy the sweet spot that makes modern quantum networking possible.

Figure
Detector landscape — system detection efficiency versus timing jitter: superconducting nanowires reach η ≈ 95% at ≈ 15 ps, InGaAs avalanche photodiodes ≈ 25% at ≈ 50 ps in the telecom band, transition-edge sensors ≈ 98% and photon-number-resolving but ≈ 10 ns and sub-kelvin
Choosing a detector: efficiency η versus timing jitter (log scale) 100 75 50 25 0 efficiency η (%) 10 ps 100 ps 1 ns 10 ns timing jitter SNSPD η ≈ 95%, 15 ps, under 100 Hz dark, ~2.5 K InGaAs APD η ≈ 25%, 50 ps, gated, room T TES (number-resolving) η ≈ 98%, ~10 ns, under 1 Hz dark, ~100 mK up and to the left is better — SNSPD is the modern workhorse

The core equations

The master quantity is the normally ordered second-order coherence: the joint probability of detecting a photon at time tt and another at t+τt+\tau, normalized so uncorrelated light gives one. It is normally ordered because a photodetector absorbs photons, so annihilation operators act first.

g(2)(τ)=⟨a^†(t) a^†(t+τ) a^(t+τ) a^(t)⟩⟨a^†(t) a^(t)⟩ ⟨a^†(t+τ) a^(t+τ)⟩g^{(2)}(\tau)=\frac{\langle \hat a^{\dagger}(t)\,\hat a^{\dagger}(t+\tau)\,\hat a(t+\tau)\,\hat a(t)\rangle}{\langle \hat a^{\dagger}(t)\,\hat a(t)\rangle\,\langle \hat a^{\dagger}(t+\tau)\,\hat a(t+\tau)\rangle}

where:

  • a^,a^†\hat a,\hat a^{\dagger} — photon annihilation/creation operators of the detected mode
  • τ\tau — delay between the two photodetection events
  • ⟨⋅⟩\langle\cdot\rangle — quantum and ensemble expectation in the field state

Reading it: numerator is the coincidence rate, denominator the product of singles rates; g(2)(0)<1g^{(2)}(0)<1 is the strictly nonclassical regime no classical field can reach. At zero delay on a Fock state the correlator collapses to one number, because a^∣n⟩=n ∣n−1⟩\hat a|n\rangle=\sqrt n\,|n-1\rangle makes the double-lowering factor n(n−1)n(n-1) while the mean is nn.

g(2)(0)=⟨n∣a^†a^†a^a^∣n⟩⟨n∣a^†a^∣n⟩2=n(n−1)n2=1−1ng^{(2)}(0)=\frac{\langle n|\hat a^{\dagger}\hat a^{\dagger}\hat a\hat a|n\rangle}{\langle n|\hat a^{\dagger}\hat a|n\rangle^{2}}=\frac{n(n-1)}{n^{2}}=1-\frac{1}{n}

where:

  • nn — photon number of the Fock state ∣n⟩|n\rangle
  • n(n−1)n(n-1) — value of the normally ordered numerator, vanishing for n=0,1n=0,1

Reading it: a single photon (n=1n=1) gives exactly 00 — perfect antibunching — climbing toward the classical 11 only as n→∞n\to\infty. Equivalently, using a^†a^†a^a^=n^2−n^\hat a^{\dagger}\hat a^{\dagger}\hat a\hat a=\hat n^2-\hat n, g(2)(0)=1+(⟨(Δn^)2⟩−⟨n^⟩)/⟨n^⟩2g^{(2)}(0)=1+(\langle(\Delta\hat n)^2\rangle-\langle\hat n\rangle)/\langle\hat n\rangle^2, so sub-Poissonian light (variance below the mean) is exactly the nonclassical regime g(2)(0)<1g^{(2)}(0)<1 — no positive Glauber–Sudarshan PP function. A single photon meeting a balanced beam splitter is delocalized, not divided: applying b^†→(c^†−d^†)/2\hat b^{\dagger}\to(\hat c^{\dagger}-\hat d^{\dagger})/\sqrt2 to ∣0⟩a∣1⟩b|0\rangle_a|1\rangle_b gives (∣1⟩c−∣1⟩d)/2(|1\rangle_c-|1\rangle_d)/\sqrt2, yet a number measurement always finds the whole photon in one output. Send two identical photons into opposite ports and Hong–Ou–Mandel interference cancels the cross terms, a^†b^†→12(c^†2−d^†2)∣0⟩\hat a^{\dagger}\hat b^{\dagger}\to\tfrac12(\hat c^{\dagger 2}-\hat d^{\dagger 2})|0\rangle, so both photons always leave together and the coincidence rate vanishes — its depth measures indistinguishability.

V=Cdist−CHOMCdist=∣⟨ψ1∣ψ2⟩∣2\mathcal{V}=\frac{C_{\text{dist}}-C_{\text{HOM}}}{C_{\text{dist}}}=\big|\langle\psi_1|\psi_2\rangle\big|^{2}

where:

  • CHOMC_{\text{HOM}} — coincidence rate for the two photons made identical
  • CdistC_{\text{dist}} — coincidence rate when they are made distinguishable (e.g. crossed polarization)
  • ∣ψi⟩|\psi_i\rangle — single-photon wavepacket of each photon

Reading it: V=1\mathcal{V}=1 for perfectly identical photons and 00 for fully distinguishable ones — the single number deciding whether photons interfere usefully in a quantum circuit. A cavity around a quantum-dot emitter reshapes its emission through the Purcell effect, speeding spontaneous emission by a factor set by the cavity quality factor and mode volume.

FP=34π2(λn)3QV ,β=FPFP+1F_{P}=\frac{3}{4\pi^{2}}\left(\frac{\lambda}{n}\right)^{3}\frac{Q}{V}\,,\qquad \beta=\frac{F_{P}}{F_{P}+1}

where:

  • QQ — cavity quality factor; VV — mode volume; λ/n\lambda/n — emission wavelength in the medium
  • FPF_P — enhancement of spontaneous emission, Γcav=FP Γ0\Gamma_{\text{cav}}=F_P\,\Gamma_0; β\beta — fraction funneled into the useful mode

Reading it: a large FPF_P shortens the lifetime so the photon escapes before dephasing scrambles its wavepacket (raising V\mathcal{V}) and funnels emission into one mode (raising brightness through β\beta). Most detectors cannot count: they fire on "one or more" photons and are described by a two-element POVM, not a Fock projector.

P(click ∣ n)=1−(1−η)n ,Πclick=1−∑n=0∞(1−η)n∣n⟩⟨n∣P(\text{click}\,|\,n)=1-(1-\eta)^{n}\,,\qquad \Pi_{\text{click}}=\mathbb{1}-\sum_{n=0}^{\infty}(1-\eta)^{n}|n\rangle\langle n|

where:

  • η\eta — single-photon detection (quantum) efficiency
  • nn — number of incident photons; Πclick,Πno\Pi_{\text{click}},\Pi_{\text{no}} — the "click" and "no-click" POVM elements summing to 1\mathbb{1}

Reading it: for 0<η<10<\eta<1 the no-click operator has eigenvalues strictly between 00 and 11, so it is not a projector — only the POVM formalism captures a real detector. Number resolution needs a transition-edge sensor or many multiplexed click detectors. Finally, a detector's noise is set by its dark-count contribution and its noise-equivalent power, the optical power giving unit signal-to-noise in a 1 Hz band.

D=RdarkRsignal+Rdark ,NEP=hνη2 RdarkD=\frac{R_{\text{dark}}}{R_{\text{signal}}+R_{\text{dark}}}\,,\qquad \text{NEP}=\frac{h\nu}{\eta}\sqrt{2\,R_{\text{dark}}}

where:

  • RdarkR_{\text{dark}} — false-click rate; RsignalR_{\text{signal}} — true detection rate
  • hνh\nu — photon energy; NEP — noise-equivalent power in W Hz−1/2^{-1/2}

Reading it: low dark counts and high efficiency both drive the NEP down, which is why SNSPDs, with RdarkR_{\text{dark}} of a few counts per second, extend quantum links to hundreds of kilometres.

Derivation AAntibunching from a single two-level emitter

The physical basis of every deterministic single-photon source is that a lone two-level system — an atom, an ion, a nitrogen-vacancy center, or a quantum dot — cannot emit two photons at the same instant, because after emitting one it sits in its ground state and must be re-excited before it can emit again. We want to turn that sentence into the exact statement g(2)(0)=0g^{(2)}(0)=0, working from the emitter's dipole operator and the algebra of a two-level system, and to see why the result is model-independent: it needs no assumption about the drive, only that the emitter has exactly two levels.

Step 1. Model the emitter as a two-level system with ground ∣g⟩|g\rangle and excited ∣e⟩|e\rangle, lowering operator σ^−=∣g⟩⟨e∣\hat\sigma_-=|g\rangle\langle e|. The emitted field amplitude is proportional to the atomic dipole, so in the correlator we replace a^→σ^−\hat a\to\hat\sigma_- and a^†→σ^+\hat a^\dagger\to\hat\sigma_+. Why: the far-field radiated by a point dipole is set by σ^−\hat\sigma_-, so the photon-coincidence statistics inherit the atom's operator algebra directly.

Step 2. Compute the key operator product σ^−σ^−=∣g⟩⟨e∣g⟩⟨e∣=0\hat\sigma_-\hat\sigma_-=|g\rangle\langle e|g\rangle\langle e|=0, because ⟨e∣g⟩=0\langle e|g\rangle=0. A single two-level atom cannot be lowered twice — there is no doubly excited state to fall from. Why: this one nilpotency, σ^−2=0\hat\sigma_-^2=0, is the entire physics of antibunching compressed into an operator identity.

Step 3. Substitute into the zero-delay numerator: ⟨σ^+σ^+σ^−σ^−⟩=0\langle\hat\sigma_+\hat\sigma_+\hat\sigma_-\hat\sigma_-\rangle=0 for any state, so g(2)(0)=⟨σ^+σ^+σ^−σ^−⟩/⟨σ^+σ^−⟩2=0g^{(2)}(0)=\langle\hat\sigma_+\hat\sigma_+\hat\sigma_-\hat\sigma_-\rangle/\langle\hat\sigma_+\hat\sigma_-\rangle^{2}=0. Why: the double-annihilation annihilates every state, making the two-photon coincidence amplitude identically zero however hard the emitter is driven.

Step 4. For finite delay the correlation recovers as the atom is re-excited, g(2)(τ)=1−e−Γ∣τ∣/2(… )g^{(2)}(\tau)=1-e^{-\Gamma|\tau|/2}(\dots) under weak driving, so the dip has a width set by the lifetime 1/Γ1/\Gamma. Why: the dip's width is a direct readout of the emitter dynamics, and Purcell shortening of 1/Γ1/\Gamma narrows it. This reproduces the Fock-state value at n=1n=1 and matches resonance-fluorescence measurements from single atoms (Kimble–Dagenais–Mandel) and modern quantum dots reaching g(2)(0)<0.01g^{(2)}(0)<0.01.

Go deeper · Derivation B · 1 minThe click detector as a two-outcome POVM
Derivation BThe click detector as a two-outcome POVM

A superconducting nanowire or an avalanche photodiode does not measure how many photons arrived — it produces one pulse whether one photon or five were absorbed, and it misses each photon with some probability. We build the correct measurement operators from a single assumption, that each incident photon is registered independently with probability η\eta, and show that the resulting "no-click" operator is genuinely not a projector — which is why the projective postulate is the wrong tool and the POVM formalism is mandatory for photonic protocol analysis.

Step 1. Condition on a definite photon number nn. Each photon is detected independently with probability η\eta, so the probability that all are missed is P(no click ∣ n)=(1−η)nP(\text{no click}\,|\,n)=(1-\eta)^{n}. Why: independence turns the multi-photon detection problem into a product of single-photon Bernoulli trials, the one modelling assumption everything else follows from.

Step 2. Promote these probabilities to an operator diagonal in the Fock basis: Πno=∑n=0∞(1−η)n∣n⟩⟨n∣\Pi_{\text{no}}=\sum_{n=0}^{\infty}(1-\eta)^{n}|n\rangle\langle n|, so that ⟨n∣Πno∣n⟩=(1−η)n\langle n|\Pi_{\text{no}}|n\rangle=(1-\eta)^{n} reproduces Step 1. Why: each outcome corresponds to a positive operator whose expectation gives its probability, forced here to be Fock-diagonal by the number-independence of the physics.

Step 3. Define the complementary element Πclick=1−Πno\Pi_{\text{click}}=\mathbb{1}-\Pi_{\text{no}}, so the pair {Πno,Πclick}\{\Pi_{\text{no}},\Pi_{\text{click}}\} is positive and sums to 1\mathbb{1} — a valid two-element POVM. Why: this is exactly the POVM completeness relation; the detector has two outcomes, and they must resolve the identity.

Step 4. Check that it is not projective: Πno2=∑n(1−η)2n∣n⟩⟨n∣≠Πno\Pi_{\text{no}}^{2}=\sum_n(1-\eta)^{2n}|n\rangle\langle n|\neq\Pi_{\text{no}} whenever 0<η<10<\eta<1. Only at η=1\eta=1 does Πno→∣0⟩⟨0∣\Pi_{\text{no}}\to|0\rangle\langle 0|, a genuine projector onto vacuum. Why: idempotence Π2=Π\Pi^2=\Pi is the defining test of a projective measurement, and a lossy detector fails it — the loss makes the measurement generalized rather than sharp. The lesson propagates into every resource count: a single click certifies "one or more photons, detected with efficiency η\eta", never "exactly one", which is why photon-number-splitting attacks and heralding inefficiencies must be modelled with these operators, not Fock projectors.

Limiting cases

The second-order coherence at zero delay classifies light across the whole span from deeply quantum to classical — the map every measurement is read against.

CaseResultMeaning
Ideal single photon (Fock ∣1⟩\vert 1\rangle)g(2)(0)=0g^{(2)}(0)=0Perfect antibunching: zero chance of two simultaneous photons — the target for deterministic sources
Coherent state (laser)g(2)(0)=1g^{(2)}(0)=1Poissonian, uncorrelated; an attenuated laser never beats this — the classical reference, not a source
Thermal / single-mode SPDCg(2)(0)=2g^{(2)}(0)=2Bunching: twice as likely to coincide as a laser of the same mean power
Fock ∣n⟩\vert n\rangleg(2)(0)=1−1ng^{(2)}(0)=1-\tfrac{1}{n}Sub-Poissonian for all finite nn, approaching the classical 11 as n→∞n\to\infty
Ideal detectorη=1, Rdark=0\eta=1,\,R_{\text{dark}}=0POVM becomes the sharp projection {∣0⟩⟨0∣, 1−∣0⟩⟨0∣}\{|0\rangle\langle 0|,\,\mathbb{1}-|0\rangle\langle 0|\}
Lossy click detector0<η<10<\eta<1Two-element POVM; a click means "one or more", not "exactly one"

Worked examples

1 · Why an attenuated laser is not a single-photon source (fully worked)

A coherent pulse is attenuated to a mean photon number nˉ=0.1\bar n=0.1. Find the probabilities of zero, one, and two-or-more photons, the multi-photon fraction conditioned on a detection, and confirm g(2)(0)g^{(2)}(0).

Step 1. A coherent state is Poissonian, P(k)=e−nˉnˉk/k!P(k)=e^{-\bar n}\bar n^{k}/k!. With nˉ=0.1\bar n=0.1 and e−0.1=0.904837e^{-0.1}=0.904837: P(0)=0.904837P(0)=0.904837, P(1)=0.090484P(1)=\mathbf{0.090484}, P(2)=0.004524P(2)=0.004524. At least one photon: P(≥1)=1−P(0)=0.095163P(\ge 1)=1-P(0)=\mathbf{0.095163}.

Step 2. The probability of multi-photon emission is P(≥2)=1−P(0)−P(1)=1−0.904837−0.090484=0.004679P(\ge 2)=1-P(0)-P(1)=1-0.904837-0.090484=\mathbf{0.004679}. Conditioned on a detection, the multi-photon fraction is P(≥2)/P(≥1)=0.004679/0.095163=0.0492P(\ge 2)/P(\ge 1)=0.004679/0.095163=\mathbf{0.0492}, i.e. about 4.9%4.9\% — matching the rule of thumb nˉ/2=0.05\bar n/2=0.05.

Step 3. The leak does not vanish with attenuation: halving nˉ\bar n halves the rate but the conditional multi-photon fraction only falls to nˉ/2\bar n/2, still nonzero, and g(2)(0)=1g^{(2)}(0)=1 for any coherent state regardless of nˉ\bar n. A weak laser has g(2)(0)=1g^{(2)}(0)=1 and a ~5% multi-photon leak at nˉ=0.1\bar n=0.1 — not a single-photon source, which is exactly why decoy-state protocols exist.

2 · Purcell factor, brightness, and lifetime of a quantum dot (fully worked)

An InAs quantum dot emitting at λ=925\lambda=925 nm sits in a GaAs micropillar (n=3.5n=3.5) with quality factor Q=1.1×104Q=1.1\times 10^{4} and mode volume V=1.2 μm3V=1.2\ \mu\text{m}^3. Find the Purcell factor, the collection fraction β\beta, and the lifetime shortening.

Step 1. The emission wavelength in the medium is λ/n=925/3.5=264.3\lambda/n=925/3.5=264.3 nm =0.2643 μ=0.2643\ \mum, so (λ/n)3=0.01846 μm3(\lambda/n)^3=0.01846\ \mu\text{m}^3. The prefactor is 3/(4π2)=0.075993/(4\pi^{2})=0.07599.

Step 2. Assemble the Purcell factor: FP=0.07599×0.01846×(1.1×104/1.2)=12.9F_P=0.07599\times 0.01846\times(1.1\times 10^{4}/1.2)=\mathbf{12.9}. The radiative rate is enhanced almost thirteenfold, so the lifetime shortens by the same factor — a 11 ns free-space lifetime becomes about 78 ps\mathbf{78\ ps} in the cavity.

Step 3. The fraction funneled into the cavity mode is β=FP/(FP+1)=12.9/13.9=0.93\beta=F_P/(F_P+1)=12.9/13.9=\mathbf{0.93} — the ceiling on brightness from mode matching alone — while the faster emission outruns phonon dephasing, pushing indistinguishability toward V>0.95\mathcal{V}>0.95. FP≈13F_P\approx 13 gives β≈0.93\beta\approx 0.93 and a ~13× lifetime cut — why cavity quantum dots are the brightest deterministic sources.

3 · Detector efficiency and noise from measured rates

A heralded SPDC source gives idler singles Rs=8.0×105R_s=8.0\times 10^{5} s−1^{-1} and signal–idler coincidences Rcoinc=2.4×105R_{\text{coinc}}=2.4\times 10^{5} s−1^{-1}. Find the signal-arm Klyshko efficiency. Then, for an SNSPD at λ=1550\lambda=1550 nm with η=0.90\eta=0.90 and Rdark=10R_{\text{dark}}=10 Hz, find the noise-equivalent power.

Step 1. The Klyshko efficiency of the signal arm is the coincidence-to-idler-singles ratio: ηs=Rcoinc/Rs=2.4×105/8.0×105=0.30\eta_s=R_{\text{coinc}}/R_s=2.4\times 10^{5}/8.0\times 10^{5}=\mathbf{0.30}. Thirty percent of heralded photons survive collection, coupling, and detection — a realistic figure that caps the usable rate of any circuit fed by this source.

Step 2. The telecom photon energy is hν=hc/λ=(6.626×10−34)(2.998×108)/(1.55×10−6)=1.28×10−19h\nu=hc/\lambda=(6.626\times 10^{-34})(2.998\times 10^{8})/(1.55\times 10^{-6})=1.28\times 10^{-19} J ≈0.80\approx 0.80 eV. The noise-equivalent power is NEP=(hν/η)2Rdark=(1.28×10−19/0.90)20=1.42×10−19×4.47=6.4×10−19 W Hz−1/2\text{NEP}=(h\nu/\eta)\sqrt{2R_{\text{dark}}}=(1.28\times 10^{-19}/0.90)\sqrt{20}=1.42\times 10^{-19}\times 4.47=\mathbf{6.4\times 10^{-19}\ W\,Hz^{-1/2}}.

Step 3. This sub-attowatt NEP is why SNSPDs read out signals attenuated across hundreds of kilometres of fiber; an InGaAs APD with η≈0.25\eta\approx 0.25 and far higher dark counts would fare orders of magnitude worse. Klyshko ηs=0.30\eta_s=0.30; SNSPD NEP ≈6.4×10−19\approx 6.4\times 10^{-19} W Hz−1/2^{-1/2}.

Physics of the portrait

Single-photon physics is where the quantum theory of light became a set of measurable numbers. The person who supplied the language — coherent states, the hierarchy of correlation functions, the line between classical and nonclassical light — is Roy Glauber, and this article is written in his notation.

Origins · 1 minRoy Glauber and how this was discovered
RG
Roy Glauber
1925–2018 · the quantum theory of optical coherence and photon statistics

Roy J. Glauber built the framework in which "how many photons, and how correlated" became precise questions. Trained on the Manhattan Project as a teenager and later at Harvard, he responded to the 1956 Hanbury Brown–Twiss intensity-correlation experiment — which many physicists initially disbelieved — by constructing, in a pair of 1963 papers, the quantum theory of optical coherence. He introduced the coherent states ∣α⟩|\alpha\rangle as the quantum description of laser light, defined the normally ordered correlation functions g(n)g^{(n)} this article uses throughout, and showed that g(2)(0)<1g^{(2)}(0)<1 is a strictly nonclassical condition with no positive Glauber–Sudarshan PP representation. That single inequality is what lets an experiment prove it holds a single photon rather than faint classical light. His formalism underlies antibunching (first seen by Kimble, Dagenais, and Mandel in 1977), the Hong–Ou–Mandel effect, and every modern source and detector characterization. Glauber shared the 2005 Nobel Prize in Physics for this work, alongside Hall and Hänsch for precision spectroscopy — recognition that the statistics of light are as fundamental as its spectrum.

History
1956
— Hanbury Brown and Twiss measure intensity correlations of light, provoking the field of quantum optics
1963
— Glauber formulates the quantum theory of optical coherence and the g⁽ⁿ⁾ correlation functions
1977
— Kimble, Dagenais, and Mandel observe photon antibunching from a single atom
1987
— Hong, Ou, and Mandel report two-photon coalescence at a beam splitter
2001
— Gol'tsman and co-workers demonstrate the superconducting nanowire single-photon detector

Going further

Texts. Nielsen & Chuang, Quantum Computation and Quantum Information, §7.4 (optical implementations) · Preskill, Lecture Notes on Quantum Computation, Ch. 9 (quantum optics and measurement) · Loudon, The Quantum Theory of Light, 3rd ed., Ch. 3, 6 (photon statistics, g(2)g^{(2)}) · Walls & Milburn, Quantum Optics, Ch. 3, 5, 10 (coherence functions, antibunching, resonance fluorescence) · Wilde, Quantum Information Theory, Ch. 4 (POVMs) · Watrous, The Theory of Quantum Information, Ch. 2 (measurements as channels). The key results in this article are: g(2)(0)=1−1/ng^{(2)}(0)=1-1/n for Fock states (from the ladder algebra); g(2)=2g^{(2)}=2 for thermal light and 11 for coherent light; the click POVM Πno=∑n(1−η)n∣n⟩⟨n∣\Pi_{\text{no}}=\sum_n(1-\eta)^n|n\rangle\langle n| and its failure of idempotence; and the Klyshko ratio Rcoinc/Rs=ηiR_{\text{coinc}}/R_s=\eta_i. The worked numbers are: nˉ=0.1\bar n=0.1 giving P(≥2)/P(≥1)=0.049P(\ge2)/P(\ge1)=0.049; Purcell FP≈12.9F_P\approx 12.9, β≈0.93\beta\approx 0.93; and NEP ≈6.4×10−19\approx 6.4\times 10^{-19} W Hz−1/2^{-1/2}. The Purcell formula is the standard cavity-QED expression. Device figures (SNSPD η>90%\eta>90\%, picosecond jitter, sub-10210^2 Hz dark counts; TES number resolution) are current standard ranges, not fixed constants, and should be checked against up-to-date reviews.

Prerequisites. Photonic Qubits · DiVincenzo Criteria. Leads to. Linear-Optical Quantum Computing · Circuit Quantum Electrodynamics.

Ask the tutor: Ask me why g(2)(0)<1g^{(2)}(0)<1 is impossible for any classical light field, or to work a full quantum-key-distribution error budget from a source's g(2)(0)g^{(2)}(0) and a detector's dark-count rate.

What is the difference between a heralded and a deterministic single-photon source?

A heralded source relies on a random nonlinear process — spontaneous parametric down-conversion or four-wave mixing — that occasionally makes a photon pair. Detecting one photon (the herald) tells you its partner exists, converting a random event into a signalled one, but you cannot choose when it happens. A deterministic source, typically a quantum dot in a cavity, is an artificial two-level atom that emits one photon each time you excite it. Heralded sources are simple and give very pure photons at low pump power; deterministic sources give higher on-demand rates and naturally low g(2)(0)g^{(2)}(0). Much current engineering multiplexes many heralded sources to approximate determinism.

Why can't you just attenuate a laser to get single photons?

Because attenuation scales the photon-number distribution down but never changes its shape. A coherent state stays Poissonian at every power, so g(2)(0)=1g^{(2)}(0)=1 however weak it is, and conditioned on a detection there is always a residual multi-photon probability of about nˉ/2\bar n/2 — exactly what an eavesdropper siphons off in a photon-number-splitting attack. A true single-photon source suppresses g(2)(0)g^{(2)}(0) toward zero through the physics of a single emitter or heralding, a mechanism forbidding two simultaneous photons, which no attenuation can imitate.

What does g²(0) actually measure, and how is it obtained?

It is the normalized probability of detecting two photons at the same instant relative to uncorrelated light. Operationally you split the beam onto two detectors in a Hanbury Brown–Twiss layout and histogram the delay between clicks; the value at zero delay, normalized to the long-delay plateau, is g(2)(0)g^{(2)}(0). A dip below one is antibunching and proves the light is nonclassical; a peak above one is bunching, characteristic of thermal or single-mode down-converted light. The two-detector trick is needed because ordinary detectors are non-number-resolving and have dead time, so one detector cannot register two coincident photons.

Why are most single-photon detectors described by a POVM instead of a projector?

Because they are lossy and cannot count. A projective measurement would sort the field cleanly into Fock states ∣0⟩,∣1⟩,∣2⟩,…|0\rangle,|1\rangle,|2\rangle,\dots, but a real click detector only reports "no click" or "click", fires identically for one or more photons, and misses each with probability 1−η1-\eta. Its no-click operator ∑n(1−η)n∣n⟩⟨n∣\sum_n(1-\eta)^n|n\rangle\langle n| has eigenvalues strictly between zero and one, so it is not idempotent and therefore not a projector. The POVM formalism is the general description of exactly this coarse-grained, lossy measurement, and it is essential for correctly accounting for detector performance in any protocol.

How do transition-edge sensors count photons when SNSPDs and APDs cannot?

A transition-edge sensor (TES) is a tiny superconducting film held right at its transition temperature, where resistance is an extremely steep function of temperature. An absorbed photon deposits its energy as heat, and because mm photons carry mm times the energy, the resistance pulse height is proportional to photon number — the detector reads deposited energy, not just presence. This gives genuine number resolution and near-unit efficiency. The price is speed: thermal relaxation is slow, so TES jitter is nanoseconds and count rates are limited. SNSPDs and APDs instead register a threshold crossing that saturates identically for any nonzero number — fast, but blind to it.

What makes photon indistinguishability so important for quantum computing?

Linear-optical quantum computing and boson sampling interfere photons at beam splitters, and quantum interference only happens between photons truly identical in frequency, polarization, spatial mode, and arrival time. The Hong–Ou–Mandel effect is the direct test: identical photons entering a 50:50 beam splitter from opposite ports always exit together, so the coincidence rate drops to zero. Any distinguishability restores the coincidences and degrades every downstream gate built from that interference. That is why a source is graded not only on g(2)(0)g^{(2)}(0) but on its HOM visibility V\mathcal{V}, and why Purcell-enhanced emission — fast enough to beat dephasing — is so valuable.

Before this

Where this leads