Measurement and Open Quantum Systems

Measurement, decoherence, and open-system dynamics ask what happens when the quantum system of interest is not treated as a perfectly closed system. A detector may be read out, an environment may be ignored, a reservoir may dissipate energy, or a monitoring record may be used for feedback. The same underlying interaction can therefore appear as a measurement, a quantum channel, decoherence, noise, a master equation, or a trajectory description depending on what degrees of freedom are kept.

This volume develops what those rules become when apparatuses, environments, and records are included in the model.

Required background. Use Density Operators to represent general quantum states and trace-rule predictions; use Partial Trace to obtain subsystem states after discarding an environment.

Helpful background. Use Projectors to represent sharp measurement events.

Central Question

The guiding question is:

$$\text{What is observed, what is ignored, and what dynamics remains for the system?}$$

If all degrees of freedom are kept, the total system may evolve unitarily. If some degrees of freedom are read out, the system state becomes conditional on an outcome. If some degrees of freedom are ignored, the system state evolves by a channel or master equation. If uncontrolled environmental states become correlated with alternatives of the system, interference in the reduced system can be suppressed.

This hierarchy is the spine of the volume:

closed-system postulates
  -> projective measurement and state update
  -> explicit system-apparatus models
  -> POVMs, Kraus operators, and instruments
  -> quantum channels and reduced dynamics
  -> decoherence and pointer-state structure
  -> master equations and noise models
  -> trajectories, continuous measurement, feedback, and thermodynamics

From Projectors to Instruments

The ideal projective measurement model starts with projectors $\{P_a\}$ satisfying

$$P_aP_b=\delta_{ab}P_a, \qquad \sum_a P_a=I.$$

For a density operator $\rho$, the probability of outcome $a$ is

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

If the outcome is selected and the ideal Lüders update applies, the conditional state is

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

Core Formalism gives the compact postulate-level statement. This volume studies the operational and physical layers around it: which device implements the measurement, what information is recorded, what disturbance remains, how inefficient or noisy readout is represented, and when the projective idealization is inadequate.

Generalized measurements and instruments separate outcome probabilities from state updates. A positive-operator-valued measure has effects $\{E_i\}$ with

$$E_i\ge0, \qquad \sum_i E_i=I, \qquad p(i)=\operatorname{Tr}(\rho E_i).$$

One possible state-update description uses measurement operators $\{M_i\}$ such that $E_i=M_i^\dagger M_i$. The conditional output state is then

$$\rho_i = \frac{M_i\rho M_i^\dagger} {\operatorname{Tr}(M_i\rho M_i^\dagger)}.$$

The deeper object is an instrument: an outcome-resolved map that gives both the probability of each outcome and the corresponding output state. This is why POVMs alone are not enough when post-measurement dynamics matters.

Channels and Reduced Dynamics

A quantum channel is the unconditional evolution law for a state when outcomes or environmental degrees of freedom are not conditioned on. In a Kraus representation,

$$\Phi(\rho) = \sum_\alpha K_\alpha\rho K_\alpha^\dagger, \qquad \sum_\alpha K_\alpha^\dagger K_\alpha=I.$$

The second condition makes the map trace preserving. Complete positivity is what makes the map physically consistent even when the system is entangled with an external reference.

Open quantum systems often produce channels from unitary evolution on a larger Hilbert space. If the system $S$ begins in $\rho_S$ and the environment $E$ begins in $\eta_E$, then

$$\Phi_t(\rho_S) = \operatorname{Tr}_E \left[ U_{SE}(t) \left(\rho_S\otimes\eta_E\right) U_{SE}^\dagger(t) \right].$$

This formula is the conceptual bridge from composite systems to open-system dynamics: the total state may evolve reversibly, while the reduced state of $S$ evolves irreversibly or noisily because correlations with $E$ have been discarded.

Decoherence Is Reduced Interference, Not an Interpretation by Itself

Decoherence and the classical transition begin with the suppression of locally observable interference caused by entanglement with uncontrolled degrees of freedom. A simple reduced qubit model has the form

$$\rho(t) = \begin{pmatrix} \rho_{00}(0) & e^{-\Gamma t}\rho_{01}(0) \\ e^{-\Gamma t}\rho_{10}(0) & \rho_{11}(0) \end{pmatrix}.$$

The off-diagonal coherence in the chosen pointer basis decays, while the populations may remain fixed. This is dephasing, not energy relaxation.

The distinction matters. Decoherence explains why interference between certain alternatives becomes inaccessible to local observations and why stable records can emerge. It does not, by itself, select one individual outcome or settle all interpretive questions. That limitation is part of the physical content of the reduced-state description, not an optional interpretive add-on.

Master Equations

Markovian master equations describe continuous-time reduced evolution when relevant environmental memory can be neglected. Their central structure is the Lindblad–Gorini–Kossakowski–Sudarshan form:

$$\begin{aligned} \frac{d\rho}{dt} = {}& -\frac{i}{\hbar}[H,\rho] \\ &+ \sum_\mu \left( L_\mu\rho L_\mu^\dagger - \frac{1}{2} \{L_\mu^\dagger L_\mu,\rho\} \right). \end{aligned}$$

The Hamiltonian part describes coherent motion. The jump operators $L_\mu$ encode dissipative or noisy processes. This compact formula is powerful, but it is not automatic: a physical derivation must state the system-bath model, weak-coupling assumptions, memory assumptions, secular approximations, and whether complete positivity is guaranteed.

What This Volume Owns

This volume is the canonical home for:

• operational measurement theory beyond the minimal postulates;
• selective and nonselective measurements;
• measurement backaction, disturbance, and apparatus models;
• POVMs, Kraus operators, quantum instruments, and dilation theorems at a working physics level;
• quantum channels, common noise models, and reduced dynamics;
• decoherence, pointer states, and the quantum-classical transition as open-system dynamics;
• system-bath Hamiltonians and assumptions behind reduced descriptions;
• Lindblad/GKSL master equations and their common special cases;
• non-Markovian dynamics, continuous measurement and trajectories, feedback, and quantum thermodynamics as graduate extensions.

It does not replace the canonical homes for the Born rule, the basic definition of density operators, the partial trace, or interpretation-heavy foundations questions.

Reading path

Begin with State Vectors, then Projectors and Probability Amplitudes, the Born Rule, and Expectation Values. Continue through Density Operators, Entangled States, and Partial Trace. Then enter the Quantum Channels and Noise gateway and its canonical Quantum Operations article.

Once the distinction between deterministic channels and selected operations is secure, No-Broadcasting Theorem provides a rigorous information-theoretic application.

The later measurement, decoherence, master-equation, trajectory, and platform routes remain in the authoring plan until they receive the same review and release treatment.

Common Mistakes

• Treating every laboratory measurement as a sharp projective measurement.
• Confusing a POVM effect $E_i$ with a unique post-measurement state update.
• Forgetting that Kraus representations are not unique.
• Calling every loss of coherence dissipation.
• Treating decoherence as wavefunction collapse or as a complete interpretation.
• Writing a Lindblad equation without checking trace preservation, positivity, and the assumptions behind Markovianity.
• Mixing conditional trajectory states with unconditional density operators.
• Treating a hardware noise model as universal without stating calibration and regime assumptions.

Cross-links

• Projectors
• Density Operators
• Partial Trace
• Quantum Channels and Noise
• Quantum Operations
• No-Broadcasting Theorem

References

• H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, 2002.
• M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.
• H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control, Cambridge University Press, 2010.
• H. J. Carmichael, An Open Systems Approach to Quantum Optics, Springer, 1993.
• M. Schlosshauer, Decoherence and the Quantum-to-Classical Transition, Springer, 2007.
• W. H. Zurek, “Decoherence, einselection, and the quantum origins of the classical,” Reviews of Modern Physics 75, 715, 2003.

Exercises

1. Show that the Kraus map $\Phi(\rho)=\sum_\alpha K_\alpha\rho K_\alpha^\dagger$ is trace preserving when $\sum_\alpha K_\alpha^\dagger K_\alpha=I$.

Solution

Use cyclicity of the trace:

$$\begin{aligned} \operatorname{Tr}\Phi(\rho) &= \sum_\alpha \operatorname{Tr}(K_\alpha\rho K_\alpha^\dagger) \\ &= \sum_\alpha \operatorname{Tr}(\rho K_\alpha^\dagger K_\alpha) \\ &= \operatorname{Tr} \left[ \rho\sum_\alpha K_\alpha^\dagger K_\alpha \right] = \operatorname{Tr}\rho. \end{aligned}$$

Thus normalized density operators remain trace one.

2. A qubit is measured in the $\{|0\rangle,|1\rangle\}$ basis, but the outcome is not recorded. If

$$\rho = \begin{pmatrix} a & c \\ c^* & b \end{pmatrix},$$

what is the nonselective post-measurement state?

Solution

The projectors are $P_0=|0\rangle\langle0|$ and $P_1=|1\rangle\langle1|$. The nonselective state is

$$\rho' = P_0\rho P_0+P_1\rho P_1 = \begin{pmatrix} a & 0 \\ 0 & b \end{pmatrix}.$$

The measurement has removed coherence in the measurement basis because the outcome information has been produced but not conditioned on.

3. In one sentence each, distinguish decoherence, dissipation, and wavefunction collapse.

Solution

Decoherence is the suppression of locally observable interference, often by entanglement with an environment. Dissipation is loss of energy or another conserved quantity from the system to other degrees of freedom. Wavefunction collapse is a state-update or interpretive notion associated with conditioning on an outcome; decoherence can support the emergence of stable records but is not identical to collapse.