Quasi-Entropies and Non-Markovianity

Abstract

We address an informational puzzle that appears with a non-Markovian open qubit dynamics: namely the fact that, while, according to the existing witnesses of information flows, a single qubit affected by that dissipative dynamics does not show information returning to it from its environment, instead two qubits do show such information when evolving independently under the same dynamics. We solve the puzzle by adding the so-called quasi-entropies to the possible witnesses of information flows.

1. Introduction

The theory of non-Markovian quantum dynamics [1,2,3,4] of open quantum systems in interaction with an environment has exposed behaviours that peculiarly differ from those typical of memoryless quantum dynamical semigroups. One possible approach towards non Markovianity is based on the presence of a so-called back-flow of information from environment to system [5,6], while in the standard semigroup setting, information about an open quantum system gets lost to the environment in the course of time.

Within this scheme, there appears an informational puzzle: a recent result [7] provides a non-Markovian qubit dynamics ${\mathsf{\Lambda }}_t$ that does not show information flowing from the environment to the system, while the tensor product dynamics ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ does. In other words, in some cases it may happen that while the irreversible time-evolution ${\mathsf{\Lambda }}_t$ of one qubit in a given environment is such that information can only flow from the qubit to the environment, by placing two non-interacting qubits in the same environment which affects them independently and in the same way, one instead finds that, under the dynamics ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$, information may flow back from the environment to the compound two-qubit open quantum system.

Obviously in order to talk of back-flow of information one needs witnesses to expose it: these witnesses have recently been generically characterised as Physicality Quantifiers [8], namely as functionals ${\mathcal{I}}_S^{(d)}$ on statistical ensembles ${\mathcal{E}}_S^{(d)}$ consisting of d quantum states that monotonically decrease under the action of completely positive maps. Within this framework, Markovianity of a time-evolution is identified with the monotonic decrease in time of all possible Physicality Quantifiers ${\mathcal{I}}_S^{(d)}$.

