Conditions Sufficient for the Conservativity of a Minimal Quantum Dynamical Semigroup

Conditions sufficient for a minimal quantum dynamical semigroup (QDS) to be conservative are proved for the class of problems in quantum optics under the assumption that the self-adjoint Hamiltonian of the QDS is a finite degree polynomial in the creation and annihilation operators. The degree of the Hamiltonian may be greater than the degree of the completely positive part of the generator of the QDS. The conservativity (or the unital property) of a minimal QDS implies the uniqueness of the solution of the corresponding master Markov equation, i.e., in the unital case, the formal generator determines the QDS uniquely; moreover, in the Heisenberg representation, the QDS preserves the unit observable, and in the Schrödinger representation, it preserves the trace of the initial state. The analogs of the conservativity condition for classical Markov evolution equations (such as the heat and the Kolmogorov–Feller equations) are known as nonexplosion conditions or conditions excluding the escape of trajectories to infinity.