The task is to provide a lower bound for the time interval t ⊥ ⊥ required for the initial state | ψ ψ ⟩ ⟩ to evolve into a state orthogonal to | ψ ψ ⟩ ⟩ . The time evolution of a pure state is given by the Schrödinger equation :