Most Physicality Quantifiers ${\mathcal{I}}_S^{(d)}$ used so far, as trace-distances or generalised trace-distances [5,6], depend on statistical ensembles ${\mathcal{E}}_S^{(2)}$ consisting of two density matrices: all of them are unable to see any back-flow of information under the dynamical maps ${\mathsf{\Lambda }}_t$ mentioned above, while they do witness it in the case of ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$. On the other hand, Physicality Quantifiers relative to three or more density matrices are scarcely available; therefore, instead of looking for suitable higher degree monotone functionals on ${\mathcal{E}}_S^{(d)}$, with $d\ge 3$, we propose to enlarge the class of functionals on ${\mathcal{E}}_S^{(2)}$ by adding to them the so-called quasi-entropies [9,10,11,12]. These quantities, besides generalising to the quantum setting various classical informational tools, may be used in quantum error corrections [12]. Instead, in the following we suggest a dynamical use of them, by showing that quasi-entropies can witness a back-flow of information under ${\mathsf{\Lambda }}_t$. The key point will be the lack of Schwartz-Positivity of the maps ${\mathsf{\Lambda }}_{t,s}$ that intertwine the dynamics ${\mathsf{\Lambda }}_s$ up to time $s\ge 0$, with the dynamics ${\mathsf{\Lambda }}_t$ up to time $t\ge s$: ${\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s$. In this way, the informational puzzle disappears; namely, it is not true that there is back-flow of information under ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ but not under ${\mathsf{\Lambda }}_t$; rather, what occurs is that the back-flow of information due to ${\mathsf{\Lambda }}_t$ needs more powerful witnesses to be revealed than those offered so far in the literature.

The material below is organised as follows: in Section 2 we resume the basics of open quantum dynamics and of non-Markovianity by means of a few illustrative models; in Section 3 we introduce the notion of Physicality Quantifiers, present and discuss in detail the informational puzzle relative to the back-flow of information, while in Section 4 we solve the puzzle by means of the quasi-entropies that we then propose to add to the class of Physicality Quantifiers.

2. Open Quantum Dynamics

Open quantum systems S interacts weakly with their environment E, typically a large quantum system with many degrees of freedom in equilibrium with respect to a given Hamiltonian $H_E$. The open system S is instead a, usually finite, n-level system subjected to a Hamiltonian $H_S$, while S and E interact via a Hamiltonian $\lambda H_{SE}$, $\lambda$ being a small, dimensionless coupling constant making the interaction a perturbation of the free Hamiltonian $H_S+H_E$.

In the following, we shall mainly focus upon the time-evolution in the Schrödinger picture where the dynamics of the open system S is given by linear maps on the state space $\mathcal{S}(S)$, that is on the convex set of density matrices, that are $n\times n$ positive matrices of trace one, whose eigenvalues are interpreted as probabilities and fix the system S statistical properties.

The standard approach [1,2,3,13] to the description of the dynamics of S in the presence of the environment E starts from a factorised initial state of the systems $S+E$, namely ${\rho }_{SE}=\rho \otimes {\rho }_E$, where $\rho$ is any possible system S density matrix and ${\rho }_E$ is an environment equilibrium reference state such that $[{\rho }_E,H_E]=0$. The compound initial state $\rho \otimes {\rho }_E$ evolves in time into ${\rho }_{SE}(t)$ according to the Liouville-von Neumann equation

$${\partial }_t{\rho }_{SE}(t)=-i\left[H_{\lambda },{\rho }_{SE}(t)\right],H_{\lambda }=H_S+H_E+\lambda H_{SE},\hslash =1.$$

(1)

The state of S at time t is obtained by partial tracing over the environment degrees of freedom,

$${\mathrm{Tr}}_E\left({\rho }_{SE}\right)=\rho ⟼{\rho }_t=\mathrm{Tr}\left({\rho }_{SE}(t)\right)=:{\mathsf{\Lambda }}_t\left[\rho \right],$$

(2)

yielding a linear dynamical map ${\mathsf{\Lambda }}_t$ formally generated by an integro-differential master equation [1,2,3,13]

$${\partial }_t{\rho }_t={\int }_0^t\mathrm{d}\tau \mathfrak{K}(t-\tau )\left[{\rho }_{\tau }\right]={\int }_0^t\mathrm{d}\tau \mathfrak{K}(\tau )\left[{\rho }_{t-\tau }\right],$$

(3)

where the kernel $\mathfrak{K}(\tau )$ acts linearly on the state space $\mathcal{S}(S)$ and depends on the full Hamiltonian dynamics ${\displaystyle {\mathrm{e}}^{-it{H}_{\lambda }}}$ integrated over the past of S.

Not much can in general be said about the linear map ${\mathsf{\Lambda }}_t$ solution to (3), except that it must be Completely Positive [1], namely that, besides preserving the positivity of any initial state $\rho$ of S, when extended to the dynamics ${\mathsf{\Lambda }}_t\otimes \mathrm{id}$ of the system $S+S$, that is to the system S coupled to an identical inert ancilla S, it also preserves the positivity of any density matrix in $M_n(\mathbb{C})\otimes M_n(\mathbb{C})$. In the expression above, “$\mathrm{id}$” denotes the identity operation on the algebra $M_n(\mathbb{C})$ of $n\times n$ complex matrices associated with the Hilbert space ${\mathbb{C}}^n$ of the system S.

Dynamical maps ${\mathsf{\Lambda }}_t$ must be positivity preserving, in short Positive, as they must turn density matrices into density matrices leaving intact the positivity of their spectrum which must, at each positive time $t\ge 0$, amount to a probability distribution. Complete Positivity instead refers to the fact that the extended dynamics ${\mathsf{\Lambda }}_t\otimes \mathrm{id}$ must preserve the positivity of all states of the compound systems $S+S$. The reason why Positivity of the map is not enough is that, without Complete Positivity, there might be entangled states of $S+S$ that develop negative eigenvalues under the action of ${\mathsf{\Lambda }}_t\otimes \mathrm{id}$ [14]. The fact that the solutions of (3) are Completely Positive stems from the maps ${\mathsf{\Lambda }}_t$ being expressible in Kraus-Stinespring form [1],

$${\rho }_t={\mathsf{\Lambda }}_t\left[\rho \right]=\sum _{\alpha }{\mathfrak{L}}_{\alpha }(t)\rho {\mathfrak{L}}_{\alpha }^{†}(t),\sum _{\alpha }{\mathfrak{L}}_{\alpha }^{†}(t){\mathfrak{L}}_{\alpha }(t)=\mathbb{I},$$

(4)

which identifies Completely Positive maps. In the above expression, the matrices ${\mathfrak{L}}_{\alpha }(t)\in M_n(\mathbb{C})$ depend on the whole compound dynamics of open quantum system S and environment E between times 0 and t, while the last equality guarantees the maps ${\mathsf{\Lambda }}_t$ to be trace-preserving: $\mathrm{Tr}({\rho }_t)=\mathrm{Tr}(\rho )$ for all $t\ge 0$.

2.1. Quantum Dynamical Semigroups

Because of its dependence on the system S past evolution, the linear map ${\mathsf{\Lambda }}_t$ in (4) cannot in general fulfil the forward-in-time semigroup composition law

$${\mathsf{\Lambda }}_t\circ {\mathsf{\Lambda }}_s={\mathsf{\Lambda }}_s\circ {\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t+s},s,t\ge 0.$$

(5)

Such a property can be enforced enforce by a so-called Markovian approximation whereby in (3) ${\rho }_{t-\tau }$ is replaced by ${\rho }_t$ and ${\int }_0^t\mathrm{d}\tau \mathfrak{K}(\tau )$ by a time independent linear map $\mathfrak{L}:\rho \mapsto \mathfrak{L}\left[\rho \right]:={\int }_0^{+\infty }\mathrm{d}\tau \mathfrak{K}(\tau )$, so that the family of true, but analytically uncontrollable, Completely Positive maps ${\mathsf{\Lambda }}_t$, $t\ge 0$, solutions to (3), is substituted by a one-parameter semigroup of linear maps ${\mathsf{\Lambda }}_t={\mathrm{e}}^{t\mathfrak{L}}$ solutions to time-independent master equation

$${\partial }_t{\rho }_t=\mathfrak{L}\left[{\rho }_t\right].$$

(6)

Only specific approximation procedures like the weak and strong coupling limits and the low density limit [1], guarantee that the approximating maps ${\mathsf{\Lambda }}_t$ are Completely Positive: in general, one easily ends up with a not even Positive dynamics [2,3,14,15]. Instead, under the above mentioned mathematically rigorous approximations, the generator $\mathfrak{L}$ has the so-called GKSL form in agreement with the renown theorems of Gorini-Kossakowski-Sudarshan [16] and Lindblad [17] about the generators of semigroups of Completely Positive, trace-preserving maps ${\mathsf{\Lambda }}_t$.

Theorem 1.

A semigroup ${\mathsf{\Lambda }}_t$, $t\ge 0$, on the state space $\mathcal{S}(S)$ of an open quantum system S consists of Completely Positive maps if and only if the generator $\mathfrak{L}$ reads

$$\mathfrak{L}\left[\rho \right]=-i\left[H,\rho \right]+\sum _{\alpha ,\beta =1}^{n^2-1}{C}_{\alpha \beta }\left(F_{\alpha }\rho F_{\beta }^{†}-\frac{1}{2}\left\{F_{\beta }^{†}{F}_{\alpha },\rho \right\}\right),$$

(7)

where the matrices $F_{\alpha }\in M_n(\mathbb{C})$ are traceless and orthogonal with respect to the Hilbert-Schmidt scalar product $\mathrm{Tr}\left(F_{\alpha }^{†}{F}_{\beta }\right)={\delta }_{\alpha \beta }$, so that, together with ${\displaystyle F_{n^2}:=\frac{\mathbb{I}}{\sqrt{n}}}$, they constitute an orthonormal basis in $M_n(\mathbb{C})$, while the complex coefficients form a Positive semi-definite $(n^2-1)\times (n^2-1)$ (Kossakowski) matrix $C=\left[C_{\alpha \beta }\right]\ge 0$.

The following example discusses the physical consequences of Complete Positivity.

Example 1.

Consider one qubit (2-level system) undergoing a purely dissipative time-evolution generated by the master equation

$${\partial }_t{\rho }_t=\mathfrak{L}\left[\rho \right]=\frac{\alpha }{2}\left({\sigma }_1{\rho }_t{\sigma }_1-{\rho }_t\right)+\frac{\alpha }{2}\left({\sigma }_2{\rho }_t{\sigma }_2-{\rho }_t\right)-\frac{\beta }{2}\left({\sigma }_3{\rho }_t{\sigma }_3-{\rho }_t\right),$$

(8)

where $\alpha \ge 0$, with initial condition ${\rho }_0=\rho$. By means of the Pauli matrices ${\sigma }_{1,2,3}$ and the $2\times 2$ identity matrix $\mathbb{I}$, in the so-called Block representation, one writes the initial density matrix $\rho \in M_2(\mathbb{C})$ as

$$\rho =\frac{1}{2}\left(\mathbb{I}+r_1{\sigma }_1+r_2{\sigma }_2+r_3{\sigma }_3\right),r_1^2+r_2^2+r_3^2\le 1,$$

(9)

where the condition on $\overrightarrow{r}=(r_1,r_2,r_3)\in {\mathbb{R}}^3$ is necessary and sufficient for the positivity of the spectrum of ρ. Since ${\sigma }_j{\sigma }_k={\delta }_{jk}-(1-{\delta }_{jk}){\sigma }_k{\sigma }_j$, the Pauli matrices are eigenvectors of the generator:

$$\mathfrak{L}\left[\mathbb{I}\right]=0,\mathfrak{L}\left[{\sigma }_1\right]=-(\alpha -\beta ){\sigma }_1,\mathfrak{L}\left[{\sigma }_2\right]=-(\alpha -\beta ){\sigma }_2,\mathfrak{L}\left[{\sigma }_3\right]=-2\alpha {\sigma }_3.$$

(10)

Then, the semigroup ${\mathsf{\Lambda }}_t={\mathrm{e}}^{t\mathfrak{L}}$ solution to (8) is such that

$${\mathsf{\Lambda }}_t\left[\mathbb{I}\right]=\mathbb{I},{\mathsf{\Lambda }}_t\left[{\sigma }_{1,2}\right]={\mathrm{e}}^{-(\alpha -\beta )t}{\sigma }_{1,2},{\mathsf{\Lambda }}_t\left[{\sigma }_3\right]={\mathrm{e}}^{-2\alpha t}{\sigma }_3,$$

(11)

whence the solution ${\rho }_t={\mathsf{\Lambda }}_t\left[\rho \right]$ to (8) reads

$${\rho }_t=\frac{1}{2}\left(\mathbb{I}+{\mathrm{e}}^{-(\alpha -\beta )t}(r_1{\sigma }_1+r_2{\sigma }_2)+{\mathrm{e}}^{-2\alpha t}{r}_3{\sigma }_3\right),$$

(12)

whence positivity of ${\rho }_t$ at all times $t\ge 0$ is equivalent to $\alpha \ge \beta$. Whether the maps ${\mathsf{\Lambda }}_t$ are also Completely Positive depends on whether the so-called Choi-matrix

$$\begin{array}{ccc}\hfill M_t& :=& {\mathsf{\Lambda }}_t\otimes \mathrm{id}\left[P_{sym}\right]=\frac{1}{4}\left(\mathbb{I}\otimes \mathbb{I}+{\mathrm{e}}^{-(\alpha -\beta )t}({\sigma }_1\otimes {\sigma }_1-{\sigma }_2\otimes {\sigma }_2)+{\mathrm{e}}^{-2\alpha t}{\sigma }_3\otimes {\sigma }_3\right)\hfill \end{array}$$

(13)

$$\begin{array}{ccc}\hfill & =& \frac{1}{2}\left(\begin{array}{cccc}1+{\mathrm{e}}^{-2\alpha t}& 0& 0& 2{\mathrm{e}}^{-(\alpha -\beta )t}\\ 0& 1-{\mathrm{e}}^{-2\alpha t}& 0& 0\\ 0& 0& 1-{\mathrm{e}}^{-2\alpha t}& 0\\ 2{\mathrm{e}}^{-(\alpha -\beta )t}& 0& 0& 1+{\mathrm{e}}^{-2\alpha t}\end{array}\right),\hfill \end{array}$$

(14)

is also positive [18], where

$$P_{sym}=\frac{1}{4}\left(\mathbb{I}\otimes \mathbb{I}+{\sigma }_1\otimes {\sigma }_1-{\sigma }_2\otimes {\sigma }_2+{\sigma }_3\otimes {\sigma }_3\right)$$

(15)

is the projection onto the symmetric entangled two-qubit state

$$|{\mathsf{\Psi }}_{sym}⟩=\frac{1}{\sqrt{2}}\left(|00⟩+|11⟩\right),\mathit{where}{\sigma }_3|0⟩=|0⟩,{\sigma }_3|1⟩=-|1⟩.$$

(16)

Notice that $M_t$ describes the time-evolution of the initial entangled two-qubit state $P_{sym}$ under the dynamical maps ${\mathsf{\Lambda }}_t\otimes \mathrm{id}$. One computes that, at small times $t\ge 0$, the determinant of $M_t$,

$$Det(M_t)={\left(1-{\mathrm{e}}^{-2\alpha t}\right)}^2\left({\left(1+{\mathrm{e}}^{-2\alpha t}\right)}^2-4{\mathrm{e}}^{-2(\alpha -\beta )t}\right)\simeq -32{\alpha }^2\beta t^3$$

and can thus be positive if and only if $\beta \le 0$. The condition $\alpha \ge \beta$ with $\beta >0$ guarantees the positivity of ${\rho }_t$, but it makes a negative eigenvalue appear in the spectrum of the time-evolving two-qubit state state $M_t$ which could not then be any longer considered a proper density matrix. The condition $\beta \le 0$ is indeed the only way to comply with the positivity of the Kossakowski matrix ${\displaystyle C=\frac{1}{2}\mathrm{diag}(\alpha ,\alpha ,-\beta )}$ associated to the generator in (8) and thus, as demanded by Theorem 1, with Complete Positivity.

Through the positivity of the Kossakowski matrix $C=\left[C_{\alpha \beta }\right]$ (see (7)), Complete Positivity puts constraints on the dynamics of the system described by ${\mathsf{\Lambda }}_t$; in particular, in the above example the parameter $\beta$ must be non-positive, while mere Positivity of ${\mathsf{\Lambda }}_t$ only asks $\beta$ not to be larger than $\alpha$. Complete Positivity is sometimes rejected as an unphysical mathematical simplification [19] because the constraints it imposes upon the dynamics follow from a hypothetical initial statistical coupling of the open quantum system S with an uncontrollable, dynamically inert copy of itself whose only role is to allow for initial entanglement between them. A more physically palatable ground for the necessity of Complete Positivity emerges when one considers the dynamical maps ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ on $S+S$, namely, when the physical context is one where both system and ancilla are under control and in independent weak interaction with a same environment so that they both evolve according to the same map ${\mathsf{\Lambda }}_t$. Then, the following result holds [20].

Theorem 2.

${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ is Positive on $\mathcal{S}(S+S)$, if and only if ${\mathsf{\Lambda }}_t$ is Completely Positive on $\mathcal{S}(S)$.

The physical implications of the above theorem are the following: if ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ is to describe a physical time-evolution, it must be Positive for all $t\ge 0$, otherwise negative probabilities may appear in the course of time when one starts with initial bipartite entangled states of $S+S$. Then, according to the above theorem, necessarily the single system dynamics ${\mathsf{\Lambda }}_t$ must be Completely Positive and not only Positive. Notice that if all initial states of $S+S$ were separable, ${\rho }_{sep}={\sum }_{i,j}{\lambda }_{ij}{\rho }_i^S\otimes {\rho }_j^S$, with ${\lambda }_{ij}\ge 0$, ${\sum }_{ij}{\lambda }_{ij}=1$, and ${\rho }_{i,j}^S\in \mathcal{S}(S)$, then the Positivity of ${\mathsf{\Lambda }}_t$ would suffice for physical consistency; indeed,

$${\rho }_{sep}\mapsto {\rho }_{sep}(t)=\sum _{i,j}{\lambda }_{ij}{\mathsf{\Lambda }}_t\left[{\rho }_i^S\right]\otimes {\mathsf{\Lambda }}_t\left[{\rho }_j^S\right]\ge 0.$$

(17)

This shows that, far from just being a mathematical nicety, Complete Positivity is the dynamical alter ego of quantum entanglement.

2.2. Non-Markovian Quantum Dynamics

The semigroup composition law (5) follows from the time independence of the generator $\mathfrak{L}$ in (6) as results from suitable Markovian approximations operated on the integro-differential equation (3). Let us now proceed without such approximations, taking the equation (3) at its face value. Suppose the dynamics ${\mathsf{\Lambda }}_t:\rho \mapsto {\rho }_t={\mathsf{\Lambda }}_t\left[\rho \right]$ generated by (3) to be invertible as a linear map, then the time non-local equation can be recast into the time local form

$${\partial }_t{\rho }_t={\int }_0^t\mathrm{d}\tau \mathfrak{K}(\tau )\circ {\mathsf{\Lambda }}_{t-\tau }\circ {\mathsf{\Lambda }}_t^{-1}\left[{\rho }_t\right]={\mathfrak{L}}_t\left[{\rho }_t\right],$$

(18)

with a time-dependent generator ${\mathfrak{L}}_t={\int }_0^t\mathrm{d}\tau \mathfrak{K}(\tau )\circ {\mathsf{\Lambda }}_{t-\tau }\circ {\mathsf{\Lambda }}_t^{-1}$. Explicitly time-dependent master equations of the form

$${\partial }_t{\rho }_t={\mathfrak{L}}_t\left[{\rho }_t\right],$$

(19)

are at the basis of the theory of non-Markovian open quantum dynamics [5,6,21,22,23,24]. Formal solutions to such equations, with initial condition ${\rho }_{t_0}$ at $t=t_0\ge 0$ read

$${\rho }_t={\mathsf{\Lambda }}_{t,t_0}\left[{\rho }_{t_0}\right]:=\mathbb{T}{\mathrm{e}}^{{\int }_{t_0}^t\mathrm{d}\tau {\mathfrak{L}}_{\tau }}\left[{\rho }_{t_0}\right],$$

(20)

by means of the time-ordered exponentials

$$\mathbb{T}{\mathrm{e}}^{{\int }_{t_0}^t\mathrm{d}\tau {\mathfrak{L}}_{\tau }}:=\mathrm{id}+\sum _{k=1}^{\infty }{\int }_{t_0}^t\mathrm{d}{\tau }_1{\int }_{t_0}^{{\tau }_1}\mathrm{d}{\tau }_2\cdots {\int }_{t_0}^{{\tau }_k}\mathrm{d}{\tau }_k{\mathfrak{L}}_{{\tau }_1}\circ {\mathfrak{L}}_{{\tau }_2}\circ \cdots \circ {\mathfrak{L}}_{{\tau }_{k-1}}.$$

(21)

The maps ${\mathsf{\Lambda }}_{t,t_0}$ form a two parameter semigroup:

$${\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_{s,t_0}={\mathsf{\Lambda }}_{t,t_0}\forall t\ge s\ge t_0\ge 0.$$

(22)

Setting ${\mathsf{\Lambda }}_t:={\mathsf{\Lambda }}_{t,0}$, the family of dynamical maps ${\mathsf{\Lambda }}_t$, $t\ge 0$, is automatically divisible in the sense that for all $t\ge s\ge 0$ there exists an intertwining operator mapping ${\mathsf{\Lambda }}_s$ into ${\mathsf{\Lambda }}_t$; indeed,

$${\mathsf{\Lambda }}_{t,s}={\mathsf{\Lambda }}_t\circ {\mathsf{\Lambda }}_s^{-1},\mathrm{and}{\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s\forall t\ge s\ge 0.$$

(23)

Remark 1.

The inverse ${\mathsf{\Lambda }}^{-1}$ of a Completely Positive map Λ is Completely Positive if and only if $\mathsf{\Lambda }\left[\rho \right]=U\rho U^{†}$ with U unitary [3]. In general, ${\mathsf{\Lambda }}_s^{-1}$ is not Completely Positive and neither is ${\mathsf{\Lambda }}_{t,s}$. However, if ${\mathsf{\Lambda }}_{t,s}$ is Completely Positive for all $t\ge s\ge 0$ such are also the dynamical maps ${\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,0}$. Nonetheless, as we shall see, the Complete Positivity of ${\mathsf{\Lambda }}_t$ for all $t\ge 0$ does not require the intertwining maps ${\mathsf{\Lambda }}_{t,s}$ to be Completely Positive. Furthermore, unlike for one-parameter semigroups with time-independent generator, there have not yet been found necessary conditions on the time-dependent generator ${\mathfrak{L}}_t$, as those provided by Theorem 1, ensuring the Complete Positivity of the generated dynamical maps ${\mathsf{\Lambda }}_t$.

The following theorem fixes the form of the generators ${\mathfrak{L}}_t$ when they provide Completely Positive intertwining maps ${\mathsf{\Lambda }}_{t,s}$ for all $t\ge s\ge 0$ [21].

Theorem 3.

The solutions ${\mathsf{\Lambda }}_{t,t_0}$ to the time-dependent master equation (19), for all $t\ge t_0\ge 0$, are Completely Positive maps if and only if the generator ${\mathfrak{L}}_t$ reads

$${\mathfrak{L}}_t\left[\rho \right]=-i\left[H_t,\rho \right]+\sum _{\alpha ,\beta =1}^{n^2-1}{C}_{\alpha \beta }(t)\left(F_{\alpha }\rho F_{\beta }^{†}-\frac{1}{2}\left\{F_{\beta }^{†}{F}_{\alpha },\rho \right\}\right),$$

(24)

where the matrices $F_{\alpha }\in M_n(\mathbb{C})$ are as in Theorem 1, while $H_t=H_t^{†}$ is a time-dependent Hamiltonian and $C_t=\left[C_{\alpha \beta }(t)\right]$ a time-dependent positive semi-definite Kossakowski matrix.

The previous result states that a positive semi-definite, time-dependent Kossakowski matrix is equivalent to the Complete Positivity of all intertwining maps ${\mathsf{\Lambda }}_{t,s}$, $t\ge s\ge 0$, associated with ${\mathfrak{L}}_t$; however, as commented in Remark 1, the latter property is not necessary for the Complete Positivity of ${\mathsf{\Lambda }}_t$, $t\ge 0$. Therefore, $C_t\ge 0$ for all $t\ge 0$ implies, but it is not implied by, ${\mathsf{\Lambda }}_t$ being Completely Positive for all $t\ge 0$.

The following example provides a simple model of qubit dynamics that allows to discuss some of the most prominent aspects of non-Markovianity; in particular, the fact that another property of semigroups fails general one-parameter families of maps ${\mathsf{\Lambda }}_t$, $t\ge 0$. Namely, unlike in Theorem 2, there exist families of dynamical maps ${\mathsf{\Lambda }}_t$ solutions to (19) such that ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ is Positive without ${\mathsf{\Lambda }}_t$ being Completely Positive.

Example 2.

Consider the following 1-qubit master equation ${\partial }_t{\rho }_t={\mathfrak{L}}_t\left[\rho \right]$ with time-dependent generator [7]:

$${\mathfrak{L}}_t\left[\rho \right]:=\frac{\alpha }{2}\left({\sigma }_1{\rho }_t{\sigma }_1-{\rho }_t\right)+\frac{\alpha }{2}\left({\sigma }_2{\rho }_t{\sigma }_2-{\rho }_t\right)-\frac{\alpha }{2}\tanh t\left({\sigma }_3{\rho }_t{\sigma }_3-{\rho }_t\right),\alpha \ge 0.$$

(25)

By comparison with (8), the generator ${\mathfrak{L}}_t$ is characterised by a time-dependent Kossakowski matrix

$${\displaystyle C_t=\frac{\alpha }{2}\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& -\tanh t\end{array}\right)}$$

which is Positive semi-definite only at $t=0$, while $-\tanh t<0$ for $t>0$. Therefore, according to Theorem 3, the intertwining maps ${\mathsf{\Lambda }}_{t,s}$ can never be Completely Positive; nevertheless, the generated maps ${\mathsf{\Lambda }}_t$ are Completely Positive only for $\alpha \ge 1$ while they are Positive for $\alpha \ge 0$. Indeed, as in Example 1,

$$\begin{array}{ccc}{\mathfrak{L}}_t\left[\mathbb{I}\right]=0\hfill & \hfill {\mathfrak{L}}_t\left[{\sigma }_{1,2}\right]=-\alpha (1-\tanh t){\sigma }_{1,2}& {\mathfrak{L}}_t\left[{\sigma }_3\right]=-2\alpha {\sigma }_3\hfill \end{array}$$

(26)

$$\begin{array}{ccc}{\mathsf{\Lambda }}_t\left[\mathbb{I}\right]=\mathbb{I}\hfill & \hfill {\mathsf{\Lambda }}_t\left[{\sigma }_{1,2}\right]={\mathrm{e}}^{-\alpha t}{\cosh }^{\alpha }t{\sigma }_{1,2}& {\mathsf{\Lambda }}_t\left[{\sigma }_3\right]={\mathrm{e}}^{-2\alpha t}{\sigma }_3.\hfill \end{array}$$

(27)

Such an action corresponds to ${\mathsf{\Lambda }}_t$ being expressible very similarly to the Kraus-Stinespring decomposition in (4):

$${\rho }_t:={\mathsf{\Lambda }}_t\left[\rho \right]=\sum _{a=0}^3{\lambda }_a(t){\sigma }_a\rho {\sigma }_a,$$

(28)

with coefficients

$${\lambda }_0(t)=\frac{{\mathrm{e}}^{-\alpha t}}{2}\left(\cosh (\alpha t)+{\cosh }^{\alpha }t\right),{\lambda }_{1,2}(t):=\frac{1-{\mathrm{e}}^{-2\alpha t}}{2},{\lambda }_3(t)=\frac{{\mathrm{e}}^{-\alpha t}}{2}\left(\cosh (\alpha t)-{\cosh }^{\alpha }t\right).$$

(29)

The maps ${\mathsf{\Lambda }}_t$ are trace-preserving for all $\alpha \ge 0$; indeed, ${\sum }_{\alpha =0}^3{\lambda }_{\alpha }(t)=1$. Furthermore, by means of the convexity of the function $\log \cosh t$ for $t\ge 0$ one checks that ${\lambda }_3(t)$ is negative for all $0<\alpha <1$ and Positive if $\alpha \ge 1$. Thus, the expression (28) reduces to (4) and ${\mathsf{\Lambda }}_t$ is Completely Positive only for $\alpha =0$ and $\alpha \ge 1$.

On the other hand, ${\mathsf{\Lambda }}_t$ is Positive for all ${\displaystyle \alpha \ge 0}$; indeed, in the Block representation (9),

$${\rho }_t=\frac{1}{2}(\mathbb{I}+{\overrightarrow{r}}_t·\overrightarrow{\sigma }),{\overrightarrow{r}}_t=(r_1{\mathrm{e}}^{-\alpha t}{\cosh }^{\alpha }t,r_2{\mathrm{e}}^{-\alpha t}{\cosh }^{\alpha }t,r_3{\mathrm{e}}^{-2\alpha t}),$$

(30)

whence the Block vector ${\overrightarrow{r}}_t$ belongs to the unit sphere in ${\mathbb{R}}^3$ and ${\mathsf{\Lambda }}_t$ is Positive for all $t\ge 0$ so that ${\rho }_t$ is a legitimate 1-qubit state for all $\alpha \ge 0$.

Let us now consider the tensor product dynamics ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ which describes two qubits subjected to identical and independent interactions with their environment. By means of (28), its action on two qubit states ${\rho }_{12}$ can also be cast in a Kraus-Stinespring-like diagonal form

$${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t\left[{\rho }_{12}\right]=\sum _{a,b=0}^3{\lambda }_a(t){\lambda }_b(t){\sigma }_a\otimes {\sigma }_b{\rho }_{12}{\sigma }_a\otimes {\sigma }_b,$$

(31)

However, because of ${\lambda }_3(t)$, the coefficients ${\lambda }_a(t){\lambda }_3(t)$, $a=0,1,2,3$, are negative for $0<\alpha <1$. Thus, ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ is Completely Positive when and only when $\alpha =0$ or $\alpha \ge 1$, namely when and only when ${\mathsf{\Lambda }}_t$ is Completely Positive.

Further, a result in [25] ensures that, for trace preserving qubit maps ${\mathsf{\Lambda }}_t$, the Positivity of the tensor product maps, ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$, on two qubits is equivalent to the Complete Positivity of the squares, ${\mathsf{\Lambda }}_t^2={\mathsf{\Lambda }}_t\circ {\mathsf{\Lambda }}_t$, of the 1-qubit maps. Since from (27) it follows that ${\mathsf{\Lambda }}_t^2$ acts as ${\mathsf{\Lambda }}_t$ by changing α into $2\alpha$, ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ is Positive for $\alpha \ge 1/2$. Thus, for $\alpha \in [1/2,1)$, ${\mathsf{\Lambda }}_t$ and ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ are both Positive but not Completely Positive.

Finally, one easily computes the algebraic inverse of ${\mathsf{\Lambda }}_t$ as a linear map on $\mathcal{S}(S)$,

$${\mathsf{\Lambda }}_t^{-1}\left[{\sigma }_{1,2}\right]=\frac{{\mathrm{e}}^{\alpha t}}{{\cosh }^{\alpha }(t)}{\sigma }_{1,2},{\mathsf{\Lambda }}_t^{-1}\left[{\sigma }_3\right]={\mathrm{e}}^{2\alpha t}{\sigma }_3.$$

(32)

The intertwining maps thus read ${\displaystyle {\mathsf{\Lambda }}_{t,s}={\mathsf{\Lambda }}_t\circ {\mathsf{\Lambda }}_s^{-1}}$ and are such that

$${\mathsf{\Lambda }}_{t,s}\left[{\sigma }_{1,2}\right]={\mu }_{t,s}{\sigma }_{1,2},{\mathsf{\Lambda }}_{t,s}\left[{\sigma }_3\right]={\lambda }_{t,s}{\sigma }_3,$$

(33)

where

$${\mu }_{t,s}:={\mathrm{e}}^{-\alpha (t-s)}\frac{{\cosh }^{\alpha }(t)}{{\cosh }^{\alpha }(s)}={\left(\frac{1+{\mathrm{e}}^{-2t}}{1+{\mathrm{e}}^{-2s}}\right)}^{\alpha },{\lambda }_{t,s}={\mathrm{e}}^{-2\alpha (t-s)}.$$

(34)

We have thus seen that, unlike for one-parameter semigroups, ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ can be Positive with ${\mathsf{\Lambda }}_t$ being not Completely Positive; however, similarly to Theorem 2, the following results holds for the intertwining maps ${\mathsf{\Lambda }}_{t,s}$ [7].

Theorem 4.

Given a one-parameter family of maps ${\mathsf{\Lambda }}_t$, $t\ge 0$, with intertwining maps ${\mathsf{\Lambda }}_{t,s}$, $t\ge s\ge 0$, then the tensor product maps ${\mathsf{\Lambda }}_{t,s}\otimes {\mathsf{\Lambda }}_{t,s}$ on $\mathcal{S}(S+S)$ are Positive if and only if the maps ${\mathsf{\Lambda }}_{t,s}$ are Completely Positive.

Theorem 4 has an important consequence in relation to Example 2: it excludes that the tensor products ${\mathsf{\Lambda }}_{t,s}\otimes {\mathsf{\Lambda }}_{t,s}$ of the maps in (30) could be Positive for all $t\ge s\ge 0$ when $\alpha \in [1/2,1)$. Indeed, if ${\mathsf{\Lambda }}_{t,s}\otimes {\mathsf{\Lambda }}_{t,s}$ were Positive, then the single system maps ${\mathsf{\Lambda }}_{t,s}$ would be Completely Positive and thus such would be also the single system dynamical maps ${\mathsf{\Lambda }}_t$, but this is impossible for the $\alpha$ in the interval considered.

The qubit time-evolution in the previous example is also an instance of a dynamics ${\mathsf{\Lambda }}_t$ which is fully legitimate, namely Completely Positive, for $\alpha >1$, but non-Markovian according to the so-called divisibility criterion that we are now going to discuss (se also Ref. [3,24,26]).

Definition 1.

A one-parameter family ${\mathsf{\Lambda }}_t$ of Completely Positive dynamical maps on $\mathcal{S}(S)$ is called CP-divisible, respectively P-divisible, if ${\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s$ for all $t\ge s\ge 0$, with Completely Positive, respectively Positive, intertwining maps ${\mathsf{\Lambda }}_{t,s}$. The one-parameter family ${\mathsf{\Lambda }}_t$, $t\ge 0$, is called Markovian by divisibility if and only if it is CP-divisible.

Because the generator ${\mathfrak{L}}_t$ in Example 2 has a non-positive definite Kossakowski matrix, according to Theorem 3, the dynamical maps ${\mathsf{\Lambda }}_t$ studied there cannot be CP-divisible. However, they are always P-divisible. Indeed [3,27], trace-preserving maps $\mathsf{\Lambda }:M_n(\mathbb{C})\mapsto M_n(\mathbb{C})$ are Positive if and only if they are contractive on self-adjoint operators with respect to the trace norm

$${\parallel X\parallel }_1:=\mathrm{Tr}\left(\sqrt{X^{†}X}\right).$$

(35)

For self-adjoint operators $X=X^{†}$, ${\parallel X\parallel }_1=\mathrm{Tr}(X_{+})+\mathrm{Tr}(X_{-})$, where $X_{\pm }$ are the positive orthogonal parts of $X=X_{+}-X_{-}$ and for contractive $\mathsf{\Lambda }$ it holds that

$${\parallel \mathsf{\Lambda }\left[X\right]\parallel }_1\le {\parallel X\parallel }_1.$$

(36)

Then, P-divisibility of invertible maps ${\mathsf{\Lambda }}_t$ becomes equivalent to [28]

$$\frac{\mathrm{d}}{\mathrm{d}t}\parallel {\mathsf{\Lambda }}_t{\left[X\right]\parallel }_1=\frac{\mathrm{d}}{\mathrm{d}t}{\parallel {\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s\left[X\right]\parallel }_1\le 0\forall t\ge 0,\forall X=X^{†}\in M_n(\mathbb{C}).$$

(37)

This condition is satisfied by the map ${\mathsf{\Lambda }}_t$ in the example: indeed, given $X=X^{†}=x_0+{\sum }_{i=1}^3{x}_i{\sigma }_i$, using (27) with real $x_0$ and $x_i$, $i=1,2,3$, the eigenvalues of ${\mathsf{\Lambda }}_t\left[X\right]$ are

$$x_{\pm }(t)=x_0\pm {\Delta }_t,{\Delta }_t:=\sqrt{x_3^2{\mathrm{e}}^{-4\alpha t}+(x_1^2+x_2^2){\mathrm{e}}^{-2\alpha t}{\cosh }^{2\alpha }(t)}.$$

(38)

Since ${\Delta }_t\le {\Delta }_0$, $\parallel {\mathsf{\Lambda }}_t{\left[X\right]\parallel }_1$ is either constant, $\parallel {\mathsf{\Lambda }}_t{\left[X\right]\parallel }_1=2|x_0{|=\parallel X\parallel }_1$, or it decreases in time, $\parallel {\mathsf{\Lambda }}_t{\left[X\right]\parallel }_1=2{\Delta }_t\le 2{\Delta }_s={\parallel {\mathsf{\Lambda }}_s\left[X\right]\parallel }_1$ for $t\ge s\ge 0$.

On the other hand, in view of the last comment in Example 2, the double tensor products ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ are no longer P-divisible, whence P-divisibilty as much as Positivity is not a property which is in general stable under tensorisation. This is in contrast to Complete Positivity and CP-divisibility: if ${\mathsf{\Lambda }}_t$ is Completely Positive or CP-divisible, that is if ${\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s$ with ${\mathsf{\Lambda }}_{t,s}$ Completely Positive for all $t\ge s\ge 0$, then both ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ and ${\mathsf{\Lambda }}_{t,s}\otimes {\mathsf{\Lambda }}_{t,s}$ are also Completely Positive. In fact, the Kraus-Sinespring form (4) which identifies Completely Positive maps is robust against tensor products ${\mathsf{\Lambda }}_{t,s}\otimes {\mathsf{\Lambda }}_{t,s}$.

The various properties of the maps and intertwining maps introduced in Example 2 are resumed in the following table (Table 1).

Table 1. Positivity and Complete Positivity of maps, intertwining maps and their tensor products with varying $\alpha$.

Maps/$\mathit{\alpha }$	${\mathsf{\Lambda }}_{\mathit{t}}$	${\mathsf{\Lambda }}_{\mathit{t}}\otimes {\mathsf{\Lambda }}_{\mathit{t}}$	${\mathsf{\Lambda }}_{\mathit{t},\mathit{s}}$	${\mathsf{\Lambda }}_{\mathit{t},\mathit{s}}\otimes {\mathsf{\Lambda }}_{\mathit{t},\mathit{s}}$
$0<\alpha \le 1/2$	P, not CP	not P	P	not P
$1/2\le \alpha \le 1$	P, not CP	P, not CP	P, not CP	not P
$\alpha \ge 1$	CP	CP	P, not CP	not P

3. Physicality Quantifiers

The fact that, unlike CP-divisibility, P-divisibility is not stable under double tensorisation represents a puzzle within another approach to non-Markovianity that identifies it with an information back-flow from the environment E into the open quantum system S [5,6]. In order to discuss this issue, we shall use a recent approach [8] that has been developed as a unifying framework for all measures, called Physicality Quantifiers, of information flows. Indeed, whether the latter goes into the system S from the environment E or vice versa from S into E can be witnessed by suitable bounded functionals from all possible statistical ensembles of states of S into the positive reals, that monotonically decrease under the action of Completely Positive maps. A statistical ensemble of states of S is any set ${\mathcal{E}}_S:={\{p_i,{\rho }_i^S\}}_{i=1}^n$ of density matrices ${\rho }_i\in \mathcal{S}(S)$ and statistical weights $p_i\ge 0$, ${\sum }_{i=1}^n{p}_i=1$.

Definition 2.

Let ${\mathcal{F}}_S^{(n)}$ denote the set of all statistical ensembles ${\mathcal{E}}_S={\{p_i,{\rho }_i^S\}}_{i=1}^n$ comprising n states and weights and let ${\mathcal{F}}_S={\bigcup }_{n=1}^{\infty }{\mathcal{F}}_S^{(n)}$ correspond to the set of all possible statistical ensembles. A Physicality Quantifier, ${\mathcal{I}}_S$, is any Positive, bounded functional on ${\mathcal{F}}_S$ decreasing under the action of Completely Positive trace-preserving maps Λ on the state space of the system S, in the following sense

$${\mathcal{I}}_S\left(\left\{p_i,\mathsf{\Lambda }\left[{\rho }_i\right]\right\}\right)\le {\mathcal{I}}_S\left(\left\{p_i,{\rho }_i)\right\}\right)\forall t\ge 0.$$

(39)

The most used among such Physicality Quantifiers are the trace-distance (see (35))

$$D({\rho }_1,{\rho }_2)=\frac{1}{2}{\parallel {\rho }_1-{\rho }_2\parallel }_1,$$

(40)

and the extended trace distance

$$GTD(p_1,p_2,{\rho }_1,{\rho }_2):={\parallel p_1{\rho }_1-p_2{\rho }_2\parallel }_{1}0\le p_1\le 1,p_2=1-p_1.$$

(41)

Both these Physicality Quantifiers involve two density matrices and thus act on ${\mathcal{F}}_S^{(2)}$ the first one being characterised by fixed weights $p_1=p_2=1/2$. Both these quantities decrease under Positive (and thus a fortiori under Completely Positive) maps because, as already observed, Positive trace-preserving maps are contractive with respect to the trace-norm.

Remark 2.

Another quantity with the same monotonic behaviour relative to statistical ensembles consisting of two density matrices ${\rho }_{1,2}$ is the relative entropy

$$S({\rho }_1,{\rho }_2)=\mathrm{Tr}\left({\rho }_1\left(\log {\rho }_1-\log {\rho }_2\right)\right).$$

(42)

This expression vanishes only when ${\rho }_1={\rho }_2$ and it has been much used in describing entropy production in quantum thermodynamics [29]. Recently, it has been shown [30] that Positivity of ${\mathsf{\Lambda }}_t$ is sufficient to ensure that

$$S({\mathsf{\Lambda }}_t\left[{\rho }_1\right],{\mathsf{\Lambda }}_t\left[{\rho }_2\right])\le S({\rho }_1,{\rho }_2)\forall t\ge s\ge 0.$$

(43)

Though the relative entropy, being unbounded on ${\mathcal{F}}_S^{(2)}$, is not a Physicality Quantifier as in Definition 2, we will nevertheless consider it as such by virtue of its monotonic behaviour.

All the three previous functionals on ${\mathcal{F}}_S^{(2)}$ measure the degree of distinguishability of two density matrices and can thus be related to how the information about the system S behaves in time: the argument goes as follows. In the case of unitary time-evolutions, both the maps $\rho \mapsto {\rho }_t=U_t\rho U_t^{†}$ and their inverse maps $\rho \mapsto U_t^{†}\rho U_t$ are of the Kraus-Stinespring form (4) and thus Completely Positive. Therefore, any Physicality Quantifier dos not change in time under their action:

$${\mathcal{I}}_S\left(\left\{p_i,U_t{\rho }_i{U}_t^{†}\right\}\right)\le {\mathcal{I}}_S\left(\left\{p_i,{\rho }_i\right\}\right)={\mathcal{I}}_S\left(\left\{p_i,U_t^{†}{U}_t{\rho }_i{U}_t^{†}{U}_t\right\}\right)\le {\mathcal{I}}_S\left(\left\{p_i,U_t{\rho }_i{U}_t^{†}\right\}\right).$$

(44)

Given a monotonically decreasing functional ${\mathcal{I}}_S$ on ${\mathcal{E}}_S=\{p_i,{\rho }_i\}$, one may distinguish between an internal information content relative to the systems S, only; namely,

$$I_{\mathrm{int}}(t):={\mathcal{I}}_S\left(\left\{p_i,{\mathsf{\Lambda }}_t\left[{\rho }_i\right]\right\}\right),$$

(45)

and a global one concerning the entire closed compound system $S+E$ together with its statistical ensembles of the form $\{p_i,{\rho }_i\otimes {\rho }_E\}$, the environment state ${\rho }_E$ being the equilibrium state from which, together with $U_t$, one derives the reduced dynamics ${\mathsf{\Lambda }}_t$ of the open system S. By subtracting from the global information content the internal one, one gets a measure of the information external to S:

$$I_{\mathrm{ext}}(t):={\mathcal{I}}_{S+E}\left(\left\{p_i,U_t{\rho }_i\otimes {\rho }_E{U}_t^{†}\right\}\right)-{\mathcal{I}}_S\left(\left\{p_i,{\mathsf{\Lambda }}_t\left[{\rho }_i\right]\right\}\right).$$

(46)

Since the dynamics of $S+E$ is unitary, ${\mathcal{I}}_{S+E}\left(\left\{p_i,U_t{\rho }_i\otimes {\rho }_E{U}_t^{†}\right\}\right)$ is constant in time; then,

$$I_{\mathrm{int}}(t)+I_{\mathrm{ext}}(t)={\mathcal{I}}_{S+E}\left(\left\{p_i,{\rho }_i\otimes {\rho }_E\right\}\right).$$

(47)

Therefore, if $I_{\mathrm{int}}(t)$ decreases, the information content of the environment increases; this is an effect that can be interpreted as a flow of information from the system S to the environment E. Vice versa, if $I_{\mathrm{ext}}(t)$ decreases, the increase of the internal information is interpreted as an information back-flow from the environment to the system. This argument is at the basis of the definition of non-Markovianity proposed in [5], respectively [6], and based on the trace-distance (40), respectively generalised trace-distance (41). Both these approaches to non-Markovianity can be accommodated within the framework of Physicality Quantifiers in [8] where one can introduce various degrees of Markovianity.

Definition 3.

A physical map ${\mathsf{\Lambda }}_t$ is said to be ${\mathcal{I}}_S$-Markovian if ${\mathcal{I}}_S$ is monotonically decreasing in time for any given statistical ensemble ${\mathcal{E}}_S\in {\mathcal{F}}_S$,

$${\mathcal{I}}_S\left(\left\{p_i,{\mathsf{\Lambda }}_t\left[{\rho }_i\right]\right\}\right)\le {\mathcal{I}}_S\left(\left\{p_i,{\mathsf{\Lambda }}_s\left[{\rho }_i\right])\right\}\right)\forall t\ge s\ge 0.$$

(48)

${\mathsf{\Lambda }}_t$ is said to be n-Markovian if all Physicality Quantifiers ${\mathcal{I}}_S$ on ${\mathcal{F}}_S^{(n)}$ are monotonically decreasing and S-Markovian if it is n-Markovian for all n.

The idea behind this classification is clear: CP-divisible dynamics cannot break the monotonic decrease of Physicality Quantifiers, by the very definition of these latter quantities. However, lack of Markovianity is not identified with lack of CP-divisibility; indeed, as we have seen, the trace-distances and the relative entropy behave monotonically also under the action of P-divisible, but not necessarily CP-divisible maps. Rather, lack of Markovianity is identified with back-flow of information as witnessed by the lack of monotonicity of some Physicality Quantifier of a certain degree that might be higher than that of the trace-distance or of the generalised trace-distance and might thus require statistical ensembles comprising more than two density matrices.

An important result is the following one which asserts that if the generalised trace-distance monotonically decreases under ${\mathsf{\Lambda }}_t$ then so must do all Physicality Quantifiers over statistical ensembles with two density matrices.

Theorem 5.

A qubit dynamics ${\mathsf{\Lambda }}_t$ is Markovian with respect to the generalised trace-distance if and only if it is 2-S-Markovian.

Consider the maps ${\mathsf{\Lambda }}_t$ in Example 2, they are P-divisible; therefore, because of their contractive character, both the trace-distance and the generalised trace-distance monotonically decrease under they action and thus they and the relative entropy as well signal no back-flow of information. According to Theorem 5, back-flow of information, if any, cannot be witnessed, at the single qubit level, by Physicality Quantifiers in ${\mathcal{F}}_S^{(2)}$. However, the dynamics ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ of two independent qubits is Positive, but not P-divisible for $\alpha \in [1/2,1)$ and can thus be accompanied by back-flow of information as explicitly shown in the following example. The puzzling fact that the information flow can be inverted by tensorisation will be dealt with in the next section.

Example 3.

Let us consider the intertwining map ${\mathsf{\Lambda }}_{t,s}$ in (32). For sufficiently small $0\le \Delta t$, it is linearly approximated by

$${\mathsf{\Lambda }}_{t+\Delta t,t}\left[\mathbb{I}\right]=\mathbb{I},{\mathsf{\Lambda }}_{t+\Delta t,t}\left[{\sigma }_{1,2}\right]\simeq {\sigma }_{1,2}-\alpha \Delta t\left(1-\tanh t\right){\sigma }_{1,2},{\mathsf{\Lambda }}_{t+\Delta t,t}\left[{\sigma }_3\right]\simeq {\sigma }_3-2\alpha \Delta t{\sigma }_3.$$

(49)

Then, up to first order in $\Delta t$, its action on the entangled bipartite state $P_{sym}$ in (15) yields

$$Q(t,\Delta t):={\mathsf{\Lambda }}_{t+\Delta ,t}\otimes {\mathsf{\Lambda }}_{t+\Delta t,t}\left[P_{sym}\right]\simeq P_{sym}-\frac{\alpha }{2}\Delta t(1-\tanh t)\left({\sigma }_1\otimes {\sigma }_1-{\sigma }_2\otimes {\sigma }_2\right)-\alpha \Delta t{\sigma }_3\otimes {\sigma }_3.$$

(50)

It can be checked that, for sufficiently small $0\le \Delta t$ and all $t>0$, $Q(t,\Delta t)$ has a negative eigenvalue; indeed,

$$Q(t,\Delta t)\frac{|00⟩-|11⟩}{\sqrt{2}}\simeq -\alpha \Delta t\tanh t\frac{|00⟩-|11⟩}{\sqrt{2}}.$$

(51)

Therefore, since $\mathrm{Tr}\left(Q(t,\Delta t)\right)=\mathrm{Tr}\left(P_{sym}\right)=1$, the sum of the absolute values of the eigenvalues of $Q(t,\Delta t)$, namely its trace-norm, must exceed 1, whence

$$\begin{array}{ccc}\hfill {∥Q(t,\Delta t)∥}_1& =& {∥{\mathsf{\Lambda }}_{t+\Delta t}\otimes {\mathsf{\Lambda }}_{t+\Delta t}\left[{\mathsf{\Lambda }}_t^{-1}\otimes {\mathsf{\Lambda }}_t^{-1}\left[P_{sym}\right]\right]∥}_1\hfill \\ \hfill & \ge & 1=\parallel P_{sym}{\parallel }_1={∥{\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t\left[{\mathsf{\Lambda }}_t^{-1}\otimes {\mathsf{\Lambda }}_t^{-1}\left[P_{sym}\right]\right]∥}_1.\hfill \end{array}$$

(52)

Consider the trace-norm $N_t(s)$ of

$$\begin{array}{ccc}\hfill {\mathsf{\Lambda }}_s\otimes {\mathsf{\Lambda }}_s\left[{\mathsf{\Lambda }}_t^{-1}\otimes {\mathsf{\Lambda }}_t^{-1}\left[P_{sym}\right]\right]& =& \frac{1}{4}\left(\mathbb{I}\otimes \mathbb{I}+{\mu }_{s,t}^2({\sigma }_1\otimes {\sigma }_1-{\sigma }_2\otimes {\sigma }_2)+{\lambda }_{s,t}^2{\sigma }_3\otimes {\sigma }_3\right)\hfill \\ & =& \frac{1}{4}\left(\begin{array}{cccc}1+{\lambda }_{s,t}^2& 0& 0& 2{\mu }_{s,t}^2\\ 0& 1-{\lambda }_{s,t}^2& 0& 0\\ 0& 0& 1-{\lambda }_{s,t}^2& 0\\ 2{\mu }_{s,t}^2& 0& 0& 1+{\lambda }_{s,t}^2\end{array}\right)\hfill \end{array}$$

(53)

with ${\mu }_{s,t}$ and ${\lambda }_{s,t}$ are as in (34) with t and s exchanged. As a function of $s\ge 0$ for fixed t, $N_t(s)$ increases for $t\le s\le t+\Delta t$, thus revealing the presence of a back-flow of information from the environment to the compound system $S+S$. The non-monotonically decreasing behaviour of $N_t(s)$ is shown in Figure 1 for various values of α and fixed $t=0.5$.

Figure 1. Behaviour of the trace norm of the matrix (53), $N_t(s)$, for $t=0.5$ and $\alpha =\{0.8,0.9,1.0,1.1,1.2\}$.

In the following we shall provide a cure to the puzzle presented by the fact that ${\mathsf{\Lambda }}_t$ does not show back-flow of information while ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ does. Such a puzzle occurs for $1/2\le \alpha <1$, range of values for which ${\mathsf{\Lambda }}_t$ is Positive but not Completely Positive: for this range of values, the physical consistency of ${\mathsf{\Lambda }}_t$ does not extend then to the maps ${\mathsf{\Lambda }}_t\otimes \mathrm{id}$ which fail to be Positive. Nonetheless, the maps ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ are Positive and thus represent a physically legitimate two qubit dynamics. Therefore, the informational puzzle cannot be outright discarded as unphysical also in view of the fact that, as already noticed, the available Physicality Quantifiers in ${\mathcal{F}}_S^{(2)}$ monotonically decrease even under maps that are only Positive and not Completely Positive.

4. Quasi-Entropies

The hierarchy of Markovianity degrees elaborated in [8] suggests an obvious way out of the informational puzzle presented above; namely, it might occur that the back-flow of information affecting ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ also affects ${\mathsf{\Lambda }}_t$, though in a way that cannot be exposed by either the trace-distance, the generalised trace-distance or the relative entropy and that demands Physicality Quantifiers of higher degree than $n=2$. Indeed, as from Theorem 5, no Physicality Quantifier ${\mathcal{I}}_S$ with two density matrices can witness any back flow information affecting a qubit non-Markovian dynamics if this cannot be done by the generalised trace-distance.

Then, one should look for Physicality Quantifiers involving more than two density matrices to see whether monotonic decrease fails at a higher level than on statistical ensembles in ${\mathcal{F}}_S^{(2)}$; unfortunately, very few ${\mathcal{I}}_S$ on ${\mathcal{F}}_S^{(n)}$, $n\ge 3$, are known in the literature. Instead, we propose to enlarge the class of Physicality Quantifiers by adding to them the so-called quasi-entropies originally introduced in [9,10,11,12] that we will now briefly review.

Given two density matrices ${\rho }_1$ and ${\rho }_2\in M{(\mathbb{C})}_n$, with ${\rho }_2$ invertible, their relative modular operator$\Delta ({\rho }_1/{\rho }_2)$ is the linear operator acting on the algebra $M_n(\mathbb{C})$ as a linear space and defined by

$$M_n(\mathbb{C})\ni a\mapsto {\Delta }_{{\rho }_1.{\rho }_2}\left[a\right]={\rho }_{1}a{\rho }_2^{-1}.$$

(54)

By introducing the left and right multiplication operators $L_b$ and $R_b$, $b\in M_n(\mathbb{C})$ such that

$$M_n(\mathbb{C})\ni a\mapsto L_b\left[a\right]=ba,R_b\left[a\right]=ab,$$

(55)

one can write ${\Delta }_{{\rho }_1,{\rho }_2}=L_{{\rho }_1}{R}_{{\rho }_2^{-1}}$. Then, using the spectral decompositions

$${\rho }_1=\sum _{i=1}^n{r}_i^{(1)}{P}_i^{(1)},{\rho }_2=\sum _{i=1}^n{r}_i^{(2)}{P}_i^{(2)},$$

(56)

with orthogonal eigen-projections $P_i^{(1)}$ and $P_j^{(2)}$, one obtains the spectral decomposition

$${\Delta }_{{\rho }_1,{\rho }_2}=\sum _{i,j=1}^n\frac{r_i^{(1)}}{r_j^{(2)}}{L}_{P_i^{(1)}}{R}_{P_j^{(2)}}.$$

(57)

Indeed, $L_b{R}_b=R_b{L}_b$ for all $b\in M_n(\mathbb{C})$ and $L_b^2=L_b$, $R_b^2=R_b$ if $b^2=b$: this fact guarantees that $L_{P_i^{(1)}}{R}_{P_j^{(2)}}$ are idempotent. Furthermore, by considering the matrices in $M_n(\mathbb{C})$ as vectors of the linear space ${\mathbb{C}}^n\otimes {\mathbb{C}}^n$ equipped with the Hilbert-Schmidt product, ${⟨a|b⟩}_{HS}:=\mathrm{Tr}(a^{†}b)$, the adjoint $L_b^{†}$ and $R_b^{†}$ of the left and right multiplication operators are given by

$${⟨a|L_b\left[c\right]⟩}_{HS}=\mathrm{Tr}(a^{†}bc)=\mathrm{Tr}({(b^{†}a)}^{†}c)={⟨L_{b^{†}}\left[a\right]|c⟩}_{HS}.$$

(58)

Thus, $L_b^{†}=L_{b^{†}}$ and, similarly $R_b^{†}=R_{b^{†}}$, so that $L_{P_i^{(1)}}{R}_{P_j^{(2)}}$ are orthonormal projections onto $M_n(\mathbb{C})$ interpreted as a Hilbert space..

Definition 4.

Given $a\in {\mathbb{M}}_n(\mathbb{C})$ and a real function $f:I\subset {\mathbb{R}}^{+}\to \mathbb{R}$ continuous on an interval of the positive half-line, the quasi-entropy relative to a and f of two density matrices ${\rho }_1$ and ${\rho }_2$, with the latter one invertible, is [9,10]

$$S_f^a({\rho }_1,{\rho }_2):=\mathrm{Tr}\left({\rho }_2^{1/2}{a}^{†}f\left({\Delta }_{{\rho }_1,{\rho }_2}\right)\left[a{\rho }_2^{1/2}\right]\right)=⟨a\sqrt{{\rho }_2}|f\left({\Delta }_{{\rho }_1,{\rho }_2}\right){|a\sqrt{{\rho }_2}⟩}_{HS},$$

(59)

where in the last equality, the Hilbert-Schmidt scalar product has been used.

By means of the spectral decomposition (57), one writes

$$f\left({\Delta }_{{\rho }_1,{\rho }_2}\right)=\sum _{i,j=1}^{n}f\left(\frac{r_i^{(1)}}{r_j^{(2)}}\right)L_{P_i^{(1)}}{R}_{P_j^{(2)}},$$

(60)

whence the quasi-entropies can be expressed in terms of the eigenvalues $r_{1i}$, $r_{2j}$ and eigenvectors $|r_{1i}⟩$, $|r_{2j}⟩$ of ${\rho }_1$, respectively ${\rho }_2$; namely,

$$S_f^a({\rho }_1,{\rho }_2)=\sum _{i,j=1}^n{r}_j^{(2)}f\left(\frac{r_i^{(1)}}{r_j^{(2)}}\right){\left|⟨r_{1i}\left|a\right|r_{2j}⟩\right|}^2.$$

(61)

The quasi-entropies generalise many well-known quantum informational tools [9,10,11]; observe that they depend on two density matrices, but also on the operator a. In this sense, they also generalise the notion of Physicality Quantifier ${\mathcal{I}}_S$ of order 2, namely the family defined on ${\mathcal{F}}_S^{(2)}$.

Example 4.

The following ones are among the most noticeable quasi-entropies.

• Choosing $f(x)=x^{\gamma }$, with $\gamma \in [0,1]$, from (61) one obtains the so-called Lieb functional

  $$S_{\gamma }^a({\rho }_1,{\rho }_2)=\mathrm{Tr}\left(a^{†}{\rho }_1^{\gamma }a{\rho }_2^{1-\gamma }\right).$$

  (62)
• Choosing $f(x)=x\log (x)$ and $a=\mathbb{I}$, one recovers the relative entropy (42)

  $$S_f^{\mathbb{I}}({\rho }_1,{\rho }_2)=\mathrm{Tr}\left({\rho }_1\left(\log {\rho }_1-\log {\rho }_2\right)\right).$$

  (63)
• Choosing ${\displaystyle f_{\gamma }(x)=\frac{1-x^{\gamma }}{\gamma (1-\gamma )}}$, $\gamma \in (0,1)$, and $a=\mathbb{I}$ yields the so-called relative entropies of degree γ:

  $$S_f^{\mathbb{I}}({\rho }_1,{\rho }_2)=\frac{1}{\gamma (1-\gamma )}\mathrm{Tr}\left({\rho }_2\left(1-{\rho }_1^{\gamma }{\rho }_2^{-\gamma }\right)\right):=S_{\gamma }({\rho }_2,{\rho }_1).$$

  (64)

In relation to the informational puzzle considered in the previous section, the most important property of quasi-entropies is the following. Consider the class of so-called operator monotonically increasing functions; these are positive functions from the real positive half-line, $(0,+\infty )$, into ${\mathbb{R}}^{+}$ such that

$$f(x)\le f(y)\forall 0\le x\le y\in M_n(\mathbb{C}),$$

(65)

where $f(x)={\sum }_{i=1}^{n}f(x_i)P_i$ if $x={\sum }_{i=1}^n{x}_i{P}_i$, $x_i\ge 0$, is the spectral decomposition of $x\ge 0$. Then, the quasi-entropies increase under the action of the so-called Schwartz-Positive unital maps ${\mathsf{\Lambda }}^T$, namely linear maps from $M_n(\mathbb{C})$ into $\mapsto M_n(\mathbb{C})$ such that ${\mathsf{\Lambda }}^T\left[\mathbb{I}\right]=\mathbb{I}$, ${\mathsf{\Lambda }}^T\left[a^{†}\right]={\left({\mathsf{\Lambda }}^T\left[a\right]\right)}^{†}$ and

$${\mathsf{\Lambda }}^T\left[a^{†}a\right]\ge {\mathsf{\Lambda }}^T\left[a^{†}\right]{\mathsf{\Lambda }}^T\left[a\right]\forall a\in M_n(\mathbb{C}),$$

(66)

where ${\mathsf{\Lambda }}^T$ is such that $\mathrm{Tr}(\rho {\mathsf{\Lambda }}^T\left[a\right])=\mathrm{Tr}(\mathsf{\Lambda }\left[\rho \right]a)$ for all $a\in M_n(\mathbb{C})$, with $\mathsf{\Lambda }$ trace-preserving on density matrices. Indeed, one has the following result [11], a sketch of whose proof is provided in Appendix A.

Theorem 6.

Let $f:{\mathbb{R}}^{+}\to \mathbb{R}$ be a continuous operator monotonically increasing function with $f(0)\ge 0$. Then, the quasi entropy corresponding to f is monotonically increasing with respect to to any Schwartz-Positive Λ, in the following sense:

$$S_f^a\left(\mathsf{\Lambda }\left[{\rho }_1\right],\mathsf{\Lambda }\left[{\rho }_2\right]\right)\ge S_f^{{\mathsf{\Lambda }}^T\left[a\right]}\left({\rho }_1,{\rho }_2\right)\forall a\in M_n(\mathbb{C})$$

(67)

and for all density matrices ${\rho }_1,{\rho }_2$ with ${\rho }_2$ invertible.

Notice that unital Completely Positive-maps $\mathsf{\Lambda }$ are certainly Schwartz-Positive; indeed, they are in particular 2-Positive, whence $\mathsf{\Lambda }\otimes {\mathrm{id}}_2$ is a Positive linear map on matrices $a\otimes \mathbb{I}\in M_n(\mathbb{C})\otimes M_2(\mathbb{C})$:

$$0\le \left(\begin{array}{cc}\mathbb{I}& a^{†}\\ a& a^{†}a\end{array}\right)\mapsto \left(\begin{array}{cc}\mathbb{I}& \mathsf{\Lambda }{\left[a\right]}^{†}\\ \mathsf{\Lambda }\left[a\right]& \mathsf{\Lambda }\left[a^{†}a\right]\end{array}\right)\ge 0.$$

Then, $\mathsf{\Lambda }\left[a^{†}a\right]\ge \mathsf{\Lambda }{\left[a\right]}^{†}\mathsf{\Lambda }\left[a\right]$ follows from

$$\left(\begin{array}{cc}⟨\varphi |\mathsf{\Lambda }{\left[a\right]}^{†}& -⟨\varphi |\end{array}\right)\left(\begin{array}{cc}\mathbb{I}& \mathsf{\Lambda }{\left[a\right]}^{†}\\ \mathsf{\Lambda }\left[a\right]& \mathsf{\Lambda }\left[a^{†}a\right]\end{array}\right)\left(\begin{array}{c}\mathsf{\Lambda }\left[a\right]|\varphi ⟩\\ -|\varphi ⟩\end{array}\right)\ge 0\forall |\varphi ⟩\in {\mathbb{C}}^n.$$

Example 5.

Consider the map discussed in Example 1, which is Positive for all $\alpha \ge 0$ and $\alpha \ge \beta$, but Completely Positive only when $\beta =0$ and set $\alpha =\beta \ne 0$. Then, choosing $a={\sigma }_{-}$ one has ${\displaystyle {\sigma }_{+}{\sigma }_{-}=\frac{\mathbb{I}+{\sigma }_3}{2}}$ and from (11):

$${\mathsf{\Lambda }}_t^T\left[{\sigma }_{\pm }\right]={\sigma }_{\pm },{\mathsf{\Lambda }}_t^T\left[{\sigma }_{+}{\sigma }_{-}\right]=\frac{\mathbb{I}+{\mathrm{e}}^{-2\alpha t}{\sigma }_3}{2},\Delta (t):={\mathsf{\Lambda }}_t^T\left[{\sigma }_{+}{\sigma }_{-}\right]-{\mathsf{\Lambda }}_t^T\left[{\sigma }_{+}\right]{\mathsf{\Lambda }}_t^T\left[{\sigma }_{-}\right]=-\frac{1-{\mathrm{e}}^{-2\alpha t}}{2}{\sigma }_3.$$

The matrix $\Delta (t)$ has always a negative eigenvalue unless $\beta =0$. Therefore, for $\beta \ne 0$, ${\mathsf{\Lambda }}_t$ is Positive; however, it fails to be not only Completely Positive but also Schwartz Positive.

What matters with Physicality Quantifiers is their monotonic decrease under Completely Positive maps as in Equation (48) of Definition 3; therefore, based on the preceding theorem, we here propose to extend the class of Physicality Quantifiers to include also the quasi-entropies defined by matrix monotonically decreasing functions $f:{\mathbb{R}}_{+}\mapsto \mathbb{R}$, with $f(0)\le 0$, and such that $0\le x\le y$ implies $f(x)\ge f(y)$. For such functions the result in Theorem 6 reads:

$$S_f^a\left({\mathsf{\Lambda }}_t\left[{\rho }_1\right],{\mathsf{\Lambda }}_t\left[{\rho }_2\right]\right)\le S_f^{{\mathsf{\Lambda }}_t^T\left[a\right]}\left({\rho }_1,{\rho }_2\right)\forall a\in M_n(\mathbb{C})$$

(68)

for all dynamical maps ${\mathsf{\Lambda }}_t$, $t\ge 0$, on $\mathcal{S}(S)$ with Schwartz-Positive duals ${\mathsf{\Lambda }}_t^T$ on $M_n(\mathbb{C})$.

Including the quasi-entropies in the class of Physicality Quantifiers will extend the constraints on any purportedly Markovian dynamics ${\mathsf{\Lambda }}_t$ that must then also fulfil monotonic decrease:

$$S_f^a\left({\mathsf{\Lambda }}_t\left[{\rho }_1\right],{\mathsf{\Lambda }}_t\left[{\rho }_2\right]\right)\le S_f^{{\mathsf{\Lambda }}_{t,s}^T\left[a\right]}\left({\mathsf{\Lambda }}_s\left[{\rho }_1\right],{\mathsf{\Lambda }}_s\left[{\rho }_2\right]\right)\forall t\ge s\ge 0,$$

(69)

with respect to all quasi-entropies satisfying (68), where ${\mathsf{\Lambda }}_{t,s}^T$ is the dual of the intertwining operator such that ${\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s$. Notice that, with respect to the monotonic behaviour (48) of the standard Physicality Quantifiers, in the above inequality, beside the density matrices ${\rho }_{1,2}$ there also appears the operator a at the left hand side which at the right hand side has evolved in time to ${\mathsf{\Lambda }}_{t,s}^T\left[a\right]$ under the action of the dual intertwiner.

Example 6.

The function $f_{ϵ}(x)=-\log \left(\frac{x+ϵ}{ϵ}\right)$ is matrix monotonically decreasing and $f(0)=0$, then choosing $a=\mathbb{I}$, the expression (61) yields (notice the exchange, with respect to Definition 4, of the density matrices in the argument)

$$S_{f_{ϵ}}^{\mathbb{I}}({\rho }_2,{\rho }_1)=-\sum _{ij}{r}_{1j}\log (r_{2j}+ϵr_{1i})-\log ϵ+\sum _i{r}_{1i}\log r_{1i},$$

where ${\rho }_1$ is assumed to be invertible or the inverse ${\rho }_1^{-1}$ is defined on the range of ${\rho }_1$ [10]. Then, for all unital, Schwartz-Positive maps ${\mathsf{\Lambda }}^T:M_n(\mathbb{C})\mapsto M_n(\mathbb{C})$, ${\mathsf{\Lambda }}^T\left[\mathbb{I}\right]=\mathbb{I}$, Theorem 6 yields (with the monotonically increasing function f turned into the monotonically decreasing function $-f$)

$$S_{f_{ϵ}}^{\mathbb{I}}(\mathsf{\Lambda }\left[{\rho }_2\right],\mathsf{\Lambda }\left[{\rho }_1\right])\le S_{f_{ϵ}}^{\mathbb{I}}({\rho }_2,{\rho }_1).$$

(70)

Then, the limit $ϵ\to 0$ recovers the monotonicity of the relative entropy (42) under dynamical maps Λ that are dual of unital, Schwartz-Positive ones (compare Remark 2), this latter result being now a particular case of the more general monotonicity of the relative entropy under maps that are dual of unital, only Positive ones [30].

Instead, consider the maps ${\mathsf{\Lambda }}_t$ discussed in Examples 1 and 5 which are not Schwartz-Positive for $\beta \ne 0$ and choose

$$a={\sigma }_{-}=\frac{{\sigma }_1-i{\sigma }_2}{2},{\rho }_1=\frac{\mathbb{I}+r{\sigma }_3}{2},{\rho }_2=\frac{\mathbb{I}}{2},$$

with $-1\le r\le 1$. Then, as ${\mathsf{\Lambda }}_t^T\left[{\sigma }_{\pm }\right]={\sigma }_{\pm }$, one gets

$$S_{f_{ϵ}}^{{\sigma }_{-}}({\mathsf{\Lambda }}_t\left[{\rho }_2\right],\frac{\mathbb{I}}{2})=-\frac{1}{2}\log \frac{1+ϵ-{\mathrm{e}}^{-2\alpha t}r}{ϵ},S_{f_{ϵ}}^{{\mathsf{\Lambda }}_t^T\left[{\sigma }_{-}\right]}({\rho }_2],\frac{\mathbb{I}}{2})=-\frac{1}{2}\log \frac{1+ϵ-r}{ϵ},$$

whence, for $r\ge 0$,

$$\Delta (t):=S_{f_{ϵ}}^{{\sigma }_{-}}({\mathsf{\Lambda }}_t\left[{\rho }_2\right],\frac{\mathbb{I}}{2})-S_{f_{ϵ}}^{{\mathsf{\Lambda }}_t^T\left[{\sigma }_{-}\right]}({\rho }_2,\frac{\mathbb{I}}{2})=\frac{1}{2}\log \frac{1+ϵ-r}{1+ϵ-{\mathrm{e}}^{-2\alpha t}r}\ge 0$$

and the monotonic decrease of the quasi-entropy for $t\ge 0$ is broken.

Back-Flow of Information

Having enlarged the class of Physicality Quantifiers by the introduction of the quasi-entropies, there is a wider spectrum of quantities whose monotonic decrease must be guaranteed in order to ensure Markovianity, namely absence of back-flow of information. We shall now show that to the lack of P-divisibility of ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$, with ${\mathsf{\Lambda }}_t$ as in Example 2, and thus to the breaking of Markovianity by back-flow of information due to the tensor product dynamics, there indeed corresponds a back-flow of information also at the level of the single system dynamics ${\mathsf{\Lambda }}_t$. Such a back-flow of information is invisible to Physicality Quantifiers as the trace distances and the relative entropy, but exposable by suitable quasi-entropies. In view of Theorem 6, such a witnessing is possible only if the intertwining map ${\mathsf{\Lambda }}_{t,s}$ are not Schwartz-Positive.

As generalised Physicality Quantifier we consider the quasi entropy (62) built upon inverting the sign of the function $f_{\gamma }(x)=-x^{\gamma }$, $0\le \gamma \le 1$, and upon choosing

$$a={\sigma }_{+}:=\frac{{\sigma }_1+i{\sigma }_2}{2},{\rho }_1=\rho =\frac{\mathbb{I}+r{\sigma }_3}{2},{\rho }_2=\frac{\mathbb{I}}{2}.$$

(71)

Using the expressions (27) for the action of ${\mathsf{\Lambda }}_t$ and (33) for the action of the intertwining map ${\mathsf{\Lambda }}_{t,s}$ one sees that it coincides with its dual and computes

$${\mathsf{\Lambda }}_t\left[{\rho }_1\right]=\rho (t)=\frac{\mathbb{I}+{\lambda }_{t}r{\sigma }_3}{2},{\mathsf{\Lambda }}_t\left[{\rho }_2\right]=\frac{\mathbb{I}}{2},{\mathsf{\Lambda }}_{t,s}^T\left[{\sigma }_{+}\right]={\mu }_{t,s}{\sigma }_{+},$$

(72)

where ${\mu }_t:={\mu }_{t,0}$ and ${\lambda }_t:={\lambda }_{t,0}$ are given in (34). Then, from (62) with $x^{\gamma }$ changed into $-x^{\gamma }$, one computes

$$S_{\gamma }^{{\sigma }_{+}}\left(\rho (t),\frac{\mathbb{I}}{2}\right)=-\frac{1}{2}{\left(1+{\lambda }_{t}r\right)}^{\gamma },S_{\gamma }^{{\mathsf{\Lambda }}^T\left[{\sigma }_{+}\right]}\left(\rho (s),\frac{\mathbb{I}}{2}\right)=-\frac{1}{2}{\mu }_{t,s}^2{\left(1+{\lambda }_{s}r\right)}^{\gamma }.$$

(73)

In order to see whether the chosen quasi-entropy, as a Physicality Quantifier, can actually witness a back-flow of information due to ${\mathsf{\Lambda }}_t$ when ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ exhibits one, namely for $\alpha \ge 1/2$, one needs to check the behaviour in time of the sign of the difference

$${\Delta }_{\gamma }(t,s):=S_{\gamma }^{{\sigma }_{+}}\left(\rho (t),\frac{\mathbb{I}}{2}\right)-S_{\gamma }^{{\mu }_{t,s}{\sigma }_{+}}\left(\rho (s),\frac{\mathbb{I}}{2}\right)=\frac{1}{2}{\mu }_{t,s}^2{\left(1+{\lambda }_{s}r\right)}^{\gamma }-\frac{1}{2}{\left(1+{\lambda }_{t}r\right)}^{\gamma }.$$

(74)

Whenever ${\Delta }_{\gamma }(t,s)$ changes from negative to positive, the chosen quasi-entropy reveals that information starts flowing from the environment into the system.

Due to Theorem 6, the only chance to avoid a monotone behaviour and see a change in sign in between $0\le s\le t$ is that the intertwining map ${\mathsf{\Lambda }}_{t,s}$ be not Schwarz-Positive on ${\sigma }_{-}{\sigma }_{+}$ when $\alpha \ge 1/2$: whether and when this occurs can be ascertained by looking at the eigenvalues of the matrix

$${\mathsf{\Lambda }}_{t,s}\left[{\sigma }_{-}{\sigma }_{+}\right]-{\mathsf{\Lambda }}_{t,s}\left[{\sigma }_{-}\right]{\mathsf{\Lambda }}_{t,s}\left[{\sigma }_{+}\right]=\frac{1-{\lambda }_{t,s}{\sigma }_3}{2}-{\mu }_{t,s}^2\frac{1-{\sigma }_3}{2},$$

(75)

with ${\mu }_{t,s}$ and ${\lambda }_{t,s}$ in (34), which are

$$e_1(t,s)=\frac{1-{\mathrm{e}}^{-2\alpha (t-s)}}{2}\ge 0,e_2(t,s)=\frac{1}{2}\left(1+{\mathrm{e}}^{-2\alpha (t-s)}\left(1-2{\left(\frac{\cosh t}{\cosh s}\right)}^{2\alpha }\right)\right).$$

(76)

Lack of Schwarz-Positivity can thus be witnessed by $e_2(t,s)$ becoming negative for some $t\ge s\ge 0$.

The following Figure 2 concerns the behaviour of both the quantities ${\Delta }_{\gamma }(t,s)$ and $e_2(t,s)$ for the following choices of parameters: $r=0.98$, $\gamma =0.98$ and $\alpha =0.51,0.6$. It shows the lack of Schwartz-Positivity for $\alpha =0.51$ which then allows, at a later time, the breaking of monotonic decrease of ${\Delta }_{\gamma }(t,s)$. The figure also shows that the monotonic decrease of the chosen quasi-entropy is never broken when Schwartz-Positivity holds, that is for $\alpha =0.6$.

Figure 2. ${\Delta }_{\gamma }(t,s)$ (continuous lines) and $e_2(t,s)$ (dashed lines) for $r=0.98$, $\gamma =0.98$, $s=0.1$ and $\alpha =\{0.51,0.6\}$.

5. Conclusions

We discussed and solved an informational puzzle provided by an example of non-Markovian qubit dynamics ${\mathsf{\Lambda }}_t$ which does not show back-flow of information from the environment to the qubit which is instead witnessed when considering the tensor product dynamics ${\mathsf{\Lambda }}_t\otimes {\mathsf{\Lambda }}_t$ of two dynamically non-interacting qubits both embedded within the same environment. The solution to the puzzle consists in enlarging the class of witnesses involving two density matrices by means of the so-called quasi-entropies which are monotonic with respect to Schwartz-Positive maps: a suitable quasi-entropy of Lieb functional type is indeed able to witness the presence of a back-flow of information under ${\mathsf{\Lambda }}_t$. The reason is that because the maps ${\mathsf{\Lambda }}_t$ are P-divisible maps with intertwining maps ${\mathsf{\Lambda }}_{t,s}$, ${\mathsf{\Lambda }}_t={\mathsf{\Lambda }}_{t,s}\circ {\mathsf{\Lambda }}_s$, $t\ge s\ge 0$, that are Positive but may fail to be Schwartz-Positive.