Open-System Applications

Open quantum systems use density operators, channels, and master equations to describe subsystems that exchange information, energy, or particles with degrees of freedom not retained explicitly. Symmetry still matters, but it acts on maps and generators, not only on Hamiltonians.

This page is an application map. It does not derive open-system master equations. It explains how symmetry constrains Kraus maps, Lindblad operators, decoherence bases, time-reversal questions, and control models.

Core Workflow

A symmetry-first open-system workflow is:

system-environment split
  -> density operator or channel description
  -> symmetry action on states and operators
  -> covariance or conservation condition
  -> allowed Hamiltonian and dissipative terms
  -> decoherence, relaxation, control, or steady-state behavior

The first question is always what is being modeled: a finite operation, a continuous-time Markovian approximation, a measurement update, or a reduced description of a larger unitary model.

Channels and Covariance

A quantum channel is a completely positive trace-preserving map

$$\mathcal E(\rho) = \sum_a K_a\rho K_a^\dagger, \qquad \sum_a K_a^\dagger K_a=I.$$

If a group element $g$ is represented on the system by $U_g$, a channel is covariant when

$$\mathcal E \left( U_g\rho U_g^\dagger \right) = U_g\mathcal E(\rho)U_g^\dagger.$$

This says that applying the symmetry before the channel is equivalent to applying it after the channel. Covariance is a statement about the physical operation, not about a particular Kraus representation. The Kraus operators themselves are not unique, so symmetry should be stated for the map unless a specific implementation is being modeled.

The compact formula page is Kraus Map.

Lindblad Generators

Under Markovian semigroup assumptions, a standard continuous-time master equation is

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

The Hamiltonian term gives coherent motion. The $L_\mu$ terms describe dissipative, noisy, or measurement-like effects in the reduced model.

A symmetry can constrain both parts:

• $H$ may need to commute with the symmetry representation;
• the set of Lindblad operators may need to transform into itself;
• a conserved observable $Q$ must satisfy a condition in the adjoint dynamics;
• a steady state may be fixed by a symmetry even when individual trajectories are not.

The reference cards are Lindblad Equation and Lindblad Generator.

Conserved Quantities and Symmetric Noise

For closed systems, a conserved observable often satisfies $[H,Q]=0$. For open-system dynamics with generator $\mathcal L$, the Heisenberg-picture condition is

$$\mathcal L^\dagger(Q)=0.$$

This is stronger than saying $[H,Q]=0$, because dissipative terms can change expectation values even when the Hamiltonian part preserves them.

For example, pure dephasing in the $Z$ basis can conserve $\langle Z\rangle$ while damping $\langle X\rangle$ and $\langle Y\rangle$. Amplitude damping in a chosen energy basis changes populations and therefore does not conserve the excited-state projector. Depolarizing noise is isotropic on the Bloch sphere and treats the three Pauli directions symmetrically.

The model cards Depolarizing Channel and Amplitude Damping Channel show how different noise models encode different symmetry assumptions.

Decoherence and Pointer Structures

Decoherence suppresses local interference because system alternatives become entangled with distinguishable environmental records. The selected stable alternatives are often called pointer states or pointer structures.

In simple models, the pointer basis is related to the system observable monitored by the environment. If the interaction Hamiltonian has the schematic form

$$H_{\mathrm{int}} = \sum_a \lvert a\rangle\langle a\rvert \otimes B_a,$$

then the $\lvert a\rangle$ alternatives tend to be stable against immediate mixing, while superpositions of different $\lvert a\rangle$ states lose local coherence.

The full story is approximation-dependent. Pointer structures can be approximate, overcomplete, coarse-grained, or limited to a subspace. See Decoherence Preview for the canonical Core-level boundary: decoherence suppresses local interference but is not by itself a collapse postulate.

Time Reversal and Dissipation

Closed-system time reversal is represented antiunitarily and is discussed in Antiunitary Time Reversal. Open-system irreversibility is a different question.

A Markovian dissipative semigroup generally cannot be inverted as a physical channel for negative time. This does not automatically mean the microscopic system-environment Hamiltonian violated time-reversal symmetry. Irreversibility can arise from tracing out an environment, coarse graining, choosing an initial product state, or making a Markov approximation.

When a problem says “time-reversal symmetry in an open system,” ask which level is meant:

• microscopic Hamiltonian symmetry of system plus environment;
• covariance of the reduced channel;
• detailed balance or thermal symmetry of a generator;
• reversibility of a particular stochastic or quantum trajectory description.

These are related but not interchangeable.

Quantum Control Symmetry

In quantum control, one studies Hamiltonians and sometimes dissipative generators with tunable terms:

$$H(t) = H_0 + \sum_a u_a(t)H_a.$$

Symmetry can help or obstruct control. If all available generators preserve a decomposition into invariant sectors, control cannot move states between those sectors. If control Hamiltonians break enough symmetry, the reachable set may become larger.

This page does not develop controllability theory. The experimental and conceptual preview is Modern Quantum Control. The basic time-dependent Hamiltonian warning is Time-Dependent Hamiltonians.

Where to Go for Each Task

Task	Start with
Work with finite open-system operations	Kraus Map
Use a Markovian master equation	Lindblad Equation
Connect closed and open density dynamics	Liouville–von Neumann Equation
Understand decoherence boundaries	Decoherence Preview
Compare qubit noise symmetries	Depolarizing Channel and Amplitude Damping Channel
Treat time reversal carefully	Antiunitary Time Reversal

Common Mistakes

• Treating a Kraus representation as unique.
• Assuming every reduced dynamics has Lindblad form.
• Checking only $[H,Q]=0$ while ignoring dissipative terms that change $\langle Q\rangle$.
• Calling a channel symmetric because one chosen Kraus set looks symmetric, rather than checking covariance of the map.
• Treating decoherence as collapse.
• Confusing microscopic time-reversal symmetry with reversibility of an effective dissipative semigroup.

Quick Checks

1. If $\mathcal L^\dagger(Q)=0$, what happens to $\langle Q\rangle$ under the master equation $\dot\rho=\mathcal L(\rho)$?

Solution

Using the adjoint definition,

$$\frac{d}{dt}\langle Q\rangle = \operatorname{Tr}(Q\mathcal L(\rho)) = \operatorname{Tr}(\mathcal L^\dagger(Q)\rho) = 0.$$

Thus $\langle Q\rangle$ is conserved for all states in the domain of the generator.

2. Why is channel covariance best stated for $\mathcal E$ rather than for a particular set of Kraus operators?

Solution

Different Kraus sets can represent the same channel, related by unitary mixing or by adding redundant zero operators. A symmetry property of the physical operation should not depend on that representation. The invariant statement is therefore the map-level condition

$$\mathcal E(U_g\rho U_g^\dagger) = U_g\mathcal E(\rho)U_g^\dagger.$$

References

• H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, 2002.
• G. Lindblad, “On the generators of quantum dynamical semigroups,” Communications in Mathematical Physics 48, 119-130, 1976.
• V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, “Completely positive dynamical semigroups of N-level systems,” Journal of Mathematical Physics 17, 821-825, 1976.
• K. Kraus, States, Effects, and Operations: Fundamental Notions of Quantum Theory, Springer, 1983.
• H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control, Cambridge University Press, 2010.