Skip to content

Standard Quantum Limit

In quantum metrology, the standard quantum limit (SQL) usually names the inverse-square-root precision scaling achieved by independent probes under a fixed single-probe resource constraint. If each experimental round uses NN probes and the round is repeated independently ν\nu times, then

ΔθSQL∝1νN.\Delta\theta_{\mathrm{SQL}} \propto \frac{1}{\sqrt{\nu N}}.

The proportionality constant contains the physics of the probe, parameter encoding, interrogation time, contrast, measurement, and units. In a normalized qubit phase-estimation model with an optimal product input and measurement,

ΔθSQL≥1νN.\Delta\theta_{\mathrm{SQL}} \ge \frac{1}{\sqrt{\nu N}}.

This page is the canonical home for the independent-probe SQL, its statistical and Fisher-information derivations, projection-noise and shot-noise examples, resource accounting, and the evidence needed to claim sub-SQL performance. Quantum Measurement as Estimation owns the broader contract connecting a parameterized experiment to a likelihood, estimator, uncertainty statement, and validated claim. Classical and Quantum Fisher Information owns measurement optimization, SLD formulas, and the quantum information metric. Interferometers owns detailed optical implementations. Precision Measurement and Metrology owns clocks and AMO sensor physics. Fisher Information owns the underlying classical statistical quantity.

The name is overloaded. In continuous position measurement, “the SQL” often means an optimum between measurement imprecision and quantum backaction. In laser theory, it can label a model-dependent linewidth. Those are not the same bound as independent-probe scaling. A trustworthy statement names the task and writes the bound rather than relying on the acronym.

Suppose one probe produces an outcome XX with parameter-dependent mean and variance

μ(θ)=Eθ[X],σ2(θ)=Var⁡θ(X).\mu(\theta) = \mathbb E_\theta[X], \qquad \sigma^2(\theta) = \operatorname{Var}_\theta(X).

For R=νNR=\nu N independent, identically distributed probe outcomes, the sample mean

X‾R=1R∑j=1RXj\overline X_R = \frac{1}{R} \sum_{j=1}^{R}X_j

has variance

Var⁡θ(X‾R)=σ2(θ)R.\operatorname{Var}_\theta(\overline X_R) = \frac{\sigma^2(\theta)}{R}.

Near an operating point where ∂θμ≠0\partial_\theta\mu\ne0, local error propagation gives

Δθ≃σ(θ)νN ∣∂θμ(θ)∣.\Delta\theta \simeq \frac{ \sigma(\theta) }{ \sqrt{\nu N}\, \left| \partial_\theta\mu(\theta) \right| }.

The quantum content is in the one-probe distribution: even after technical and detector noise are removed, a probe not prepared in an eigenstate of the readout generally has irreducible outcome variance. Independence then turns that single-probe variance into inverse-square-root scaling.

This argument is local and asymptotic. It assumes a calibrated response, a stable operating point, finite variance, and enough data that the estimator behaves approximately linearly. It does not address phase wrapping, bias, prior information, correlated noise, or an unknown drift shared by every probe.

Let one measured probe have outcome distribution p(x∣θ)p(x\mid\theta) and classical Fisher information

FC(1)(θ)=∑x[∂θp(x∣θ)]2p(x∣θ).F_C^{(1)}(\theta) = \sum_x \frac{ \left[ \partial_\theta p(x\mid\theta) \right]^2 }{ p(x\mid\theta) }.

Independent likelihoods multiply, log likelihoods add, and Fisher information is additive:

FC(R)=RFC(1)=νNFC(1).F_C^{(R)} = R F_C^{(1)} = \nu N F_C^{(1)}.

For a locally unbiased estimator, the classical Cramér–Rao bound therefore gives

Var⁡(θ^)≥1νNFC(1).\operatorname{Var}(\widehat\theta) \ge \frac{1}{ \nu N F_C^{(1)} }.

The quantum Fisher information FQF_Q is the maximum of FCF_C over allowed measurements. Thus

FC(1)≤FQ(1),F_C^{(1)} \le F_Q^{(1)},

and the independent-probe quantum bound is

Δθ≥1νNFQ(1).\Delta\theta \ge \frac{1}{ \sqrt{ \nu N F_Q^{(1)} } }.

This is the general SQL formula. The familiar unit-prefactor expression follows only when the parameter and generator are normalized so that the best single probe has FQ(1)=1F_Q^{(1)}=1.

Consider a unitary encoding on NN distinguishable probes,

Uθ=exp⁡(−iθH),H=∑j=1Nhj.U_\theta = \exp(-i\theta H), \qquad H = \sum_{j=1}^{N}h_j.

