Skip to content

Optical Photon Counting and Detector Calibration

Photon counting converts an optical field into discrete classical outcomes: an integer per acquisition gate, an off/click result, a set of time tags, or a spatial pattern of events. The word photon in the name does not make the record identical to the incident photon number. Between a declared optical reference plane and the stored data lie propagation loss, mode mismatch, conversion efficiency, thresholding, recovery dynamics, electronics, and data selection.

A quantitative photon-counting result therefore requires three distinct objects:

  1. the quantum state of specified incident modes;
  2. a detector POVM or response model at a specified reference plane;
  3. a statistical model for the recorded outcomes and its uncertainties.

This separation prevents two common errors. A click is not automatically a nondestructive report that one localized photon existed before measurement, and an efficiency-corrected histogram is not raw data. Ordinary direct optical counting is an absorptive quantum measurement whose meaning is fixed by a calibrated model.

Required background. Quantized Electromagnetic Modes defines the optical modes, Photon Number States introduces occupation probabilities, and POVMs explains measurement effects. For state updates conditioned on time tags, see Photon Counting and Quantum Jump Trajectories.

Let the detector reference plane be the optical plane at which an incident state is defined. All losses upstream of that plane belong to state preparation or propagation. All losses downstream belong to the detector response. Moving the plane changes the numerical efficiency but not any prediction if the state and response are transformed consistently.

This distinction matters when efficiencies from different experiments are compared. An intrinsic absorption probability, a packaged detector efficiency, and a system detection efficiency including collection optics are different quantities.

A photon number is an occupation number of a mode. A detector instead couples to a weighted family of spatial, spectral, polarization, and temporal modes. For a pulse occupying one specified normalized mode, a gate gg might refer to one laser period and the incident probabilities are

Pn(g)=⟨n∣ρg∣n⟩.P_n^{(g)} = \langle n|\rho_g|n\rangle.

For several accepted modes, use the distribution of their total occupation or a joint multimode state instead. For a continuous field, a time interval [t0,t0+T][t_0,t_0+T] defines an exposure, but the events need not correspond to occupation of one normalized temporal mode. A spectral filter, fiber, aperture, polarization analyzer, detector area, and timing gate jointly define what reaches the active element.

Mode mismatch can often be represented as loss only when unmatched modes are discarded and do not themselves produce background. If several accepted modes contribute, their occupations and correlations must be included explicitly.

  • A photon-number-resolving detector returns an integer k=0,1,2,…k=0,1,2,\ldots over a declared gate.
  • A threshold detector returns off or click. It cannot distinguish one registered quantum from several.
  • A time-tagging detector returns event times and often detector-channel labels. Binning those tags produces counts but discards timing information.
  • A spatially resolving detector returns pixel labels or an event image, sometimes with time and energy information as well.

The appropriate POVM is indexed by the actual stored outcomes. Relabeling a threshold click as “one photon” silently invents number resolution that the instrument does not possess.

Write the detected electric field as

E(r,t)=E(+)(r,t)+E(−)(r,t),E(−)=(E(+))†.\begin{aligned} \mathbf E(\mathbf r,t) &= \mathbf E^{(+)}(\mathbf r,t) + \mathbf E^{(-)}(\mathbf r,t), \\ \mathbf E^{(-)} &= \left(\mathbf E^{(+)}\right)^\dagger. \end{aligned}

In the usual electric-dipole and rotating-wave approximations, excitation of an initially unexcited absorber contains E(+)\mathbf E^{(+)}, which annihilates an optical excitation. Summing over unresolved detector final states gives an ideal first-order count rate proportional to

R(t)∝⟨E(−)(r,t)⋅E(+)(r,t)⟩.R(t) \propto \left\langle \mathbf E^{(-)}(\mathbf r,t) \mathbin{\cdot} \mathbf E^{(+)}(\mathbf r,t) \right\rangle.

Normal ordering is physical here: an ideal absorber responds to energy absorption, not directly to the symmetrized vacuum variance. Detector bandwidth, polarization response, and spatial acceptance are suppressed in this compact expression.

For a gate GG, define a dimensionless positive exposure operator

