In this paper we consider deterministic nonlinear time evolutions satisfying so called convex quasi-linearity condition. Such evolutions preserve the equivalence of ensembles and therefore are free from problems with signaling. We show that if family of linear non-trace-preserving maps satisfies the semigroup property then the generated family of convex quasi-linear operations also possesses the semigroup property. Next we generalize the Gorini-Kossakowski-Sudarshan-Lindblad type equation for the considered evolution. As examples we discuss the general qubit evolution in our model as well as an extension of the Jaynes-Cummings model. We apply our formalism to spin density matrix of a charged particle moving in the electromagnetic field as well as to flavor evolution of solar neutrinos.
We study dynamical semigroups of positive, but not completely positive maps on finite-dimensional bipartite systems and analyze properties of their generators in relation to non-decomposability and bound-entanglement. An example of non-decomposable semigroup leading to a 4x4-dimensional bound-entangled density matrix is explicitly obtained.
A conjecture for the universal constraints for relaxation rates of a quantum dynamical semigroup is proposed. It is shown that it holds for several interesting classes of semigroups, e.g. unital semigroups and semigroups derived in the weak coupling limit from the proper microscopic model. Moreover, proposed conjecture is supported by numerical analysis. This conjecture has several important implications: it allows to provide universal constraints for spectra of quantum channels and provides necessary condition to decide whether a given channel is consistent with Markovian evolution.
We characterize all Gaussian dynamical semigroups in continuous variables quantum systems of n-bosonic modes which have a thermal Gibbs state as a stationary solution. This is performed through an explicit relation between the diffusion and dissipation matrices, which characterize the semigroup dynamic, and the covariance matrix of the thermal equilibrium state. We also show that Alicki's quantum detailed-balance condition, based on a Gelfand-Naimark-Segal inner product, allows the determination of the temperature dependence of the diffusion and dissipation matrices, and the identification of …
The study of open quantum systems relies on the notion of unital completely positive semigroups on $C^*$-algebras representing physical systems. The natural generalisation would be to consider the unital completely positive semigroups on operator systems. We show that any continuous unital completely positive semigroup on matricial system can be extended to a semigroup on a finite-dimensional $C^*$-algebra, which is an injective envelope of the matricial system. In case the semigroup is invertible, this extension is unique.
We use open quantum system techniques to construct one-parameter semigroups of positive maps and apply them to study the entanglement properties of a class of 16-dimensional density matrices, representing states of a 4x4 bipartite system.
A survey of the probabilistic approaches to quantum dynamical semigroups with unbounded generators is given. An emphasis is made upon recent advances in the structural theory of covariant Markovian master equations. The relations with the classical Levy-Khinchin formula are elucidated. As an example, a complete characterizations of the Galilean covariant irreversible quantum Markovian evolutions is given in terms of the corresponding quantum master and Langevin equations. Important topics for future investigation are outlined.
The theory of quantum dynamical semigroups within the mathematically rigorous framework of completely positive dynamical maps is reviewed. First, the axiomatic approach which deals with phenomenological constructions and general mathematical structures is discussed. Then basic derivation schemes of the constructive approach including singular coupling, weak coupling and low density limits are presented in their higly simplified versions. Two-level system coupled to a heat bath, damped harmonic oscillator, models of decoherence, quantum Brownian particle and Bloch-Boltzmann equations are used a…
We provide a solution to the problem of determining whether a target pure state can be asymptotically prepared using dissipative Markovian dynamics under fixed locality constraints. Beside recovering existing results for a large class of physically relevant entangled states, our approach has the advantage of providing an explicit stabilization test solely based on the input state and constraints of the problem. Connections with the formalism of frustration-free parent Hamiltonians are discussed, as well as control implementations in terms of a switching output-feedback law.
We introduce a class of Markovian quantum master equations, able to describe the dissipative dynamics of a quantum system weakly coupled to one or several heat baths. The dissipative structure is driven by an entropic operator, the so called modular Hamiltonian, which makes it nonlinear. The generated Modular Dynamical Semigroup (MDS) is not, in general, a Quantum Dynamical Semigroup (QDS), whose dynamics is of the popular Lindblad type. The MDS has a robust thermodynamic structure, which guarantees for the positivity of the time evolved state, the correct steady state properties, the positivi…
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.
We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations of generators of the preadjoint semigroups on the space of nuclear operators. As an application we construct a perturbation of the semigroup of non-unital *-endomorphisms on the algebra of canonical anticommutation relations resulting in the flow of shifts.
We consider finite-dimensional Markovian open quantum systems, and characterize the extent to which time-independent Hamiltonian control may allow to stabilize a target quantum state or subspace and optimize the resulting convergence speed. For a generic Lindblad master equation, we introduce a dissipation-induced decomposition of the associated Hilbert space, and show how it serves both as a tool to analyze global stability properties for given control resources and as the starting point to synthesize controls that ensure rapid convergence. The resulting design principles are illustrated in r…
The meaning of statistical experiments with single microsystems in quantum mechanics is discussed and a general model in the framework of non-relativistic quantum field theory is proposed, to describe both coherent and incoherent interaction of a single microsystem with matter. Compactly developing the calculations with superoperators, it is shown that the introduction of a time scale, linked to irreversibility of the reduced dynamics, directly leads to a dynamical semigroup expressed in terms of quantities typical of scattering theory. Its generator consists of two terms, the first linked to …
Quantum mechanics can be formulated in terms of phase-space functions, according to Wigner's approach. A generalization of this approach consists in replacing the density operators of the standard formulation with suitable functions, the so-called generalized Wigner functions or (group-covariant) tomograms, obtained by means of group-theoretical methods. A typical problem arising in this context is to express the evolution of a quantum system in terms of tomograms. In the case of a (suitable) open quantum system, the dynamics can be described by means of a quantum dynamical semigroup 'in disgu…
We consider two examples of dynamical semigroups obtained by singular perturbations of a standard generator which are special case of unbounded completely positive perturbations studied in detail in [10]. In the section 2 we propose a generalization of an example from [1] aimed to give a positive answer to a conjecture of Arveson. In the section 3 we consider in greater detail an improved and simplified construction of a nonstandard dynamical semigroup outlined in our short communication [13].
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 …
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.
In finite dimensions, we provide characterizations of the quantum dynamical semigroups that do not decrease the von Neumann, the Tsallis and the Renyi entropies, as well as a family of functions of density operators strictly related to the Schatten norms. A few remarkable consequences --- in particular, a description of the associated infinitesimal generators --- are derived, and some significant examples are discussed. Extensions of these results to semigroups of trace-preserving positive (i.e., not necessarily completely positive) maps and to a more general class of quantum entropies are als…
In the developing theory of infinite-dimensional quantum channels the relevance of the energy-constrained diamond norms was recently corroborated both from physical and information-theoretic points of view. In this paper we study necessary and sufficient conditions for differentiability with respect to these norms of the strongly continuous semigroups of quantum channels (quantum dynamical semigroups). We show that these conditions can be expressed in terms of the generator of the semigroup. We also analyze conditions for representation of a strongly continuous semigroup of quantum channels as…
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…
We study a class of finite dimensional quantum dynamical semigroups exp(tL) whose generators L are sums of Lindbladians satisfying the detailed balance condition. Such semigroup arise in the weak coupling (van Hove) limit of Hamiltonian dynamical systems describing open quantum systems out of equilibrium. We prove a general entropic fluctuation theorem for this class of semigroups by relating the cumulant generating function of entropy transport to the spectrum of a family of deformations of the generator L. We show that, besides the celebrated Evans-Searles symmetry, this cumulant generating …
Each semigroup describing the time evolution of an open quantum system on a finite dimensional Hilbert space is related to a special structure of this space. It is shown how the space can be decomposed into subspaces: One is related to decay, orthogonal subspaces support the stationary states. Specialities where the complete positivity of evolutions is actually needed for analysis, mainly for evolution of coherence, are highlighted. Decompositions are done the same way for evolutions in discrete as in continuous time, but evolutions may show differences, only for discrete semigroups there may …
We investigate convergence properties of discrete-time semigroup quantum dynamics, including asymptotic stability, probability and speed of convergence to pure states and subspaces. These properties are of interest in both the analysis of uncontrolled evolutions and the engineering of controlled dynamics for quantum information processing. Our results include two Hilbert space decompositions that allow for deciding the stability of the subspace of interest and for estimating of the speed of convergence, as well as a formula to obtain the limit probability distribution for a set of orthogonal i…
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 …
We show that the discrete-time evolution of an open quantum system generated by a single quantum channel $T$ can be embedded in the discrete-time evolution of an enlarged closed quantum system, i.e. we construct a unitary dilation of the discrete-time quantum-dynamical semigroup $(T^n)_{n \in \mathbb N_0}$. In the case of a cyclic channel $T$, the auxiliary space may be chosen (partially) finite-dimensional. We further investigate discrete-time quantum control systems generated by finitely many commuting quantum channels and prove a similar unitary dilation result as in the case of a single ch…
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…
Given an quantum dynamical semigroup expressed as an exponential superoperator acting on a space of N-dimensional density operators, eigenvalue methods are presented by which canonical Kraus and Lindblad operator sum representations can be computed. These methods provide a mathematical basis on which to develop novel algorithms for quantum process tomography, the statistical estimation of superoperators and their generators, from a wide variety of experimental data. Theoretical arguments and numerical simulations are presented which imply that these algorithms will be quite robust in the prese…
Power symmetric matrices defned and studied by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studie…