For a pure state, quantum Fisher information is four times the generator variance:

FQ[∣ψ⟩,H]=4(ΔH)ψ2.F_Q[|\psi\rangle,H] = 4(\Delta H)^2_\psi.

For a product input,

ρprod=⨂j=1Nρj,\rho_{\mathrm{prod}} = \bigotimes_{j=1}^{N}\rho_j,

QFI is additive:

FQ[ρprod,H]=∑j=1NFQ[ρj,hj].F_Q[ \rho_{\mathrm{prod}},H ] = \sum_{j=1}^{N} F_Q[\rho_j,h_j].

Let the spectral width of each local generator be bounded by

g=λmax⁡(hj)−λmin⁡(hj).g = \lambda_{\max}(h_j) - \lambda_{\min}(h_j).

The maximum one-probe QFI is then g2g^2. Convexity of QFI extends the linear bound to parameter-independent mixtures of product states,

ρsep=∑kpk⨂j=1Nρj(k):\rho_{\mathrm{sep}} = \sum_k p_k \bigotimes_{j=1}^{N} \rho_j^{(k)}: FQ[ρsep,H]≤Ng2.F_Q[ \rho_{\mathrm{sep}},H ] \le Ng^2.

Consequently,

Δθsep≥1gνN.\Delta\theta_{\mathrm{sep}} \ge \frac{1}{ g\sqrt{\nu N} }.

For qubits with hj=σz(j)/2h_j=\sigma_z^{(j)}/2, the spectral width is g=1g=1, giving the normalized SQL.

The local resource bound is essential. A bosonic probe with unbounded energy can have unbounded generator variance, so “one probe” is not a complete resource statement. For light, one usually constrains mean photon number, total photon-number sectors, energy through the sample, or channel uses. For spectroscopy, interrogation time belongs in the generator.

For pure states under unitary encoding, FQ=4(ΔH)2F_Q=4(\Delta H)^2. For mixed states, only

FQ[ρ,H]≤4(ΔH)ρ2F_Q[\rho,H] \le 4(\Delta H)^2_\rho

is guaranteed. The variance can contain classical uncertainty that carries no phase information.

For example, consider the incoherent mixture

ρmix=12∣0⟩⟨0∣⊗N+12∣1⟩⟨1∣⊗N\rho_{\mathrm{mix}} = \frac12 |0\rangle\langle0|^{\otimes N} + \frac12 |1\rangle\langle1|^{\otimes N}

with H=JzH=J_z. Its variance scales as N2N^2, but

[ρmix,Jz]=0,[\rho_{\mathrm{mix}},J_z]=0,

so the state does not change under exp⁡(−iθJz)\exp(-i\theta J_z) and

FQ[ρmix,Jz]=0.F_Q[\rho_{\mathrm{mix}},J_z] = 0.

A large collective variance is therefore not by itself evidence of sub-SQL sensitivity.

Take one two-outcome probe with

p+(θ)=1+sin⁡θ2,p−(θ)=1−sin⁡θ2.\begin{aligned} p_+(\theta) &= \frac{ 1+\sin\theta }{2}, \\ p_-(\theta) &= \frac{ 1-\sin\theta }{2}. \end{aligned}

The one-probe Fisher information is

FC(1)=∑s=±(∂θps)2ps=1,\begin{aligned} F_C^{(1)} &= \sum_{s=\pm} \frac{ \left( \partial_\theta p_s \right)^2 }{ p_s } \\ &= 1, \end{aligned}

away from support-changing endpoints, where the same value is obtained by a limit.

For RR independent probes, the number KK of plus outcomes is binomial:

K∼Binomial⁡(R,1+sin⁡θ2).K \sim \operatorname{Binomial} \left( R, \frac{1+\sin\theta}{2} \right).

At the mid-fringe point θ=0\theta=0,

E[K]=R2,Var⁡(K)=R4.\mathbb E[K] = \frac{R}{2}, \qquad \operatorname{Var}(K) = \frac{R}{4}.

The local estimator

θ^≃2KR−1\widehat\theta \simeq \frac{2K}{R}-1

therefore has

Δθ^=1R=1νN.\Delta\widehat\theta = \frac{1}{\sqrt R} = \frac{1}{\sqrt{\nu N}}.

The same likelihood is realized by ideal Ramsey or two-path interference experiments after a convention-dependent choice of phase origin. The SQL is not tied to one apparatus; it is the information scaling of the independent binary trials.

For NN two-level probes, define collective spin

J=12∑j=1Nσ(j).\mathbf J = \frac12 \sum_{j=1}^{N} \boldsymbol{\sigma}^{(j)}.

