Unique stationary state of a Lindbladian (source code)

= Unique stationary state of a Lindbladian

A finite-dimensional Lindbladian converges to one stationary state for every initial state exactly when zero is a simple eigenvalue and every other eigenvalue has strictly negative real part. A trivial commutant of the Hamiltonian and all jump operators and their adjoints is a standard irreducibility criterion leading to uniqueness under the usual finite-dimensional hypotheses.