Environment-assisted two-state pure-state transformation

There are a unitary $U$ and normalized environment states $|e_i⟩$ satisfyingexactly whenNecessity follows from preservation of inner products. For sufficiency, choose $⟨e_0|e_1⟩$ to make the input and output inner products equal; equal two-vector Gram matrices define an isometry that extends to a unitary.