Prepare each spin along +x+x. The product state has

⟨Jx⟩=N2,(ΔJy)2=(ΔJz)2=N4.\langle J_x\rangle = \frac N2, \qquad (\Delta J_y)^2 = (\Delta J_z)^2 = \frac N4.

Let the parameter generate a rotation about zz:

Uθ=exp⁡(−iθJz).U_\theta = \exp(-i\theta J_z).

Near θ=0\theta=0,

∂∂θ⟨Jy⟩θ∣θ=0=⟨Jx⟩=N2.\left. \frac{\partial}{\partial\theta} \langle J_y\rangle_\theta \right|_{\theta=0} = \langle J_x\rangle = \frac N2.

Error propagation for one round gives

Δθ=ΔJy∣∂θ⟨Jy⟩∣=N/2N/2=1N.\Delta\theta = \frac{ \Delta J_y }{ \left| \partial_\theta\langle J_y\rangle \right| } = \frac{ \sqrt N/2 }{ N/2 } = \frac{1}{\sqrt N}.

After ν\nu independent rounds,

Δθ=1νN.\Delta\theta = \frac{1}{\sqrt{\nu N}}.

This is quantum projection noise: each spin measurement gives a discrete outcome even when state preparation and readout are ideal. Detector noise is additional and must be calibrated separately. Ramsey Interferometry develops the pulse sequence and physical spectroscopy.

An ideal coherent optical mode has Poisson photon-number statistics,

Var⁡(n)=⟨n⟩=n‾.\operatorname{Var}(n) = \langle n\rangle = \overline n.

In a specified ideal two-path phase measurement, the complete output-count likelihood has Fisher information proportional to the detected mean photon number:

FC=n‾.F_C = \overline n.

The phase uncertainty therefore scales as

Δϕshot≥1n‾.\Delta\phi_{\mathrm{shot}} \ge \frac{1}{\sqrt{\overline n}}.

For ν\nu identical independent intervals,

Δϕshot≥1νn‾.\Delta\phi_{\mathrm{shot}} \ge \frac{1}{ \sqrt{ \nu\overline n } }.

This is the optical shot-noise limit for the declared coherent-state model. It depends on what optical modes and phase references are counted, whether n‾\overline n is incident or detected, and whether loss is assigned to the state, channel, or detector. The full interferometer likelihood and dark-fringe subtleties belong to Interferometers.

The terms overlap but are not synonyms in every context.

TermTypical random variableIndependent-probe behaviorEssential declaration
projection noiseoutcomes of uncorrelated atoms, spins, or qubitsvariance of a collective count is proportional to NNstate, basis, contrast, and readout model
optical shot noisecoherent-state photoelectrons or photon countsPoisson variance equals the mean countincident or detected flux, modes, bandwidth, and efficiency
standard quantum limitestimator precision under a named independent or separable-probe classΔθ∝(νN)−1/2\Delta\theta\propto(\nu N)^{-1/2}task, generator, resources, estimator, and comparator
technical noisedrift, electronics, classical intensity noise, vibration, calibrationneed not average as 1/νN1/\sqrt{\nu N}spectrum, correlation time, calibration, and subtraction

“Shot-noise limited” means measured noise agrees with a declared shot-noise model over a specified operating range. It does not mean every uncertainty is quantum, nor does it establish accuracy.

The SQL is a bound relative to a resource class. At minimum, state:

  1. Probe count: prepared, incident, interacting, detected, or postselected probes?
  2. Repetitions: how many independent rounds, and what correlations persist between them?
  3. Interrogation: time, passes, interaction strength, and generator normalization?
  4. Energy or flux: especially for indefinite-particle-number optical states?
  5. Bandwidth and total duration: including dead time, resets, and adaptive feedback?
  6. Loss and efficiency: are discarded events included in both strategy and benchmark?
  7. Prior and dynamic range: is the task local around a known phase or globally ambiguous?
  8. Estimator: bias, mean-square error, confidence coverage, and failed-run treatment?

If each of RinR_{\mathrm{in}} independent probes is detected with probability η\eta and lost probes carry no usable record, the expected detected count is

Rdet=ηRin.R_{\mathrm{det}} = \eta R_{\mathrm{in}}.

For the normalized model,

Δθ≳1ηRin.\Delta\theta \gtrsim \frac{1}{ \sqrt{ \eta R_{\mathrm{in}} } }.

Reporting 1/Rdet1/\sqrt{R_{\mathrm{det}}} while comparing against a benchmark charged for all incident probes can manufacture an apparent gain. The numerator and denominator must use the same boundary.

