Criteria for Davies Irreducibility of Markovian Quantum Dynamics by Yikang Zhang and Thomas Barthel 2026-11-05
Verified version 4, section 2, Theorem 2.2: scalar commutant implies uniqueness when a faithful stationary state exists. Section 2 explains why that hypothesis matters.