We give a necessary and sufficient criterion when a normal CP-map on a von Neumann algebra admits a restriction to a maximal commutative subalgebra. We apply this result to give a far reaching generalization of Rebolledo's sufficient criterion for the Lindblad generator of a Markov semigroup on B(G).
We investigate some particular completely positive maps which admit a stable commutative Von Neumann subalgebra. The restriction of such maps to the stable algebra is then a Markov operator. In the first part of this article, we propose a recipe in order to find a quantum extension of a given Markov operator in the above sense. We show that the existence of such an extension is linked with the existence of a special form of dilation for the Markov operator studied by Attal in \cite{Att1}, reducing the problem to the extension of dynamical system. We then apply our method to the same problem in continuous time, proving the existence of a quantum extension for Lévy processes. In the second part of this article, we focus on the case where the commutative algebra is isomorphic to $\Acal=l^\infty(1,...,N)$ with N either finite or infinite. We propose a classification of the CP maps leaving $\Acal$ stable, producing physical examples of each classes.
Let [Formula: see text] be a quantum Markov semigroup on [Formula: see text] with a faithful normal invariant state ρ. The decoherence-free subalgebra [Formula: see text] of [Formula: see text] is the biggest subalgebra of [Formula: see text] where the completely positive maps [Formula: see text] act as homomorphisms. When [Formula: see text] is the minimal semigroup whose generator is represented in a generalised GKSL form [Formula: see text], with possibly unbounded H, Lℓ, we show that [Formula: see text] coincides with the generalised commutator of [Formula: see text] under some natural regularity conditions. As a corollary we derive simple sufficient algebraic conditions for convergence towards a steady state based on multiple commutators of H and Lℓ. We give examples of quantum Markov semigroups [Formula: see text], with h infinite-dimensional, having a non-trivial decoherence-free subalgebra.
The problem of characterizing GKLS-generators and CP-maps with an invariant von Neumann algebra [Formula: see text] appeared in different guises in the literature. We prove two unifying results, which hold even for weakly closed *-algebras: first, we show how to construct a normal form for [Formula: see text]-invariant GKLS-generators, if a normal form for [Formula: see text]-invariant CP-maps is known — rendering the two problems essentially equivalent. Second, we provide a normal form for [Formula: see text]-invariant CP-maps if [Formula: see text] is atomic (which includes the finite-dimensional case). As an application we reproduce several results from the literature as direct consequences of our characterizations and thereby point out connections between different fields.