If a frequency ω\omega generates phase θ=ωT\theta=\omega T, then

ΔωSQL≥1TνN\Delta\omega_{\mathrm{SQL}} \ge \frac{1}{ T\sqrt{\nu N} }

in the ideal normalized model. But increasing TT may reduce contrast, increase decoherence, narrow dynamic range, and reduce the number of rounds available in a fixed total time. A frequency benchmark must count

Ttot≃ν(T+Tdead),T_{\mathrm{tot}} \simeq \nu \left( T+T_{\mathrm{dead}} \right),

not only the coherent interrogation interval.

A probe that traverses a phase element mm times accumulates mθm\theta. Treating it as one free probe while comparing against a single-pass strategy undercounts the interaction. A matched resource may be the total number of channel uses,

Ruse=mRprobe,R_{\mathrm{use}} = mR_{\mathrm{probe}},

or the total energy deposited in a sample.

Log-log precision scaling showing the inverse-square-root standard quantum limit, an ideal inverse-resource comparison, a constant-factor shift, and a technical noise floor

On log–log axes, independent-probe precision has slope −1/2-1/2. A constant metrological gain moves the curve vertically without changing that exponent. Correlated technical noise or systematics can flatten the observed curve. The ideal R−1R^{-1} line is a comparison, not a promise that an experiment can attain it.

Suppose an uncertainty model is

(Δθ)2=AR+B.(\Delta\theta)^2 = \frac{A}{R} + B.

The first term averages as independent noise. The second is a floor from a correlated fluctuation, calibration uncertainty, or unresolved systematic. The crossover occurs near

R×=AB.R_\times = \frac{A}{B}.

Below R×R_\times, a log–log fit may look SQL-like. Above it, collecting more probes produces little improvement.

Three claim types must be separated:

  • SQL scaling: an exponent compatible with R−1/2R^{-1/2};
  • sub-SQL constant: lower variance than a matched independent-probe benchmark at a specified RR;
  • super-classical scaling: an exponent better than −1/2-1/2 over a justified range.

A state can provide a useful constant-factor gain while retaining R−1/2R^{-1/2} asymptotic scaling. Conversely, a fitted steep slope over a narrow pre-asymptotic interval does not establish a new asymptotic law.

For the normalized phase problem, define a metrological noise parameter

ξ2=νN(Δθ)2.\xi^2 = \nu N (\Delta\theta)^2.

The independent-probe benchmark has ξ2≥1\xi^2\ge1. A measured value

ξ2<1\xi^2<1

supports sub-SQL performance only if the same losses, duration, prior, estimator, and accepted-run rule are used for the quantum strategy and comparator.

For collective spins, the Wineland squeezing parameter is

ξR2=N(ΔJ⊥)2∣⟨J⟩∣2,\xi_R^2 = \frac{ N(\Delta J_\perp)^2 }{ \left| \langle\mathbf J\rangle \right|^2 },

with the transverse direction and phase response chosen consistently. ξR2<1\xi_R^2<1 certifies a phase sensitivity below the coherent-spin-state benchmark under those conventions.

For NN qubits and a collective linear generator, the condition

FQ[ρ,Jn]>NF_Q[\rho,J_{\mathbf n}] > N

implies that ρ\rho is entangled and has sub-SQL potential for that local estimation problem. This does not guarantee that an available measurement attains the QFI, that the advantage survives loss, or that the full sensor outperforms a classical instrument.

It is not the Heisenberg uncertainty relation

Section titled “It is not the Heisenberg uncertainty relation”

The SQL is an estimation benchmark for a strategy class. The Robertson uncertainty relation constrains variances of two observables in one state. One cannot derive a complete sensor limit merely by inserting a position–momentum or number–phase slogan.

Entangled probes can have QFI proportional to N2N^2 in noiseless local models, suggesting

Δθ∝1Nν.\Delta\theta \propto \frac{1}{N\sqrt\nu}.

That ideal Heisenberg scaling requires careful counting of generator range, channel uses, interactions, time, and prior information. It also does not imply an end-to-end advantage.

Noise can restore inverse-square-root scaling

Section titled “Noise can restore inverse-square-root scaling”

For many common independent loss and decoherence models, asymptotically optimal quantum strategies retain at most a constant-factor advantage over N−1/2N^{-1/2} scaling. This is a broad and important result, not a universal theorem for every correlated, non-Markovian, error-corrected, or controlled sensing model. The noise channel and available controls decide the bound.

Classical improvements can beat a weak baseline

Section titled “Classical improvements can beat a weak baseline”

