The unitary preservation theorem

If $U(t)=e^{-\mathrm{i}tH}$ for a self-adjoint Hamiltonian, the theorem applies at every finite time. The existence of that Hamiltonian is a separate analytical obligation. It is established for the regulated microscopic model in Section sec:model.