Skip to content

Closed vs Open Quantum Systems

A closed quantum system is modeled by keeping all degrees of freedom relevant to the prediction, so its state evolves by unitary dynamics. An open quantum system is modeled as a subsystem whose dynamics is affected by degrees of freedom that are ignored, measured, coarse-grained, or represented phenomenologically.

The distinction is not absolute. It is a modeling decision:

closed or opendepends on the chosen boundary of the system.\text{closed or open} \quad \text{depends on the chosen boundary of the system}.

A single laboratory setup can be described as closed if the system, apparatus, and environment are all included; as open if only the system is retained; as conditional if a measurement record is used; or as phenomenological if a noise model is fitted directly.

For a closed system with Hamiltonian H(t)H(t), pure states obey the Schrödinger equation and density operators obey the Liouville–von Neumann equation:

dρdt=−iℏ[H(t),ρ].\frac{d\rho}{dt} = -\frac{i}{\hbar}[H(t),\rho].

Equivalently,

ρ(t)=U(t,t0)ρ(t0)U†(t,t0),\rho(t) = U(t,t_0)\rho(t_0)U^\dagger(t,t_0),

where U(t,t0)U(t,t_0) is unitary. This form preserves trace, positivity, eigenvalues of ρ\rho, and von Neumann entropy for the closed system.

Closed does not mean “no time-dependent controls.” A driven two-level system with a specified time-dependent Hamiltonian can still be closed at the level of the modeled degrees of freedom. The drive may be an externally prescribed classical field, and the quantum state can still evolve unitarily under H(t)H(t).

An open-system description keeps a subsystem SS and discards or conditions on something else. The minimal composite model uses

HSE=HS⊗HE.\mathcal H_{SE} = \mathcal H_S\otimes\mathcal H_E.

If the total state is ρSE(t)\rho_{SE}(t), the reduced system state is

ρS(t)=Tr⁡EρSE(t).\rho_S(t) = \operatorname{Tr}_E\rho_{SE}(t).

Even if ρSE(t)\rho_{SE}(t) evolves unitarily, ρS(t)\rho_S(t) need not. Information, phase coherence, and energy can move into correlations with EE.

For an initially uncorrelated system-environment state,

ρSE(0)=ρS(0)⊗ηE,\rho_{SE}(0) = \rho_S(0)\otimes\eta_E,

the reduced dynamics can be written as a quantum channel:

ρS(t)=Φt(ρS(0)).\rho_S(t) = \Phi_t(\rho_S(0)).

A microscopic expression is

Φt(ρS)=Tr⁡E[USE(t)(ρS⊗ηE)USE†(t)].\Phi_t(\rho_S) = \operatorname{Tr}_E \left[ U_{SE}(t) (\rho_S\otimes\eta_E) U_{SE}^\dagger(t) \right].

This formula is the basic bridge between closed dynamics of a larger system and open dynamics of a subsystem.

DescriptionWhat is retained?Typical object
closed systemall modeled degrees of freedomunitary UU or Hamiltonian HH
reduced open systemsubsystem only; environment ignoredchannel Φ\Phi or master equation
conditional measurementsubsystem plus observed recordconditional state ρi\rho_i or trajectory
phenomenological noise modelcalibrated effect of ignored detailsfitted channel, rate, or Lindblad operators

These descriptions are not competitors. They answer different questions. If a detector record is known, a conditional state is appropriate. If the record is discarded, the unconditional state is appropriate. If the apparatus is explicitly included, the system-apparatus state may evolve unitarily while the system alone evolves nonunitarily.

Physical situationNatural first modelWhy
isolated spin in a specified magnetic fieldclosedunitary spin precession under a Hamiltonian
qubit with unknown phase noiseopenphase information is lost to uncontrolled degrees of freedom
atom coupled to vacuum radiation modesopen for atom, closed for atom plus fieldspontaneous emission requires field degrees of freedom
detector outcome is recordedconditional measurementstate assignment depends on the outcome
detector outcome is produced but ignoredchannelaverage over the outcome-conditioned maps
damped cavity mode with a Markovian reservoirmaster equationreduced dynamics may be time local

The same physical object can move between columns as the model boundary changes.

Closed unitary evolution preserves inner products between pure states. Open dynamics need not preserve them for the subsystem. A channel may shrink Bloch vectors, remove off-diagonal density-matrix elements, transfer population, or drive states toward a thermal or nonequilibrium steady state.