Feedback, a better estimator, more complete likelihood, higher collection efficiency, longer interrogation, or a better operating point can outperform an earlier “shot-noise” number without using a nonclassical probe. The correct comparator is the best allowed independent-probe strategy under matched resources, not a convenient historical implementation.

In a weak continuous position measurement, increasing measurement strength can reduce imprecision while increasing force backaction. A generic added displacement-noise spectrum has the structure

Sxxadd(ω)=Sxximp(ω)+∣χ(ω)∣2SFFBA(ω)+2Re⁡[χ(ω)SxF(ω)],\begin{aligned} S_{xx}^{\mathrm{add}}(\omega) ={}& S_{xx}^{\mathrm{imp}}(\omega) + \left| \chi(\omega) \right|^2 S_{FF}^{\mathrm{BA}}(\omega) \\ &+ 2\operatorname{Re} \left[ \chi(\omega) S_{xF}(\omega) \right], \end{aligned}

where χ\chi is the mechanical susceptibility, SxximpS_{xx}^{\mathrm{imp}} is measurement imprecision, SFFBAS_{FF}^{\mathrm{BA}} is backaction-force noise, and SxFS_{xF} contains correlations.

Under a particular uncorrelated quantum-limited detector model, minimizing the first two terms produces a frequency-dependent SQL. Correlations, variational readout, backaction evasion, or a quantum nondemolition observable can alter that optimum. This spectral tradeoff is conceptually related to quantum estimation but is not the νN\nu N independent-probe SQL derived above.

A statement such as “3 dB below the SQL” should answer:

Audit itemRequired information
estimated parameterphase, frequency, displacement, field, loss, time, or another quantity
riskvariance, mean-square error, Allan deviation, spectral density, or confidence width
benchmark classcoherent light, separable spins, product qubits, or a continuous detector model
resourcesincident and detected probes, energy, passes, time, bandwidth, and duty cycle
loss boundarywhere efficiency enters and whether discarded events count
operating regimelocal phase point, prior, dynamic range, and estimator calibration
evidenceraw statistics, uncertainty on the gain, scaling range, and noise decomposition
implementationstate preparation, readout, technical noise, drift, and postselection

If variances are compared, a gain factor can be written

G=(ΔθSQL)2(Δθtest)2.G = \frac{ (\Delta\theta_{\mathrm{SQL}})^2 }{ (\Delta\theta_{\mathrm{test}})^2 }.

The gain in decibels is

GdB=10log⁡10G.G_{\mathrm{dB}} = 10\log_{10}G.

A positive value is meaningful only relative to the declared benchmark and boundary. Claims, Hype, and Evidence Standards supplies the wider evidence framework.

Calling every 1/N1/\sqrt N law quantum

Section titled “Calling every 1/N1/\sqrt N1/N​ law quantum”

Inverse-square-root averaging is a statistical structure. It becomes a quantum limit only after the irreducible one-probe distribution and allowed strategy class are specified.

The general bound contains FQ(1)F_Q^{(1)}. Writing 1/N1/\sqrt N silently chooses units and a normalized generator.

Comparing detected probes with incident probes

Section titled “Comparing detected probes with incident probes”

Loss and postselection must be charged consistently to both strategies.

Treating variance as Fisher information for mixed states

Section titled “Treating variance as Fisher information for mixed states”

Classical mixtures can have large generator variance while carrying no parameter dependence.

Equating a constant gain with Heisenberg scaling

Section titled “Equating a constant gain with Heisenberg scaling”

A curve proportional to 0.7/N0.7/\sqrt N beats a unit-prefactor SQL but still has SQL scaling.

Ignoring estimator bias and prior knowledge

Section titled “Ignoring estimator bias and prior knowledge”

A constant estimator can have zero variance and no information. Cramér–Rao statements require local unbiasedness or a bias-aware generalization.

Treating a quiet sensor as an accurate sensor

Section titled “Treating a quiet sensor as an accurate sensor”

Statistical precision does not remove calibration bias or systematic uncertainty.

Independent probes, optical shot noise, spin projection noise, and continuous measurement have related but distinct bounds.

For

p±(θ)=1±sin⁡θ2,p_\pm(\theta) = \frac{1\pm\sin\theta}{2},

show that one probe has FC(1)=1F_C^{(1)}=1. What precision bound follows for RR independent probes?

Solution

The derivatives are

∂θp±=±cos⁡θ2.\partial_\theta p_\pm = \pm\frac{\cos\theta}{2}.

Hence

