von Neumann Measurement Model

The von Neumann measurement model shows how the formal update rules of ideal measurement can arise from ordinary unitary dynamics on a larger system: the quantum system plus an apparatus pointer. The essential step is not a mysterious interruption of Schrödinger evolution. It is the creation of correlations between system alternatives and macroscopically distinguishable pointer states.

The model is idealized, but it is the standard reference point for understanding projective measurement, backaction, pointer states, decoherence, and the distinction between selective and nonselective updates.

Discrete Correlation Model

Let $\{|a\rangle\}$ be orthonormal eigenstates of the system observable being measured, and let $|A_0\rangle$ be the ready state of the apparatus pointer. An ideal premeasurement unitary satisfies

$$U_{\mathrm{meas}} \left( |a\rangle|A_0\rangle \right) = |a\rangle|A_a\rangle,$$

where the pointer states $|A_a\rangle$ are distinguishable apparatus states associated with different outcomes.

By linearity, an input superposition evolves as

$$\left(\sum_a c_a|a\rangle\right)|A_0\rangle \longrightarrow \sum_a c_a|a\rangle|A_a\rangle.$$

The result is not a product state. It is an entangled system-apparatus state, unless only one coefficient $c_a$ is nonzero.

The von Neumann premeasurement step correlates system alternatives $|a\rangle$ with pointer states $|A_a\rangle$. Reading the pointer gives a selective state; ignoring or tracing over the pointer gives the nonselective measurement channel.

Recovering Outcome Probabilities

If the pointer states are orthonormal or effectively distinguishable,

$$\langle A_b|A_a\rangle=\delta_{ab},$$

then measuring the pointer in the $\{|A_a\rangle\}$ basis gives outcome $a$ with probability

$$p(a)=|c_a|^2.$$

For a general density operator $\rho$, the same ideal measurement is represented by projectors

$$P_a=|a\rangle\langle a|,$$

and the probability is

$$p(a)=\operatorname{Tr}(P_a\rho).$$

The apparatus model therefore reproduces the projective Born rule when the pointer states faithfully distinguish the system alternatives.

Selective Update from Reading the Pointer

Suppose the pointer is read and outcome $a$ is obtained. Conditioning the joint state on the pointer result gives the system state

$$\rho_a = \frac{P_a\rho P_a} {\operatorname{Tr}(P_a\rho)}.$$

This is the selective projective update. In the premeasurement picture, it is not applied before the apparatus interaction. It is the state assignment after the pointer record is known.

The sequence is:

system interacts with pointer
  -> pointer outcome becomes available
  -> condition on the observed pointer outcome
  -> use the corresponding selective state

This ordering matters. State update is tied to a physical record and to the information used for later predictions.

Nonselective Update from Ignoring the Pointer

If the pointer outcome is not read or not retained, the system state is obtained by tracing over the pointer. Starting from a pure input

$$|\Psi\rangle = \sum_a c_a|a\rangle|A_a\rangle,$$

the reduced system state is

$$\rho_S = \operatorname{Tr}_A|\Psi\rangle\langle\Psi| = \sum_{a,b} c_a c_b^* \langle A_b|A_a\rangle |a\rangle\langle b|.$$

If the pointer states are orthogonal, this becomes

$$\rho_S = \sum_a |c_a|^2 |a\rangle\langle a|.$$

For a general density operator, the unread ideal measurement channel is

$$\rho \longmapsto \sum_a P_a\rho P_a.$$

Thus the nonselective update is reduced dynamics: the total system-apparatus state may evolve unitarily, while the system alone loses coherence in the measured basis.

Imperfect Pointers and Unsharp Measurements

The ideal projective limit requires pointer states that are reliably distinguishable. If the pointer states have nonzero overlaps,

$$\langle A_b|A_a\rangle\ne0 \qquad (a\ne b),$$

then the reduced state retains some coherence between $|a\rangle$ and $|b\rangle$:

$$\rho_{ab} \longmapsto \rho_{ab}\langle A_b|A_a\rangle.$$

The measurement is then not fully projective. It may be better described as an unsharp measurement or a POVM, depending on how the pointer is read out. This is the operational meaning of finite resolution: if the apparatus cannot reliably separate alternatives, it cannot implement a sharp PVM.

Continuous Pointer Model

The textbook von Neumann model often uses a continuous pointer coordinate $Q$ with conjugate momentum $P_Q$ satisfying

$$[Q,P_Q]=i\hbar.$$

Let the measured system observable be

$$A=\sum_a aP_a.$$

During a short measurement interval, the interaction Hamiltonian is idealized as

$$H_{\mathrm{int}}(t) = g(t)\,A\otimes P_Q.$$

If

$$\kappa=\int dt\,g(t),$$

then the interaction unitary is

$$U_{\mathrm{int}} = \exp\!\left( -\frac{i}{\hbar} \kappa A\otimes P_Q \right).$$

For an eigenstate $|a\rangle$ and pointer wavefunction $\phi(q)$, this unitary shifts the pointer packet:

$$|a\rangle\phi(q) \longrightarrow |a\rangle\phi(q-\kappa a).$$

A superposition of eigenstates becomes a superposition of differently shifted pointer packets. If those packets are well separated compared with their widths, the measurement is approximately projective. If they strongly overlap, the measurement is weak or unsharp.

Decoherence of Pointer States

