Einselection

Einselection is environment-induced superselection: the dynamical selection of robust alternatives by interaction with an environment. The environment monitors some system properties more effectively than others. Coherences between the monitored alternatives are suppressed in the reduced state, while the alternatives themselves remain comparatively stable and recordable.

The term is useful, but it must be handled carefully. Einselection is not an exact new postulate, not ordinary fundamental superselection, and not by itself a complete solution of the measurement problem. It is an open-system mechanism that explains why some alternatives behave as effectively classical records for local observers.

Helpful background. Pointer States explains robustness; Coherence and Preferred Bases distinguishes a physical decomposition from a change of coordinates.

From Decoherence to Effective Sectors

Suppose an environment monitors a family of orthogonal sectors with projectors $\{P_\alpha\}$:

$$\sum_\alpha P_\alpha=I, \qquad P_\alpha P_\beta=\delta_{\alpha\beta}P_\alpha.$$

If the environment suppresses cross-sector coherences, the reduced state approaches the block-diagonal form

$$\rho \longmapsto \Delta_P(\rho) = \sum_\alpha P_\alpha\rho P_\alpha.$$

The removed terms are

$$P_\alpha\rho P_\beta, \qquad \alpha\ne\beta.$$

When $\frac12\|\rho-\Delta_P(\rho)\|_1\le\epsilon$, the probability of any system-only measurement event changes by at most $\epsilon$ if the block-diagonal approximation is used. The sectors behave as if coherent superpositions between different $\alpha$ labels were dynamically unavailable.

This is the sense in which the sectors are “selected.” The selection is effective, approximate, and model dependent.

Monitoring and competing Hamiltonian motion

For a sector-preserving interaction $H_{\mathrm{int}}=\sum_a|a\rangle\langle a|\otimes B_a$, a pure uncorrelated environment gives coherence factors $\langle E_b(t)|E_a(t)\rangle$. Small overlaps suppress interference while leaving the labels intact. The system Hamiltonian must also be considered: if it mixes those labels, they need not remain stable indefinitely.

A qubit illustrates the competition. Let

$$\dot\rho=-\frac{i\Omega}{2}[X,\rho] +\frac{\Gamma_\phi}{2}(Z\rho Z-\rho), \qquad \Gamma_\phi>0.$$

Writing $\rho=(I+xX+yY+zZ)/2$ gives

$$\dot x=-\Gamma_\phi x,\qquad \dot y=-\Gamma_\phi y-\Omega z,\qquad \dot z=\Omega y.$$

For $\Gamma_\phi\gg|\Omega|$, the transverse component quickly follows $y\simeq-\Omega z/\Gamma_\phi$. After this initial transient,

$$\dot z\simeq-\frac{\Omega^2}{\Gamma_\phi}z.$$

Coherence disappears on a timescale of order $1/\Gamma_\phi$, while population imbalance changes on the much longer timescale $\Gamma_\phi/\Omega^2$. With $\Gamma_\phi=10\,\mathrm{s}^{-1}$ and $\Omega=1\,\mathrm{s}^{-1}$, these are about $0.1$ and $10$ seconds. The exact slow decay rate is $(\Gamma_\phi-\sqrt{\Gamma_\phi^2-4\Omega^2})/2\approx0.101\,\mathrm{s}^{-1}$ for these parameters.

The $Z$ alternatives are therefore useful effective sectors over an intermediate interval. They are not exactly superselected: for nonzero $\Omega$ this model eventually approaches $I/2$. This calculation also shows why identifying a coupling eigenbasis is only the beginning of a stability analysis.

Why This Is Called Superselection

In an exact superselection rule, coherent superpositions between sectors are forbidden or operationally unavailable because of a fundamental charge, symmetry, reference-frame limitation, or algebraic restriction. A state such as

$$c_1\lvert q_1\rangle+c_2\lvert q_2\rangle$$

with distinct exactly superselected charges $q_1$ and $q_2$ is not treated as an ordinary physically preparable coherent superposition.

A restriction due to a missing reference frame can change when a suitable reference is supplied; it should not be confused with an immutable fundamental prohibition. Einselection is a different mechanism. It says that the environment dynamically suppresses the observability of interference between certain alternatives. The full system plus environment may still be in a coherent superposition, but system-only observables behave as though cross-sector coherences are absent.

The comparison is:

Feature	Exact superselection	Einselection
origin	symmetry, charge, algebra, reference frame	environment-induced decoherence
status	exact or imposed by theory/model	approximate and dynamical
timescale	not a decay process	finite decoherence time
reversal	not an ordinary dynamical recoherence	possible in principle with environment control
selected objects	sectors of a physical algebra	pointer states, subspaces, or structures

For the symmetry-side preview, see Superselection Sectors Preview.

Pointer States and Predictability

Einselected alternatives are usually pointer states or pointer sectors. They are selected because they remain comparatively stable under the system-environment dynamics while superpositions of them rapidly entangle with distinguishable environmental records.

A useful local criterion in Markovian models is that a pure state lose little purity under the dissipator. If the relevant Lindblad operators satisfy

$$L_\mu\lvert\psi\rangle = \ell_\mu\lvert\psi\rangle$$

for all Lindblad operators $\mu$, then that pure state has zero instantaneous purity loss. This alone does not ensure a stable state or pure trajectory: the full generator may move it out of the common eigenstate set, as the nonnormal-operator example in Pointer States shows.

Einselection describes the effective sectors that result when robust alternatives remain distinguishable over the interval of interest.

Effective Classical Probability

Once cross-sector coherences are negligible, the reduced state can be used like a classical mixture over the selected alternatives:

$$\rho_{\mathrm{eff}} = \sum_\alpha P_\alpha\rho P_\alpha.$$

The weights