FC(1)=cos⁡2θ4(1p++1p−)=cos⁡2θ4p++p−p+p−=1,\begin{aligned} F_C^{(1)} &= \frac{\cos^2\theta}{4} \left( \frac{1}{p_+} + \frac{1}{p_-} \right) \\ &= \frac{\cos^2\theta}{4} \frac{p_++p_-}{p_+p_-} \\ &= 1, \end{aligned}

because p+p−=cos⁡2θ/4p_+p_-=\cos^2\theta/4. The result extends to the endpoints by a limit. Additivity gives FC(R)=RF_C^{(R)}=R, so a locally unbiased estimator satisfies

Δθ≥1R.\Delta\theta \ge \frac{1}{\sqrt R}.

Let X1,…,XRX_1,\ldots,X_R be independent with one-probe score

sj=∂θlog⁡p(Xj∣θ).s_j = \partial_\theta \log p(X_j\mid\theta).

Show that the total Fisher information is RFC(1)R F_C^{(1)} under the usual regularity condition E[sj]=0\mathbb E[s_j]=0.

Solution

The joint score is

S=∑j=1Rsj.S = \sum_{j=1}^{R}s_j.

Therefore

E[S2]=∑jE[sj2]+∑j≠kE[sjsk].\mathbb E[S^2] = \sum_j \mathbb E[s_j^2] + \sum_{j\ne k} \mathbb E[s_js_k].

Independence and zero mean give

E[sjsk]=E[sj]E[sk]=0\mathbb E[s_js_k] = \mathbb E[s_j]\mathbb E[s_k] = 0

for j≠kj\ne k. Each diagonal term is FC(1)F_C^{(1)}, so

FC(R)=E[S2]=RFC(1).F_C^{(R)} = \mathbb E[S^2] = R F_C^{(1)}.

A coherent spin state has ⟨Jx⟩=N/2\langle J_x\rangle=N/2 and (ΔJy)2=N/4(\Delta J_y)^2=N/4. A small zz rotation gives ∂θ⟨Jy⟩=N/2\partial_\theta\langle J_y\rangle=N/2. Derive the one-round phase uncertainty and evaluate it for N=106N=10^6.

Solution

Error propagation gives

Δθ=N/2N/2=1N.\Delta\theta = \frac{ \sqrt{N}/2 }{ N/2 } = \frac{1}{\sqrt N}.

For N=106N=10^6,

Δθ=10−3 rad\Delta\theta = 10^{-3}\ \mathrm{rad}

in the ideal local model.

An experiment sends Rin=108R_{\mathrm{in}}=10^8 independent normalized probes and has efficiency η=0.64\eta=0.64. Find the detection-limited SQL if no information is obtained from lost probes. Compare it with the incorrectly loss-free value.

Solution

The expected detected resource is

Rdet=0.64×108=6.4×107.R_{\mathrm{det}} = 0.64\times10^8 = 6.4\times10^7.

Thus

ΔθSQL≳16.4×107=1.25×10−4.\Delta\theta_{\mathrm{SQL}} \gtrsim \frac{1}{\sqrt{6.4\times10^7}} = 1.25\times10^{-4}.

Ignoring loss would give 10−410^{-4}. The loss increases the uncertainty by 1/0.64=1.251/\sqrt{0.64}=1.25.

Suppose

(Δθ)2=10−2R+10−10.(\Delta\theta)^2 = \frac{10^{-2}}{R} + 10^{-10}.

Find the resource R×R_\times where the two contributions are equal and the asymptotic uncertainty floor.

Solution

Set the two variance terms equal:

10−2R×=10−10.\frac{10^{-2}}{R_\times} = 10^{-10}.

Therefore

R×=108.R_\times = 10^8.

For R≫108R\gg10^8, the variance approaches 10−1010^{-10}, so the standard deviation approaches

Δθfloor=10−5.\Delta\theta_{\mathrm{floor}} = 10^{-5}.

For

ρ=12∣0⟩⟨0∣⊗N+12∣1⟩⟨1∣⊗N,\rho = \frac12 |0\rangle\langle0|^{\otimes N} + \frac12 |1\rangle\langle1|^{\otimes N},

compute (ΔJz)2(\Delta J_z)^2 and explain why the state has zero QFI for a JzJ_z-generated phase.

Solution

The two components have JzJ_z eigenvalues +N/2+N/2 and −N/2-N/2. The mean is zero and

(ΔJz)2=12(N2)2+12(−N2)2=N24.(\Delta J_z)^2 = \frac12 \left( \frac N2 \right)^2 + \frac12 \left( -\frac N2 \right)^2 = \frac{N^2}{4}.

Nevertheless, ρ\rho is diagonal in the JzJ_z basis, so

