 Conditional environment overlap

For a pure state $a|0⟩|E_0⟩+b|1⟩|E_1⟩$ with normalized environment states, the upper-right device reduced density matrix entry is $a{b}^{\ast }⟨E_1|E_0⟩$. Distinguishability of the conditional environment states suppresses device coherence. States differing only by a global phase have unit-modulus overlap and do not cause quantum decoherence.