$$p_\alpha = \operatorname{Tr}(P_\alpha\rho)$$

are Born probabilities, whether or not decoherence has occurred. For any block-diagonal observable $A$, $\operatorname{Tr}(A\rho)=\operatorname{Tr}[A\Delta_P(\rho)]$ exactly. Decoherence additionally makes this replacement accurate for other system observables, and can support approximately classical time evolution when the subsequent dynamics respects the sectors. It does not derive the probability rule.

But the word “effective” is essential. In the unitary account, the block-diagonal reduced state is typically an improper mixture produced by tracing out environmental correlations. It should not automatically be read as ignorance about one preexisting branch unless the interpretive or operational context justifies that reading. See Proper and Improper Mixtures.

Degenerate sectors can retain quantum coherence

Suppose a qutrit environment distinguishes $|2\rangle$ from the span of $|0\rangle,|1\rangle$, but does not distinguish the latter two. With $P_A=|0\rangle\langle0|+|1\rangle\langle1|$ and $P_B=|2\rangle\langle2|$, apply complete block dephasing to

$$|\psi\rangle=\frac{|0\rangle+i|1\rangle+|2\rangle}{\sqrt3}.$$

The result is

$$\rho_{\mathrm{eff}}=\frac13 \begin{pmatrix}1&-i&0\\i&1&0\\0&0&1\end{pmatrix}.$$

The sector probabilities are $2/3$ and $1/3$, yet the first sector still contains the pure superposition $(|0\rangle+i|1\rangle)/\sqrt2$. Effective classical labels can coexist with quantum states inside each sector. A Decoherence-Free Subspace additionally requires protection against the full relevant dynamics, including leakage between sectors.

Stable records and individual outcomes

Einselection helps identify stable, approximately noninterfering alternatives. It does not select one global branch, replace the Born rule, or turn every reduced mixture into ignorance about a preexisting pure state. Those are separate questions about the state description and interpretation.

Quantum Darwinism examines when different environmental fragments carry consistent, accessible records of the alternatives. What Decoherence Does Not Solve discusses the distinction between suppressed interference and an individual measurement outcome.

Exercises

1. Block dephasing. Let $\Delta_P(\rho)=\sum_\alpha P_\alpha\rho P_\alpha$ for orthogonal projectors $P_\alpha$. Show that $\Delta_P^2=\Delta_P$.

Solution

Use $P_\alpha P_\beta=\delta_{\alpha\beta}P_\alpha$:

$$\begin{aligned} \Delta_P(\Delta_P(\rho)) &= \sum_{\alpha,\beta} P_\alpha P_\beta\rho P_\beta P_\alpha\\ &= \sum_\alpha P_\alpha\rho P_\alpha\\ &= \Delta_P(\rho). \end{aligned}$$

Thus one complete block-dephasing step already projects the state onto the effective sector algebra.

2. Exact versus effective. Give one reason why einselection is weaker than exact superselection.

Solution

Einselection is produced by dynamical entanglement with an environment. The full system plus environment can still carry coherence, and recoherence is possible in principle if the environmental degrees of freedom are coherently controlled. Exact superselection is instead imposed by the physical algebra, charge structure, symmetry, or reference-frame restrictions of the model.

3. Pointer probabilities. If $\rho_{\mathrm{eff}}=\sum_\alpha P_\alpha\rho P_\alpha$, show that $\operatorname{Tr}(P_\beta\rho_{\mathrm{eff}})=\operatorname{Tr}(P_\beta\rho)$.

Solution

Compute

$$\operatorname{Tr}(P_\beta\rho_{\mathrm{eff}}) = \sum_\alpha \operatorname{Tr}(P_\beta P_\alpha\rho P_\alpha).$$

Using $P_\beta P_\alpha=\delta_{\alpha\beta}P_\beta$,

$$\operatorname{Tr}(P_\beta\rho_{\mathrm{eff}}) = \operatorname{Tr}(P_\beta\rho P_\beta).$$

Since $P_\beta^2=P_\beta$ and the trace is cyclic,

$$\operatorname{Tr}(P_\beta\rho P_\beta) = \operatorname{Tr}(P_\beta\rho).$$

Block dephasing removes cross-sector coherences but preserves the sector probabilities.

4. No unique outcome. Explain why suppressing interference between pointer alternatives does not by itself select one individual alternative.

Solution

The reduced state after decoherence is approximately block diagonal, but in a unitary model the global system-environment state can still contain all correlated branches. The reduced density matrix supports a classical probability calculus for local predictions, but it does not by itself add a rule saying that exactly one branch is physically realized. That extra statement depends on interpretation, collapse dynamics, conditioning on an observed record, or another additional assumption.

5. Degenerate monitoring. Suppose the environment distinguishes two sectors $P_1$ and $P_2$ but couples identically to every state inside $P_1\mathcal H$. What coherences can survive?

Solution

Coherences between $P_1\mathcal H$ and $P_2\mathcal H$ are suppressed because the environment distinguishes the sector label. Coherences between states inside $P_1\mathcal H$ can survive if the environment does not distinguish them and the system Hamiltonian does not move them into distinguishable sectors. The selected structure is a sector, not a one-dimensional basis.

References

• M. Schlosshauer, Decoherence and the Quantum-to-Classical Transition, Springer (2007). DOI.
• W. H. Zurek, “Pointer basis of quantum apparatus: Into what mixture does the wave packet collapse?,” Physical Review D 24, 1516–1525 (1981). DOI.
• W. H. Zurek, “Environment-induced superselection rules,” Physical Review D 26, 1862–1880 (1982). DOI.
• W. H. Zurek, “Decoherence, einselection, and the quantum origins of the classical,” Reviews of Modern Physics 75, 715–775 (2003). DOI.