Skip to content

Repeatability and QND Measurement

Repeatability and quantum nondemolition measurement are related but not identical ideas.

A measurement is repeatable when, after obtaining an outcome, an immediate repetition of the same ideal measurement gives the same outcome with probability one. This is a statement about the post-measurement state and the next measurement.

A measurement is quantum nondemolition (QND) when an observable can be monitored over time without the measurement process randomizing the later values of that same observable. This is a dynamical statement: it involves the system Hamiltonian, the measurement interaction, environmental loss, and the time scale on which repeated predictions are claimed.

The slogan is:

repeatable nowdoes not automatically meanQND over time.\text{repeatable now} \quad \text{does not automatically mean} \quad \text{QND over time}.

An ideal projective measurement can be repeatable and still disturb phases, conjugate variables, or unresolved internal labels. A QND measurement is allowed to disturb other degrees of freedom; it is designed so that the disturbance avoids the monitored observable.

Let a sharp measurement be represented by projectors {Πa}\{\Pi_a\}, with

ΠaΠb=δabΠa,∑aΠa=I.\Pi_a\Pi_b=\delta_{ab}\Pi_a, \qquad \sum_a\Pi_a=I.

For the ideal Lüders operation,

Ia(ρ)=ΠaρΠa,\mathcal I_a(\rho)=\Pi_a\rho\Pi_a,

the conditional state after outcome aa is

ρa=ΠaρΠaTr⁡(Πaρ).\rho_a = \frac{\Pi_a\rho\Pi_a} {\operatorname{Tr}(\Pi_a\rho)}.

A second immediate measurement of the same projective decomposition gives aa with probability one:

Tr⁡(Πaρa)=Tr⁡(ΠaΠaρΠa)Tr⁡(Πaρ)=1.\operatorname{Tr}(\Pi_a\rho_a) = \frac{\operatorname{Tr}(\Pi_a\Pi_a\rho\Pi_a)} {\operatorname{Tr}(\Pi_a\rho)} =1.

This is the simplest repeatability theorem for ideal projective measurements. It assumes no intervening dynamics, no noise, and a post-measurement system in the same Hilbert space.

For a more general outcome operation Ia\mathcal I_a, repeatability relative to the sharp question {Πa}\{\Pi_a\} requires the output of the aa operation to lie entirely in the aa subspace:

ΠaIa(ρ)Πa=Ia(ρ)\Pi_a\mathcal I_a(\rho)\Pi_a = \mathcal I_a(\rho)

for all inputs ρ\rho for which outcome aa can occur. Equivalently, when Tr⁡Ia(ρ)≠0\operatorname{Tr}\mathcal I_a(\rho)\ne0,

Tr⁡[ΠaIa(ρ)]Tr⁡Ia(ρ)=1.\frac{ \operatorname{Tr}[\Pi_a\mathcal I_a(\rho)] }{ \operatorname{Tr}\mathcal I_a(\rho) } =1.

The operation may still disturb other observables. Repeatability fixes only the next answer to the same question.

Repeatability is often misread as “the system was not disturbed.” That is too strong.

An ideal measurement of {Πa}\{\Pi_a\} can be repeatable while changing the state from ρ\rho to ρa\rho_a. If the input had coherence between different outcome subspaces, the selective update removes all components outside the observed subspace. If the outcome is ignored, the nonselective channel

ρ⟼∑aΠaρΠa\rho \longmapsto \sum_a\Pi_a\rho\Pi_a

removes coherence between different eigenspaces.

Degeneracy makes the point sharper. A Lüders measurement of a degenerate observable preserves coherence inside the measured eigenspace, while a refined apparatus can secretly measure additional labels and then report only the coarse outcome. Both devices can be repeatable for the coarse eigenvalue, but they leave different states for later compatible measurements. See Degenerate Measurements and Lüders Rule.

Destructive detection is different again. A photodetector click may be a sharp event in the detector record while absorbing the photon. It is not a QND measurement of the photon number remaining in the same mode; the carrier has been removed.

Suppose the first measurement prepares the system in the Πa\Pi_a subspace and the system then evolves unitarily under HSH_S for time tt:

U(t)=exp⁡(−iHSt/ℏ).U(t)=\exp(-iH_St/\hbar).

The outcome aa remains certain at the later time if the subspace is invariant under the evolution:

U(t)ΠaU†(t)=Πa.U(t)\Pi_aU^\dagger(t)=\Pi_a.

A sufficient time-independent condition is

[HS,Πa]=0[H_S,\Pi_a]=0

for every measured projector. Then

Tr⁡ ⁣[ΠaU(t)ρaU†(t)]=1.\operatorname{Tr} \!\left[ \Pi_aU(t)\rho_aU^\dagger(t) \right] =1.

If the measured observable is

A=∑aaΠa,A=\sum_a a\Pi_a,

then [HS,A]=0[H_S,A]=0 implies the spectral projectors are conserved, provided the eigenspaces are handled consistently. This is why energy measurements are the textbook example of repeatability over time in a closed system: ideal energy eigenprojectors commute with the Hamiltonian.

The condition can be relaxed. In stroboscopic protocols, one may only require the measured Heisenberg-picture observables at selected times to be mutually compatible:

[A(ti),A(tj)]=0[A(t_i),A(t_j)]=0

for the times actually probed. This allows QND-style monitoring of selected oscillator quadratures at special phases, even when AA is not conserved at every instant.

A QND observable is one whose value can be inferred repeatedly without the measurement backaction demolishing the future value being inferred. In a common idealized system-meter model, the interaction has the form

HI(t)=ℏg(t)A⊗PM,H_I(t)=\hbar g(t) A\otimes P_M,

where PMP_M is a meter variable conjugate to the pointer readout. If

[A,HS]=0,[A⊗IM,HI(t)]=0,[A,H_S]=0, \qquad [A\otimes I_M,H_I(t)]=0,

then the interaction can correlate the meter with AA without directly inducing transitions between different eigenspaces of AA. The measurement may dephase superpositions of different AA values, but it does not change the populations in the AA basis in the ideal model.

These commutation relations are best read as sufficient idealizations, not as a complete laboratory definition. Real QND claims must also specify:

  1. the Hilbert space and observable being monitored;
  2. the Hamiltonian terms retained in the approximation;
  3. leakage, loss, relaxation, and detector inefficiency;
  4. the time scale over which nondemolition behavior is asserted;
  5. which later predictions are protected and which variables are allowed to be disturbed.

A measurement can be QND for AA while being strongly demolishing for a conjugate phase or quadrature.

Continuous QND monitoring often appears as measurement-induced dephasing in the monitored basis. For a Hermitian dimensionless observable AA, an unconditional master equation may contain

ρ˙=−iℏ[H,ρ]+ΓmD[A]ρ,\dot\rho = -\frac{i}{\hbar}[H,\rho] + \Gamma_m\mathcal D[A]\rho,

with

D[A]ρ=AρA−12{A2,ρ}.\mathcal D[A]\rho = A\rho A - \frac{1}{2} \{A^2,\rho\}.

If A∣a⟩=a∣a⟩A|a\rangle=a|a\rangle and HH is diagonal in the same basis, then

ρ˙ab=−iℏ(Ea−Eb)ρab−Γm2(a−b)2ρab.\dot\rho_{ab} = -\frac{i}{\hbar}(E_a-E_b)\rho_{ab} - \frac{\Gamma_m}{2}(a-b)^2\rho_{ab}.

For a=ba=b, the dephasing term vanishes. The populations ρaa\rho_{aa} are unchanged by the measurement dephasing, while coherences between different AA values decay. This is the open-system signature of an ideal nondemolition monitor: information is gained about AA, and the price is phase randomization between different values of AA.

The conditioned version is described by a stochastic master equation. The measurement record gradually reveals information about AA, while the conditioned state is updated by the observed noise. For the trajectory formalism, see Stochastic Master Equations and Diffusive Trajectories.

Dispersive superconducting-qubit readout is a central approximate QND example. In the simplest two-level dispersive model,

Hdispℏ=(ωr+χσz)a†a+12(ωq+χ)σz.\frac{H_{\mathrm{disp}}}{\hbar} = \left(\omega_r+\chi\sigma_z\right)a^\dagger a + \frac{1}{2}(\omega_q+\chi)\sigma_z.

This Hamiltonian commutes with σz\sigma_z in the idealized qubit subspace:

[Hdisp,σz]=0.[H_{\mathrm{disp}},\sigma_z]=0.

A microwave pulse sent through the resonator acquires a qubit-state-dependent phase. The outgoing field therefore carries information about σz\sigma_z, while the dominant ideal backaction dephases superpositions of ∣g⟩\lvert g\rangle and ∣e⟩\lvert e\rangle.