e−iθJzρeiθJz=ρ.e^{-i\theta J_z} \rho e^{i\theta J_z} = \rho.

No measurement can infer θ\theta from an unchanged state, and FQ[ρ,Jz]=0F_Q[\rho,J_z]=0. For mixed states, generator variance can be classical rather than phase-sensitive.

A protocol achieves

Δθ=0.8R.\Delta\theta = \frac{0.8}{\sqrt R}.

Does it beat the unit-prefactor SQL? Does it exhibit Heisenberg scaling? Compute its variance gain in decibels.

Solution

At matched RR, its variance is 0.64/R0.64/R rather than 1/R1/R, so it beats the unit-prefactor SQL by

G=10.64=1.5625.G = \frac{1}{0.64} = 1.5625.

The decibel gain is

GdB=10log⁡10(1.5625)≈1.94 dB.G_{\mathrm{dB}} = 10\log_{10}(1.5625) \approx 1.94\ \mathrm{dB}.

Its exponent remains −1/2-1/2, so this is a constant-factor sub-SQL gain, not Heisenberg scaling.

RR probes each pass through a phase sample mm times, producing a local phase response mm times larger than a single pass. The raw error propagation gives Δθ=1/(mR)\Delta\theta=1/(m\sqrt R). Express this in terms of the total channel uses Ruse=mRR_{\mathrm{use}}=mR.

Solution

Since R=Ruse/mR=R_{\mathrm{use}}/m,

Δθ=1mRuse/m=1mRuse.\Delta\theta = \frac{1}{ m\sqrt{R_{\mathrm{use}}/m} } = \frac{1}{ \sqrt{ mR_{\mathrm{use}} } }.

At fixed pass number mm, the scaling with total channel uses remains Ruse−1/2R_{\mathrm{use}}^{-1/2}, though the prefactor improves. If mm itself grows with the resource, interrogation time, loss, and sample exposure must also be included before assigning a scaling class.

The estimator θ^=0\widehat\theta=0 has zero variance for every data set. Why does it not violate the Cramér–Rao bound for an unknown θ\theta?

Solution

Its expectation is always zero, so its bias is

b(θ)=Eθ[θ^]−θ=−θ.b(\theta) = \mathbb E_\theta[\widehat\theta]-\theta = -\theta.

It is not locally unbiased except at a single point under a weak interpretation, and it has mean-square error

Eθ[(θ^−θ)2]=θ2.\mathbb E_\theta[ (\widehat\theta-\theta)^2 ] = \theta^2.

Variance alone is not a valid risk for comparing arbitrarily biased estimators. One must use an unbiased or bias-aware bound, a local minimax risk, or a Bayesian risk with a declared prior.

An experiment reports “4 dB below the SQL” after discarding 70% of runs and compares its accepted events with a benchmark charged for every input probe. Identify the principal defect and state a fair comparison.

Solution

The postselection boundaries do not match. The test strategy reports conditional performance per accepted event, while the benchmark pays for all attempts. A fair comparison must apply the same acceptance rule or charge both strategies for total incident probes, elapsed time, failed runs, and any heralding resources.

