Editing Quantum decoherence (section)

====System not disturbed by environment====
In an idealized measurement, the system disturbs the environment, but is itself undisturbed by the environment. In this case, each element of the basis interacts with the environment such that

: <math>|i\rang |\epsilon\rang</math> evolves into the product <math>|i, \epsilon_i\rang = |i\rang |\epsilon_i\rang,</math>

and so

: <math>|\text{before}\rang</math> evolves into <math>|\text{after}\rang = \sum_i |i, \epsilon_i\rang \lang i|\psi\rang.</math>

In this case, [[unitarity (physics)|unitarity]] demands that

: <math>\lang i, \epsilon_i|j, \epsilon_j\rang = \lang i|j\rang \lang\epsilon_i|\epsilon_j\rang = \delta_{ij} \lang\epsilon_i|\epsilon_j\rang = \delta_{ij} \lang\epsilon_i|\epsilon_i\rang = \delta_{ij},</math>

where <math>\lang \epsilon_i | \epsilon_i \rang = 1</math> was used. ''Additionally'', decoherence requires, by virtue of the large number of hidden degrees of freedom in the environment, that

: <math>\lang\epsilon_i|\epsilon_j\rang \approx \delta_{ij}.</math>

As before, this is the defining characteristic for decoherence to become einselection.<ref name="zurek03"/> The approximation becomes more exact as the number of environmental degrees of freedom affected increases.

Note that if the system basis <math>|i\rang</math> were not an einselected basis, then the last condition is trivial, since the disturbed environment is not a function of <math>i</math>, and we have the trivial disturbed environment basis <math>|\epsilon_j\rang = |\epsilon'\rang</math>. This would correspond to the system basis being degenerate with respect to the environmentally defined measurement observable. For a complex environmental interaction (which would be expected for a typical macroscale interaction) a non-einselected basis would be hard to define.