The word “approximate” matters. Dispersive readout ceases to be perfectly QND when relaxation, Purcell decay, leakage outside the qubit subspace, nonadiabatic pulse effects, dressed-state transitions, residual thermal photons, or detector-induced excitation become relevant. The canonical platform discussion is Circuit QED.

In cavity QED, photon-number QND measurements use a probe whose phase depends on the number of photons in a cavity mode without absorbing those photons in the ideal limit. A dispersive atom-field interaction can have the schematic form

Hintℏ=χa†a σz.\frac{H_{\mathrm{int}}}{\hbar} = \chi a^\dagger a\,\sigma_z.

Since

[a†a,Hint]=0,[a^\dagger a,H_{\mathrm{int}}]=0,

the interaction can imprint photon-number information on the probe atom while preserving the photon number of the cavity field in the idealized interaction. The state may still lose phase coherence between different number states, and real cavities have loss. Thus the QND statement is always limited by photon lifetime, imperfect probes, and unwanted absorption or emission channels.

See Cavity QED for the broader open-system setting.

Gravitational-Wave and Optomechanical Contexts

Section titled “Gravitational-Wave and Optomechanical Contexts”

QND ideas entered gravitational-wave detection because a continuous position measurement of a free mass is not automatically nondemolition. For a free mass,

X(t)=X(0)+P(0)tm,X(t)=X(0)+\frac{P(0)t}{m},

so

