Time evolution operator