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:
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.
Closed-System Dynamics
Section titled “Closed-System Dynamics”For a closed system with Hamiltonian , pure states obey the Schrödinger equation and density operators obey the Liouville–von Neumann equation:
Equivalently,
where is unitary. This form preserves trace, positivity, eigenvalues of , 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 .
Open-System Dynamics
Section titled “Open-System Dynamics”An open-system description keeps a subsystem and discards or conditions on something else. The minimal composite model uses
If the total state is , the reduced system state is
Even if evolves unitarily, need not. Information, phase coherence, and energy can move into correlations with .
For an initially uncorrelated system-environment state,
the reduced dynamics can be written as a quantum channel:
A microscopic expression is
This formula is the basic bridge between closed dynamics of a larger system and open dynamics of a subsystem.
Four Common Descriptions
Section titled “Four Common Descriptions”| Description | What is retained? | Typical object |
|---|---|---|
| closed system | all modeled degrees of freedom | unitary or Hamiltonian |
| reduced open system | subsystem only; environment ignored | channel or master equation |
| conditional measurement | subsystem plus observed record | conditional state or trajectory |
| phenomenological noise model | calibrated effect of ignored details | fitted 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.
Examples
Section titled “Examples”| Physical situation | Natural first model | Why |
|---|---|---|
| isolated spin in a specified magnetic field | closed | unitary spin precession under a Hamiltonian |
| qubit with unknown phase noise | open | phase information is lost to uncontrolled degrees of freedom |
| atom coupled to vacuum radiation modes | open for atom, closed for atom plus field | spontaneous emission requires field degrees of freedom |
| detector outcome is recorded | conditional measurement | state assignment depends on the outcome |
| detector outcome is produced but ignored | channel | average over the outcome-conditioned maps |
| damped cavity mode with a Markovian reservoir | master equation | reduced dynamics may be time local |
The same physical object can move between columns as the model boundary changes.
What Changes When a System Is Open
Section titled “What Changes When a System Is Open”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
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 .
Boundary Cases
Section titled “Boundary Cases”Classical control fields
Section titled “Classical control fields”A prescribed classical control field can make 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.
Effective non-Hermitian Hamiltonians
Section titled “Effective non-Hermitian Hamiltonians”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.
Initial correlations
Section titled “Initial correlations”The formula is an assumption, not a theorem. If and are initially correlated, the reduced dynamics may not be represented by a single channel acting only on arbitrary without additional structure.
Markovianity
Section titled “Markovianity”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.
Diagnostic Questions
Section titled “Diagnostic Questions”Before choosing a formalism, ask:
- Which degrees of freedom are included in the state?
- Which degrees of freedom are traced out, averaged over, or represented by rates?
- Is there a measurement record, and is it conditioned on?
- Is the Hamiltonian self-adjoint on the modeled Hilbert space?
- Is the resulting state map trace preserving?
- Is complete positivity required because the system may be entangled with a reference?
- Are memory effects negligible enough for a time-local master equation?
These questions are more reliable than deciding from vocabulary alone.
Common Mistakes
Section titled “Common Mistakes”- 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.
Cross-Links
Section titled “Cross-Links”- Concept Map
- Unitary Time Evolution
- Hamiltonians as Generators of Time Evolution
- Liouville–von Neumann Equation
- Partial Trace
- Reduced Density Operators
- Decoherence Preview
References
Section titled “References”- 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.
Exercises
Section titled “Exercises”- A spin- particle evolves under , where 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.
- Let and begin in
and evolve to
What happens to the off-diagonal element of after tracing out ?
Solution
The reduced state has off-diagonal element
If is small, coherence between and is suppressed in the reduced state. The total state may still be pure; the apparent loss of coherence comes from ignoring .
- 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.