Quantum dynamical semigroups play an important role in the description of physical processes such as diffusion, radiative decay or other non-equilibrium events. Taking strongly continuous and trace preserving semigroups into consideration, we show that, under a special criterion, the generator of such a group admits a certain generalized standard form, thereby shedding new light on known approaches in this direction. Furthermore, we illustrate our analysis in concrete examples.
We construct relativistic quantum Markov semigroups from covariant completely positive maps. We proceed by generalizing a step in Stinespring's dilation to a general system of imprimitivity and basing it on Poincaré group. The resulting noise channels are relativistically consistent and the method is applicable to any fundamental particle, though we demonstrate it for the case of light-like particles. The Krauss decomposition of the relativistically consistent completely positive identity preserving maps (our set up is in Heisenberg picture) enables us to construct the covariant quantum Markov…
Using the tool of quantum characteristic functions of n-mode states in the boson Fock space Γ(C_n) we construct a semigroup of quantum information channels. This leads to a special class of one-parameter semigroups of such channels. These semigroups are concrete but their generators have unbounded operator coefficients. These one-parameter semigroups are also quantum dynamical semigroups and the form of the generators involve additional features which do not appear in the standard GKSL form. A heuristic discussion of the form of these generators is included. In the wake of this analysis many o…
Dynamical semigroups have become the key structure for describing open system dynamics in all of physics. Bounded generators are known to be of a standard form, due to Gorini, Kossakowski, Sudarshan and Lindblad. This form is often used also in the unbounded case, but rather little is known about the general form of unbounded generators. In this paper we first give a precise description of the standard form in the unbounded case, emphasizing intuition, and collecting and even proving the basic results around it. We also give a cautionary example showing that the standard form must not be read …
Quantum devices are subject to natural decay. We propose to study these decay processes as the Markovian evolution of quantum channels, which leads us to dynamical semigroups of superchannels. A superchannel is a linear map that maps quantum channels to quantum channels, while satisfying suitable consistency relations. If the input and output quantum channels act on the same space, then we can consider dynamical semigroups of superchannels. No useful constructive characterization of the generators of such semigroups is known. We characterize these generators in two ways: First, we give an effi…
In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. In this article we define the class of pair block diagonal generators, which allows for additional interaction coefficients but preserves the main structural properties. Namely, when the basis of the underlying Hilbert space is given by the eigenbasis of the Hamiltonian (for example the generic semigroups), then the action of the semigroup leaves invariant the diagonal and off-diagonal matrix spaces. In this case, we expl…
We prove that every stationary state in the annihilator of all Kraus operators of a weak coupling limit type Markov generator consists of two pieces, one of them supported on the interaction-free subspace and the second one on its orthogonal complement. In particular, we apply the previous result to describe in detail the structure of a slightly modified quantum transport model due to Arefeva, Kozyrev and Volovich (modified AKV's model) studied first in Ref.\cite{gggq}, in terms of generalized annihilation and creation operators.
We study semigroups of bounded operators on a Banach space such that the members of the semigroup are continuous with respect to various weak topologies and we give sufficient conditions for the generator of the semigroup to be closed with respect to the topologies involved. The proofs of these results use the Laplace transforms of the semigroup. Thus we first give sufficient conditions for Pettis integrability of vector valued functions with respect to scalar measures.
Lie-Semigroup Structures for Reachability and Control of Open Quantum Systems: Viewing Markovian Quantum Channels as Lie Semigroups and GKS-Lindblad Generators as Lie Wedge
We analyze the convex combinations of non-invertible generalized Pauli dynamical maps. By manipulating the mixing parameters, one can produce a channel with shifted singularities, additional singularities, or even no singularities whatsoever. In particular, we show how to use non-invertible dynamical maps to produce the Markovian semigroup. Interestingly, the maps whose mixing results in a semigroup are generated by the time-local generators and time-homogeneous memory kernels that are not regular; i.e., their formulas contain infinities. Finally, we show how the generators and memory kernels …
We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the new concept of Tomita bimodules we introduce. If the quantum Markov semigroup satisfies a certain additional regularity condition, the associated Tomita bimodule can be realized inside the $L^2$ space …
We start by considering infinite dimensional Markovian dynamics in R^m generated by operators of hypocoercive type and for such models we obtain short and long time pointwise estimates for all the derivatives, of any order and in any direction, along the semigroup. We then look at infinite dimensional models (in (Rm)^{Z ^d}) produced by the interaction of infinitely many finite dimensional dissipative dynamics of the type indicated above. For these infinite dimensional models we study finite speed of propagation of information, well-posedness of the semigroup, time behaviour of the derivatives…
In this note we prove a refined version of the Christensen-Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra can be written in the form specified by Alicki's theorem.
Motivated by a spectral analysis of the generator of completely positive trace-preserving semigroup, we analyze a real functional $$ A,B \in M_n(\mathbb{C}) \to r(A,B) = \frac{1}{2}\Bigl(\langle [B,A],BA\rangle + \langle [B,A^\ast],BA^\ast \rangle \Bigr) \in \mathbb{R} $$ where $\langle A,B\rangle := {\rm tr} (A^\ast B)$ is the Hilbert-Schmidt inner product, and $[A,B]:= AB - BA$ is the commutator. In particular we discuss the upper and lower bounds of the form $c_- \|A\|^2 \|B\|^2 \le r(A,B) \le c_+ \|A\|^2 \|B\|^2$ where $\|A\|$ is the Frobenius norm. We prove that the optimal upper and lowe…
We present a Law of Large Numbers principle for uniformly continuous random quantum dynamical semigroups. Random iterates of independent copies of these semigroups are shown to be Chernoff equivalent to the quantum dynamical semigroup by the average generator.
We prove that for every semigroup of Schwarz maps on the von~Neumann algebra of all bounded linear operators on a Hilbert space which has a subinvariant faithful normal state there exists an associated semigroup of contractions on the space of Hilbert-Schmidt operators of the Hilbert space. Moreover, we show that if the original semigroup is weak$^*$ continuous then the associated semigroup is strongly continuous. We introduce the notion of the extended generator of a semigroup on the bounded operators of a Hilbert space with respect to an orthonormal basis of the Hilbert space. We describe th…
Let $T$ be the generator of a $C_0$-semigroup $e^{-Tt}$ which is of finite trace for all $t>0$ (a Gibbs semigroup). Let $A$ be another closed operator, $T$-bounded with $T$-bound equal to zero. In general $T+A$ might not be the generator of a Gibbs semigroup. In the first half of this paper we give sufficient conditions on $A$ so that $T+A$ is the generator of a Gibbs semigroup. We determine these conditions in terms of the convergence of the Dyson-Phillips expansion corresponding to the perturbed semigroup in suitable Schatten-von Neumann norms. In the second half of the paper we consider $T=…
The notion of equivalence classes of generators of one-parameter semigroups based on the convergence of the Dyson expansion can be traced back to the seminal work of Hille and Phillips, who in Chapter XIII of the 1957 edition of their Functional Analysis monograph, developed the theory in minute detail. Following their approach of regarding the Dyson expansion as a central object, in the first part of this paper we examine a general framework for perturbation of generators relative to the Schatten-von Neumann ideals on Hilbert spaces. This allows us to develop a graded family of equivalence re…
Quantum stochastic cocycles provide a basic model for time-homogeneous Markovian evolutions in a quantum setting, and a direct counterpart in continuous time to quantum random walks, in both the Schrodinger and Heisenberg pictures. This paper is a sequel to one in which correspondences were established between classes of quantum stochastic cocycle on an operator space or C*-algebra, and classes of Schur-action `global' semigroup on associated matrix spaces over the operator space. In this paper we investigate the stochastic generation of cocycles via the generation of their corresponding globa…
We revise the operator-norm convergence of the Trotter product formula for a pair {A,B} of generators of semigroups on a Banach space. Operator-norm convergence holds true if the dominating operator A generates a holomorphic contraction semigroup and B is a A-infinitesimally small generator of a contraction semigroup, in particular, if B is a bounded operator. Inspired by studies of evolution semigroups it is shown in the present paper that the operator-norm convergence generally fails even for bounded operators B if A is not a holomorphic generator. Moreover, it is shown that operator norm co…