[X(t),X(t′)]=iℏm(t′−t).[X(t),X(t')] = \frac{i\hbar}{m}(t'-t).

Backaction on momentum at one time can feed into position at a later time. The standard quantum limit for simple interferometric position readout reflects this tradeoff between imprecision and radiation-pressure backaction.

QND and backaction-evading strategies change the measurement design: they may monitor a variable whose later value is not contaminated by the backaction, correlate imprecision and backaction noise, use squeezed input states, or measure selected mechanical quadratures. These strategies do not remove quantum backaction from nature; they route it away from the signal variable for a specified task. See Optomechanics for the platform-level context.

When assessing a claimed repeatable or QND measurement, ask:

  1. What is the measured observable or projector family?
  2. Is the same physical system available after the measurement?
  3. Does the conditional operation leave the system inside the reported eigenspace?
  4. Does the free Hamiltonian preserve that eigenspace?
  5. Does the measurement interaction commute with the monitored observable in the model being used?
  6. Which degrees of freedom absorb the backaction?
  7. What leakage, relaxation, loss, heating, or detector imperfection breaks the ideal limit?
  8. Over what time interval is the nondemolition approximation quantitatively accurate?

This checklist is often more useful than the bare statement [A,H]=0[A,H]=0, because many real failures of QND behavior come from terms that were omitted in the first Hamiltonian.

Repeatability of the same outcome does not mean the state is unchanged. Projection, dephasing, phase diffusion, and disturbance of conjugate variables may all occur.

A detector that absorbs the system being measured can produce a sharp record, but it is not a nondemolition monitor of the same system observable after the event.

Commutation with the ideal Hamiltonian is only part of a QND claim. Loss channels, leakage levels, finite pulses, detector backaction, and environmental couplings can spoil nondemolition behavior.

An observable may be approximately conserved over a short measurement time but not over the full duration of an experiment.

Repeatability for a coarse eigenvalue does not determine whether coherence inside a degenerate eigenspace was preserved. The instrument, not only the effect, decides that.

Let {Πa}\{\Pi_a\} be a projective measurement and let

ρa=ΠaρΠaTr⁡(Πaρ).\rho_a = \frac{\Pi_a\rho\Pi_a} {\operatorname{Tr}(\Pi_a\rho)}.

Show that an immediate repetition gives outcome aa with probability one.

Solution

The probability of obtaining aa again is

Tr⁡(Πaρa)=Tr⁡(ΠaΠaρΠa)Tr⁡(Πaρ).\operatorname{Tr}(\Pi_a\rho_a) = \frac{ \operatorname{Tr}(\Pi_a\Pi_a\rho\Pi_a) }{ \operatorname{Tr}(\Pi_a\rho) }.

Using Πa2=Πa\Pi_a^2=\Pi_a and cyclicity of the trace,

Tr⁡(ΠaΠaρΠa)=Tr⁡(ΠaρΠa)=Tr⁡(Πaρ).\operatorname{Tr}(\Pi_a\Pi_a\rho\Pi_a) = \operatorname{Tr}(\Pi_a\rho\Pi_a) = \operatorname{Tr}(\Pi_a\rho).

Therefore Tr⁡(Πaρa)=1\operatorname{Tr}(\Pi_a\rho_a)=1.

Let U(t)=exp⁡(−iHSt/ℏ)U(t)=\exp(-iH_St/\hbar) and suppose [Πa,HS]=0[\Pi_a,H_S]=0. Show that if ρa\rho_a satisfies ΠaρaΠa=ρa\Pi_a\rho_a\Pi_a=\rho_a, then the later state U(t)ρaU†(t)U(t)\rho_aU^\dagger(t) is still supported in the same subspace.

Solution

The commutator condition implies U(t)Πa=ΠaU(t)U(t)\Pi_a=\Pi_aU(t). Then

ΠaU(t)ρaU†(t)Πa=U(t)ΠaρaΠaU†(t)=U(t)ρaU†(t).\Pi_aU(t)\rho_aU^\dagger(t)\Pi_a = U(t)\Pi_a\rho_a\Pi_aU^\dagger(t) = U(t)\rho_aU^\dagger(t).

Thus a later ideal measurement of the same projector gives outcome aa with probability one.

For a qubit with A=σzA=\sigma_z, consider the unconditional master equation

ρ˙=Γm(σzρσz−ρ).\dot\rho = \Gamma_m \left( \sigma_z\rho\sigma_z-\rho \right).

Write the equations for the density-matrix elements in the σz\sigma_z basis.

Solution

Let

ρ=(ρ00ρ01ρ10ρ11).\rho = \begin{pmatrix} \rho_{00} & \rho_{01}\\ \rho_{10} & \rho_{11} \end{pmatrix}.

Since

σzρσz=(ρ00−ρ01−ρ10ρ11),\sigma_z\rho\sigma_z = \begin{pmatrix} \rho_{00} & -\rho_{01}\\ -\rho_{10} & \rho_{11} \end{pmatrix},

the equation gives

ρ˙00=0,ρ˙11=0,ρ˙01=−2Γmρ01,ρ˙10=−2Γmρ10.\dot\rho_{00}=0, \qquad \dot\rho_{11}=0, \qquad \dot\rho_{01}=-2\Gamma_m\rho_{01}, \qquad \dot\rho_{10}=-2\Gamma_m\rho_{10}.

The populations in the measured basis are unchanged, while coherence between the two measured values decays. This is the ideal unconditional signature of nondemolition monitoring of σz\sigma_z.

Why is ordinary absorption photodetection not a QND measurement of photon number in the same mode?

Solution

An absorption click removes a photon from the mode. In quantum-jump language the click operation is proportional to

aρa†.a\rho a^\dagger.

This changes the photon number of the remaining field. The detector record can be sharp and useful, but it demolishes the photon whose presence was detected. A photon-number QND measurement instead tries to infer a†aa^\dagger a through a dispersive probe while preserving the photon number, up to cavity loss and other imperfections.

  • V. B. Braginsky, Yu. I. Vorontsov, and K. S. Thorne, “Quantum nondemolition measurements,” Science 209, 547–557 (1980).
  • C. M. Caves, K. S. Thorne, R. W. P. Drever, V. D. Sandberg, and M. Zimmermann, “On the measurement of a weak classical force coupled to a quantum-mechanical oscillator. I. Issues of principle,” Reviews of Modern Physics 52, 341–392 (1980).
  • V. B. Braginsky and F. Y. Khalili, Quantum Measurement, Cambridge University Press (1992).
  • H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control, Cambridge University Press (2010).
  • K. Jacobs, Quantum Measurement Theory and its Applications, Cambridge University Press (2014).
  • S. Haroche and J.-M. Raimond, Exploring the Quantum: Atoms, Cavities, and Photons, Oxford University Press (2006).
  • S. Gleyzes et al., “Quantum jumps of light recording the birth and death of a photon in a cavity,” Nature 446, 297–300 (2007).
  • A. Blais, A. L. Grimsmo, S. M. Girvin, and A. Wallraff, “Circuit quantum electrodynamics,” Reviews of Modern Physics 93, 025005 (2021).