W^G=∫Gdt∫Gdt′ E^(−)(t)⋅Γ(t,t′)⋅E^(+)(t′).\hat W_G ={} \int_G dt \int_G dt'\, \hat{\mathbf E}^{(-)}(t) \mathbin{\cdot} \boldsymbol{\Gamma}(t,t') \mathbin{\cdot} \hat{\mathbf E}^{(+)}(t').

The kernel Γ\boldsymbol{\Gamma} contains the detector response and normalization. In an orthonormal incident-mode basis the exposure has the form WG=∑ijai†KijajW_G=\sum_{ij}a_i^\dagger K_{ij}a_j, where a passive detection model requires 0≤K≤I0\le K\le I. Positivity alone would allow unphysical mode efficiencies above one. In a broadband detector with response short compared with the field dynamics, it becomes approximately local in time. For one perfectly matched mode under linear loss,

W^G=ηn^.\hat W_G = \eta\hat n.

This reduction is useful, but it is not the definition of photodetection. It assumes that one mode and one scalar efficiency adequately describe the full coupling.

For an ideal linear counter with no dead time or saturation, the probability of mm photoevents in the gate is

pm=⟨:W^Gmm!e−W^G:⟩.p_m = \left\langle : \frac{\hat W_G^m}{m!} e^{-\hat W_G} : \right\rangle.

The colons denote normal ordering. The associated probability-generating function is

GM(z)=∑m=0∞pmzm=⟨:e−(1−z)W^G:⟩.G_M(z) = \sum_{m=0}^{\infty}p_m z^m = \left\langle : e^{-(1-z)\hat W_G} : \right\rangle.

For a coherent field, normal-ordered moments factorize and the counts are Poisson distributed. For a fluctuating classical intensity, the result is a mixture of Poisson distributions. Nonclassical states can yield statistics that no positive mixture of classical intensities reproduces.

The formula relies on an absorber model, linear response, the relevant rotating-wave and bandwidth approximations, and negligible detector memory during the gate. Recovery, afterpulsing, and saturation require a detector state or a phenomenological response beyond W^G\hat W_G.

For one mode and an ideal destructive number measurement,

ΠnPNR=∣n⟩⟨n∣,∑n=0∞ΠnPNR=I.\Pi_n^{\mathrm{PNR}} = |n\rangle\langle n|, \qquad \sum_{n=0}^{\infty}\Pi_n^{\mathrm{PNR}} = I.

The probability is the incident number distribution,

pn=Tr⁡(ρΠnPNR)=⟨n∣ρ∣n⟩.p_n = \operatorname{Tr} \left( \rho\Pi_n^{\mathrm{PNR}} \right) = \langle n|\rho|n\rangle.

This direct measurement is phase insensitive: it sees diagonal number statistics but not coherences such as ⟨n∣ρ∣n+1⟩\langle n|\rho|n+1\rangle. A phase reference and a different measurement, such as homodyne detection, are needed to access quadrature phase.

An ideal on–off detector has only

Πoff=∣0⟩⟨0∣,Πclick=I−∣0⟩⟨0∣.\Pi_{\mathrm{off}} = |0\rangle\langle0|, \qquad \Pi_{\mathrm{click}} = I-|0\rangle\langle0|.

Thus a click establishes a nonvacuum outcome at the reference plane in this ideal model, not a particular photon number. The same click probability can arise from many distinct nonvacuum distributions.

A time tag is associated with a continuum of outcomes. In an infinitesimal interval, the ideal rate is set by a normally ordered field correlation. For an emitting open system it is often written in terms of an output field or jump operator. The conditional hazard, no-click evolution, and state update are developed on the open-systems Photon Counting page.

Integrating time tags over a gate gives a count, but this coarse graining can erase antibunching, bunching, lifetime, or blinking information. Conversely, choosing bins much shorter than the timing response does not create physical resolution. Photon Antibunching develops the source-side correlation criterion and the forward model for a measured dip.

Suppose each incident excitation is registered independently with probability η\eta. Conditional on nn incident photons, the registered count KK is binomial:

Rkn(η)≡Pr⁡(K=k∣N=n)=(nk)ηk(1−η)n−k.\begin{aligned} R_{kn}^{(\eta)} &\equiv \Pr(K=k\mid N=n) \\ &= \binom{n}{k} \eta^k(1-\eta)^{n-k}. \end{aligned}

Here 0≤k≤n0\le k\le n. For incident distribution PnP_n, the measured distribution is

pk=∑n=k∞Rkn(η)Pn.p_k = \sum_{n=k}^{\infty} R_{kn}^{(\eta)}P_n.

This is Bernoulli thinning. It follows either from independent registration or by mixing the signal with vacuum on a fictitious beam splitter of transmissivity η\eta and ideally counting the transmitted mode.

At the incident reference plane, the same model is represented by

Πk(η)=∑n=k∞(nk)ηk(1−η)n−k∣n⟩⟨n∣.\Pi_k^{(\eta)} = \sum_{n=k}^{\infty} \binom{n}{k} \eta^k(1-\eta)^{n-k} |n\rangle\langle n|.

Equivalently,

Πk(η)=:(ηn^)kk!e−ηn^:.\Pi_k^{(\eta)} = : \frac{(\eta\hat n)^k}{k!} e^{-\eta\hat n} : .

These effects are positive and complete. They specify probabilities, not the post-detection state. A destructive absorber, a nondestructive number probe, and a multiplexed avalanche array could share effects on a restricted input space while having different instruments and backaction.

Let

GN(z)=E[zN],GK(z)=E[zK].G_N(z) = \mathbb E[z^N], \qquad G_K(z) = \mathbb E[z^K].

Conditioning on NN gives

GK(z)=GN(1−η+ηz).G_K(z) = G_N(1-\eta+\eta z).

This identity packages the complete ideal-loss transformation. Differentiating at z=1z=1 yields the factorial moments

E[(K)r]=ηrE[(N)r],\mathbb E[(K)_r] = \eta^r\mathbb E[(N)_r],

where

(N)r=N(N−1)⋯(N−r+1).(N)_r = N(N-1)\cdots(N-r+1).

In particular,

⟨K⟩=η⟨N⟩,\langle K\rangle = \eta\langle N\rangle,

and

Var⁡(K)=η2Var⁡(N)+η(1−η)⟨N⟩.\operatorname{Var}(K) = \eta^2\operatorname{Var}(N) + \eta(1-\eta)\langle N\rangle.

The first term transmits source fluctuations; the second is registration noise from thinning.

For nonzero mean, define

FN=Var⁡(N)⟨N⟩.F_N = \frac{\operatorname{Var}(N)}{\langle N\rangle}.

Then

FK=1−η+ηFN.F_K = 1-\eta+\eta F_N.

Loss drives the observed Fano factor toward the Poisson value 11, so raw sub-Poissonian statistics become less pronounced. By contrast, normalized factorial moments obey

gK(r)=E[(K)r]⟨K⟩r=gN(r)g_K^{(r)} = \frac{\mathbb E[(K)_r]}{\langle K\rangle^r} = g_N^{(r)}

under uniform independent loss with η>0\eta>0 and nonzero incident mean. At zero detected mean these normalized moments are undefined. This loss invariance is valuable, but it fails when efficiency varies across correlated modes, counts saturate, dark events are appreciable, or dead time couples neighboring events.

For a number state ∣n⟩|n\rangle, thinning gives a binomial distribution with

⟨K⟩=ηn,Var⁡(K)=η(1−η)n.\langle K\rangle=\eta n, \qquad \operatorname{Var}(K)=\eta(1-\eta)n.

For coherent light with incident mean μ\mu,

pk=e−ημ(ημ)kk!.p_k = e^{-\eta\mu} \frac{(\eta\mu)^k}{k!}.

Pure loss preserves the Poisson family and only changes its mean.

For single-mode thermal light with incident mean nˉ\bar n,

pk=(ηnˉ)k(1+ηnˉ)k+1.p_k = \frac{(\eta\bar n)^k} {(1+\eta\bar n)^{k+1}}.

Pure loss preserves the geometric family and changes nˉ↦ηnˉ\bar n\mapsto\eta\bar n. These similarities do not imply that the source states are identical; their Fano factors and normalized correlations remain different.

When physically independent loss stages act on the same selected mode, a system efficiency can be factored as

ηsys=ηcollectionηtransmissionηmodeηdetector.\eta_{\mathrm{sys}} = \eta_{\mathrm{collection}} \eta_{\mathrm{transmission}} \eta_{\mathrm{mode}} \eta_{\mathrm{detector}}.

This product requires independently calibrated scalar losses in the same selected mode. It can fail when:

  • spectral or spatial efficiency varies across occupied modes;
  • polarization and frequency are correlated;
  • the detector response is nonlinear or history dependent;
  • a filter selects modes with different occupations or correlations;
  • collection and intrinsic detection cannot be calibrated independently.

A published efficiency should state the reference plane, wavelength, polarization, temporal profile, count rate, and uncertainty. “Detector efficiency” without those qualifiers is not reproducible.

For efficiency η\eta and no background,

Πoff(η)=∑n=0∞(1−η)n∣n⟩⟨n∣=:e−ηn^:,Πclick(η)=I−Πoff(η).\begin{aligned} \Pi_{\mathrm{off}}^{(\eta)} &= \sum_{n=0}^{\infty} (1-\eta)^n|n\rangle\langle n| \\ &= : e^{-\eta\hat n} :, \\ \Pi_{\mathrm{click}}^{(\eta)} &= I-\Pi_{\mathrm{off}}^{(\eta)}. \end{aligned}

Thus

poff=GN(1−η),pclick=1−GN(1−η).\begin{aligned} p_{\mathrm{off}} &= G_N(1-\eta), \\ p_{\mathrm{click}} &= 1-G_N(1-\eta). \end{aligned}

Expanding at small efficiency gives

pclick=η⟨N⟩−η22⟨N(N−1)⟩+⋯ .p_{\rm click}=\eta\langle N\rangle -\frac{\eta^2}{2}\langle N(N-1)\rangle+\cdots.

The linear approximation requires small higher factorial-moment terms, not just a small mean. Rare bright pulses can violate it even when η⟨N⟩≪1\eta\langle N\rangle\ll1. For a fixed state, the click probability cannot exceed 1−P01-P_0 even at unit efficiency; approaching one at large brightness requires a source family whose vacuum weight vanishes.

For a coherent state,

poffcoh=e−ημ,pclickcoh=1−e−ημ.p_{\mathrm{off}}^{\mathrm{coh}} = e^{-\eta\mu}, \qquad p_{\mathrm{click}}^{\mathrm{coh}} = 1-e^{-\eta\mu}.

For single-mode thermal light,

poffth=11+ηnˉ,pclickth=ηnˉ1+ηnˉ.p_{\mathrm{off}}^{\mathrm{th}} = \frac{1}{1+\eta\bar n}, \qquad p_{\mathrm{click}}^{\mathrm{th}} = \frac{\eta\bar n}{1+\eta\bar n}.

At equal mean occupation the two click probabilities differ beyond the linear regime because threshold detection samples the full number distribution. One click probability alone is nevertheless insufficient to reconstruct that distribution.

Let qdq_{\mathrm d} be the probability of no dark event in a gate. If dark events are independent of the optical field,

Πoff(η,d)=qd∑n=0∞(1−η)n∣n⟩⟨n∣.\Pi_{\mathrm{off}}^{(\eta,\mathrm d)} = q_{\mathrm d} \sum_{n=0}^{\infty} (1-\eta)^n|n\rangle\langle n|.

For a stationary Poisson dark rate rdr_{\mathrm d} and gate duration TT,

qd=e−νd,νd=rdT.q_{\mathrm d} = e^{-\nu_{\mathrm d}}, \qquad \nu_{\mathrm d} = r_{\mathrm d}T.

The click effect is again the complement. A measured click can therefore be caused by the signal, background, or both; a threshold record does not label the cause.

An intrinsically number-resolving detector produces an output whose pulse height, energy, or another observable has distinguishable conditional distributions for different absorbed photon numbers. In practice, peaks overlap. A calibrated response matrix, not a marketing label, states the actual discrimination probability.

Effective number resolution can also be built from many threshold elements. The incident mode is divided among spatial bins, time bins, or detector channels, and the number of clicked bins is used as a proxy for photon number. This is often called multiplexed or pseudo-number resolution.

Suppose a single occupied input mode is split uniformly among MM output bins, with all other input ports vacuum. Conditional on nn photons, its multinomial occupation statistics are the same as independent uniform routing. This assumption would fail for several occupied input ports whose amplitudes interfere. For MM ideal threshold bins, the probability that J=jJ=j bins click is

Pr⁡(J=j∣N=n)=(M)jMnS(n,j),\Pr(J=j\mid N=n) = \frac{(M)_j}{M^n} S(n,j),

where (M)j=M!/(M−j)!(M)_j=M!/(M-j)! and S(n,j)S(n,j) is a Stirling number of the second kind. The Stirling number partitions the nn labeled photons into jj nonempty groups; (M)j(M)_j assigns those groups to distinct bins.

For two photons,

Pr⁡(J=2∣N=2)=1−1M.\Pr(J=2\mid N=2) = 1-\frac1M.

Finite MM therefore causes collisions even with perfect threshold elements. With uniform efficiency η\eta, first thin the photon number and then apply the occupancy map. Define the loss and collision kernels

Lℓn(η)=(nℓ)ηℓ(1−η)n−ℓL_{\ell n}^{(\eta)} = \binom{n}{\ell} \eta^\ell(1-\eta)^{n-\ell}

and

Cjℓ(M)=(M)jMℓS(ℓ,j).C_{j\ell}^{(M)} = \frac{(M)_j}{M^\ell}S(\ell,j).

The complete equal-bin response is then

Pr⁡(J=j∣N=n)=∑ℓ=jnCjℓ(M)Lℓn(η).\Pr(J=j\mid N=n) = \sum_{\ell=j}^{n} C_{j\ell}^{(M)} L_{\ell n}^{(\eta)}.

Real multiplexers also have unequal splitting, channel-dependent efficiency, cross-talk, and recovery effects. Their calibrated response matrix should replace the equal-bin formula.

For a number-resolving detector, suppose signal counts SS and dark or background counts DD are independent and the stored count is

K=S+D.K=S+D.

Then the distribution is the convolution

pK(k)=∑j=0kpS(k−j)pD(j).p_K(k) = \sum_{j=0}^{k} p_S(k-j)p_D(j).

If DD is Poisson with mean νd\nu_{\mathrm d},

⟨K⟩=⟨S⟩+νd,\langle K\rangle = \langle S\rangle+\nu_{\mathrm d},

and

Var⁡(K)=Var⁡(S)+νd.\operatorname{Var}(K) = \operatorname{Var}(S)+\nu_{\mathrm d}.

Background subtraction at the mean level does not remove its sampling variance. Uncertainty budgets that subtract counts but omit background noise are overconfident.

A “dark” count can include thermally generated carriers, blackbody photons, stray light, readout noise crossing a threshold, or radioactive and cosmic-ray events. The mechanisms have different dependence on temperature, bias, wavelength, gate width, and time. A constant Poisson model is a useful null model, not a guarantee.

Afterpulses and optical or electrical cross-talk are correlated with earlier events and must not be folded into an independent dark rate when correlations matter.

After a registered event, many detectors are temporarily insensitive or have a time-dependent response. Let τd\tau_{\mathrm d} denote an idealized dead time.

For a stationary Poisson arrival process of true rate rr, a nonparalyzable model ignores arrivals during each fixed recovery interval. Its mean observed rate is

robs=r1+rτd.r_{\mathrm{obs}} = \frac{r}{1+r\tau_{\mathrm d}}.

When robsτd<1r_{\mathrm{obs}}\tau_{\mathrm d}<1, the inverse correction is

r=robs1−robsτd.r = \frac{r_{\mathrm{obs}}} {1-r_{\mathrm{obs}}\tau_{\mathrm d}}.

In a paralyzable model, every arrival restarts the dead interval, even if it is not recorded. For Poisson arrivals,

robs=re−rτd.r_{\mathrm{obs}} = r e^{-r\tau_{\mathrm d}}.

This response reaches a maximum and then decreases, so the observed rate need not identify a unique true rate.

These formulas are model dependent. Antibunched light, bunched light, pulsed gates, afterpulsing, partial recovery, and detector arrays generally require a likelihood that includes the event history. Dead time does more than reduce the mean: it creates an artificial exclusion at short delays and can imitate antibunching.

Two detector dead-time response curves with a monotonic nonparalyzable rate and a paralyzable rate peaking at the inverse dead time

Stationary Poisson arrivals illustrate why the recovery model matters. Writing x=rτdx=r\tau_d, nonparalyzable counts approach robsτd=1r_{\rm obs}\tau_d=1, whereas the paralyzable rate peaks at x=1x=1 and then falls. Below that peak, one measured paralyzable rate can correspond to two different incident rates. Neither curve is a universal correction for bunched or antibunched arrivals.

Let tt be an ideal event time and trt_{\mathrm r} the recorded time. A stationary timing-response density hh gives

p(tr∣t)=h(tr−t),∫dτ h(τ)=1.p(t_{\mathrm r}\mid t) = h(t_{\mathrm r}-t), \qquad \int d\tau\,h(\tau)=1.

The observed mean rate is the convolution

Robs(t)=∫dt′ h(t−t′)Rtrue(t′).R_{\mathrm{obs}}(t) = \int dt'\, h(t-t')R_{\mathrm{true}}(t').

For a coincidence between two independent detectors, the relative-time response is the convolution of one timing response with the time reverse of the other. Narrow lifetime features or correlation dips are broadened accordingly.

Timing jitter, digitizer resolution, synchronization drift, and analysis-bin width are distinct. Reporting only the histogram bin width does not state the instrument response. A coincidence window also trades accepted signal against accidental background and must be part of the declared analysis.

Threshold saturation is built into the off/click outcome: multiple registered excitations still produce one click. Number-resolving devices also have a finite dynamic range. Pulse-height peaks can merge, amplifiers can clip, and thermal detectors can fail to recover before the next pulse.

Linearity should be tested over the actual flux, repetition rate, pulse shape, and wavelength. A response calibrated in the single-event regime need not remain valid at high occupancy.

An avalanche can populate traps that later release carriers and trigger a secondary event. A minimal model conditions the afterpulse hazard on earlier clicks:

λap(t)=∑tj<ta(t−tj),\lambda_{\mathrm{ap}}(t) = \sum_{t_j<t} a(t-t_j),

where a(τ)≥0a(\tau)\ge0 is an empirical triggering kernel. A stationary linear self-exciting model with background immigration requires ∫0∞a(τ)dτ<1\int_0^\infty a(\tau)d\tau<1; otherwise descendants proliferate without a finite stationary mean. Real recovery/dead time must also suppress triggering while the device is inactive.

In detector arrays, one event can trigger neighboring channels through optical emission, electrical coupling, or shared readout. Cross-talk inflates multiplicity and short-range correlations. Spatial separation, delayed coincidences, and calibrated conditional probabilities help distinguish it from true multiphoton illumination.

For a phase-insensitive detector and one declared incident mode, collect every accepted experimental effect into the conditional probability

Rkn=Pr⁡(k∣n),R_{kn} = \Pr(k\mid n),

where nn is the incident photon number and kk is the recorded outcome. The measured probabilities are

pkobs=∑n=0∞RknPn.p_k^{\mathrm{obs}} = \sum_{n=0}^{\infty}R_{kn}P_n.

Each column must be a probability distribution,

Rkn≥0,∑kRkn=1,R_{kn}\ge0, \qquad \sum_k R_{kn}=1,

provided the outcome set includes rejected, overflow, and no-record outcomes where necessary. Discarding such outcomes and renormalizing changes the measurement through postselection.

Bernoulli efficiency, dark-count convolution, threshold coarse graining, multiplexing, and electronic classification can all be represented as successive stochastic matrices when they are memoryless. Their order matters: adding background before a loss channel attenuates it, whereas adding detector dark events after that channel does not. Applying a threshold after the sum also differs from adding integer counts to a threshold bit.

The corresponding effects are

Πk=∑n=0∞Rkn∣n⟩⟨n∣.\Pi_k = \sum_{n=0}^{\infty} R_{kn}|n\rangle\langle n|.

Then

pkobs=Tr⁡(ρΠk).p_k^{\mathrm{obs}} = \operatorname{Tr}(\rho\Pi_k).

This diagonal form follows from phase insensitivity in the selected mode. A measurement involving a coherent local oscillator, phase-sensitive nonlinear conversion, or uncontrolled mode coupling may require nondiagonal or multimode effects.

The response matrix answers “which classical outcome occurs?” It does not answer “what quantum state remains?” That second question requires a quantum instrument. Ordinary photodetection is destructive, but the precise post-measurement degrees of freedom depend on the detector physics and what system is retained.

If a number-resolving outcome kk is converted into off/click, the threshold effects are

Πoff=Π0,Πclick=∑k≥1Πk.\Pi_{\mathrm{off}} = \Pi_0, \qquad \Pi_{\mathrm{click}} = \sum_{k\ge1}\Pi_k.

This classical coarse graining cannot increase information about incident number. No numerical correction can recover distinctions that were never recorded without adding source-model assumptions.

Time binning and spatial pixel grouping are analogous coarse grainings. Keeping the finest calibrated record and deriving coarser products later preserves options for analysis.

A detector can be characterized by sending known probe states and estimating the POVM most consistent with the observed frequencies. Coherent states are convenient optical probes because attenuation provides a broad range of mean occupations and their number probabilities are known:

Pr⁡(n∣α)=e−∣α∣2∣α∣2nn!.\Pr(n\mid\alpha) = e^{-|\alpha|^2} \frac{|\alpha|^{2n}}{n!}.

For a phase-insensitive detector with diagonal elements

πkn=⟨n∣Πk∣n⟩,\pi_{kn} = \langle n|\Pi_k|n\rangle,

the probe response is

p(k∣α)=e−∣α∣2∑n=0∞πkn∣α∣2nn!.p(k\mid\alpha) = e^{-|\alpha|^2} \sum_{n=0}^{\infty} \pi_{kn} \frac{|\alpha|^{2n}}{n!}.

Varying ∣α∣2|\alpha|^2 supplies overlapping constraints on the unknown πkn\pi_{kn}. Phase-randomized coherent states are sufficient for the diagonal response. Reconstructing nondiagonal effects requires phase-controlled probes and an informationally complete design.

A finite reconstruction chooses a photon-number cutoff nmax⁡n_{\max} and imposes

πkn≥0,∑kπkn=1\pi_{kn}\ge0, \qquad \sum_k\pi_{kn}=1

for every retained nn. The probe range must significantly populate the cutoff region without placing substantial unmodeled probability above it. Increasing the cutoff without informative data adds poorly constrained parameters rather than accuracy.

Detector tomography transfers trust from a detailed device model to the probe calibration and reconstruction assumptions. It does not eliminate calibration: attenuation, mode matching, probe power, phase randomization, and drift must all be known well enough for the desired claim.

A reconstructed response should predict data not used in the fit. Useful checks include:

  • coherent probes at intermediate powers;
  • repetition rates or gate widths different from the training set;
  • a thermal or heralded source with independent characterization;
  • repeated calibrations to expose drift;
  • residuals resolved by outcome, time, and detector channel.

Structured residuals often reveal omitted effects such as saturation, channel-dependent loss, afterpulsing, or an inadequate photon-number cutoff.

Forward prediction is the stable direction

Section titled “Forward prediction is the stable direction”

Given a source model Pn(θ)P_n(\theta) and calibrated response RknR_{kn}, predict

pk(θ)=∑nRknPn(θ)p_k(\theta) = \sum_n R_{kn}P_n(\theta)

and fit θ\theta to raw counts with a multinomial, Poisson, or time-tag likelihood appropriate to the acquisition. This forward approach preserves positivity and propagates the detector model directly.

Writing

pobs=RP\mathbf p_{\mathrm{obs}} = R\mathbf P

suggests P=R−1pobs\mathbf P=R^{-1}\mathbf p_{\mathrm{obs}}. Loss, thresholding, and multiplexing smooth neighboring photon-number sectors, so small singular values of RR amplify finite-sample noise. A literal inverse can produce negative probabilities and oscillatory tails.

Maximum-likelihood or Bayesian inference can impose

Pn≥0,∑nPn=1,P_n\ge0, \qquad \sum_nP_n=1,

include nuisance parameters, and return intervals. Regularization can be useful, but its strength and induced bias must be reported. A corrected distribution is a model-dependent estimate, not a replacement for the raw histogram.

A threshold detector at one fixed efficiency supplies only one independent click probability per state preparation. It cannot identify an arbitrary number distribution. Varying attenuation creates additional equations:

poff(ηj)=∑n(1−ηj)nPn.p_{\mathrm{off}}(\eta_j) = \sum_n(1-\eta_j)^nP_n.

This samples the generating function at several points. Finite data and a finite attenuation range still limit resolution, but the example shows how experimental controls create identifiability.

Detector parameters and source statistics should not all be floated freely against the same data unless the design supplies independent constraints. Otherwise loss can be traded against mean photon number, or dark counts against a weak source component.

At a reference plane, a calibrated optical power PoptP_{\mathrm opt} at angular frequency ω\omega corresponds to photon flux

Φ=Poptℏω\Phi = \frac{P_{\mathrm opt}}{\hbar\omega}

for narrowband light. In a linear regime,

ηsys=rsigΦ,\eta_{\mathrm{sys}} = \frac{r_{\mathrm{sig}}}{\Phi},

after background and dead-time corrections consistent with the model. A chain from a high-power calibrated photodiode through characterized attenuators is common, but attenuation uncertainty, connector repeatability, polarization, spectral response, and power-meter linearity all propagate into ηsys\eta_{\mathrm{sys}}.

A source that emits correlated photon pairs provides a conditional calibration. If one arm supplies NhN_h herald events and the other arm gives CC true coincidences, then in the low-pair, low-background limit

ηcond≈CNh.\eta_{\mathrm{cond}} \approx \frac{C}{N_h}.

Accidental coincidences, herald dark counts, multipair emission, collection correlations, and the coincidence-window acceptance must be corrected or modeled. The result is the conditional system efficiency from the pair-source reference plane, not automatically the intrinsic efficiency of the active detector.

Detector technologies realize these response models differently. Avalanche devices commonly report threshold clicks; calorimetric detectors can resolve absorbed energy; multiplexers trade bin collisions and optical loss for effective number resolution. Single-Particle Detection compares the technologies. Their wavelength, timing, recovery, and number-response calibrations must match the intended measurement.

Take a coherent pulse with μ=0.20\mu=0.20, system efficiency η=0.70\eta=0.70, and independent Poisson dark mean νd=0.010\nu_{\mathrm d}=0.010 per gate. The no-click probability is

poff=exp⁡(−ημ−νd)=exp⁡(−0.150)≈0.8607.\begin{aligned} p_{\mathrm{off}} &= \exp(-\eta\mu-\nu_{\mathrm d}) \\ &= \exp(-0.150) \approx 0.8607. \end{aligned}

Therefore

pclick≈0.1393.p_{\mathrm{click}} \approx 0.1393.

The linear approximation

pclick≈ημ+νd=0.150p_{\mathrm{click}} \approx \eta\mu+\nu_{\mathrm d} = 0.150

overestimates the exact probability because signal and dark events can occur in the same gate but still produce only one threshold click.

Suppose an incident field has

⟨N⟩=10,FN=0.40,\langle N\rangle=10, \qquad F_N=0.40,

and is measured with η=0.25\eta=0.25. Then

⟨K⟩=2.5,\langle K\rangle = 2.5,

while

FK=1−0.25+0.25(0.40)=0.85.F_K = 1-0.25+0.25(0.40) = 0.85.

The registered counts remain sub-Poissonian but look much closer to Poisson. An observed FK=0.85F_K=0.85 cannot be interpreted without efficiency, background, and dead-time information.

1. Completeness of the inefficient number-resolving POVM

Section titled “1. Completeness of the inefficient number-resolving POVM”

Show that

Πk(η)=∑n=k∞(nk)ηk(1−η)n−k∣n⟩⟨n∣\Pi_k^{(\eta)} = \sum_{n=k}^{\infty} \binom{n}{k}\eta^k(1-\eta)^{n-k} |n\rangle\langle n|

satisfies

∑k=0∞Πk(η)=I.\sum_{k=0}^{\infty}\Pi_k^{(\eta)}=I.

Interpret the proof physically.

Solution

Exchange the order of summation:

∑k=0∞Πk(η)=∑n=0∞Bn∣n⟩⟨n∣,Bn=∑k=0n(nk)ηk(1−η)n−k.\begin{aligned} \sum_{k=0}^{\infty}\Pi_k^{(\eta)} &= \sum_{n=0}^{\infty} B_n|n\rangle\langle n|, \\ B_n &= \sum_{k=0}^{n} \binom{n}{k} \eta^k(1-\eta)^{n-k}. \end{aligned}

The coefficient BnB_n is the binomial expansion

[η+(1−η)]n=1.\left[\eta+(1-\eta)\right]^n=1.

Therefore

∑k=0∞Πk(η)=∑n=0∞∣n⟩⟨n∣=I.\sum_{k=0}^{\infty}\Pi_k^{(\eta)} = \sum_{n=0}^{\infty}|n\rangle\langle n| = I.

For each incident nn, the detector must return some registered count k=0,…,nk=0,\ldots,n. Completeness is exactly the normalization of that conditional binomial distribution.

2. Generating function, variance, and Fano factor

Section titled “2. Generating function, variance, and Fano factor”

Starting from

GK(z)=GN(1−η+ηz),G_K(z)=G_N(1-\eta+\eta z),

derive ⟨K⟩\langle K\rangle, Var⁡(K)\operatorname{Var}(K), and FKF_K in terms of incident moments.

Solution

Differentiate once:

GK′(1)=ηGN′(1)=η⟨N⟩.G_K'(1) = \eta G_N'(1) = \eta\langle N\rangle.

Differentiate twice:

GK′′(1)=η2GN′′(1)=η2⟨N(N−1)⟩.G_K''(1) = \eta^2G_N''(1) = \eta^2\langle N(N-1)\rangle.

Since

Var⁡(K)=⟨K(K−1)⟩+⟨K⟩−⟨K⟩2,\operatorname{Var}(K) = \langle K(K-1)\rangle + \langle K\rangle - \langle K\rangle^2,

we obtain

Var⁡(K)=η2[Var⁡(N)−⟨N⟩]+η⟨N⟩=η2Var⁡(N)+η(1−η)⟨N⟩.\begin{aligned} \operatorname{Var}(K) &= \eta^2 \left[ \operatorname{Var}(N)-\langle N\rangle \right] + \eta\langle N\rangle \\ &= \eta^2\operatorname{Var}(N) + \eta(1-\eta)\langle N\rangle. \end{aligned}

Divide by ⟨K⟩=η⟨N⟩\langle K\rangle=\eta\langle N\rangle:

FK=ηFN+1−η.F_K = \eta F_N+1-\eta.

The extra term is the binomial registration noise.

A coherent state and a single-mode thermal state each have mean occupation nˉ=1\bar n=1. They are measured by an efficiency-0.600.60 threshold detector with no dark counts. Find each click probability. Explain why the probabilities differ.

Solution

For coherent light,

pclickcoh=1−e−0.60≈0.4512.p_{\mathrm{click}}^{\mathrm{coh}} = 1-e^{-0.60} \approx 0.4512.

For thermal light,

pclickth=0.601+0.60=0.375.p_{\mathrm{click}}^{\mathrm{th}} = \frac{0.60}{1+0.60} = 0.375.

Thermal light has more vacuum probability and a heavier high-number tail than coherent light at the same mean. A threshold detector merges the entire nonvacuum tail into one outcome, so the larger thermal vacuum component gives the smaller click probability. Equal mean number does not imply equal threshold statistics.

Signal counts have mean 44 and variance 2.52.5. Independent background counts are Poisson with mean 0.300.30 per gate. Find the mean, variance, and Fano factor of the raw total. If one subtracts 0.300.30 from the sample mean, what noise remains?

Solution

For independent sums, means and variances add:

⟨K⟩=4+0.30=4.30,\langle K\rangle = 4+0.30 = 4.30,

and

Var⁡(K)=2.5+0.30=2.80.\operatorname{Var}(K) = 2.5+0.30 = 2.80.

Thus

FK=2.804.30≈0.651.F_K = \frac{2.80}{4.30} \approx 0.651.

Subtracting the known mean background produces an unbiased estimate of the signal mean, but each gate still contained random background. Its variance 0.300.30 remains in the sampling uncertainty. If the background mean was itself estimated, that calibration uncertainty must also be propagated.

A detector reports

robs=4.0×106 s−1r_{\mathrm{obs}} = 4.0\times10^6\ \mathrm{s}^{-1}

and has τd=50 ns\tau_{\mathrm d}=50\ \mathrm{ns}. Infer the true rate in the nonparalyzable model. Then evaluate the paralyzable observed rate at that same true rate. Why is this comparison a warning?

Solution

First,

robsτd=(4.0×106)(50×10−9)=0.20.r_{\mathrm{obs}}\tau_{\mathrm d} = (4.0\times10^6)(50\times10^{-9}) = 0.20.

The nonparalyzable inverse gives

r=4.0×1061−0.20=5.0×106 s−1.\begin{aligned} r &= \frac{4.0\times10^6}{1-0.20} \\ &= 5.0\times10^6\ \mathrm{s}^{-1}. \end{aligned}

At this true rate, the paralyzable model predicts

robspar=(5.0×106)e−0.25≈3.89×106 s−1.\begin{aligned} r_{\mathrm{obs}}^{\mathrm{par}} &= (5.0\times10^6)e^{-0.25} \\ &\approx 3.89\times10^6\ \mathrm{s}^{-1}. \end{aligned}

The values are already measurably different. At higher occupancy they diverge much more strongly, and the paralyzable response becomes nonmonotonic. A dead-time correction is meaningful only after the recovery model has been validated for the detector and arrival statistics.

Two photons are routed independently and uniformly into MM ideal threshold bins.

  1. Find the probability of observing two clicks.
  2. Find the smallest MM for which this probability is at least 0.950.95.
  3. Explain why this is not yet the complete two-photon detection efficiency.
Solution

The first photon may occupy any bin. The second must choose one of the other M−1M-1 bins, so

Pr⁡(J=2∣N=2)=M−1M=1−1M.\begin{aligned} \Pr(J=2\mid N=2) &= \frac{M-1}{M} \\ &= 1-\frac1M. \end{aligned}

Require

1−1M≥0.95,1-\frac1M\ge0.95,

which gives M≥20M\ge20. Thus the smallest integer is

M=20.M=20.

This is only the no-collision probability. Optical splitting loss, per-channel efficiency, unequal routing, dark clicks, dead time, and classification errors also enter the complete response.

Assume at most two incident photons and efficiency η=0.60\eta=0.60. The ideal-loss response, with rows k=0,1,2k=0,1,2 and columns n=0,1,2n=0,1,2, is

R=(10.400.1600.600.48000.36).R = \begin{pmatrix} 1&0.40&0.16\\ 0&0.60&0.48\\ 0&0&0.36 \end{pmatrix}.

For measured probabilities

pobs=(0.340.420.24),\mathbf p_{\mathrm{obs}} = \begin{pmatrix} 0.34\\ 0.42\\ 0.24 \end{pmatrix},

solve for the incident distribution. Why can the same procedure become unphysical with noisy data?

Solution

Back substitution gives

P2=0.240.36=23.P_2 = \frac{0.24}{0.36} = \frac23.

Then

P1=0.42−0.48P20.60=16.\begin{aligned} P_1 &= \frac{0.42-0.48P_2}{0.60} \\ &= \frac16. \end{aligned}

Finally,

P0=0.34−0.40P1−0.16P2=16.\begin{aligned} P_0 &= 0.34-0.40P_1-0.16P_2 \\ &= \frac16. \end{aligned}

Thus

P=(1/61/62/3).\mathbf P = \begin{pmatrix} 1/6\\ 1/6\\ 2/3 \end{pmatrix}.

Here the data were exactly consistent with the truncated model. In real data, finite-sample perturbations are multiplied by inverse powers of η\eta. Small efficiency and larger cutoffs make the response ill-conditioned, so direct inversion can yield negative probabilities. An exact inverse of a complete column-stochastic matrix preserves normalization of normalized data; normalization alone therefore does not detect this failure. Constrained likelihood inference is usually more stable.

8. Apparent sub-Poissonian light from dead time

Section titled “8. Apparent sub-Poissonian light from dead time”

An ideal nonparalyzable counter receives a Poisson stream of rate rr. Find the mean and variance of the waiting time WW between recorded events. Using the long-record renewal result Var⁡KT/⟨KT⟩→Var⁡W/⟨W⟩2\operatorname{Var}K_T/\langle K_T\rangle\to\operatorname{Var}W/\langle W\rangle^2, find the recorded Fano factor.

Solution

After each recorded event there is a fixed inactive interval τd\tau_d. The memoryless incident process then waits an independent exponential time XX of mean 1/r1/r until the next event. Thus W=τd+XW=\tau_d+X,

⟨W⟩=τd+1/r,Var⁡W=1/r2,Frecorded⟶1(1+rτd)2<1.\langle W\rangle=\tau_d+1/r,\qquad \operatorname{Var}W=1/r^2,\qquad F_{\rm recorded}\longrightarrow\frac1{(1+r\tau_d)^2}<1.

The limit assumes a record much longer than the waiting-time scale and stationary detector parameters. The incoming field can be coherent: this sub-Poissonian record reflects detector exclusion, not nonclassical light. Pommé, Keightley, and Fitzgerald discuss this renewal counting effect.

An ideal threshold detector receives vacuum with probability 0.99990.9999 and a 100-photon pulse with probability 0.00010.0001. Compare the mean incident number, click probability, and linear prediction.

Solution

⟨N⟩=0.01\langle N\rangle=0.01, but pclick=0.0001p_{\rm click}=0.0001. The linear prediction pclick≃⟨N⟩p_{\rm click}\simeq\langle N\rangle is one hundred times too large. The nonvacuum pulses are not weak despite their small average occupation; their higher factorial moments invalidate the expansion.

  • D. Achilles, C. Silberhorn, C. Śliwa, K. Banaszek, and I. A. Walmsley, “Fiber-Assisted Detection with Photon Number Resolution,” Optics Letters 28, 2387–2389 (2003), doi:10.1364/OL.28.002387.
  • G. M. D’Ariano, L. Maccone, and P. Lo Presti, “Quantum Calibration of Measurement Instrumentation,” Physical Review Letters 93, 250407 (2004), doi:10.1103/PhysRevLett.93.250407.
  • M. D. Eisaman, J. Fan, A. Migdall, and S. V. Polyakov, “Invited Review Article: Single-Photon Sources and Detectors,” Review of Scientific Instruments 82, 071101 (2011), doi:10.1063/1.3610677.
  • A. Feito, J. S. Lundeen, H. Coldenstrodt-Ronge, J. Eisert, M. B. Plenio, and I. A. Walmsley, “Measuring Measurement: Theory and Practice,” New Journal of Physics 11, 093038 (2009), doi:10.1088/1367-2630/11/9/093038.
  • M. J. Fitch, B. C. Jacobs, T. B. Pittman, and J. D. Franson, “Photon-Number Resolution Using Time-Multiplexed Single-Photon Detectors,” Physical Review A 68, 043814 (2003), doi:10.1103/PhysRevA.68.043814.
  • R. J. Glauber, “The Quantum Theory of Optical Coherence,” Physical Review 130, 2529–2539 (1963), doi:10.1103/PhysRev.130.2529.
  • R. H. Hadfield, “Single-Photon Detectors for Optical Quantum Information Applications,” Nature Photonics 3, 696–705 (2009), doi:10.1038/nphoton.2009.230.
  • P. L. Kelley and W. H. Kleiner, “Theory of Electromagnetic Field Measurement and Photoelectron Counting,” Physical Review 136, A316–A334 (1964), doi:10.1103/PhysRev.136.A316.
  • A. E. Lita, A. J. Miller, and S. W. Nam, “Counting Near-Infrared Single-Photons with 95% Efficiency,” Optics Express 16, 3032–3040 (2008), doi:10.1364/OE.16.003032.
  • R. Loudon, The Quantum Theory of Light, 3rd ed., Oxford University Press (2000).
  • J. S. Lundeen, A. Feito, H. Coldenstrodt-Ronge, K. L. Pregnell, C. Silberhorn, T. C. Ralph, J. Eisert, M. B. Plenio, and I. A. Walmsley, “Tomography of Quantum Detectors,” Nature Physics 5, 27–30 (2009), doi:10.1038/nphys1133.
  • L. Mandel and E. Wolf, Optical Coherence and Quantum Optics, Cambridge University Press (1995), doi:10.1017/CBO9781139644105.
  • H. Paul, P. Törmä, T. Kiss, and I. Jex, “Photon Chopping: New Way to Measure the Quantum State of Light,” Physical Review Letters 76, 2464–2467 (1996), doi:10.1103/PhysRevLett.76.2464.
  • S. Pommé, J. D. Keightley, and R. Fitzgerald, “Uncertainty of Nuclear Counting,” Metrologia 52, S3–S17 (2015), doi:10.1088/0026-1394/52/3/S3.
  • J. Sperling, W. Vogel, and G. S. Agarwal, “True Photocounting Statistics of Multiple On–Off Detectors,” Physical Review A 85, 023820 (2012), doi:10.1103/PhysRevA.85.023820.