The report should also give the estimator risk, uncertainty on the 4 dB number, loss and detector efficiencies, technical-noise subtraction, operating point, and whether discarded outcomes could depend on the unknown parameter.

  1. H. Cramér, Mathematical Methods of Statistics, Princeton University Press (1946), publisher record.
  2. C. R. Rao, “Information and the accuracy attainable in the estimation of statistical parameters,” Bulletin of the Calcutta Mathematical Society 37, 81–91 (1945), reprint doi:10.1007/978-1-4612-0919-5_16.
  3. C. W. Helstrom, Quantum Detection and Estimation Theory, Academic Press (1976), doi:10.1016/C2013-0-10310-8.
  4. S. L. Braunstein and C. M. Caves, “Statistical distance and the geometry of quantum states,” Physical Review Letters 72, 3439–3443 (1994), doi:10.1103/PhysRevLett.72.3439.
  5. C. M. Caves, “Quantum-mechanical noise in an interferometer,” Physical Review D 23, 1693–1708 (1981), doi:10.1103/PhysRevD.23.1693.
  6. B. Yurke, S. L. McCall, and J. R. Klauder, “SU(2) and SU(1,1) interferometers,” Physical Review A 33, 4033–4054 (1986), doi:10.1103/PhysRevA.33.4033.
  7. D. J. Wineland, J. J. Bollinger, W. M. Itano, F. L. Moore, and D. J. Heinzen, “Spin squeezing and reduced quantum noise in spectroscopy,” Physical Review A 46, R6797–R6800 (1992), doi:10.1103/PhysRevA.46.R6797.
  8. V. Giovannetti, S. Lloyd, and L. Maccone, “Quantum-enhanced measurements: Beating the standard quantum limit,” Science 306, 1330–1336 (2004), doi:10.1126/science.1104149.
  9. V. Giovannetti, S. Lloyd, and L. Maccone, “Quantum metrology,” Physical Review Letters 96, 010401 (2006), doi:10.1103/PhysRevLett.96.010401.
  10. S. F. Huelga et al., “Improvement of frequency standards with quantum entanglement,” Physical Review Letters 79, 3865–3868 (1997), doi:10.1103/PhysRevLett.79.3865.
  11. B. M. Escher, R. L. de Matos Filho, and L. Davidovich, “General framework for estimating the ultimate precision limit in noisy quantum-enhanced metrology,” Nature Physics 7, 406–411 (2011), doi:10.1038/nphys1958.
  12. R. Demkowicz-Dobrzański, J. Kołodyński, and M. Guţă, “The elusive Heisenberg limit in quantum-enhanced metrology,” Nature Communications 3, 1063 (2012), doi:10.1038/ncomms2067.
  13. L. Pezzè, A. Smerzi, M. K. Oberthaler, R. Schmied, and P. Treutlein, “Quantum metrology with nonclassical states of atomic ensembles,” Reviews of Modern Physics 90, 035005 (2018), doi:10.1103/RevModPhys.90.035005.
  14. A. A. Clerk, M. H. Devoret, S. M. Girvin, F. Marquardt, and R. J. Schoelkopf, “Introduction to quantum noise, measurement, and amplification,” Reviews of Modern Physics 82, 1155–1208 (2010), doi:10.1103/RevModPhys.82.1155.
  15. M. G. A. Paris, “Quantum estimation for quantum technology,” International Journal of Quantum Information 7, 125–137 (2009), doi:10.1142/S0219749909004839.
  16. G. Tóth and I. Apellaniz, “Quantum metrology from a quantum information science perspective,” Journal of Physics A 47, 424006 (2014), doi:10.1088/1751-8113/47/42/424006.
  17. L. Pezzè and A. Smerzi, “Entanglement, nonlinear dynamics, and the Heisenberg limit,” Physical Review Letters 102, 100401 (2009), doi:10.1103/PhysRevLett.102.100401.
  • Quantum Measurement as Estimation develops the estimation contract that must be fixed before a precision benchmark can be interpreted.
  • Quantum Illumination treats binary target-channel discrimination, whose coherent-state benchmark and error exponent should not be relabeled as an SQL precision law.
  • Classical and Quantum Fisher Information derives the SLD metric, optimal-measurement bound, state formulas, and compatibility caveats used here.
  • Cramér–Rao Bounds owns the unbiasedness, regularity, nuisance-parameter, and attainability conditions behind the variance bounds used here.
  • Heisenberg Scaling develops the ideal inverse-resource law, global phase ambiguity, nonlinear encodings, and noise-induced crossovers.
  • Squeezing develops response-aware noise reduction, covariance geometry, loss, and the distinction between a constant gain and a changed scaling exponent.
  • Spin Squeezing turns the coherent-spin projection-noise reference into the Kitagawa–Ueda and Wineland parameters used in ensemble metrology.
  • Ramsey Interferometry realizes the independent-probe benchmark as a binary fringe and adds contrast, interrogation time, aliases, and duty cycle.
  • Mach–Zehnder Interferometry turns optical shot noise into a matched-resource comparison across incident, interacting, absorbed, detected, and reference photons.
  • Atomic Clocks converts projection noise into information per wall time and tests the benchmark inside a noisy oscillator-tracking loop.
  • Gravimetry and Inertial Sensing constructs the matched independent-atom benchmark for accelerometers, gravimeters, gyroscopes, and gradiometers, including accepted-shot and cycle-time resources.
  • Distributed Quantum Sensing distinguishes product-probe, locally entangled node-separable, and inter-node-entangled bounds for weighted spatial parameters.
  • Fisher Information derives scores, additivity, reparameterization, and the classical Cramér–Rao bound.
  • Variance and Covariance supplies the independent-sum and error-propagation identities used here.
  • GHZ States provide the canonical ideal state with collective-generator variance proportional to N2N^2.
  • Squeezed Light owns optical source physics, mode definitions, homodyne calibration, and detector-plane loss.
  • Precision Measurement and Metrology connects projection-noise scaling to clocks, interferometers, and real instrument budgets.
  • Quantum Information Roadmap places sensing after states, channels, measurements, and estimation theory.