open system, time evolution, Lindblad generator, semigroup