Bayesian Quantum Measurement

Bayesian language is extremely useful in quantum measurement, but it must be used with care. Measurement outcomes provide likelihoods, observers update state assignments, and continuous records drive real-time filters. At the same time, quantum measurements are physical operations: they can disturb the system, remove coherence, entangle it with an apparatus, or apply an outcome-dependent transformation.

The useful slogan is:

$$\text{Bayes explains conditioning;} \qquad \text{instruments explain quantum state change.}$$

This page separates two ideas that are often conflated:

• Bayesian inference about a classical hypothesis, parameter, preparation, or device model;
• quantum state update of the measured system after an outcome.

They coincide in important nondemolition and effectively classical limits. They are not the same principle in general.

Classical Bayes Rule

For a classical hypothesis $h$ and observed outcome $m$, Bayes’ rule says

$$P(h\mid m) = \frac{P(m\mid h)P(h)} {\sum_{h'}P(m\mid h')P(h')}.$$

The likelihood $P(m\mid h)$ says how probable the observed outcome would be if $h$ were true. The posterior $P(h\mid m)$ is an updated probability distribution over the same alternatives.

Nothing in this rule changes the physical object being observed. It changes the observer’s probability assignment about $h$.

For the probability-theory background, see Bayes Rule.

Quantum Likelihoods

In quantum measurement, the likelihood of an outcome comes from the Born rule. If a measurement has POVM effects $\{F_m\}$, then

$$p(m\mid\rho) = \operatorname{Tr}(F_m\rho).$$

This formula can be used in ordinary Bayesian inference. For example, if a source prepares one of several candidate states $\rho_h$ with prior probabilities $P(h)$, then outcome $m$ updates the preparation hypothesis by

$$P(h\mid m) = \frac{\operatorname{Tr}(F_m\rho_h)P(h)} {\sum_{h'} \operatorname{Tr}(F_m\rho_{h'})P(h')}.$$

This is classical Bayesian inference with quantum likelihoods. The alternatives $h$ are classical hypotheses about preparation, calibration, parameters, or device settings. The posterior is a probability distribution over those hypotheses.

For a continuous family of candidate states or parameters $\theta$, the same idea becomes

$$\pi(\theta\mid m) = \frac{p(m\mid\theta)\pi(\theta)} {\int d\theta'\,p(m\mid\theta')\pi(\theta')}.$$

This is the statistical structure behind Bayesian state tomography, detector tomography, Hamiltonian learning, and parameter estimation. It is not yet a statement about the post-measurement state of the measured system.

Quantum Conditional State

The state of the measured system after a known outcome is determined by an instrument, not by the POVM effect alone. For an outcome-resolved operation $\mathcal I_m$,

$$\tilde\rho_m = \mathcal I_m(\rho), \qquad p(m\mid\rho) = \operatorname{Tr}[\mathcal I_m(\rho)],$$

and the normalized conditional state is

$$\rho_m = \frac{\mathcal I_m(\rho)} {\operatorname{Tr}[\mathcal I_m(\rho)]}.$$

If the outcome operation has one Kraus operator $M_m$, this becomes

$$\rho_m = \frac{M_m\rho M_m^\dagger} {\operatorname{Tr}(M_m^\dagger M_m\rho)}.$$

The denominator is a likelihood. The numerator is a physical state transformation. It can change coherences, purities, correlations with other systems, and future measurement probabilities.

This is why a POVM alone is not a complete measurement-update rule. Two devices can have the same effect $F_m$ and therefore the same outcome probabilities, while leaving different conditional states.

For the canonical operational formalism, see Quantum Instruments and State Update Rules.

When the Analogy Becomes Exact

The Bayesian analogy becomes exact for the diagonal probabilities of a quantum nondemolition measurement. Let the system have an orthonormal pointer basis $\{|x\rangle\}$, and suppose the prior state is diagonal:

$$\rho = \sum_x p_x |x\rangle\langle x|.$$

Consider a measurement whose outcome $m$ has conditional probabilities $p(m\mid x)$ and does not mix the pointer states. A simple Kraus operator is

$$M_m = \sum_x \sqrt{p(m\mid x)} |x\rangle\langle x|.$$

Then

$$M_m\rho M_m^\dagger = \sum_x p(m\mid x)p_x |x\rangle\langle x|,$$

and normalization gives

$$p_x \longmapsto p(x\mid m) = \frac{p(m\mid x)p_x} {\sum_y p(m\mid y)p_y}.$$

For these diagonal probabilities, the quantum update is exactly Bayes’ rule. This is the regime behind many quantum nondemolition readout models, classical pointer-state filters, and weak continuous measurements of a commuting observable.

What Happens to Coherence

If the input state has coherences in the pointer basis,

$$\rho = \sum_{x,y} \rho_{xy}|x\rangle\langle y|,$$

the same measurement transforms the unnormalized matrix elements as

$$\rho_{xy} \longmapsto \sqrt{p(m\mid x)p(m\mid y)}\,\rho_{xy}.$$

After normalization, the diagonal elements follow Bayes’ rule, but the off-diagonal elements are also changed. Repeated acquisition of information about $x$ suppresses coherences between alternatives that become distinguishable in the record.

This is the simplest place to see the boundary:

$$\text{Bayes updates populations;} \qquad \text{quantum backaction also changes coherences.}$$

The coherence change is not an optional philosophical interpretation. It affects later interference experiments.

Same Likelihood, Different Backaction

Outcome probabilities do not determine the post-measurement state. Suppose a one-Kraus operation has $M_m^\dagger M_m=F_m$. If an apparatus applies an outcome-dependent unitary $U_m$ after the readout, then

$$N_m = U_mM_m$$

has the same effect:

$$N_m^\dagger N_m = M_m^\dagger U_m^\dagger U_mM_m = F_m.$$

Thus $M_m$ and $N_m$ give the same likelihood for outcome $m$, but their conditional states differ:

$$\frac{M_m\rho M_m^\dagger}{\operatorname{Tr}(F_m\rho)} \quad\text{versus}\quad \frac{U_mM_m\rho M_m^\dagger U_m^\dagger} {\operatorname{Tr}(F_m\rho)}.$$

Bayesian likelihoods alone cannot tell these devices apart. Sequential measurements can.

Selective and Nonselective Views

Bayesian language usually refers to selective information: the observer knows the outcome $m$. Quantum measurement theory also needs the nonselective state when the outcome is ignored:

$$\rho' = \sum_m\mathcal I_m(\rho).$$

The selective state $\rho_m$ is conditioned on a record. The nonselective state $\rho'$ averages over outcomes. Confusing them produces many apparent paradoxes: one observer who has read the detector assigns $\rho_m$, while another observer who knows only that the measurement occurred assigns $\rho'$.

This is the finite-outcome version of the continuous-monitoring distinction between a conditional trajectory and an unconditional master equation.

See Selective and Nonselective Measurements for the canonical treatment.

Weak Measurement

Weak measurements make the Bayesian structure especially visible. A single weak outcome often gives only a small likelihood ratio between alternatives, so the state update is modest. Repeated weak outcomes can nevertheless accumulate strong evidence.

For a two-level nondemolition readout of $\sigma_z$, write the pointer alternatives as $z=\pm1$. If a weak detector output $r$ has likelihood density $p(r\mid z)$, then the diagonal odds update as

$$\frac{p(z=+1\mid r)} {p(z=-1\mid r)} = \frac{p(r\mid z=+1)} {p(r\mid z=-1)} \frac{p(z=+1)} {p(z=-1)}.$$

The log-odds form is additive:

$$\log \frac{p(+\mid r)} {p(-\mid r)} = \log \frac{p(+)}{p(-)} + \log \frac{p(r\mid +)} {p(r\mid -)}.$$

Continuous measurement is the limit of many such small updates. The record provides a stream of incremental likelihood ratios, while the stochastic master equation keeps track of the accompanying quantum backaction.

For the measurement-strength and weak-update viewpoint, see Weak Measurements and Continuous Monitoring.

Continuous Records and Filtering

For a continuous record, the posterior is updated in time. In a diffusive model,

$$dY_t = \mu_t\,dt + dW_t,$$

where $\mu_t$ is the predicted signal from the current conditional state. The likelihood density of a small record increment has the Gaussian form, up to normalization independent of $\mu_t$,

$$p(dY_t\mid\rho_c) \propto \exp \left[ - \frac{(dY_t-\mu_tdt)^2}{2dt} \right].$$

The innovation

$$dW_t = dY_t-\mu_tdt$$

is the new information in the record. A quantum filter uses this innovation to update the conditional state. The update has a Bayesian flavor, but it is implemented by the continuous-time limit of instruments, not by a classical likelihood alone.

For the full recursive estimation viewpoint, see Quantum Filtering.

Bayesian State Tomography Is Different

Bayesian quantum state tomography places a prior distribution over possible preparation states and updates that prior using measurement outcomes. If the unknown preparation state is denoted $\rho_\theta$, then a data set $D$ gives

$$\pi(\theta\mid D) \propto p(D\mid\rho_\theta)\pi(\theta).$$

This posterior is about the source or preparation procedure. It should not be confused with the state of a particular system after being measured. A destructive tomography measurement may leave no usable post-measurement system at all, while still providing excellent information about the preparation ensemble.

This distinction is essential in tomography, benchmarking, and calibration:

$$\text{posterior over models} \ne \text{post-measurement state of one system}.$$

For detector and measurement tomography, see Measurement Tomography.

Interpretive Caution

Some interpretations treat the quantum state primarily as an agent’s state of knowledge or expectation; others treat it as an objective physical state or as part of a larger dynamical description. This page does not need to settle that debate.

Operationally, the safe statement is narrower:

• quantum theory assigns probabilities to outcomes;
• known outcomes change the state used for future predictions;
• the correct conditional state depends on the measurement instrument;
• classical Bayesian inference can be applied to hypotheses about preparations, parameters, and devices;
• the quantum state update cannot generally be replaced by a classical posterior over pre-existing values.

This operational distinction is enough for calculations, data analysis, and feedback control.

Common Mistakes

• Treating a POVM effect as if it determined the post-measurement state.
• Calling every quantum state update “just Bayes” without specifying the instrument and backaction.
• Confusing a posterior over preparation hypotheses with the conditional state of the measured system.
• Ignoring coherence changes when a measurement reveals information about a basis.
• Using a nonselective state after a known outcome, or a selective state when the outcome was ignored.
• Applying a classical hidden-variable update to noncommuting observables without checking whether a joint classical model exists.
• Using a filtered or smoothed estimate from data analysis as if it were the physical state left by a single destructive measurement.

Cross-Links

• Bayes Rule for the classical conditioning formula.
• State Update Rules for the hierarchy of quantum updates.
• Quantum Instruments for the canonical object combining likelihood and state change.
• POVMs for probability effects without a unique backaction rule.
• Measurement Backaction for physical disturbance and information gain.
• Weak Measurements for small likelihood-ratio updates and weak backaction.
• Quantum Filtering for recursive state estimation from continuous records.
• Measurement Tomography for Bayesian inference about detector models.

References

• C. W. Helstrom, Quantum Detection and Estimation Theory, Academic Press, 1976.
• A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory, North-Holland, 1982.
• M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000.
• 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.
• A. Barchielli and M. Gregoratti, Quantum Trajectories and Measurements in Continuous Time, Springer, 2009.
• C. M. Caves, C. A. Fuchs, and R. Schack, “Quantum probabilities as Bayesian probabilities,” Physical Review A 65, 022305, 2002.

Exercises

1. A source prepares either $\rho_0$ or $\rho_1$ with prior probabilities $\pi_0$ and $\pi_1$. A measurement with effect $F_m$ gives outcome $m$. Derive the posterior odds.

Solution

The likelihoods are

$$p(m\mid\rho_j) = \operatorname{Tr}(F_m\rho_j), \qquad j=0,1.$$

Bayes’ rule gives

$$\frac{P(0\mid m)} {P(1\mid m)} = \frac{\operatorname{Tr}(F_m\rho_0)} {\operatorname{Tr}(F_m\rho_1)} \frac{\pi_0}{\pi_1}.$$

This posterior is about the preparation hypothesis, not by itself the state left after the measurement.

2. Let $N_m=U_mM_m$, where $U_m$ is unitary. Show that $M_m$ and $N_m$ give the same likelihood but generally different conditional states.

Solution

Both operations have the same effect:

$$N_m^\dagger N_m = M_m^\dagger U_m^\dagger U_mM_m = M_m^\dagger M_m.$$

Therefore

$$\operatorname{Tr}(N_m^\dagger N_m\rho) = \operatorname{Tr}(M_m^\dagger M_m\rho),$$

so the outcome likelihood is the same. The conditional states are

$$\rho_m^{(M)} = \frac{M_m\rho M_m^\dagger} {\operatorname{Tr}(M_m^\dagger M_m\rho)}$$

and

$$\rho_m^{(N)} = \frac{U_mM_m\rho M_m^\dagger U_m^\dagger} {\operatorname{Tr}(M_m^\dagger M_m\rho)}.$$

They differ whenever $U_m$ has a nontrivial action on the post-measurement state.

3. For a nondemolition measurement with

$$M_m = \sum_x \sqrt{p(m\mid x)} |x\rangle\langle x|,$$

and a diagonal prior $\rho=\sum_xp_x|x\rangle\langle x|$, show that the diagonal update is Bayes’ rule.

Solution

The unnormalized updated state is

$$M_m\rho M_m^\dagger = \sum_x p(m\mid x)p_x |x\rangle\langle x|.$$

Its trace is

$$p(m) = \sum_xp(m\mid x)p_x.$$

After normalization, the coefficient of $|x\rangle\langle x|$ is

$$p(x\mid m) = \frac{p(m\mid x)p_x} {\sum_y p(m\mid y)p_y},$$

which is Bayes’ rule.

4. A data-analysis routine estimates a posterior distribution over an unknown detector efficiency $\eta$. Is that posterior the same object as the conditional quantum state of the measured system?

Solution

No. The posterior over $\eta$ is a classical probability distribution over a model parameter. The conditional quantum state is an operator assigned to the measured system, usually updated through an instrument or stochastic master equation. The two can be coupled in a hybrid inference problem, but they are different mathematical objects with different operational meanings.