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 change after mixing the corresponding dynamical maps.
We provided a class of legitimate memory kernels leading to completely positive trace preserving dynamical maps. Our construction is based on a simple normalization procedure. Interestingly, when applied to the celebrated Wigner-Weisskopf theory it gives the standard Markovian evolution governed by the local master equation.
It is shown that a convex combination of two non-Markovian evolutions may lead to Markovian semigroup. This shows that convex combination of quantum evolutions displaying nontrivial memory effects may result in a perfectly memoryless evolution.
We analyze the relation between CP-divisibility and the lack of information backflow for an arbitrary -- not necessarily invertible -- dynamical map. It is well known that CP-divisibility always implies lack of information backflow. Moreover, these two notions are equivalent for invertible maps. In this letter it is shown that for a map which is not invertible the lack of information backflow always implies the existence of completely positive (CP) propagator which, however, needs not be trace-preserving. Interestingly, for a {\em wide class of image non-increasing dynamical maps} this propaga…
We investigate the problem of reversing quantum dynamics, specifically via optimal Petz recovery maps. We focus on typical decoherence channels, such as dephasing, depolarizing and amplitude damping. We illustrate how well a physically implementable recovery map simulates an inverse evolution. We extend this idea to explore the use of recovery maps as an approximation of inverse maps, and apply it in the context of non-Markovian dynamics. We show how this strategy attenuates non-Markovian effects, such as the backflow of information.
In view of controlling finite dimensional open quantum systems, we provide a unified Lie-semigroup framework describing the structure of completely positive trace-preserving maps. It allows (i) to identify the Kossakowski-Lindblad generators as the Lie wedge of a subsemigroup, (ii) to link properties of Lie semigroups such as divisibility with Markov properties of quantum channels, and (iii) to characterise reachable sets and controllability in open systems. We elucidate when time-optimal controls derived for the analogous closed system already give good fidelities in open systems and when a m…
We study the memory property of the channels obtained by convex combinations of Markovian channels that are not necessarily quantum dynamical semigroups (QDSs). In particular, we characterize the geometry of the region of (non-)Markovian channels obtained by the convex combination of the three Pauli channels, as a function of deviation from the semigroup form in a family of channels. The regions are highly convex, and interestingly, the measure of the non-Markovian region shrinks with greater deviation from the QDS structure for the considered family, underscoring the counterintuitive nature o…
The purity, Tr(rho^2), measures how pure or mixed a quantum state rho is. It is well known that quantum dynamical semigroups that preserve the identity operator (which we refer to as unital) are strictly purity-decreasing transformations. Here we provide an almost complete characterization of the class of strictly purity-decreasing quantum dynamical semigroups. We show that in the case of finite-dimensional Hilbert spaces a dynamical semigroup is strictly purity-decreasing if and only if it is unital, while in the infinite dimensional case, unitality is only sufficient.
Finite-time Markovian channels, unlike their infinitesimal counterparts, do not form a convex set. As a particular instance of this observation, we consider the problem of mixing the three Pauli channels, conservatively assumed to be quantum dynamical semigroups, and fully characterize the resulting ``Pauli simplex.'' We show that neither the set of non-Markovian (completely positive indivisible) nor Markovian channels is convex in the Pauli simplex, and that the measure of non-Markovian channels is about 0.87. All channels in the Pauli simplex are P divisible. A potential application in the c…
We investigate the role of coherence and Markovianity in finding an answer to the question whether the outcomes of a projectively measured quantum stochastic process are compatible with a classical stochastic process. For this purpose we put forward an operationally motivated definition of incoherent dynamics applicable to any open system's dynamics. For non-degenerate observables described by rank-1 projective measurements we show that classicality always implies incoherent dynamics, whereas the converse is only true for invertible Markovian (but not necessarily time-homogeneous) dynamics. Fo…
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.
We establish the relation between the Wigner-Weisskopf theory for the description of an unstable system and the theory of coupling to an environment. According to the Wigner-Weisskopf general approach, even within the pole approximation (neglecting the background contribution) the evolution of a total system subspace is not an exact semigroup for the multi-channel decay, unless the projectors into eigesntates of the reduced evolution generator $W(z)$ are orthogonal. In this case these projectors must be evaluated at different pole locations $z_α\neq z_β$. Since the orthogonality relation does …
We study a class of qubit non-Markovian general Pauli dynamical maps with multiple singularities in the generator. We discuss a few easy examples involving trigonometric or other non-monotonic time dependence of the map, and discuss in detail the structure of channels which don't have any trigonometric functional dependence. We demystify the concept of a singularity here, showing that it corresponds to a point where the dynamics can be regular but the map is momentarily non-invertible, and this gives a basic guideline to construct such non-invertible non-Markovian channels. Most members of the…
A central problem in the theory of the dynamics of open quantum systems is the derivation of a rigorous and computationally tractable master equation for the reduced system density matrix. Most generally, the evolution of an open quantum system is described by a completely positive linear map. We show how to derive a completely positive Markovian master equation (the Lindblad equation) from such a map by a coarse graining procedure. We provide a novel and explicit recipe for calculating the coefficients of the master equation, using perturbation theory in the weak-coupling limit. The only para…
We consider the problem of constructing a "universal set" of Markovian processes, such that any Markovian open quantum system, described by a one-parameter semigroup of quantum channels, can be simulated through sequential simulations of processes from the universal set. In particular, for quantum systems of dimension $d$, we explicitly construct a universal set of semigroup generators, parametrized by $d^2-3$ continuous parameters, and prove that a necessary and sufficient condition for the dynamical simulation of a $d$ dimensional Markovian quantum system is the ability to implement a) quant…
Quantum dynamical maps provide suitable mathematical representation of quantum evolutions. It is the very notion of complete positivity which provides a proper mathematical representation of quantum evolution and gives rise to the powerful generalization of unitary evolution of closed Hamiltonian systems. A prominent example of quantum evolution of an open system is a Markovian semigroup. In what follows, we analyze both the semigroups of positive and completely positive maps. In the latter case the dynamics is governed by the celebrated Gorini-Kossakowski-Lindblad-Sudarshan (GKLS) Master Equa…
Non-Markovian effects in quantum evolution appear when the system is strongly coupled to the environment and interacts with it for long periods of time. To include memory effects in the master equations, one usually incorporates time-local generators or memory kernels. However, it turns out that non-Markovian evolution with eternally negative decoherence rates arises from a simple mixture of Markovian semigroups. Moreover, one can have as many as $(d-1)^2$ always negative rates out of $d^2-1$ total, and the quantum evolution is still legitimate.
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…
We derive sufficient conditions for the memory kernel which guarantee legitimate (completely positive and trace-preserving) dynamical map. It turns out that these conditions provide a natural parameterizations of the dynamical map being a generalization of Markovian semigroup. It is shown that this class of maps cover almost all known examples -- from Markovian semigroup, semi-Markov evolution up to collision models and their generalization.
Non-positive, Markovian semigroups are sometimes used to describe the time evolution of subsystems immersed in an external environment. A widely adopted prescription to avoid the appearance of negative probabilities is to eliminate from the admissible initial conditions those density matrices that would not remain positive by the action of the semigroup dynamics. Using a continuous variable model, we show that this procedure leads to physical inconsistencies when two subsystems are considered and their initial state is entangled.
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 the weak-coupling limit approach to open quantum systems, the presence of the bath is eliminated and accounted for by a master equation that introduces dissipative contributions to the system reduced dynamics. Within this framework, there are no bath entropy contributions to the entropy balance. We show that, as a consequence, the entropy production fails to be positive for a class of physically legitimate (i.e., completely positive and trace preserving) non-Markovian dynamical maps. Moreover, in the absence of the semigroup property, if the reduced dynamics has a thermal asymptotic state, …
In the study of Markovian processes, one of the principal achievements is the equivalence between the $Φ$-Sobolev inequalities and an exponential decrease of the $Φ$-entropies. In this work, we develop a framework of Markov semigroups on matrix-valued functions and generalize the above equivalence to the exponential decay of matrix $Φ$-entropies. This result also specializes to spectral gap inequalities and modified logarithmic Sobolev inequalities in the random matrix setting. To establish the main result, we define a non-commutative generalization of the carré du champ operator, and prove a …
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.
Divisible dynamical maps play an important role in characterizing Markovianity on the level of quantum evolution. Divisible maps provide important generalization of Markovian semigroups. Usually one analyzes either completely positive or just positive divisibility meaning that the corresponding propagators are defined in terms of completely positive or positive maps, respectively. For maps which are invertible at any moment of time the very existence of propagator is already guaranteed and hence the only issue is (complete) positivity and trace-preservation. However, for maps which are not inv…
We develop a notion of dephasing under the action of a quantum Markov semigroup in terms of convergence of operators to a block-diagonal form determined by irreducible invariant subspaces. If the latter are all one-dimensional, we say the dephasing is maximal. With this definition, we show that a key necessary requirement on the Lindblad generator is bistochasticity, and focus on characterizing whether a maximally dephasing evolution may be described in terms of a unitary dilation with only classical noise, as opposed to a genuine non-commutative Hudson-Parthasarathy dilation. To this end, we …
We characterize to what extent it is possible to modify the stationary states of a quantum dynamical semigroup, that describes the irreversible evolution of a two-level system, by means of an auxiliary two-level system. We consider systems that can be initially entangled or uncorrelated. We find that the indirect control of the stationary states is possible, even if there are not initial correlations, under suitable conditions on the dynamical parameters characterizing the evolution of the joint system.
Quantum non-Markovianity of channels can be produced by mixing Markovian channels, as observed recently by various authors. We consider an analogous question of whether singularities of the channel can be produced by mixing non-singular channels, i.e., ones that lack them. Here we answer the question in the negative in the context of qubit Pauli channels. On the other hand, mixing channels with a singularity can lead to the elimination of singularities in the resultant channel. We distinguish between two types of singular channels, which lead under mixing to broadly quite different properties …
It was shown recently [D.A. Lidar et al., Phys. Rev. Lett. 81, 2594 (1998)] that within the framework of the semigroup Markovian master equation, decoherence-free (DF) subspaces exist which are stable to first order in time to a perturbation. Here this result is extended to the non-Markovian regime and generalized. In particular, it is shown that within both the semigroup and the non-Markovian operator sum representation, DF subspaces are stable to all orders in time to a symmetry-breaking perturbation. DF subspaces are thus ideal for quantum memory applications. For quantum computation, howev…
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 consider a simple microscopic model where the open-system dynamics of a qubit, despite being Markovian, shows features which are typically associated to the presence of memory effects. Namely, a non monotonic behavior both in the population and in the coherence evolution arises due to the presence of non-secular contributions, which break the phase covariance of the Lindbladian (semigroup) dynamics. We also show by an explicit construction how such a non-monotonic behaviour can be reproduced by a phase covariant evolution, but only at the price of inserting some state-dependent memory effec…
In metrological tasks, employing entanglement can quantitatively improve the precision of parameter estimation. However, susceptibility of the entanglement to decoherence fades this capability in the realistic metrology and limits ultimate quantum improvement. One of the most destructive decoherence-type noise is uncorrelated Markovian noise which commutes with the parameter-encoding Hamiltonian and is modelled as a semigroup dynamics, for which the quantum improvement is constrained to a constant factor. It has been shown [Phys. Rev. Lett. \textbf{109}, 233601 (2012)] that when the noisy time…
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…
Time-local master equations are more generally applicable than is often recognised, but at first sight it would seem that they can only safely be used in time intervals where the time evolution is invertible. Using the Jaynes-Cummings model, we here construct an explicit example where two different Hamiltonians, corresponding to two different non-invertible and non-Markovian time evolutions, will lead to arbitrarily similar time-local master equations. This illustrates how the time-local master equation on its own in this case does not uniquely determine the time evolution. The example is neve…
