Precisely, suppose L is a generator of evolutions for an initial state ρ ρ 0 , so that the state at any later time is given by ρ ρ ( t ) = e L t [ ρ ρ 0 ] . Then the condition for ρ ρ ∞ ∞ to be a Gibbs state is