Macroscopic pointers are not isolated. They interact with many environmental degrees of freedom. A more realistic correlation chain is

$$\sum_a c_a|a\rangle|A_a\rangle|E_0\rangle \longrightarrow \sum_a c_a|a\rangle|A_a\rangle|E_a\rangle.$$

After tracing over the environment, interference between different pointer alternatives is multiplied by environmental overlaps:

$$\langle E_b|E_a\rangle.$$

For macroscopic records, these overlaps are often extremely small on practical time scales. Decoherence therefore explains why pointer alternatives behave as stable classical records for local observers.

This does not, by itself, settle every interpretation question about definite outcomes. It explains the suppression of interference in reduced descriptions and the robustness of pointer records.

What the Model Explains

The von Neumann model explains several structural facts:

• why apparatus degrees of freedom belong in a measurement model;
• how outcome probabilities can be read from pointer correlations;
• why conditioning on a pointer record gives a selective update;
• why ignoring the pointer gives a nonselective channel;
• why measurement can disturb the system even when the total dynamics is unitary;
• why finite pointer resolution leads naturally toward POVMs;
• why decoherence is relevant to the classical appearance of measurement records.

It also marks boundaries. The model is not a complete detector engineering theory, not a universal proof that all measurements are projective, and not by itself a resolution of the measurement problem.

Example: Stern–Gerlach as a Pointer Model

In a Stern–Gerlach measurement of spin along $z$, the spin degree of freedom becomes correlated with spatial wavepackets. Schematically,

$$\left( \alpha|+\rangle_z + \beta|-\rangle_z \right) \phi_0(\mathbf r) \longrightarrow \alpha|+\rangle_z\phi_+(\mathbf r) + \beta|-\rangle_z\phi_-(\mathbf r).$$

The spatial packet is the pointer. If $\phi_+$ and $\phi_-$ are well separated at the detection screen, reading the spot position approximately measures $\sigma_z$. If the packets overlap substantially, the measurement is not an ideal sharp spin measurement.

Common Mistakes

• Thinking the model says collapse occurs before the apparatus interaction.
• Forgetting that the premeasurement state is generally entangled, not one selected branch.
• Treating pointer states as perfectly distinguishable without checking their overlap.
• Ignoring the nonselective state when the pointer record is unavailable.
• Treating decoherence as identical to selecting a single outcome.
• Calling every system-apparatus coupling a projective measurement.
• Forgetting that real detectors may be destructive, inefficient, noisy, or coarse grained.

Cross-Links

• Projective Measurements
• Selective and Nonselective Measurements
• State Update Rules
• Common Misconceptions
• Closed vs Open Quantum Systems
• Decoherence Preview
• Partial Trace
• What the Postulates Do Not Say

References

• J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
• E. P. Wigner, “The Problem of Measurement,” American Journal of Physics 31, 6–15, 1963.
• A. Peres, Quantum Theory: Concepts and Methods, Kluwer, 1995.
• P. Busch, P. J. Lahti, and P. Mittelstaedt, The Quantum Theory of Measurement, Springer, 1996.
• W. H. Zurek, “Decoherence, einselection, and the quantum origins of the classical,” Reviews of Modern Physics 75, 715–775, 2003.
• M. Schlosshauer, Decoherence and the Quantum-to-Classical Transition, Springer, 2007.
• H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control, Cambridge University Press, 2010.

Exercises

1. Suppose

$$|\psi\rangle = \alpha|0\rangle+\beta|1\rangle$$

and the apparatus unitary maps $|0\rangle|A_0\rangle$ to $|0\rangle|A_0'\rangle$ and $|1\rangle|A_0\rangle$ to $|1\rangle|A_1'\rangle$. Write the final system-apparatus state.

Solution

By linearity,

$$|\psi\rangle|A_0\rangle \longrightarrow \alpha|0\rangle|A_0'\rangle + \beta|1\rangle|A_1'\rangle.$$

Unless one coefficient vanishes or the pointer states are identical, this is an entangled state of system and apparatus.

2. For the state in Exercise 1, compute the reduced system density matrix when $\langle A_1'|A_0'\rangle=\gamma$.

Solution

The reduced state is

$$\rho_S = |\alpha|^2|0\rangle\langle0| + |\beta|^2|1\rangle\langle1| + \alpha\beta^*\gamma^* |0\rangle\langle1| + \alpha^*\beta\gamma |1\rangle\langle0|.$$

If $\gamma=0$, the system is fully dephased in the $\{|0\rangle,|1\rangle\}$ basis. If $\gamma=1$, tracing over the apparatus has not reduced the system coherence.

3. In the continuous pointer model, why does large separation between pointer packets make the measurement closer to projective?

Solution

Large separation makes the shifted pointer wavefunctions nearly orthogonal. Orthogonal pointer states can be reliably distinguished and suppress off-diagonal reduced-system terms after the pointer is ignored. Overlapping pointer states give ambiguous readout and leave residual coherence, so the measurement is weaker or unsharp.

4. Does the unitary premeasurement step by itself produce a selected outcome?

Solution

No. The premeasurement unitary produces a correlated superposition $\sum_a c_a|a\rangle|A_a\rangle$. A selective state is assigned only after conditioning on a pointer record. If the pointer is ignored, the system is described by a nonselective reduced state. Interpreting how a single definite outcome is selected is a foundations question beyond the unitary correlation step alone.