Construction of propagators for divisible dynamical maps
Ujan Chakraborty, Dariusz Chruściński
备注：
16 pages; modifications from version 2 comprise: presentation altered (two-column), appendix removed and incorporated into newly formed section 3, a new result as proposition 9 in section 4, examples in section 5 presented in vectorized notation (same for section 6), a new remark 1, typos corrected, conclusion expanded, new references added
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 invertible the problem is much more involved since even the existence of a propagator is not guaranteed. In this paper we propose a simple method to construct propagators of dynamical maps using the concept of generalized inverse. We analyze both time-continuous and time-discrete maps. Since the generalized inverse is not uniquely defined the same applies for the corresponding propagator. In simple examples of qubit evolution we analyze it turns out that additional requirement of complete positivity possibly makes the propagator unique.
We introduce a concept of Kadison-Schwarz divisible dynamical maps. It turns out that it is a natural generalization of the well known CP-divisibility which characterizes quantum Markovian evolution. It is proved that Kadison-Schwarz divisible maps are fully characterized in terms of time-local dissipative generators. Simple qubit evolution illustrates the concept.
The concept of divisibility of dynamical maps is used to introduce an analogous concept for quantum channels by analyzing the \textit{simulability} of channels by means of dynamical maps. In particular, this is addressed for Lindblad divisible, completely positive divisible and positive divisible dynamical maps. The corresponding L-divisible, CP-divisible and P-divisible subsets of channels are characterized (exploiting the results by Wolf et al., Comm. Math. Phys., 279(1):147-168, 2008) and visualized for the case of qubit channels. We discuss the general inclusions among divisibility sets an…
Divisibility of dynamical maps is visualized by trajectories in the parameter space and analyzed within the framework of collision models. We introduce ultimate completely positive (CP) divisible processes, which lose CP divisibility under infinitesimal perturbations, and characterize Pauli dynamical semigroups exhibiting such a property. We construct collision models with factorized environment particles, which realize additivity and multiplicativity of generators of CP divisible maps. A mixture of dynamical maps is obtained with the help of correlated environment. Mixture of ultimate CP divi…
Institute of Physics, Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University in Toruń（托伦哥白尼大学物理、天文学和信息学院物理研究所）；Institute of Theoretical Physics and Astrophysics, University of Gdańsk（格但斯克大学理论物理与天体物理研究所）
Quantum speed limit time defines the limit on the minimum time required for a quantum system to evolve between two states. Investigation of bounds on speed limit time of quantum system under non-unitary evolution is of fundamental interest, as it reveals interesting connections to quantum (non-)Markovianity. Here, we discuss the characteristics of quantum speed limit time as a function of quantum memory, quantified as the deviation from temporal self-similarity of quantum dynamical maps for CP-divisible as well as indivisible maps, and show that the presence of quantum memory can speed up quan…
We analyze the connections between the non-Markovianity degree of the most general phase-damping qubit maps and their legitimate mixtures. Using the results for image non-increasing dynamical maps, we formulate the necessary and sufficient conditions for the Pauli maps to satisfy specific divisibility criteria. Next, we examine how the non-Markovianity properties for (in general noninvertible) Pauli dynamical maps influence the properties of their convex combinations. Our results are illustrated with instructive examples. For P-divisible maps, we propose a legitimate time-local generator whose…
We extend Howland time-independent formalism to the case of completely positive and trace preserving dynamics of finite dimensional open quantum systems governed by periodic, time dependent Lindbladian in Weak Coupling Limit, expanding our result from previous papers. We propose the Bochner space of periodic, square integrable matrix valued functions, as well as its tensor product representation, as the generalized space of states within the time-independent formalism. We examine some densely defined operators on this space, together with their Fourier-like expansions and address some problems…
Divisibility of dynamical maps turns out to be a fundamental notion in characterising Markovianity of quantum evolution, although the decision problem for divisibility itself is computationally intractable. In this work, we propose the operational characterisation of divisibility of dynamical maps by exploiting distinguishability of quantum channels. We prove that distinguishability for any pair of quantum channels does not increase under divisible maps, and then, in terms of channel distinguishability with entanglement between system and $k$-dimensional ancillas, provide the operational chara…
We analyze the geometrical properties of trace-preserving Pauli maps. Using the Choi-Jamio\lkowski isomorphism, we express the Hilbert-Schmidt line and volume elements in terms of the eigenvalues of the Pauli map. We analytically compute the volumes of positive, trace-preserving Pauli maps and Pauli channels. In particular, we find the relative volumes of the entanglement breaking Pauli channels, as well as the channels that can be generated by a time-local generator. Finally, we show what part of the Pauli channels are P and CP-divisible, which is related to the notion of Markovianity.
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 relation between two approaches to the characterisation of quantum Markovianity, divisibility and lack of information backflow. We show that a bijective dynamical map is completely-positive-divisible if and only if a monotonic non-increase of distinguishability is observed for two equiprobable states of the evolving system and an ancilla. Moreover our proof is constructive: given any such map that is not completely-positive-divisible, we give an explicit construction of two states that, when taken with the same a priori probability, exhibit information back-flow. Finally, wh…
The are several non-equivalent notions of Markovian quantum evolution. In this paper we show that the one based on the so-called CP-divisibility of the corresponding dynamical map enjoys the following stability property: the dynamical map $Λ_t$ is CP-divisible iff the second tensor power $Λ_t\otimesΛ_t$ is CP-divisible as well. Moreover, the P-divisibility of the map $Λ_t\otimesΛ_t$ is equivalent to the CP-divisibility of the map $Λ_t$. Interestingly, the latter property is no longer true if we replace the P-divisibility of $Λ_t\otimesΛ_t$ by simple positivity and the CP-divisibility of $Λ_t$ …
Convex combinations of the completely positive (CP) as well as CP-divisible, continuous time dynamical maps arising from collision models are investigated. While the individual maps are both CP and Markovian we find that convex combinations remain CP but not necessarily Markovian. Examples of such combinations for qubit dynamical maps arising from collisional models are worked out and the invertibility, CP-divisibility, P-divisibility as well as Markovian properties of such maps are explored.
We analyze the geometry of positive and completely positive, trace preserving Pauli maps that are fully determined by up to two distinct parameters. This includes five classes of symmetric and non-invertible Pauli channels. Using the Hilbert-Schmidt metric in the space of the Choi-Jamio\lkowski states, we compute the relative volumes of entanglement breaking, time-local generated, and divisible channels. Finally, we find the shapes of the complete positivity regions in relation to the tetrahedron of all Pauli channels.
We study classical and quantum maps on the torus phase space, in the presence of noise. We focus on the spectral properties of the noisy evolution operator, and prove that for any amount of noise, the quantum spectrum converges to the classical one in the semiclassical limit. The small-noise behaviour of the classical spectrum highly depends on the dynamics generated by the map. For a chaotic dynamics, the outer spectrum consists in isolated eigenvalues (``resonances'') inside the unit circle, leading to an exponential damping of correlations. On the opposite, in the case of a regular map, par…
We compute the spectrum of the classical and quantum mechanical coarse-grained propagators for a piecewise linear discontinuous map. We analyze the quantum - classical correspondence and the evolution of the spectrum with increasing resolution. Our results are compared to the ones obtained for a mixed system.
We address the question of the existence of quantum channels that are divisible in two quantum channels but not in three or, more generally, channels divisible in $n$ but not in $n+1$ parts. We show that for the qubit those channels \textit{do not} exist, whereas for general finite-dimensional quantum channels the same holds at least for full Kraus rank channels. To prove these results, we introduce a novel decomposition of quantum channels which separates them into a boundary and Markovian part, and it holds for any finite dimension. Additionally, the introduced decomposition amounts to the w…
Trace decreasing quantum operations naturally emerge in experiments involving postselection. However, the experiments usually focus on dynamics of the conditional output states as if the dynamics were trace preserving. Here we show that this approach leads to incorrect conclusions about the dynamics divisibility, namely, one can observe an increase in the trace distance or the system-ancilla entanglement although the trace decreasing dynamics is completely positive divisible. We propose solutions to that problem and introduce proper indicators of the information backflow and the indivisibility…
The problem of defining quantum non-Markovianity has proven elusive, with various in-equivalent criteria put forth to address it. The concept of CP-indivisibility and the hierarchy of stronger divisibility criteria going up to P-indivisibility, capture a fundamental aspect of memory in quantum non-Markovianity. In practice, however, there can be a memory-like influence associated with divisible channels in the form of weakening, if not reversing, the effects of decoherence. Arguably, such a facet of memory relates to CP-indivisibility as quantum discord relates to entanglement. We concretize t…
We construct a dynamical map which is not positive divisible and does not present information backflow either (as measured by trace norm quantifiers). It is formulated for a qutrit system undergoing noninvertible dynamics. This provides an evidence that the two definitions of quantum Markovianity based on absence of information backflow and positive divisibility are nonequivalent for general noninvertible dynamical maps
An operator convex function on (0,\infty) which satisfies the symmetry condition k(1/x) = x k(x) can be used to define a type of non-commutative multiplication by a positive definite matrix (or its inverse) using the primitive concepts of left and right multiplication and the functional calculus. The operators for the inverse can be used to define quadratic forms associated with Riemannian metrics which contract under the action of completely positive trace-preserving maps. We study the question of when these operators define maps which are also completely positive (CP). Although A --> D^{-1/2…