For example, an ideal pure dephasing map for a qubit has the schematic effect

(ρ00ρ01ρ10ρ11)⟼(ρ00λρ01λ∗ρ10ρ11),∣λ∣≤1.\begin{pmatrix} \rho_{00} & \rho_{01} \\ \rho_{10} & \rho_{11} \end{pmatrix} \longmapsto \begin{pmatrix} \rho_{00} & \lambda\rho_{01} \\ \lambda^*\rho_{10} & \rho_{11} \end{pmatrix}, \qquad |\lambda|\le1.

The populations stay fixed, while coherence in the displayed basis is reduced. This is open-system behavior even though it can be derived from unitary dynamics on S+ES+E.

A prescribed classical control field can make H(t)H(t) explicitly time dependent without making the system open in the density-operator sense. The state still evolves by a unitary operator. Energy may not be conserved, but the evolution is still closed for the modeled system.

An effective non-Hermitian Hamiltonian often describes conditional evolution, absorption, decay out of a subspace, or a no-jump trajectory. It is not ordinary closed-system evolution. The missing norm or probability must be accounted for by jumps, reservoirs, detectors, or omitted channels.

The formula ρSE(0)=ρS(0)⊗ηE\rho_{SE}(0)=\rho_S(0)\otimes\eta_E is an assumption, not a theorem. If SS and EE are initially correlated, the reduced dynamics may not be represented by a single channel acting only on arbitrary ρS(0)\rho_S(0) without additional structure.

Open does not mean Markovian. A reduced state can depend on environmental memory. A Markovian master equation is a further approximation or structural result, not the definition of an open system.

Before choosing a formalism, ask:

  1. Which degrees of freedom are included in the state?
  2. Which degrees of freedom are traced out, averaged over, or represented by rates?
  3. Is there a measurement record, and is it conditioned on?
  4. Is the Hamiltonian self-adjoint on the modeled Hilbert space?
  5. Is the resulting state map trace preserving?
  6. Is complete positivity required because the system may be entangled with a reference?
  7. Are memory effects negligible enough for a time-local master equation?

These questions are more reliable than deciding from vocabulary alone.

  • Saying “open” whenever a Hamiltonian is time dependent.
  • Saying “closed” merely because the model has a Hamiltonian.
  • Treating an effective non-Hermitian Hamiltonian as ordinary unitary dynamics.
  • Forgetting that tracing out an environment can produce mixed reduced states from pure total states.
  • Assuming every open-system map is Markovian.
  • Using a channel when a known measurement record requires a conditional state.
  • Ignoring initial correlations when deriving reduced dynamics.
  • H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, 2002.
  • Á. Rivas and S. F. Huelga, Open Quantum Systems: An Introduction, Springer, 2012.
  • H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control, Cambridge University Press, 2010.
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.
  1. A spin-1/21/2 particle evolves under H(t)=−γB(t)SzH(t)=-\gamma B(t)S_z, where B(t)B(t) is a prescribed classical control field. Is this automatically an open-system model?
Solution

No. A time-dependent Hamiltonian can still generate unitary closed-system evolution for the modeled spin. The model becomes open only if additional degrees of freedom are ignored, averaged over, measured, or represented by nonunitary dynamics.

  1. Let SS and EE begin in
(α∣0⟩+β∣1⟩)∣e0⟩,\left(\alpha\lvert0\rangle+\beta\lvert1\rangle\right)\lvert e_0\rangle,

and evolve to

α∣0⟩∣e0⟩+β∣1⟩∣e1⟩.\alpha\lvert0\rangle\lvert e_0\rangle + \beta\lvert1\rangle\lvert e_1\rangle.

What happens to the off-diagonal element of ρS\rho_S after tracing out EE?

Solution

The reduced state has off-diagonal element

(ρS)01=αβ∗⟨e1∣e0⟩.(\rho_S)_{01} = \alpha\beta^*\langle e_1|e_0\rangle.

If ⟨e1∣e0⟩\langle e_1|e_0\rangle is small, coherence between ∣0⟩\lvert0\rangle and ∣1⟩\lvert1\rangle is suppressed in the reduced state. The total state may still be pure; the apparent loss of coherence comes from ignoring EE.

  1. A detector produces an outcome, but the data file is lost before analysis. Should the later system state be conditioned on a particular outcome?
Solution

No. If the outcome is not available, predictions should use the nonselective state obtained by averaging over the outcome-conditioned maps. Conditioning on a guessed outcome would introduce information not available to the model.