Abstract
We investigate entanglement breaking times of Markovian evolutions in discrete and continuous time. In continuous time, we characterize which Markovian evolutions are eventually entanglement breaking, that is, evolutions for which there is a finite time after which any entanglement initially present has been destroyed by the noisy evolution. In the discretetime framework, we consider the entanglement breaking index, that is, the number of times a quantum channel has to be composed with itself before it becomes entanglement breaking. The \(\hbox {PPT}^2\) conjecture is that every PPT quantum channel has an entanglement breaking index of at most 2; we prove that every faithful PPT quantum channel has a finite entanglement breaking index, and more generally, any faithful PPT CP map whose Hilbert–Schmidt adjoint is also faithful is eventually entanglement breaking. We also provide a method to obtain concrete bounds on this index for any faithful quantum channel. To obtain these estimates, we use a notion of robustness of separability to obtain bounds on the radius of the largest separable ball around faithful product states. We also extend the framework of Poincaré inequalities for nonprimitive semigroups to the discrete setting to quantify the convergence of quantum semigroups in discrete time, which is of independent interest.
1 Introduction
Distributing entangled quantum states using noisy quantum channels reliably and efficiently is one of the fundamental challenges in quantum information theory, both from an experimental and theoretical point of view. Entanglement breaking channels, i.e., quantum channels that only output separable states when acting on one half of a bipartite quantum state, are useless for such nonclassical communication protocols. If half of an entangled quantum state passes through a noisy channel several times, at what point does it lose its entanglement with the other half? In this work, we will prove several upper and lower bounds on this time in terms of properties of the channel; in other words, we establish bounds on the entanglement breaking time of the channel. This question arises naturally in the context of quantum repeaters [6, 17] and such bounds limit their power to implement nonclassical communication protocols.
Mathematically, the situation can be modeled by means of continuous or discretetime quantum Markov semigroups (QMS). The classification of the ability of QMS to preserve entanglement both at finite time and asymptotically has recently received considerable attention. The authors of [38] (see also [35]) took a more qualitative and asymptotic point of view, completely characterizing the class of discretetime QMS that do not become entanglement breaking asymptotically. Additionally, [49] showed that certain classes of channels lead to eventually entanglement breaking QMS.
We further contribute to this classification by providing a simple characterization of the finitetime and asymptotic entanglement behavior of continuoustime QMS based on the structure of their decoherencefree (DF) subalgebra, building upon the work of [38]. In particular, we show that the class of eventually entanglement breaking continuoustime QMS is precisely the one of primitive QMS, that is of those which possess a unique fullrank invariant state. On the other hand, continuoustime QMS that break entanglement asymptotically are precisely those possessing a nontrivial, yet commutative DF subalgebra. Finally, QMS with a noncommutative DF subalgebra never break entanglement. We also manage to obtain quantitative lower and upper bounds on the entanglement breaking time of a QMS: The former are obtained by exploring the connection between the spectrum of a quantum channel and whether its Choi matrix is of positive partial transpose (PPT). On the other hand, upper bounds are derived by exploiting the rapiddecoherence property of Markovian evolutions, which will provide us with a method to estimate how far the Choi matrix of the QMS at a given time is to its asymptotics. This property is usually obtained through functional inequalities for the underlying quantum channel, and we relate our results to the most widely used in the literature, like the Poincaré inequality [53] or the logarithmic Sobolev inequality [3, 5, 33]. This combined with some knowledge about the geometry of the convex set of separable states [27] allows us to obtain quantitative bounds on the entanglement breaking times.
The situation becomes more complicated in the discrete time setting. The asymptotic picture was developed by [38], where discretetime quantum Markov semigroups which preserve entanglement asymptotically were characterized. We continue this path by characterizing faithful quantum channels which are entanglement breaking in finite time. To do so, we first study the ability of irreducible quantum channels [21, 22] to preserve entanglement. We show that there are irreducible quantum channels that only become entanglement breaking asymptotically and, in the case of quantum channels with an invariant state of full rank we obtain a converse, relating quantum channels that do not preserve entanglement asymptotically to irreducible channels. Moreover, again under the faithfulness assumption, i.e., that of the existence of an invariant state of full rank, we show that quantum PPT channels become entanglement breaking after a finite number of iterations by exploring results on the structure of the spectrum of irreducible maps. We then extend this result to faithful completely positive maps by a suitable similarity transformation. This generalizes the results of [49], where the authors showed the statement for doubly stochastic channels.
However, in light of the PPT squared conjecture [6], it is also desirable to obtain quantitative bounds to when a channel becomes entanglement breaking. So far, the conjecture was only proved for lowdimensional cases [16, 18] or for some particular families of quantum channels [20, 35]. In [18], the authors obtain upper bounds on the number of iterations in terms of the Schmidt number of a channel. Here instead, we once again adopt an approach based on functional inequalities for discretetime QMS. Unfortunately, there is not a lot of work on functional inequalities for nonprimitive evolutions in discrete time [9, 52], which is particularly important in our setting. To start amending this gap in the literature and increase the class of examples our techniques apply to, we generalize the framework of Poincaré inequalities to discretetime nonprimitive QMS. We believe these techniques are of independent interest and will find applications elsewhere. Lower bounds are again found by use of the PPT criterion.
The lower and upper bounds we obtain with our techniques are tight up to constants for some classes of examples. Moreover, we use similar techniques to consider the similar problems of when a pair of QMS becomes entanglement annihilating [43], how often one has to apply a doubly stochastic primitive quantum channel until it becomes mixed unitary and when the output of quantum Gibbs samplers are approximate quantum Markov networks.
Structure of the Paper and Contributions

In Sect. 2, we investigate the entanglement breaking properties of continuoustime quantum Markov semigroups. We prove the set of primitive QMS coincides with the set of eventually entanglement breaking continuoustime QMS in Theorem 2.1 and establish upper and lower bounds on the entanglement breaking times in Propositions 2.7 and 2.11. To establish the upper bounds, we use a notion of “robustness of separability” in Sect. 2.1.2 and use strong decoherence bounds which we discuss in Sect. 2.1.1. The lower bounds use the PPT criterion.

In Sect. 3, we investigate the structural properties of discretetime QMS. We identify classes of eventually entanglement breaking channels that are dense in the set of quantum channels in Proposition 3.1 and discuss an application of this to the \(\hbox {PPT}^2\) conjecture in Corollary 3.2. We discuss irreducible evolutions in Sect. 3.1, prove they are asymptotically entanglement breaking in the remarks following Proposition 3.4, and establish necessary conditions for an irreducible map to be PPT, as well as sufficient conditions for an irreducible map to be entanglement breaking, in Theorem 3.7. We then prove that PPT quantum channels with a fullrank invariant state are eventually entanglement breaking in Theorem 3.10. We use these results to characterize faithful eventually entanglement breaking discretetime QMS in Theorem 3.11. In Sect. 3.3, we discuss the “phase subspace” of asymptotically entanglement breaking channels, and in particular characterize irreducible quantum channels in terms of their phase subspace. In Sect. 3.4, we relate completely positive nontracepreserving maps to quantum channels, and in Theorem 3.14 establish weak conditions under which a completely positive PPT map is eventually entanglement breaking.

In Sect. 4, we establish finitetime properties of discretetime quantum Markov semigroups. In Sect. 4.1, we investigate the socalled decoherencefree subalgebra of discretetime evolution, and the contraction properties of the evolution with respect to this subalgebra, which is more subtle than in the continuoustime case. In Theorem 4.4, we establish a discretetime Poincaré inequality, which we use in Sect. 4.2 to establish entanglement breaking times, including for PPT channels with a fullrank invariant state (Theorem 4.8). We also provide a method to compute entanglement breaking times for any faithful quantum channel in Remark 15. In Sect. 4.4, we apply these techniques to establishing times for doubly stochastic discretetime evolutions to become mixed unitary. We also discuss another application of continuoustime decoherence bounds, namely to approximate quantum Markov networks, in Sect. 4.3.
1.1 Notation, Basic Definitions and Preliminaries
States and Norms Let \((\mathcal {H},\langle ..\rangle )\) be a finitedimensional Hilbert space of dimension \(d_\mathcal {H}\). We denote by \(\mathcal {B}(\mathcal {H})\) the Banach space of bounded operators on \(\mathcal {H}\), by \(\mathcal {B}_{\mathrm{sa}}(\mathcal {H})\) the subspace of selfadjoint operators on \(\mathcal {H}\), i.e., \(\mathcal {B}_{\mathrm{sa}}(\mathcal {H})=\left\{ X=\mathcal {B}(\mathcal {H});\ X=X^\dagger \right\} \), and by \(\mathcal {B}_{\mathrm{sa}}^+(\mathcal {H})\) the cone of positive semidefinite operators on \(\mathcal {H}\), where the adjoint of an operator Y is written as \(Y^\dagger \). The identity operator on \(\mathcal {H}\) is denoted by \(\mathbb {I}_\mathcal {H}\), dropping the index \(\mathcal {H}\) when it is unnecessary. Similarly, we will denote by \({\mathrm{id}}_{\mathcal {H}}\), or simply \({\mathrm{id}}\), the identity superoperator on \(\mathcal {B}(\mathcal {H})\). We denote by \(\mathcal {D}(\mathcal {H})\) the set of positive semidefinite, trace one operators on \(\mathcal {H}\), also called density operators, and by \(\mathcal {D}_+(\mathcal {H})\) the subset of fullrank density operators. We denote by \(\Omega \rangle \) the maximally entangled state on \(\mathcal {H}\otimes \mathcal {H}\): given any orthonormal basis \(i\rangle \) of \(\mathcal {H}\),
Given a bipartite system \(\mathcal {H}\otimes \mathcal {K}\), we denote by \({\text {SEP}}(\mathcal {H}:\mathcal {K})\) the convex subset of separable states in \(\mathcal {D}(\mathcal {H}\otimes \mathcal {K})\).
For \(p\ge 1\), the Schatten pnorm of an operator \(A\in \mathcal {B}(\mathcal {H})\) is denoted by \(\Vert A\Vert _{p}\,{:=}\,(\mathrm{Tr}A^p)^{\frac{1}{p}}\), where \(A=\sqrt{A^\dagger A}\), and we denote by \(\mathcal {T}_p(\mathcal {H})\) the corresponding Schatten class. As usual, the operator norm is denoted by \(\Vert A\Vert _{\infty }\). We simply denote by \(\Vert \Phi \Vert _{p\rightarrow q}\) the operator norm of a superoperator \(\Phi \) from Schatten class p to Schatten class q. Moreover, given a density matrix \(\sigma \in \mathcal {D}_+(\mathcal {H})\), we define the \(\sigma \)weighted pnorm to be given by \(\Vert A\Vert _{p,\sigma }=\mathrm{Tr}(\sigma ^\frac{1}{2p}A\sigma ^\frac{1}{2p}^p)^{\frac{1}{p}}\). In the case \(p=2\), the \(\Vert .\Vert _{2,\sigma }\) norm derives from an inner product \(\langle A,\,B\rangle _\sigma \,{:=}\,\mathrm{Tr}(\sigma ^{\frac{1}{2}} A^\dagger \sigma ^{\frac{1}{2}} B)\). The norms of superoperators between two such spaces are denoted by \(\Vert \Phi \Vert _{p,\sigma \rightarrow q,\omega }\). These norms provide a natural framework to study the convergence of semigroups and we refer to, e.g., [46] for a review of some of their properties.
Quantum Channels, Markovian Evolutions and Their Spectrum Next, a quantum channel is a completely positive, tracepreserving map \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\). Given a linear map \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\), its spectrum is denoted by \(\mathrm{sp}(\Phi )\). We will exploit extensively the special structure of the spectrum of quantum channels and its connection to the semigroup’s asymptotic behavior, which we will now review in detail. \(\Phi ^*\) corresponds to the dual map with respect to the Hilbert Schmidt inner product \(\langle A,\,B\rangle _{{\text {HS}}}\,{:=}\,\mathrm{Tr}(A^\dagger B)\). Like any linear operator on \(\mathcal {B}(\mathcal {H})\), a quantum channel \( \Phi \) admits a Jordan decomposition:
where \(\lambda _k\) are the eigenvalues of \(\Phi \), \(P_k\) the associated (not necessarily orthogonal) eigenprojections, and \(N_k^{d_k}=0\), where \(d_k\,{:=}\,\mathrm{Tr}(P_k)\), so that \(\sum _{k=1}^K P_k=\mathbb {I}\). Note that we split the Jordan decomposition into two parts, \(\Phi _P\) and \(\Phi _Q\), and implicitly used the fact that all eigenvalues of quantum channels are contained in the unit disk of the complex plane. The operator \(\Phi _P\) corresponds to the eigenvalues of modulus 1, referred to as the peripheral spectrum. For any \(k\in [K]\), \(\lambda _kP_k+N_k\) constitutes the kth Jordan block of \(\Phi \). Here, we have used that the peripheral eigenvalues of a quantum channel are semisimple, so there is no associated nilpotent part [57].
In particular, since \(\Phi \) is hermiticity preserving (and in particular positive), the eigenvalues of \(\Phi \) either are real, or come in conjugate pairs. Since, moreover, \(\Phi \) is positive unital (\(\Phi (\mathbb {I})=\mathbb {I}\)) or trace preserving (\(\mathrm{Tr}\Phi (A)=\mathrm{Tr}(A)\) for all \(A\in \mathcal {B}(\mathcal {H})\)), \( 1\in \mathrm{sp}(\Phi )\), all the other eigenvalues of \(\Phi \) lie in the unit disk of the complex plane, and the eigenvalues lying on the peripheral spectrum are associated to onedimensional Jordan blocks.
Given a quantum channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\), the sequence \(\{\Phi ^n\}_{n\in \mathbb {N}}\) is called a discretetime quantum Markov semigroup (discretetime QMS). Here, semigroup refers simply to the property that \(\Phi ^{n+m}=\Phi ^n\circ \Phi ^m\). Analogously, a continuoustime quantum Markov process (continuoustime QMS) corresponds to a family \((\Phi _t)_{t\ge 0}\) of quantum channels \(\Phi _t:\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) that satisfies the following conditions: \(\Phi _0 = {\mathrm{id}}\), \(\Phi _{t+s} = \Phi _t\circ \Phi _s\) for any \(s,t\in {\mathbb {R}}_0^+\), and \(\Phi _t\) depends continuously on t. Any continuoustime QMS can be written as \(\Phi _t = \mathrm{e}^{t\mathcal {L}}\) for a generator \(\mathcal {L}:\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\).
We primarily consider discrete or continuoustime QMS which are faithful, that is, those that have a fullrank invariant state. Let us recall basic ergodic properties of these evolutions. The simplest case is that of primitive evolutions. We call a quantum dynamical semigroup (or the Liouvillian generator) primitive if it has a unique fullrank fixed point \(\sigma \). In this case for any initial state \(\rho \in \mathcal {D}(\mathcal {H})\), we have \(\rho _t = \mathrm{e}^{t\mathcal {L}}(\rho )\rightarrow \sigma \) as \(t\rightarrow \infty \) (see [8, Theorem 14]). We refer to [8, 57] for other characterizations of primitive channels and sufficient conditions for primitivity.
A notion closely related to primitivity is that of irreducibility. A positive linear map \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) is said to be irreducible if, for any orthogonal projection \(P\in \mathcal {B}(\mathcal {H})\), \(\Phi (P\mathcal {B}(\mathcal {H})P)\subset P\mathcal {B}(\mathcal {H})P\) implies that \(P=0\) or \(P=\mathbb {I}\). For a positive tracepreserving map, this property is equivalent to the existence of a unique invariant state \(\sigma > 0\) such that for every \(\omega \in \mathcal {D}(\mathcal {H})\), we have
by [57, Corollary 6.3]. In the case of an irreducible, completely positive (in fact, for a Schwarz) map, it is known from Perron–Frobenius theory that the peripheral eigenvalues \(\lambda _k\) in (1.1) are nondegenerate and equal to \(\phi ^k\), where \(\phi \,{:=}\, \exp (2\mathrm {i}\pi /z)\), for some fixed \(z\le d_\mathcal {H}\) (with \(z=1\) if and only if the channel is primitive). Another useful criterion is that for a quantum channel, irreducibility is equivalent to 1 being a nondegenerate eigenvalue with the corresponding eigenvector (being proportional to) a faithful quantum state. This makes irreducibility a good candidate for a property that implies that the quantum channel is EEB, although we will show that is generally not the case.
It is then natural to introduce the phase subspace\(\tilde{\mathcal {N}}(\Phi )\) to study evolutions that are not necessarily primitive. It is defined as
i.e., the linear span of the peripheral points and denote by P the projection onto it.
More generally, given a faithful continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) (i.e., for any \(t\ge 0\), \(\Phi _t(\sigma )=\sigma \) for a given fullrank state \(\sigma \)), there exists a completely positive, tracepreserving map \(E_\mathcal {N}\), such that for any \(\rho \in \mathcal {D}(\mathcal {H})\), \(\Phi _t(\rho )\Phi _t\circ E_\mathcal {N}(\rho )\rightarrow 0\) as \(t\rightarrow \infty \) (see, e.g., [11]) and so that there exists a selfadjoint operator H such that, \(\Phi _t\circ E_\mathcal {N}(\rho )= \mathrm{e}^{iHt}E_\mathcal {N}(\rho ) \mathrm{e}^{iHt}\). In words, the evolution asymptotically behaves like a unitary evolution. On the other hand, observables under the action adjoint semigroup \((\Phi _t^*)_{t\ge 0}\) converge toward a matrix subalgebra \(\mathcal {N}((\Phi _t^*)_{t\ge 0})\) of \(\mathcal {B}(\mathcal {H})\) of the following form
where the evolution is unitary. The completely positive map \(E_\mathcal {N}^*\) is a projection onto \(\mathcal {N}((\Phi _t^*)_{t\ge 0})\). Moreover, \(E_\mathcal {N}^*\) is a conditional expectation onto\(\mathcal {N}((\Phi _t^*)_{t\ge 0})\), meaning it is a positive linear unital map \(E_{\mathcal {N}}^*: \mathcal {B}(\mathcal {H}) \rightarrow \mathcal {N}((\Phi _t^*)_{t\ge 0})\) such that \(E_{\mathcal {N}}^*(YXZ) = Y E_{\mathcal {N}}^*(X) Z\) for all \(Y,Z \in \mathcal {N}((\Phi _t^*)_{t\ge 0})\) and \(X \in \mathcal {B}(\mathcal {H})\). In the case of a nonnecessarily faithful quantum channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\), the phase subspace is similarly known to possess the following structure (Theorem 6.16 of [57], Theorem 8 of [58]): there exists a decomposition of \(\mathcal {H}\) as \(\mathcal {H}=\bigoplus _{j=1}^K\mathcal {H}_j\otimes \mathcal {K}_j\oplus \mathcal {K}_0\) such that
where \(p_i\) is the orthogonal projector onto the ith subspace, for some fixed states \(\tau _i\in \mathcal {D}_+(\mathcal {K}_i)\). Moreover, there exist unitaries \(U_i \in \mathcal {H}_i\), and a permutation \(\pi \in S_K\) which permutes within subsets of \(\{1,\dotsc ,K\}\) for which the corresponding \(\mathcal {H}_i\)’s have equal dimension such that for any element \(X\in \tilde{\mathcal {N}}(\Phi )\), decomposed as \(X=\bigoplus _{i=1}^K\,X_i \otimes \tau _i\oplus 0_{\mathcal {K}_0}\) according to (1.4), we have
Note that the space \(\mathcal {K}_0\not =\{0\}\) if and only if the quantum channel is not faithful.
Entanglement Loss A completely positive map \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) is called entanglement breaking if \(\Phi \otimes {\mathrm{id}}_{\mathcal {H}}(\rho )\) is a separable state for all input states \(\rho \in \mathcal {D}(\mathcal {H}\otimes \mathcal {H})\). This is equivalent to the Choi matrix of the channel being separable (see [30] for the proof in the tracepreserving case; standard arguments can extend the result to the general case), where the Choi matrix of \(\Phi \) is defined as
The class of entanglement breaking channels on \(\mathcal {H}\) is denoted by \({\text {EB}}(\mathcal {H})\). The map \(\Phi \mapsto J(\Phi )\) is a linear isometry between the Hilbert space of linear operators on \(\mathcal {B}(\mathcal {H})\) equipped with the Schatten 2norm and the Hilbert space of linear operators on \(\mathcal {H}\otimes \mathcal {H}\), equipped also with the Schatten 2norm:
as the 2norm is invariant under coordinate permutations. The map \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) is of positive partial transpose (PPT) if \((\mathcal {T}\circ \Phi )\otimes {\mathrm{id}}_{\mathcal {H}}\) is a positive operator, where \(\mathcal {T}\) is the partial transpose w.r.t. to some basis. The class of PPT channels on \(\mathcal {H}\) is called \({\text {PPT}}(\mathcal {H})\). As the set of separable bipartite states is a subset of the set of bipartite states with a positive partial transpose, it follows that \({\text {EB}}(\mathcal {H})\subset {\text {PPT}}(\mathcal {H})\).
More generally, we also consider quantum Markovian evolutions on a bipartite Hilbert space \(\mathcal {H}_A\otimes \mathcal {H}_B\). We call a bipartite quantum channel \(\mathcal {T}: \mathcal {B}(\mathcal {H}_{A}\otimes \mathcal {H}_{B}) \rightarrow \mathcal {B}(\mathcal {H}_{A}\otimes \mathcal {H}_{B})\)entanglement annihilating if its output is separable (on any density matrix input). Similarly, a quantum channel on a singlepartite Hilbert space \(\Phi : \mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) is called 2locally entanglement annihilating if \(\Phi \otimes \Phi \) is entanglement annihilating. The class of bipartite, entanglement annihilating channels on \(\mathcal {H}_A\otimes \mathcal {H}_B\) is denoted by \({\text {EA}}(\mathcal {H}_A,\mathcal {H}_B)\), whereas the class of 2locally entanglement annihilating channels on \(\mathcal {H}\) is denoted by \({\text {LEA}}_2(\mathcal {H})\). Note that any quantum channel that is entanglement breaking is also 2locally entanglement annihilating: \({\text {EB}}(\mathcal {H})\subset {\text {LEA}}_2(\mathcal {H})\).
In this paper, we study the entanglement properties of quantum Markovian evolutions in discrete and continuous time. A discretetime QMS \(\{\Phi ^n\}_{n\in \mathbb {N}}\), resp. a continuoustime QMS \((\Phi _t)_{t\ge 0}\), is said to be eventually entanglement breaking (EEB) if there exists \(n_0\in \mathbb {N}\), resp. \(t_0\ge 0\), such that for any \(n\ge n_0\), resp. \(t\ge t_0\), \(\Phi ^n\), resp. \(\Phi _t\), is entanglement breaking. The class of eventually entanglement breaking Markovian evolutions is denoted by \({\text {EEB}}(\mathcal {H})\), leaving the choice of framework of discrete or continuous time implicit. We also say a quantum channel \(\Phi \) is eventually entanglement breaking if the discrete QMS \(\{\Phi ^n\}_{n=1}^\infty \) is eventually entanglement breaking. On the other hand, Markovian evolutions which are not entanglement breaking at any finite time are called entanglement saving, using language introduced by Lami and Giovannetti [38]; the class of entanglement saving Markovian evolutions is denoted by \({\text {ES}}(\mathcal {H})\). Thus, the set of all Markovian evolutions (in either discrete time or in continuous time) decomposes into two disjoint classes,
Lami and Giovannetti also introduce the notion of asymptotically entanglement saving evolutions in the discretetime case. They showed that every discretetime QMS has at least one limit point, and either all of the limit points of a discretetime QMS \(\{\Phi ^n\}_{n=1}^\infty \) are entanglement breaking, or none of them are. They term the latter case as asymptotically entanglement saving, and we denote the set of asymptotically entanglement saving evolutions on \(\mathcal {H}\) as \({\text {AES}}(\mathcal {H})\). In analogy, we call the former case by asymptotically entanglement breaking, denoted \({\text {AEB}}(\mathcal {H})\). Thus, the set of discretetime QMS on \(\mathcal {H}\) decomposes into the disjoint classes
It is interesting to compare (1.8) and (1.9). A discretetime QMS \(\{\Phi ^n\}_{n=1}^\infty \) is AES if the limit points of the sequence \(\{J(\Phi ^n)\}_{n=1}^\infty \) are all entangled. Since \(J(\Phi ^{n+1}) = \Phi \otimes {\mathrm{id}}(J(\Phi ^n))\), if \(J(\Phi ^{n+1})\) is entangled, \(J(\Phi ^n)\) must be as well. In particular, if \(\{\Phi ^n\}_{n=1}^\infty \in {\text {AES}}(\mathcal {H})\), then \(J(\Phi ^n)\) is entangled for every n, and the discretetime QMS is entanglement saving. So we see \({\text {AES}}(\mathcal {H})\subset {\text {ES}}(\mathcal {H})\). However, a priori, an entanglement saving QMS could be asymptotically entanglement breaking: at any finite n, \(J(\Phi ^n)\) could be entangled, but in the limit, \(J(\Phi ^n)\) could be in the set of separable states (though necessarily on the boundary). We therefore define \({\text {EB}}_\infty (\mathcal {H}) = {\text {AEB}}(\mathcal {H}) \cap {\text {ES}}(\mathcal {H})\), the set of discretetime QMS which are asymptotically entanglement breaking, but not entanglement breaking for any finite n. With this notion, we may relate (1.8) and (1.9). We have the disjoint decomposition of the set of all discretetime QMS, denoted \({\text {dQMS}}(\mathcal {H})\), satisfies
Remark 1
The isomorphism between bipartite states and CP maps given by the Choi matrix and the equivalence between EB maps and separable states discussed before allows us to directly translate results on the entanglement loss of CP maps to statements about the separability of a bipartite state. We will mostly state our results in the picture of CPTP maps (see also Sect. 3.4 for a method to remove the TP assumption), but it should be straightforward to derive the corresponding statements for bipartite states.
Some of the definitions introduced in this chapter, along with a preview of some of the results, are depicted diagrammatically in Fig. 1.
Let us now consider an example to illustrate these definitions and show that all sets arise naturally in physical systems.
Example 1.1
Consider a discretetime quantum Markov semigroup \(\{\Phi ^n\}_{n\in \mathbb {N}}\) associated to a repeated interaction system, in which a system \(\mathcal {S}\) interacts with a chain of identical probes\(\mathcal {E}_k\), one at a time, for a duration \(\tau \). During the interaction, the dynamics of the system are modeled by a Hamiltonian evolution, and at the times \((k \tau )_{k\ge 1}\), the evolution forms a semigroup. In this example, the system and each probe are 2level systems, with associated Hilbert spaces \(\mathcal {H}_\mathcal {S}= \mathcal {H}_\mathcal {E}= \mathbb {C}^2\). We define Hamiltonians \(h_\mathcal {S}= E a^*a\) and \(h_\mathcal {E}= E_0 b^*b\), where \(a/a^*\), resp. \(b/b^*\), are the annihilation/creation operators for \(\mathcal {S}\), resp. \(\mathcal {E}\), and \(E\in {\mathbb {R}}_{>0}\) (resp. \(E_0\in {\mathbb {R}}_{>0}\)) corresponds to the energy of the excited state of \(\mathcal {S}\) (resp. \(\mathcal {E}\)). We can express these operators in the (ground state, excited state) basis of each system by
We consider the initial state of each probe to be a thermal state,
where \(\beta \in [0,\infty ]\) represents the inverse temperature (setting Boltzmann’s constant to one). In the case of zerotemperature (\(\beta =\infty \)), we take
We consider an interaction modeling the two systems coupling through their dipoles, in the rotating wave approximation. In this setting, the system and each probe interact via the potential \(\lambda v_\text {RW} \in \mathcal {B}(\mathcal {H}_\mathcal {S}\otimes \mathcal {H}_\mathcal {E})\), where \(\lambda \ge 0\) is a coupling constant, and
where \(u_1\) is a constant, which we take to be equal to 1 with units of energy. This is a common approximation in the regime \(E  E_0  \ll \min \{E,E_0\}\) and \(\lambda \ll E_0\).
The system begins in some state \(\rho {}^{\mathrm{i}}\), couples with the first probe (in thermal state \(\xi _\beta \)), and evolves for a time \(\tau >0\) according to the unitary operator
That is, \(\rho {}^{\mathrm{i}}\otimes \xi _\beta \) evolves to \(U\,(\rho {}^{\mathrm{i}}\otimes \xi _\beta )\,U^*\). Then we trace out the probe to obtain
This process is repeated, and at the end of the kth step, the system is in the state
where \(\Phi \) is the quantum channel given by
What class in the decomposition (1.10) does the discretetime QMS \(\{\Phi ^n\}_{n\in \mathbb {N}}\) lie in? To answer that question, we first compute the eigenvectors and eigenvalues of \(\Phi \), yielding
where \(\sigma _z = \begin{pmatrix} 1 &{}\quad 0 \\ 0 &{} \quad 1 \end{pmatrix}\) is the Pauliz matrix,
for \(\nu {:}{=} \sqrt{ (E_0 E)^2 + \lambda ^2}\), and, defining the rescaled inverse temperature \(\beta ^* {:}{=} \frac{E_0}{E}\beta \),
is a thermal state on \(\mathcal {H}_\mathcal {S}\) represented by the same matrix as \(\xi _\beta \). In the case \(\beta =\infty \), we set \(\rho _{\beta ^*} {:}{=} \begin{pmatrix} 1 &{} \quad 0 \\ 0 &{}\quad 0 \end{pmatrix}= \xi _\infty \). Note
as required, since \(\Phi \) is a CPTP map. In [38, Proposition 23] the authors show that a qubit channel is AES if and only if it is a unitary channel, which in turn is equivalent to it having determinant 1. Thus, we have \(\{\Phi ^n\}_{n\in \mathbb {N}} \in {\text {AES}}(\mathcal {H})\) iff \(\gamma =1\).
To analyze whether or not \(\Phi ^n\) is entanglement breaking, it suffices to check if \(J(\Phi ^n)\) is PPT, as \(\Phi \) is a qubit channel. To that end, define the Gibbs factor \(g = \exp (\beta E_0)\) and partition function \(Z = 1 + g\). Then we have
Thus, taking \((0\rangle ,1\rangle )\) to be the (ground state, excited state) basis for each system,
which has eigenvalues
for \(g\in (0,1]\), and
for \(g=0\). In either case, the eigenvalues only depend on the independent parameters \(\gamma  \in [0,1]\) and \(g \in [0,1]\). Since \(({\mathrm{id}}\otimes \mathcal {T}) J(\Phi ^n) \ge 0\) is equivalent to \(\Phi ^n \in {\text {EB}}(\mathcal {H})\), we find
If \(\gamma  = 1\), \(\{\Phi ^n\}_{n\in \mathbb {N}} \in {\text {AES}}(\mathcal {H})\). This occurs when \(\nu \tau \in 2\pi \mathbb {Z}\); in this case, \(\Phi \) is a unitary channel.
If \(\gamma  = 0\), then \(\Phi \in {\text {EB}}(\mathcal {H})\). This occurs when \(E=E_0\), and \(\nu \tau \in \pi + 2\pi \mathbb {Z}\). In this case, \(\Phi =\rho _{\beta ^*}\mathrm{Tr}[\cdot ]\).
If \(\gamma  \in (0,1)\) and \(g=0\), \(\{\Phi ^n\}_{n\in \mathbb {N}} \in {\text {EB}}_\infty (\mathcal {H})\). In this case, \(\beta =\infty \) and \(\Phi \) has a unique peripheral eigenvalue, namely 1, with nonfullrank invariant state, \(1\rangle \langle 1\).
If \(\gamma \in (0,1)\) and \(g\in (0,1]\), then \(\{\Phi ^n\}_{n=1}^\infty \in {\text {EEB}}(\mathcal {H})\), and in particular, the minimal n such that \(\Phi ^n \in {\text {EB}}(\mathcal {H})\) is given by \(n =\max (1, \lceil \frac{1}{2}\frac{\log B(g)}{\log \gamma } \rceil )\) where
$$\begin{aligned} B(g)\, := \,\frac{1 + 4 g^2 + g^4  (1 + g^2) \sqrt{1 + 6 g^2 + g^4}}{2 g^2} \in (0, 32 \sqrt{2}] \quad \text {for}\quad g\in (0,1]. \end{aligned}$$In this case, \(\Phi \) is primitive, with faithful invariant state \(\rho _{\beta ^*}\).
2 ContinuousTime Quantum Markov Semigroups
In this section, we exclusively investigate the simpler case of continuoustime quantum Markov processes. It turns out that in this case, there is a simple characterization of \({\text {EEB}}(\mathcal {H})\):
Theorem 2.1
A continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) is eventually entanglement breaking if and only if it is primitive.
In order to prove the above result, we first need the following straightforward extension of Theorem 1 of [27].
Lemma 2.2
Let \(\sigma ,\,\omega > 0\). Then \(\omega \otimes \sigma + \Delta \) is separable for any Hermitian operator \(\Delta \) such that \(\Vert \Delta \Vert _2\le \lambda _{\min }(\sigma )\,\lambda _{\min }(\omega )\), where \(\lambda _{\min }(\sigma )\), resp. \(\lambda _{\min }(\omega )\), stands for the smallest eigenvalue of \(\sigma \), resp. \(\omega \).
Proof
Theorem 1 of [27] shows that if \(\Vert \tilde{\Delta }\Vert _2 \le 1\) then \(I\otimes I + \tilde{\Delta } \in {\text {SEP}}\). Since
the proof is concluded by the fact that \(\Vert \omega ^{1/2}\otimes \sigma ^{1/2} \,\Delta \, \omega ^{1/2}\otimes \sigma ^{1/2}\Vert _2 \le \Vert \omega {}^{1}\Vert _\infty \Vert \sigma {}^{1}\Vert _\infty \Vert \Delta \Vert _2\). \(\square \)
Now, we proceed to prove Theorem 2.1.
Proof
[Theorem 2.1]. First assume that \((\Phi _t)_{t\ge 0}\) is primitive. Then there exists a fullrank state \(\sigma \in \mathcal {D}(\mathcal {H})\) such that, for any \(\rho \in \mathcal {D}(\mathcal {H})\), \(\Phi _t(\rho )\rightarrow \sigma \) as \(t\rightarrow \infty \). Therefore,
since \(\Phi _t\) is tracepreserving for each t. The result follows by Lemma 2.2, which implies the existence of \(t_0>0\) such that for any \(t\ge t_0\), \((\Phi _t\otimes {\mathrm{id}})(\Omega \rangle \langle \Omega )\) is in a nonempty ball around \(\sigma \otimes d_{\mathcal {H}}^{1}\,\mathbb {I}\) consisting of separable states. Conversely, assume that \((\Phi _t)_{t\ge 0}\in {\text {EEB}}(\mathcal {H})\), i.e., there exists \(n\in \mathbb {N}\) such that \(\Phi _n=\Phi _1^n\) is entanglement breaking. Note that for any \(t\ge 0\) the map \(\Phi _t\) is invertible. In [38, Theorem 11], the authors show that for invertible maps, being AES equivalent to having more than one eigenvalue in the peripheral spectrum. As we assume \(\Phi _t\) to be EEB, we conclude that \(\Phi _t\) has a unique stationary state. In Proposition 7.5 of [57] this is shown to imply that the evolution is primitive, which concludes the proof. \(\square \)
We note that the results of [59] show that imposing the stronger notion that the underlying Markovian semigroup is asymptotically decoupling, i.e., that all outputs are product states in the limit \(t\rightarrow \infty \) is equivalent to the quantum channel being mixing, i.e., converges asymptotically to a unique, not necessarily faithful, quantum state. Their results also hold in discrete time.
Furthermore, for nonprimitive continuoustime quantum Markov semigroups, one can provide a characterization of \({\text {AES}}(\mathcal {H})\) in a similar fashion as what is done in Theorem 24 of [38] in the discretetime case. We can then show:
Proposition 2.3
Let \((\Phi _t)_{t\ge 0}\) be a faithful continuoustime quantum Markov semigroup. Then \((\Phi _t)_{t\ge 0}\in {\text {AES}}(\mathcal {H})\) if and only if its decoherencefree subalgebra \( \mathcal {N}((\Phi _t^*)_{t\ge 0})\) is noncommutative, which means that there exists \(i\in \mathcal {J}\) such that \(d_{\mathcal {H}_i}>1\).
Proof
We simply need to show that \(E_\mathcal {N}\in {\text {EB}}(\mathcal {H})\) if and only if \(d_{\mathcal {H}_i}=1\) for all i. If \(d_{\mathcal {H}_i}=1\) for all i,it follows from the decomposition of the decoherencefree subalgebra given in Eq. (1.4) that there exist quantum states \(\sigma _i,\tau _i\) s.t. for all \(\rho \in \mathcal {D}(\mathcal {H}){}\) it holds that:
In [29] the authors show that such “measure and prepare” quantum channels are entanglement breaking. If now there exists i such that \(d_{\mathcal {H}_i}>1\), choose as input state \(\rho =\psi \rangle \langle \psi \otimes \tau _i\in \mathcal {D}\left( \mathcal {H}_i\otimes \mathcal {H}\right) \), where \(\psi \rangle =(d_{\mathcal {H}_i})^{1/2}\sum _{j=1}^{d_{\mathcal {H}_i}}j\rangle j\rangle \) is the maximally entangled state on \(\mathcal {H}_i\otimes \mathcal {H}_i\), and the result follows from the fact that \({\mathrm{id}}_{\mathcal {H}_i}\otimes E_\mathcal {N}(\rho )\) is entangled. \(\square \)
Corollary 2.4
Let \((\Phi _t)_{t\ge 0}\) be a faithful continuoustime quantum Markov semigroup. Then \((\Phi _t)_{t\ge 0}\in {\text {EB}}_\infty (\mathcal {H})\) if and only if its decoherencefree subalgebra \(\mathcal {N}((\Phi _t^*)_{t\ge 0})\) is commutative and nontrivial, meaning \(d_{\mathcal {H}_i}=1\) for all \(i\in \mathcal {J}\), and \(\mathcal {J}>1\).
Remark 2
The dephasing semigroup provides a simple example of an element in \({\text {EB}}_\infty (\mathcal {H})\).
Proof
Since Proposition 2.3 characterizes when \((\Phi _t)_{t\ge 0} \in {\text {AEB}}\), it remains to exclude eventually entanglement breaking maps. However, the semigroup is eventually entanglement breaking if and only if it is primitive, by Theorem 2.1, and is primitive if and only if \(\mathcal {J}=1\), which completes the proof. \(\square \)
Proposition 2.1 justifies the introduction of the following characteristic times in the continuoustime primitive case: let \((\Phi _t)_{t\ge 0}\) be a primitive continuoustime quantum Markov semigroup with invariant state \(\sigma \in \mathcal {D}_+(\mathcal {H})\). The entanglement breaking time \(t_{{\text {EB}}}(\Phi )\) of \((\Phi _t)_{t\ge 0}\), analogous to the entanglement breaking index in [37], is defined as follows:
Similarly, given a continuoustime quantum Markov semigroup \((\Gamma _t)_{t\ge 0}\) over a bipartite Hilbert space \(\mathcal {H}_A\otimes \mathcal {H}_B\), we define the entanglement annihilation time\(t_{\mathrm{EA}}(\Gamma )\) as follows
In the case when \(\Gamma _t=\Phi _t\otimes \Phi _t\), for \(\Phi _t:\,\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\), this time is called the 2local entanglement annihilation time, and is denoted by
The quantity \(t_{\mathrm{LEA}_2}\) can be seen as a quantitative version of the notion of asymptotic decoupling for Markovian quantum dynamics [59]. Entanglement breaking, entanglement annihilation, and 2local entanglement annihilation times of quantum Markov semigroups in discrete time can be similarly defined. In the next two subsections, we provide bounds on \(t_{\mathrm{EB}}\), \(t_{\mathrm{EA}}\) and \(t_{\mathrm{LEA}_2}\): the upper bounds found in Sect. 2.1 use the strong decoherence property of Markovian evolutions together with estimates on the radius of open balls around any fullrank product state. On the other hand, lower bounds found in Sect. 2.2 mainly use the inclusion \({\text {EB}}(\mathcal {H})\subset {\text {PPT}}(\mathcal {H})\).
2.1 Upper Bounds on Entanglement Loss Via Decoherence
First, we briefly review in Sect. 2.1.1 the notion of strong decoherence of a quantum Markovian evolution which leads to the derivation of bounds on the time it takes for any state evolving according to a continuoustime quantum Markov semigroup to come \(\varepsilon \)close to equilibrium. As a second step, in Sect. 2.1.2, we get quantitative bounds on the radius of balls surrounding any fullrank separable state on a bipartite Hilbert space \(\mathcal {H}_A\otimes \mathcal {H}_B\). Upper bounds on entanglement loss times follow by simply choosing \(\varepsilon \) as the radius of the separable ball around the adequate state found in Sect. 2.1.2. This is done in Sect. 2.1.3.
2.1.1 Strong Decoherence
At the beginning of this section, we briefly recalled the convergence of quantum Markovian evolutions toward their decoherencefree subalgebra. Moreover, any finitedimensional, faithful continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) satisfies the socalled strong decoherence property (SD): there exist constants \(K,\gamma >0\), possibly depending on \(d_\mathcal {H}\), such that for any initial state \(\rho \)^{Footnote 1}:
In the primitive case, good control over the constants K and \(\gamma \) can be achieved from socalled functional inequalities (see, e.g., [33, 46, 53]). These techniques were recently extended to the nonprimitive case in [3, 5]. Some of them have also been adapted to the discrete case (see [44, 45, 53]). In this section, we briefly review these tools that we use in the next section in order to derive upper bounds on the various entanglement loss times previously defined.
Poincaré Inequality Perhaps the simplest functional inequality is the Poincaré inequality (or spectral gap inequality): In the case of a continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) with associated generator \(\mathcal {L}\), its Poincaré constant is defined as [3]:
where \(\sigma _{\mathrm{Tr}}\,{:=}\,d_\mathcal {H}^{1}\,E_\mathcal {N}(\mathbb {I})\), and \(\mathcal {L}^*\) is the generator of the dual semigroup \((\Phi _t^*)_{t\ge 0}\) acting on observables. The Poincaré constant turns out to be the spectral gap of the operator \(\frac{\mathcal {L}^*+\hat{\mathcal {L}}}{2}\), where \(\hat{\mathcal {L}}\) is the adjoint of \(\mathcal {L}^*\) with respect to \(\langle .,.\rangle _{\sigma _{\mathrm{Tr}}}\), namely minus its second largest distinct eigenvalue. Moreover,
Strong decoherence in the form of Eq. (SD) with \(K={\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty }^{1/2}\) and \(\gamma =\lambda \) follows from Eq. (2.2), since \(\Vert \Phi _t(\rho E_\mathcal {N}(\rho ))\Vert _1\le \Vert \hat{\Phi }_t(X\hat{E}_\mathcal {N}(X))\Vert _{2,\sigma _{\mathrm{Tr}}} \) [50], where \(X=\sigma _{\mathrm{Tr}}^{1/2}\rho \sigma _{\mathrm{Tr}}^{1/2}\), \(\Vert X\hat{E}_\mathcal {N}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}\le {\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty }^{1/2}\), \(\hat{\Phi }_t\) is the adjoint of \(\Phi _t^*\) with respect to the inner product \(\langle .,. \rangle _{\sigma _{\mathrm{Tr}}}\), and \(\hat{E}_\mathcal {N}\) is the conditional expectation onto the decoherencefree subalgebra of \(\hat{\Phi }_t\).
Modified Logarithmic Sobolev Inequality The prefactor \(K=\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty \) obtained from the Poincaré method is known to be suboptimal in some situations. A stronger inequality that one can hope for is the socalled modified logarithmic Sobolev inequality (MLSI): given a continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\), its associated modified logarithmic Sobolev constant \(\alpha _1(\mathcal {L})\) is defined as follows [3]:
where \({\text {EP}}_\mathcal {L}(\rho ){:}{=}\mathrm{Tr}(\mathcal {L}(\rho )(\ln \rho \ln \sigma ))\) is the socalled entropy production of the semigroup \((\Phi _t)_{t\ge 0}\). Its name is justified by the fact that \(\frac{d}{dt}D(\Phi _t(\rho )\Vert E_\mathcal {N}(\rho ))={\text {EP}}_\mathcal {L}(\rho )\). This directly leads to the following exponential decay in relative entropy:
This together with the bound \(D(\rho \Vert E_\mathcal {N}(\rho ))\le \ln \Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty \) and the quantum Pinsker inequality implies (SD) with \(K=(2\ln (\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty ))^{1/2}\) and \(\gamma =\alpha _1(\mathcal {L})\). In particular, this new prefactor K constitutes a considerable improvement over the one derived from the Poincaré method. Similar decoherence times were recently obtained via decoherencefree hypercontractivity in [5] and other similar techniques have recently been developed to obtain convergence bounds similar to the ones obtained by MLSI inequalities [4, 24].
Estimates in Diamond Norm By Proposition 2.1, we know that in continuous time, it only makes sense to talk about entanglement breaking times for primitive quantum Markov semigroups. As we will see in the next subsection, these times can be derived from the strong decoherence property of a primitive semigroup \((\Phi _t)_{t\ge 0}\) on \(\mathcal {B}(\mathcal {H})\), of invariant state \(\sigma \), when tensorized with the identity map on a reference system \(\mathcal {H}_R\simeq \mathcal {H}\). The resulting semigroup \((\Phi _t\otimes {\mathrm{id}}_{\mathcal {H}_R})_{t\ge 0}\) is faithful and nonprimitive, and its associated conditional expectation \(E_\mathcal {N}\) takes the form \(\sigma \otimes \mathrm{Tr}_{\mathcal {H}}(\cdot )\). In this case, for any \(\rho \in \mathcal {D}(\mathcal {H}\otimes \mathcal {H}_R)\):
where \(\Vert \cdot \Vert _{\diamond }\) denotes the diamond norm. Hence, the strong decoherence bound on \((\Phi _t\otimes {\mathrm{id}}_{\mathcal {H}_R})_{t\ge 0}\) can be simply derived from a strong mixing bound for the primitive evolution \((\Phi _t)_{t\ge 0}\) at the cost of a multiplicative factor \(d_\mathcal {H}^{1/2}\). The same factor would appear from the spectral gap estimate, since in that case \(\sigma _{\mathrm{Tr}}=\sigma \otimes \frac{\mathbb {I}}{d_{\mathcal {H}}}\), so that \(K=\Vert \sigma ^{1}\Vert _\infty ^{1/2}d_\mathcal {H}^{1/2}\).
However, in finite dimensions, it was shown in [3] that the modified logarithmic Sobolev constant of \((\Phi _t\otimes {\mathrm{id}}_{\mathcal {H}_R})_{t\ge 0}\) is positive and in some situations can be of the same order as the one of \((\Phi _t)_{t\ge 0}\) (see also [24]). In this case, \(K=(2\ln (d_\mathcal {H}\Vert \sigma ^{1}\Vert _\infty ))^{1/2}\) constitutes an improvement over the constant \(K'=d_\mathcal {H}^{1/2}(2\ln (\Vert \sigma ^{1}\Vert _\infty ))^{1/2}\) that one would get from the diamond norm estimate, after using the strong mixing bound provided by MLSI for \((\Phi _t)_{t\ge 0}\). Other related forms of convergence measures for \((\Phi _t\otimes {\mathrm{id}}_{\mathcal {H}_R})_{t\ge 0}\) have also been investigated in [25].
2.1.2 Separable Balls Around Separable States
In this subsection, we consider the problem of finding separable balls around separable states. We restrict our discussion to full rank separable states, as separable states that are not faithful lie on the boundary of the set of separable states [38]. Note, however, that there are faithful separable states that lie on the boundary of the set of separable states and the boundary of the set of separable quantum states is still a subject of active research [15, 36]. Thus, one way of quantifying how much the state lies in the interior of the set of separable states is the following measure of “robustness of separability,” inspired by the robustness of entanglement introduced in [54] (see also Chapter 9 of [1]).
Definition 2.5
(Robustness of separability). Let \(\rho _{AB}>0\) be separable on the bipartite Hilbert space \(\mathcal {H}\equiv \mathcal {H}_{AB}\). We define its robustness of separability w.r.t. the maximally mixed state, \(R(\rho _{AB})\), as
Proposition 2.6
(Properties of the robustness of separability). Let \(\rho _{AB}\in {\text {SEP}}(A:B)\). Then we have the following properties.
 1.
We have the bounds
$$\begin{aligned} 0 \le R(\rho _{AB}) \le d_\mathcal {H}\,\lambda _{\min }(\rho _{AB})\,, \end{aligned}$$(2.5)and equality holds in the second inequality for product states:
$$\begin{aligned} R(\rho _A\otimes \rho _B) = d_\mathcal {H}\,\lambda _{\min }(\rho _A)\,\lambda _{\min }(\rho _B)\,. \end{aligned}$$(2.6)  2.
\(\rho _{AB} \in {{\,\mathrm{int}\,}}{\text {SEP}}(A:B)\) if and only if \(R(\rho _{AB}) > 0\). Moreover, any state \(\sigma _{AB}\) such that
$$\begin{aligned} \Vert \rho _{AB}\sigma _{AB}\Vert _2 \le \frac{R(\rho _{AB})}{d_\mathcal {H}} \end{aligned}$$(2.7)is separable.
 3.
R is quasiconcave on \({\text {SEP}}(A:B)\): if \(\rho _{AB} = \sum _j p_j \sigma ^{(j)}_{AB}\) where \(p_j>0\), \(\sum _j p_j = 1\), then
$$\begin{aligned} R(\rho _{AB}) \ge \max _j R(\sigma ^{(j)}_{AB}). \end{aligned}$$
Proof
The upper bound in (2.5) follows from the fact that \(\rho _{AB}  \lambda \frac{\mathbb {I}_A\,\otimes \,\mathbb {I}_B}{d_\mathcal {H}} \not \ge 0\) for \(\lambda > d_Ad_B\lambda _{\min }(\rho _{AB})\). For product states, we may explicitly evaluate \(R(\rho _A\otimes \rho _B)\) using the reformulation
and by expanding \(\rho _A\) in its eigenbasis, \(\mathbb {I}_A\) in the same basis, \(\rho _B\) in its eigenbasis, and \(\mathbb {I}_B\) in the same basis.
For the second point, we first note that if \(R(\rho _{AB}) = 0\), then for any \(\lambda \in (0,1)\),
This quantity is in the affine hull of \({\text {SEP}}\) and can be made arbitrarily close to \(\rho _{AB}\) by taking \(\lambda \) small, which proves \(\rho _{AB}\) is not in the relative interior of \({\text {SEP}}\). The other implication follows from the bound (2.7), which is proven as follows. By the definition of R and the closedness of \({\text {SEP}}(A:B)\), we may write
for some \(\rho _{AB}'\) separable. Now consider another state \(\sigma _{AB}\) st. \(\Vert \rho _{AB}\sigma _{AB}\Vert _2\le R(\rho _{AB})d_\mathcal {H}^{1}\). Then
As \(\Vert \rho _{AB}\sigma _{AB}\Vert _2 \le \frac{R(\rho _{AB})}{d_{\mathcal {H}}}\),
is a separable state (cf. Theorem 1 of [27]), from which it follows that \(\sigma _{AB}\) is separable as well, as a convex combination of separable states.
For the last point, it suffices to prove the statement in the case of two states. If \(\lambda = \min (R(\rho _{AB}), R(\sigma _{AB}))\), then
and so for any \(t\in [0,1]\),
too, so \(R(t \rho _{AB} + (1t)\sigma _{AB}) \ge \lambda = \min (R(\rho _{AB}),R(\sigma _{AB}))\) as desired. \(\square \)
Remark 3
Together, (2.7) and (2.6) recover Lemma 2.2 in the case of density matrices. Note Proposition 3 of [38] shows that \(\rho _A\otimes \rho _B \in {{\,\mathrm{int}\,}}{\text {SEP}}(A:B)\) when \(\rho _A\) and \(\rho _B\) are full rank. Lemma 2.2 strengthens this result by giving a quantitative bound:
where \(B_p(r,\rho _{AB})\) is the closed ball in pnorm of radius r around \(\rho _{AB}\).
Admittedly, it is not a priori clear how to obtain good lower bounds on the robustness of separability for general separable states \(\rho _{AB}\) and we leave this for future work.
Remark 4
(Separable balls in relative entropy). In the previous section, we commented on how to obtain better convergence estimates based on showing the exponential decay of other distance measures, like the relative entropy. It is natural to wonder if obtaining separable balls in the relative entropy and applying the convergence bound directly might lead to better results. Unfortunately, to the best of our knowledge, the radius of separable balls in the relative entropy is not known. However, such results would only lead to a constant improvement on the bounds for \(t_{\mathrm{EB}}\) we obtain with our methods. To see why this is the case, note for \(\rho \in \mathcal {D}\) and \(\sigma \in \mathcal {D}_+\),
where the first inequality is Pinsker’s inequality and second inequality follows simply from [2, Theorem 1]. Thus, the radius of the largest ball in trace distance and relative entropy can only differ by square roots and a factor which is polynomial in \(\Vert \sigma ^{1}\Vert _\infty \). As we have a logarithmic dependence on the radius and on \(\Vert \sigma ^{1}\Vert _\infty \) in our bounds (see, e.g., Proposition 2.7), we could only hope to improve our bounds by a constant factor if we were able to derive optimal balls in relative entropy.
2.1.3 Upper Bounds
Here, we combine the tools gathered in the last two subsections, namely estimates on the radius of balls surrounding tensor product states, as well as the strong decoherence property, in order to estimate from above the entanglement loss in the different situations defined at the beginning of this section.
Proposition 2.7
Let \((\Phi _t)_{t\ge 0}\) be primitive with fullrank invariant state \(\sigma \) and generator \(\mathcal {L}\). Assuming that (SD) holds for \((\Phi _t \otimes {\mathrm{id}})_{t\ge 0}\):
Remark 5
Recall that strong decoherence always holds for some \(K,\lambda >0\) in the finitedimensional setting considered here.
Proof
By Lemma 2.2 and the fact that 1norm upper bounds the 2 norm, we know that the \(\Vert \cdot \Vert _1\)norm around \(\mathbb {I}/d_\mathcal {H}\otimes \sigma \) of radius \(\lambda _{\min }(\sigma )/d_\mathcal {H}\) is included in \({\text {SEP}}(\mathcal {H},\mathcal {H})\). In the primitive case, \((\Phi _t\otimes {\mathrm{id}})\circ E_{\mathcal {N}}(\rho ) = \sigma \otimes \mathrm{Tr}_A(\rho )\). It is therefore clear that for any t such that \(K\,\mathrm{e}^{\lambda (\mathcal {L})\,t}\le \lambda _{\min }(\sigma )/d_\mathcal {H}\), \({\mathrm{id}}\otimes \Phi _t(\Omega \rangle \langle \Omega )\) is separable, which implies that the channel \(\Phi _t\) itself is entanglement breaking.
\(\square \)
The proof of Theorem 4.10 can be adapted to get upper bounds on the entanglement annihilating time of a tensor product of semigroups. For example:
Theorem 2.8
(Upper bound on \(t_{{\text {EA}}}\)). Let \((\Phi _t)_{t\ge 0}\) (resp. \((\Psi _t)_{t\ge 0}\)) be primitive and reversible on \(\mathcal {B}(\mathcal {H}_A)\) with respect to the fullrank state \(\sigma \) (resp. in \(\mathcal {B}(\mathcal {H}_B)\) with respect to \(\omega \)). Assume that the spectral gaps are both lower bounded by \(\lambda >0\). Then,
Proof
Since \(\lambda \) is a lower bound on the spectral gap of \((\Phi _t\otimes \Psi _t)_{t\ge 0}\), it follows from Eq. (2.7) that choosing t as in the statement is enough to ensure that all the outputs of the semigroup are contained in the separable ball around \(\sigma \otimes \omega \), which implies that \(\Phi _t\otimes \Psi _t\) is in \({\text {EA}}(\mathcal {H}_A,\mathcal {H}_B)\). \(\square \)
2.2 Lower Bounds Via the PPT Criterion
Here, we derive a lower bound on the time it takes a Markov semigroup \((\Phi _t)_{t\ge 0}\) to become entanglement breaking based on spectral data. The idea is simply to use the useful fact that the set of PPT states includes the set of separable states. We recall that a state \(\rho \in \mathcal {D}(\mathcal {H}_A\otimes \mathcal {H}_B)\) is said to have a positive partial transpose (PPT) if the operator \({\mathrm{id}}\otimes \mathcal {T}(\rho )\) is positive, where the superoperator \(\mathcal {T}\) denotes the transposition with respect to any basis (see Proposition 2.11 of [1]). We will prove lower bounds for the semigroup to become 2locally entanglement annihilating, but note that also implies that it is not entanglement breaking.
2.2.1 Sufficient Conditions for Entanglement Loss
In the next lemma, given a channel \(\Phi \) we find necessary conditions on k for \(\Phi ^k\) to be 2locally entanglement annihilating.
Lemma 2.9
Let \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) be a quantum channel. If
then \((\Phi \circ \mathcal {T})\otimes \Phi \) is not a positive map. In particular, \(\Phi \otimes \Phi \notin {\text {LEA}}_2(\mathcal {H})\), and hence \(\Phi \not \in {\text {EB}}(\mathcal {H})\).
Remark 6
This is similar to the prior result that for a quantum channel \(\Phi \),
which is due to the reshuffling criterion [14] (see, e.g., [38, eq. (47)]).
Proof
We have
where \(F=\sum \nolimits _{i,j=1}^di\rangle \langle j\otimes j\rangle \langle i\) is the flip operator. Therefore, any witness \(X_{AB}\ge 0\) with
certifies that \(\Phi \notin {\text {LEA}}_2(\mathcal {H})\). We rewrite (2.12) as
Taking \(X_{AB} = P_{{\text {asym}}}{:}{=} \frac{\mathbb {I}\otimes \mathbb {I}  F}{2}\), the condition becomes
using that \(\Phi ^*\) is unital and \(\mathrm{Tr}[F]=d_\mathcal {H}\). The righthand side can be rewritten as
using \(\mathrm{Tr}[(A\otimes B) F] = \mathrm{Tr}[AB]\) and that the squared 2norm of a block matrix is the sum of the squared 2norms of each submatrix. Thus, if \(\Vert \Phi \Vert _2^2 > d_\mathcal {H}\), then \(\Phi \notin {\text {LEA}}_2(\mathcal {H})\). \(\square \)
Corollary 2.10
Let \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) with \(\det (\Phi )\not =0\).^{Footnote 2} If \(\Vert \Phi ^{k}\Vert _{2\rightarrow 2}\le d_\mathcal {H}\), then \(\Phi ^k\notin {\text {LEA}}_2(\mathcal {H})\).
Proof
By Lemma 2.9, \(\Phi ^k\not \in {\text {LEA}}_2(\mathcal {H})\) if
We write
Now note that
which can be seen by taking \(A=\Phi ^{k}(B)\). Thus, it follows that
and we obtain the claim. \(\square \)
Remark 7
Since \({\text {EB}}(\mathcal {H})\subset {\text {LEA}}_2(\mathcal {H})\), these also constitute conditions for \(\Phi ^k\) to be entanglement breaking.
2.2.2 Lower Bounds
In the next proposition, we derive a lower bound on \(t_{{\text {EB}}}\) for a continuoustime quantum Markov semigroup using Lemma 2.9.
Proposition 2.11
(Lower bound for. \(t_{{\text {EB}}}\) and \(t_{{\text {LEA}}_2}\)). For any continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) on \(\mathcal {B}(\mathcal {H})\),
where \(\{\lambda _j\}_{j=1}^{d_\mathcal {H}^2}\) are the eigenvalues of \(\mathcal {L}\), the generator of the \({\text {QMS}}\). In the case that \((\Phi _t)_{t\ge 0}\) is reversible with respect to a faithful state \(\sigma \), \(\mathcal {L}\) is selfadjoint with respect to \( \langle \,\cdot \,,\,\cdot \, \rangle _\sigma \), and \(\max _{j} \mathrm{Re}(\lambda _j(\mathcal {L}))= \Vert \mathcal {L}\Vert _{2,\sigma \rightarrow 2,\sigma }\) is the largest eigenvalue (in modulus) of \(\mathcal {L}\).
Proof
Since \(\Vert \Phi _t\Vert _2 \ge \Vert \lambda (\Phi _t)\Vert _2\) where \(\lambda (\Phi _t)\) is the vector of eigenvalues (with multiplicity), we have
using that \(\Phi _t\) is the exponential of \(t\mathcal {L}\) and that \((\Phi _t)_{t\ge 0}\) is tracepreserving, so \(\mathcal {L}\) must have a zero eigenvalue. By Lemma 2.9 it follows that
is a sufficient condition for the semigroup not to be entanglement annihilating at time t and the bound \(t_{{\text {LEA}}_{2}} > \frac{1}{2}t_0\) follows after rearranging the terms. The bound \(t_\text {EB} > t_0\) follows in the same way from (2.11). \(\square \)
Example 2.12
(The depolarizing channel). The quantum depolarizing channel \(\tilde{\Phi }_p\) of parameter p is a unital quantum channel modeling isotropic noise,
Its output can be interpreted as the timeevolved state under the socalled quantum depolarizing semigroup:
This continuoustime QMS is primitive, with invariant state \(\frac{\mathbb {I}}{d_\mathcal {H}}\), and has generator \(\mathcal {L}(\rho ) = \frac{\mathbb {I}}{d_\mathcal {H}}\mathrm{Tr}[\rho ]\rho \), which is the difference of a rank1 projection and the identity map and therefore has eigenvalues 0 and \(1\). The spectral gap of 1 provides the following strong decoherence via (2.2):
Propositions 2.11 and 2.7 therefore yield lower and upper bounds on the entanglement breaking time, namely
These bounds match up to constant factors. In fact, the lower bound is tight:
as calculated in, e.g., [39]. Likewise, considering time evolution under \(\Phi _t\otimes \Phi _t\), Proposition 2.11 and Eq. (2.9) yield the bounds
which can be compared to the exact result,
from [39].
3 Structural Properties of DiscreteTime Evolutions
In the previous section, we showed that the only continuoustime quantum Markov semigroups which become entanglement breaking in finite time were primitive quantum Markov semigroups. Now, we investigate the discretetime case, where the situation becomes much more subtle. First, while every primitive discretetime QMS is eventually entanglement breaking, not all eventually entanglement breaking discretetime QMS are primitive. For example, the quantum channel
has a rank1 invariant state (and thus is not primitive), but the associated discretetime QMS \(\{\Phi ^n\}_{n=1}^\infty \) is entanglement breaking.
Proposition 3.1
(Density of classes of quantum channels). The sets of faithful quantum channels, primitive quantum channels, and eventually entanglement breaking quantum channels are dense in the set of all quantum channels. Likewise, the sets of faithful PPT quantum channels, primitive PPT quantum channels, and eventually entanglement breaking PPT quantum channels are dense in the set of all PPT quantum channels.
Remark 8
C.f. Theorem V.2 of [49] which proves that EEB unital channels are dense in the set of unital channels and the remarks after [38, Theorem 11], where they show that EEB quantum channels are of full measure in the set of quantum channels.
Proof
First note that the set of faithful quantum channels is dense in the set of quantum channels. To see this, let \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) be a quantum channel and for a state \(\tau \in \mathcal {D}(\mathcal {H})\) define \(\Psi _{\tau }:\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) to be the quantum channel that acts as
Note that \(\Psi _\tau ^2=\Psi _\tau \). For \(\epsilon \in (0,1)\), we define the channel \(\Phi ' {:}{=}(1\epsilon )\Phi +\epsilon \,\Psi _{\frac{\mathbb {I}}{d}}\) which maps quantum states to strictly positive operators. This is known to be equivalent to the irreducibility of \(\Phi '\) [57, Theorem 6.2], which in particular implies the existence of a stationary state \(\sigma \in \mathcal {D}_+(\mathcal {H})\) of full rank. As \(\varepsilon \rightarrow 0\), we have \(\Phi '\rightarrow \Phi \), which shows the density of faithful channels. Next, we reuse the same \(\Phi '\) and consider the quantum channel \(\Phi '' {:}{=}(1\epsilon )\Phi '+\epsilon \Psi _\sigma \). As \(\varepsilon \rightarrow 0\), \(\Phi ''\rightarrow \Phi \), and moreover for each \(\varepsilon \in (0,1)\), \(\Phi ''\) is eventually entanglement breaking. To see this, note that as \(\Phi '\) has \(\sigma \) as a stationary state, it follows that \(\Phi '\Psi _\sigma =\Psi _\sigma \Phi '=\Psi _\sigma \) and, thus,
Clearly, \(\lim \nolimits _{n \rightarrow \infty }\left( \Phi ''\right) ^n=\Psi _\sigma \), which is primitive. We have
As we saw in Proposition 2.6, separable states of the form \(\sigma _1\otimes \sigma _2\) with \(\sigma _1,\sigma _2\in \mathcal {D}_+(\mathcal {H})\) full rank are in the interior of the set of separable states. Thus, the Choi matrix of \(\left( \Phi ''\right) ^n\) converges to a separable state in the interior of the set of separable states and will be separable for some finite n. This also allows us to conclude the density of primitive channels, since they are in particular EEB.
The corresponding results for PPT channels are obtained by noting that if \(\Phi \) is PPT, then \(\Phi '\) and \(\Phi ''\) are PPT as well. \(\square \)
One potentially useful observation is that to prove the \(\hbox {PPT}^2\) conjecture, one may restrict to a dense set. More generally, define for \(k\in \mathbb {N}\) the \(\hbox {PPT}^k\) conjecture as the claim that any PPT quantum channel \(\Phi \) has \(\Phi ^k\in {\text {EB}}(\mathcal {H})\).
Corollary 3.2
The \({\text {PPT}}^k\) conjecture holds if and only if every \({\text {PPT}}\) primitive quantum channel \(\Phi \) has \(\Phi ^k\in {\text {EB}}(\mathcal {H})\).
Proof
Let \(\Phi \) be a PPT quantum channel. By Proposition 3.1, there is a sequence \(\Phi _n\rightarrow \Phi \) with each \(\Phi _n\) being PPT and primitive. By continuity of \(x\mapsto x^k\), we have \(\Phi ^k = \lim _{n\rightarrow \infty } \Phi _n^k\). Since the set of entanglement breaking channels is closed, \(\Phi ^k\in {\text {EB}}(\mathcal {H})\). \(\square \)
As mentioned before, our goal in this paper is to estimate the time after which a quantum system undergoing a quantum Markovian evolution has lost all its entanglement. In order to better characterize discretetime evolutions for which asking this question makes sense, we first need to leave aside those evolutions for which the phenomenon does not occur, that is, evolutions that either destroy entanglement after an infinite amount of time (EB\(_\infty \)), or even those of nevervanishing output entanglement (AES).
A big part of this question was already answered in the discretetime case by [38]. In this paper, (Theorem 21), the authors showed that, given a quantum channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) with \(\dim (\ker \Phi )<2(d_\mathcal {H}1)\), \(\{\Phi ^n\}_{n\in \mathbb {N}}\in {\text {ES}}(\mathcal {H})\) if and only if either it has a nonfullrank positive fixed point, or the number of peripheral eigenvalues is strictly greater than 1, which itself is equivalent to the existence of \(1\le n\le d_\mathcal {H}\) such that \(\Phi ^n\) has a nonfullrank positive fixed point. In the same paper, the authors showed that if \(\Phi \) has more than \(d_\mathcal {H}\) peripheral eigenvalues, then \(\{\Phi ^n\}_{n\in \mathbb {N}}\) is asymptotically entanglement saving. These interesting results clearly show the link between the spectral properties of the quantum channel \(\Phi \) and the entanglement properties of the corresponding discretetime quantum Markov semigroup \(\{\Phi ^n\}_{n\in \mathbb {N}}\). In the next subsections, we further develop this intuition. First, we prove the following simple consequence of a result from [38].
Lemma 3.3
Let \(\Phi \) be a quantum channel on \(\mathcal {H}\) with \(d_\mathcal {H}\) peripheral eigenvalues counted with multiplicity and at least one nonzero nonperipheral eigenvalue. Then \(\{\Phi ^n\}_{n\in \mathbb {N}}\in {\text {ES}}(\mathcal {H})\).
Proof
For any N, \(\Phi ^N\) has \(d_\mathcal {H}\) peripheral eigenvalues and at least one nonperipheral eigenvalue nonzero. Thus, if \(\{\lambda _k\}_{k=1}^{d^2}\) are the eigenvalues of \(\Phi \) counted with multiplicity, we have
The result follows from the fact that a quantum channel \(\Psi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) such that \(\Vert \Psi \Vert _1>d_\mathcal {H}\) is not entanglement breaking (see [38]). \(\square \)
3.1 Irreducible Evolutions
The previous result suggests looking at channels with less than \(d_\mathcal {H}\) peripheral eigenvalues counted with multiplicity in order to characterize EEB. Since primitive channels are eventually entanglement breaking, a natural next step is to consider the wider class of irreducible channels introduced in Sect. 1.1.
The study of the peripheral spectral properties of irreducible maps is the subject of the noncommutative Perron–Frobenius theory for irreducible completely positive maps; see [21], or [57, Sect. 6.2]. See also [28, Appendix A] for a summary of this theory and extensions to deformations of irreducible CPTP maps. Together with the Jordan decomposition (see, e.g., [34, Sect. 1.5.4]), this theory provides a useful decomposition of irreducible quantum channels. In the next proposition, we recall this decomposition and provide a minimal set of quantities needed to construct such a map. This structural result will be used later to construct irreducible quantum channels that are not EEB. Moreover, it will allow us to show that irreducibility combined with the PPT property is enough to ensure that a quantum channel is EEB.
Proposition 3.4
Consider
 1.
A number \(z\in \{1,\dotsc ,d_\mathcal {H}\}\),
 2.
An orthogonal resolution of the identity \(\{ p_n\}_{n=0}^{z1}\), i.e., \(\sum _{n=0}^{z1}p_n = \mathbb {I}\) and \(p_n^\dagger = p_n^2 = p_n\) for each n,
 3.
A faithful state \(\sigma \) such that \([\sigma ,p_n]=0\) and \(\mathrm{Tr}[\sigma p_n] = \frac{1}{z}\), for each \(n=0,\dotsc ,z1\),
 4.
A linear map \( \Phi _Q\) such that:
 (a)
\({\text {spr}}(\Phi _Q) < 1\)
 (b)
\(J(\Phi _Q) \ge  z\left( \sigma \otimes \mathbb {I}\right) L_{1}\), where for \(k=0,\dotsc ,z1\), we define \(L_k {:}{=} \sum _{n=0}^{z1} p_{nk} \otimes p_{n}\) where the subscripts are taken modulo z.
 (c)
We have
$$\begin{aligned} \Phi _Q(\sigma p_n) = \Phi _Q^*(p_n) = 0, \qquad \forall n = 0,1,\dotsc ,z1. \end{aligned}$$(3.1)
 (a)
Let
where \(P_n(\cdot ) = \mathrm{Tr}[ u^{n} \, \cdot \, ] u^n \sigma \) for \(u {:}{=} \sum _{k=0}^{z1} \theta ^k p_k\) and \( \theta {:}{=} \exp (2\mathrm {i}\pi / z)\). Then \(\Phi \) is an irreducible quantum channel. On the other hand, any irreducible quantum channel \(\Phi \) can be decomposed as (3.2) for some choices of \(z, \{p_n\}_{n=0}^{z1}\), \(\sigma \), and \(\Phi _Q\) as in (1)–(4). Moreover, in either case, \(\sigma \) is the unique fix point^{Footnote 3} of \(\Phi \); \(P_n(\cdot )\) are its peripheral eigenprojections, associated to eigenvalues \(\theta ^n\) and eigenvectors \(u^n \sigma \); and, for any \(j,k =0,\dotsc ,z1\), we have the intertwining relations
where the subscripts are interpreted modulo z. Additionally, for \(\Phi _P{:}{=} \sum _{n=0}^{z1} \theta ^n P_n\),
Proof
Let us note that (4c) is equivalent to the property that
To see this, note that the generalized discrete Fourier transform
given by \({\mathcal {F}}((X_0,\dotsc , X_{z1} ) ) = (Y_0,\dotsc , Y_{z1} )\) for \(Y_n = \sum _{j=0}^{z1} \theta ^{nj}X_j\) is an invertible linear transformation, with inverse \({\mathcal {F}}{}^{1}((Y_n)_{n=0}^{z1} ) = \frac{1}{z}{\mathcal {F}}((Y_{z\ell })_{\ell =0}^{z1} )\). All indices are taken mod z. Next, using the definition of the \(P_n\), (3.5) is equivalent to
Since \(\vec {0} = (\Phi _Q(u^n \sigma ))_{n=0}^{z1} = {\mathcal {F}}((\Phi _Q(p_j \sigma ) )_{j=0}^{z1} )\) and \(\vec {0} = (\Phi _Q(u^{n}))_{n=0}^{z1} = {\mathcal {F}}((\Phi _Q(p_j))_{j=0}^{z1} )\), and \({\mathcal {F}}\) has trivial kernel, (3.5) implies (4c). The converse follows similarly. Equation (3.3) follows from a simple computation. The fact that an irreducible map can be decomposed as (3.2) for some choices of z, \(\{p_n\}_{n=0}^{z1}\), \(\sigma \) and \(\Phi _Q\) as in (1)–(4b) and (3.5) is not new, and we refer to [57, Sect. 6.2] for more details. We believe however that the forward implication is, and postpone its proof to Appendix A for sake of clarity. \(\square \)
Remarks

The matrix \(\hat{J}_k\) is separable, and thus, \(\Phi _P^k\) is entanglement breaking, for any \(k\ge 1\).

If \(z >1\), then \(\frac{1}{d_\mathcal {H}}\hat{J}_k\) does not have full support. Thus, \(\frac{1}{d_\mathcal {H}}\hat{J}_k\) is on the boundary of the set of density matrices and thus on the boundary of \({\text {SEP}}\) and \({\text {PPT}}\) as well. In fact, we can say something stronger than this: whenever \(z>1\), there exist entangled density matrices arbitrarily close to each \(\frac{1}{d_\mathcal {H}} \hat{J}_k\), \(k=0,1,\dotsc ,z1\). To see this, note that \(\frac{1}{d_\mathcal {H}}\hat{J}_k \in L_k \mathcal {D}(\mathcal {H}\otimes \mathcal {H}) L_k\). However, we can construct entangled states in \(L_j \mathcal {D}(\mathcal {H}\otimes \mathcal {H}) L_j\) for any \(j\ne k\). For instance, let \(0\rangle \in p_0 \mathcal {H}\), \(1\rangle \in p_1 \mathcal {H}\), \( j_0 \rangle \in p_{j} \mathcal {H}\), and \(j_1\rangle \in p_{1j} \mathcal {H}\) be normalized vectors. Then
$$\begin{aligned} \Omega _j\rangle {:}{=}\frac{1}{\sqrt{2}}\big (j_0\rangle \otimes 0\rangle + j_1\rangle \otimes 1\rangle \big ) \end{aligned}$$is (localunitarily equivalent to) a Bell state and has
$$\begin{aligned} L_j \Omega _j\rangle = \sum _{n=0}^{z1} (p_{nj} \otimes p_n )\Omega _j\rangle = \Omega _j\rangle , \end{aligned}$$and thus \(L_j \Omega _j\rangle \langle \Omega _j L_j \in L_j \mathcal {D}(\mathcal {H}\otimes \mathcal {H}) L_j\). Thus, for any \(t\ge 0\),
$$\begin{aligned} (1t)\frac{1}{d_\mathcal {H}} \hat{J}_k + t \Omega _j\rangle \langle \Omega _j = (1t) \frac{1}{d_\mathcal {H}} \hat{J}_k \Big _{L_k} \,\oplus \,t\Omega _j\rangle \langle \Omega _j\Big _{L_j} \end{aligned}$$is an entangled density matrix and can be made arbitrarily close to \(\frac{1}{d_\mathcal {H}} \hat{J}_k \) by sending \(t\rightarrow 0\).
Moreover, the limit points of \(\{\frac{1}{d_\mathcal {H}}J(\Phi ^n)\}_{n=0}^\infty \) are exactly \(\{\frac{1}{d_\mathcal {H}}\hat{J}_k\}_{k=0}^{z1}\), which follows from the mixingtime results in the sequel (e.g., Theorem 4.4). This shows the analysis of Sects. 2.1 and 2.2 in the primitive case does not carry over to the irreducible discretetime case, because the aforementioned limit points are neither in the interior of the set of separable states nor the interior of the set of PPT states.

The above proposition shows that the peripheral eigenvectors of irreducible channels \(\Phi \) commute. In Theorem 32 of [38], the authors show that asymptotically entanglement saving channels are characterized by the fact that they possess at least two noncommuting phase points. This implies \(\{\Phi ^n\}_{n\in \mathbb {N}} \in {\text {AEB}}(\mathcal {H})\), which generalizes Corollary 6.1 of [49] to the nonunital case. There, the authors show that a unital irreducible quantum channel is AEB if and only if its phase space is commutative.

The intertwining property (3.3) holds for \(\Phi \) and \(\Phi _P\) (which itself is an irreducible map) and therefore for \(\Phi _Q\). This implies \(J(\Phi _Q) = L_1 J(\Phi _Q) L_1\), i.e., the Choi matrix of \(\Phi _Q\) is supported on the same subspace as that of \(\Phi _P\).

Given a map \(\Phi _Q\) which intertwines with \(\{p_n\}_{n=0}^{z1}\), a sufficient condition for \(\Phi _Q\ge  z\left( \sigma \otimes \mathbb {I}\right) L_{1}\equiv J(\Phi _P)\) is given by
$$\begin{aligned} \Vert \Phi _Q\Vert _2 =\Vert J(\Phi _Q)\Vert _2 \le z \lambda _\text {min}(\sigma )\,, \end{aligned}$$(3.6)since in that case
$$\begin{aligned} J(\Phi _Q)&\ge  {\text {spr}}(\Phi _Q) L_1 \ge \Vert J(\Phi _Q)\Vert _2 L_1 \ge z \lambda _\text {min}(\sigma ) L_1 \\&\ge z L_1(\sigma \otimes {\mathrm{id}})L_1 = J(\Phi _P). \end{aligned}$$
The intertwining property (3.3) of irreducible maps is very useful for understanding their entanglement breaking properties. In fact, a slight generalization of this property will prove useful.
Definition 3.5
(\(\big (\{p_i\}_{i=0}^{z1}, \{\tilde{p}_i\}_{i=0}^{z1}\big )\)block preserving). Given two orthogonal resolutions of the identity, \(\{p_i\}_{i=0}^{z1}\) and \(\{\tilde{p}_i\}_{i=0}^{z1}\), we say that a quantum channel \(\Phi \) is \(\big (\{p_i\}_{i=0}^{z1}, \{\tilde{p}_i\}_{i=0}^{z1}\big )\)block preserving if for all \(i,j\in \{0,\dotsc ,z1\}\),
From (3.3), if \(\Phi \) is irreducible, then \(\Phi ^k\) is \(\big (\{p_i\}_{i=0}^{z1}, \{ p_{ik}\}_{i=0}^{z1}\big )\)block preserving. Using this notion, the following result shows that PPT channels which are block preserving in the above sense must annihilate offdiagonal blocks. We note that results of a similar flavor were shown in [12, 13].
Lemma 3.6
If \(\Phi \) is a \({\text {PPT}}\) quantum channel and is \(\big (\{p_i\}_{i=0}^{z1}, \{ \tilde{p}_{i}\}_{i=0}^{z1}\big )\)block preserving, then
for all \(i\ne j\).
Proof
Let us prove the contrapositive. Assume for some \(i\ne j\), \(\Phi (p_i \mathcal {B}(\mathcal {H}) p_j) \ne \{0\}\); without loss of generality, take \(i=0\) and \(j=1\). Then let \(0\rangle \langle 1\in p_0 \mathcal {B}(\mathcal {H}) p_1\) such that \(\Phi (0\rangle \langle 1)\ne 0\). Then also \(\Phi (1\rangle \langle 0)\ne 0\). Consider \(\Omega _{01}\), the Belltype state associated to \(00\rangle +11\rangle \). The blockpreserving assumption yields
for each \(i,j\in \{0,1\}\). Then, neglecting rows and columns of all zeros, \((\Phi \otimes {\mathrm{id}})(\Omega _{01})\) can be written as
as \(\{\tilde{p}_0,\tilde{p}_1\}\) blocks in the \(\{0\rangle ,1\rangle \}\) basis. Now, taking the partial transpose on the first system,
The eigenvalues of this matrix are the eigenvalues of \( \Phi (0\rangle \langle 0)\), together with the eigenvalues of \(\Phi (1\rangle \langle 1)\), and the eigenvalues of the block matrix
Since X is nonzero, selfadjoint, and traceless, it must have both strictly positive and strictly negative eigenvalues. Thus, \((\mathcal {T}\otimes {\mathrm{id}})\circ (\Phi \otimes {\mathrm{id}})(\Omega _{01}) \) has negative eigenvalues, so \((\Phi \otimes {\mathrm{id}})(\Omega _{01})\) is not PPT. \(\square \)
Theorem 3.7
Let \(\Phi \) be an irreducible \({\text {CPTP}}\) map, \(k\ge 1\), and let us adopt the notation of Proposition 3.4. Assume \(\Phi \) is not primitive (i.e., \(z\ge 2\)). Then
On the other hand, if
and additionally, for each j such that \(\mathrm{rank}p_j \ge 2\),
then \(\Phi ^k\in {\text {EB}}(\mathcal {H})\).
In the case \(z=d_\mathcal {H}\), we may write \(p_j=j\rangle \langle j\) for \(j=0,\dotsc ,z1\). In this case, \(\Phi _Q^k(i\rangle \langle j)=0\) for all \(i\ne j\), if and only if \(\Phi ^k\in {\text {EB}}(\mathcal {H})\).
Remark 9
Under the assumption (3.9),
implies (3.10), as
Proof
(3.8) follows immediately from the fact that if \(\Phi \) is irreducible, then \(\Phi ^k\) is \(\big (\{p_i\}_{i=0}^{z1}, \{ p_{ik}\}_{i=0}^{z1}\big )\)block preserving, and Lemma 3.6.
Next, assume (3.9) holds. Let \(\{i\rangle \}_{i=0}^{d_\mathcal {H}1}\) be an orthonormal basis of \(\mathcal {H}\) such that there are disjoint index sets \(\{I_n\}_{n=0}^{z1}\) such that for each n, \(i\rangle \in p_n \mathcal {H}\) for \(i\in I_n\). Taking the Choi matrix in the \(i\rangle \) basis,
using that \(\Phi ^k(i\rangle \langle j)=0\) whenever i and j do not share an index set \(I_n\), which follows from (3.9). Then (see, e.g., (A.3)):
We note that \(\sum _{i,j\in I_n}\Phi ^k_Q(i\rangle \langle j)\otimes i\rangle \langle j\in p_{nk}\otimes p_{n}\mathcal {B}(\mathcal {H}\otimes \mathcal {H})p_{nk}\otimes p_{n}\), since both \(\Phi \) and \(\Phi _P\) map \(p_n\mathcal {B}(\mathcal {H})p_n\) to \(p_{n1}\mathcal {B}(\mathcal {H})p_{n1}\) [see Eqs. (3.3) and (A.2)]. Since by assumption
then (2.7) applied to the Hilbert space \(p_{nk} \mathcal {H}\,\otimes \, p_n\mathcal {H}\) gives that \(z \sigma \otimes \mathbb {I}_{p_{nk}\mathcal {H}\,\otimes \, p_n\mathcal {H}} + J(\Phi ^k_Q_{p_n\mathcal {B}(\mathcal {H})p_n})\) is separable on that space. We may embed this state in \(\mathcal {B}(\mathcal {H}\otimes \mathcal {H})\) (without changing the tensor product structure) yielding that
is a nonfullrank separable state on \(\mathcal {B}(\mathcal {H}\otimes \mathcal {H})\). Summing over n then yields the fact that \(J(\Phi ^k)\) is separable, so \(\Phi ^k\in {\text {EB}}(\mathcal {H})\).
For the case \(z=d\), we simply note that \(\mathrm{rank}p_j = 1\) for all j, and hence the statement follows from the above two results. \(\square \)
Since the limit points of \(\{J(\Phi ^n)\}_{n=1}^\infty \) are separable but arbitrarily close to entangled states (as shown in the remarks following Proposition 3.4) the question arises of whether or not there are quantum channels that are both irreducible and in \({\text {EB}}_\infty (\mathcal {H})\). In the case that \(\Phi \) has maximal period \(z=d_\mathcal {H}\), Lemma 3.3 resolves this affirmatively as long as \(\Phi _Q\) is not nilpotent. In the case when the period is much less than the dimension; say \(z=2 <d_\mathcal {H}\), then the underlying argument (relying on the reshuffling criterion via (2.11)) provides little help: \(\Vert \Phi ^n\Vert _1 = z + o(n) < d_\mathcal {H}\) for large n. However, using Theorem 3.7, we can design \({\text {EB}}_\infty (\mathcal {H})\) irreducible channels rather easily, as shown in the following example.
Example 3.8
Let us construct an irreducible quantum channel \(\Phi \) via Proposition 3.4. with period \(z=2\). We choose any full rank state \(\sigma \) as the invariant state, and any pair of orthogonal projections \(\{p_1,p_2\}\) which commute with \(\sigma \) as the Perron–Frobenius projections. Let \(d_j=\mathrm{rank}p_j\) for \(j=0,1\), and let \(\{e_i\rangle \}_{i=0}^{d_01}\) be an eigenbasis of \(\sigma p_0\) and likewise \(\{f_i\rangle \}_{i=0}^{d_11}\) be an eigenbasis of \(\sigma p_1\). For some \(\lambda \in {\mathbb {R}}\) with \(\lambda <1\), define \(\Phi _Q\) by
for each i, j. Then \(\Phi _Q(\sigma p_j)=\Phi _Q^*(p_j)=0\), \({\text {spr}}(\Phi _Q)=\lambda <1\). Since
we have \(\Vert J(\Phi _Q)\Vert _2 = \sqrt{2}\,\lambda \). Thus, choosing \(\lambda \) to satisfy \(0<\lambda  < \min (1, \sqrt{2} \,\lambda _\text {min}(\sigma ))\), we have \(J(\Phi _Q)\ge J(\Phi _P)\) by (3.6), and \(\Phi \) is an irreducible CPTP map of period 2. Moreover,
which is nonzero for any n. Thus, \(\Phi \in {\text {EB}}_\infty (\mathcal {H})\) by Theorem 3.7. Additionally, it was proved in Theorem 21 of [38] that if the number of zero eigenvalues of \(\Phi \) is strictly less than \(2(d_\mathcal {H}1)\), the fact that \(\Phi \) has at least two peripheral eigenvalues implies that it is entanglement saving. However, in the present example, \(\Phi \) has four nonzero eigenvalues (two peripheral, and \(\pm \lambda \)), and therefore \(d_\mathcal {H}^24\) zero eigenvalues. Thus, for \(d_\mathcal {H}\ge 3\), Theorem 11 of [38] does not apply to \(\Phi \).
Theorem 3.7 implies the following corollary, which is extended to the nonirreducible case in the next section. Estimates on the entanglement breaking index, which we recall is the first \(n\in \mathbb {N}\) such that \(\Phi ^n\) is entanglement breaking, are provided in Sect. 4.2.
Corollary 3.9
Any irreducible \({\text {PPT}}\) channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) is eventually entanglement breaking.
Proof
Since the channel is PPT, we have (3.9). Then setting \(\ell {:}{=}{\text {spr}}(\Phi _Q)<1\), by Gelfand’s formula we have that for any \(\varepsilon \in (0,1\ell )\), there exists \(n_0>0\) such that for all \(k\ge n_0\),
Thus, for k large enough, \(\Vert J(\Phi _Q^k)\Vert _2 \le z\lambda _\text {min}(\sigma )\) and (3.10) holds. Hence, \(\Phi ^k \in {\text {EB}}(\mathcal {H})\). \(\square \)
3.2 Beyond Irreducibility
A nonirreducible channel can be decomposed into irreducible components, on which it acts irreducibly. More specifically, we may decompose the identity \(\mathbb {I}\) of \(\mathcal {H}\) into maximal subspaces with corresponding orthogonal projections \(D, P_1,\dots ,P_n\) s.t. \(\Phi \) restricted to \(P_i\mathcal {B}(\mathcal {H})P_i\) is irreducible, and \(D\mathcal {H}\) is orthogonal to the support of every invariant state of \(\Phi \) [10]. In particular, \(D=0\) is equivalent to \(\Phi \) being a faithful quantum channel (that is, possessing a fullrank invariant state). In general, \(\Phi \) may act nontrivially on \(P_i \mathcal {B}(\mathcal {H})P_j\) for \(i\ne j\). The following proposition shows that this is not the case for PPT maps \(\Phi \).
Theorem 3.10
Any faithful \({\text {PPT}}\) channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) is the direct sum of irreducible \({\text {PPT}}\) quantum channels and therefore is eventually entanglement breaking.
Remark 10
This result extends that of [35] where it was shown that PPT maps are AEB. It also completes Theorem 4.4 of [49] where it was shown that any unital PPT channel is EEB. Additionally, Theorem 4.8 provides a quantitative version of this result.
Proof
As \(\Phi \) has an invariant state of full rank, it follows from [10] that we may decompose the identity \(\mathbb {I}\) of \(\mathcal {H}\) into maximal subspaces with corresponding orthogonal projections \(P_1,\dots ,P_n\) s.t. \(\Phi \) restricted to \(P_i\mathcal {B}(\mathcal {H})P_i\) is irreducible. We will call \(P_i\mathcal {B}(\mathcal {H})P_i\) a maximal irreducible component. From [10, Proposition 5.4], we have that
and hence linearity yields
Thus, \(\Phi \) is \(\big (\{P_i\}_{i=1}^n,\{P_i\}_{i=1}^n\big )\)block preserving, and by Lemma 3.6,
for each \(i\ne j\). Hence, \(\Phi =\bigoplus _{i=1}^n \Phi _i\) for \(\Phi _i =\Phi _{P_i \mathcal {B}(\mathcal {H})P_i}\). Each \(\Phi _i\) is irreducible and PPT and hence EEB by Corollary 3.9. Thus, \(\Phi \) is EEB as well. \(\square \)
Combining Theorem 3.10 with that observation that for an irreducible channel \(\Phi \) of period z, the channel \(\Phi ^z\) is the direct sum of primitive channels leads to the following structural result.
Theorem 3.11
Let \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) be a faithful quantum channel. The following are equivalent.
 1.
\(\Phi \in {\text {EEB}}(\mathcal {H})\),
 2.
\(\Phi ^{d_\mathcal {H}^2 Z}\) is the direct sum of primitive channels, where Z is the least common multiple of the periods of \(\Phi \) restricted to each of its irreducible components,
 3.
\(\Phi ^{n}\) is the direct sum of primitive channels for some \(n\le d_\mathcal {H}^2 \exp (1.04\,d_\mathcal {H})\).
Remark 11
This provides a characterization of \({\text {EEB}}(\mathcal {H})\) in the discretetime case (albeit only for faithful channels), analogous to Theorem 2.1 in the continuoustime case.
Proof
Since primitive channels are eventually entanglement breaking,^{Footnote 4} the direct sum of primitive channels \(\Phi =\bigoplus _i \Phi _i\) is also eventually entanglement breaking, since
is separable once each \(J(\Phi _i^n)\) is separable. Thus, (3) implies (1).
To prove (2) implies (3), we upper bound Z. Since each period is at most \(d_\mathcal {H}\), Z is at most the least common multiple of the natural numbers \(1,\dotsc ,d_\mathcal {H}\). By [51, Theorem 12], we thus have
It remains to show (1) implies (2). Let \(\Phi \in {\text {EEB}}(\mathcal {H})\) be a faithful quantum channel. Without loss of generality, assume \(\Phi \) is not irreducible. Recall from the proof of Theorem 3.10 that there exist \(P_1, \dotsc , P_k\in \mathcal {B}(\mathcal {H})\) distinct orthogonal projections such that \(\Phi (P_i\mathcal {B}(\mathcal {H})P_i)\subset \Phi (P_i\mathcal {B}(\mathcal {H})P_i)\) with \(\sum _i P_i = \mathbb {I}\), which moreover satisfy
for all i and j, and \(\Phi _i = \Phi _{P_i\mathcal {B}(\mathcal {H})P_i}\) is irreducible, with some period \(z_i\), and Perron–Frobenius projections \(\{p_k^{(i)}\}_{k=0}^{z_i1}\). Let Z be the least common multiple of the periods \(z_i\). Then
for each \(i,j,k,\ell \). Moreover, since \(\Phi \) is eventually entanglement breaking, \(\Phi ^{nZ}\) is PPT for some \(n\in \mathbb {N}\). Hence, by Lemma 3.6 and (3.12),
unless \(j=k\) and \(i=\ell \). For \(j\ne k\) and \(i\ne \ell \), \(\Phi ^Z_{ p^{(j)}_i P_j \mathcal {B}(\mathcal {H}) P_k p^{(k)}_\ell }\) is therefore a nilpotent linear endomorphism (on the vector space \( p^{(j)}_i P_j \mathcal {B}(\mathcal {H}) P_k p^{(k)}_\ell \)). Since \(\dim (p^{(j)}_i P_j \mathcal {B}(\mathcal {H}) P_k p^{(k)}_\ell ) \le d_\mathcal {H}^2\), we have
Hence, \(\Phi ^{d^2 Z} = \bigoplus _{i=1}^n \bigoplus _{j=0}^{z_i1} \Phi _{ij}\) is the direct sum of primitive quantum channels \(\Phi _{ij} {:}{=} \left. \Phi ^{d^2Z}\right _{ \mathcal {B}(p_j P_i \mathcal {H})}\). \(\square \)
3.3 Criteria for AEB Channels to be Irreducible
In Sect. 3.1, we saw that all irreducible channels are asymptotically entanglement breaking. In this section, we derive a weak converse for this claim and give criteria for when AEB channels are irreducible. Recall the decomposition of the phase space of a quantum channel given in (1.5). Below, we show how this result relates to irreducible quantum channels, following the same notation as in (1.5):
Proposition 3.12
The following are equivalent:
 1.
There exists a decomposition (1.4) such that \(\Phi \) satisfies (1.5) with \(\mathcal {K}_0=\{0\}\) and \(d_i =1\) for each i, and \(\pi \) is a Kcycle
 2.
\(\Phi \) is irreducible.
Therefore, any asymptotically entanglement breaking channel with corresponding Kcyclic permutation and \(\mathcal {K}_0=\{0\}\) is irreducible.
Proof
First, assume \(\Phi \) is irreducible, and adopt the notation of Proposition 3.4. Then
Let \(X\in \tilde{\mathcal {N}}(\Phi )\) be given by \(X =\sum _{j=0}^{z1} \lambda _j u^j \sigma \) for some \(\lambda _j \in \mathbb {C}\). Since \(\sum _{n=0}^{z1}p_n = \mathbb {I}\), we have
where \(\sigma _{p_n}\) is \(\sigma \) restricted to the subspace \(p_n \mathcal {H}\), and the direct sum decomposition is with respect to the decomposition \(\mathcal {H}= \bigoplus _{n=0}^{z1} p_n\mathcal {H}\). Note moreover, \(\sum _{j=0}^{z1} \lambda _j \theta ^{nj}\) is the nth coefficient of the discrete Fourier transform \(F_z:\mathbb {C}^z\rightarrow \mathbb {C}^z\) of the vector \(\lambda {:}{=}(\lambda _j)_{j=0}^{z1}\). Since the Fourier transform is invertible, as \(\lambda \) ranges over \(\mathbb {C}^z\), the vector of Fourier coefficients range over \(\mathbb {C}^z\) as well. We therefore find
which is a decomposition of the form given by (1.4) with \(\mathcal {K}_0=\{0\}\) and \(d_n =1\) for each n. Moreover, for \(X\in \tilde{N}(\Phi )\) decomposed as \(X = \bigoplus _{n=0}^{z1} \gamma _n \sigma _{p_n} = \sum _{n=0}^{z1} \gamma _n p_n \sigma p_n\), we have
by (3.3). Thus, (1.5) holds, where \(\pi \) is the cyclic permutation \(k\rightarrow k+1\).
On the other hand, assume we are given such a decomposition,
for some states \(\tau _i \in \mathcal {D}_+(\mathcal {K}_i)\) where \(\mathcal {H}= \bigoplus _{i=0}^{K1} \mathcal {K}_i\), such that^{Footnote 5}
Define \(\sigma {:}{=} \bigoplus _{i=0}^{K1} \frac{1}{z}\tau _i\). Then by (1.5),
as suggested by the name. On the other hand, assume \(X\in \mathcal {B}(\mathcal {H})\) is also invariant under \(\Phi \). Then \(X \in \tilde{N}(\Phi )\), so \(X = \bigoplus _{i=0}^K\lambda _i \tau _i\) for some \(\lambda _i \in \mathbb {C}\). But then
Thus, X is proportional to \(\sigma \), and \(\Phi \) must have a unique invariant state. Since \(\sigma \) is additionally faithful (by construction), we conclude that \(\Phi \) is irreducible (cf. Sect. 1.1 or Theorem 6.4 of [57], which shows that a positive map is irreducible if and only if its spectral radius is a nondegenerate eigenvalue with positivedefinite left and right eigenvectors). \(\square \)
3.4 Reduction to the TracePreserving Case
When considering quantum channels as a form of time evolution, tracepreservation is a natural assumption as an analogue of conserving total probability. When considering maps resulting from the inverse Choi isomorphism \(J{}^{1}\) applied to bipartite states, however, the map \(J{}^{1}(\rho _{A \tilde{A}})\) is tracepreserving if and only if the first marginal is completely mixed: \(\rho _{ A} = \frac{\mathbb {I}_A}{d_A}\). Thus, a priori, results about quantum channels only provide results about a restricted class of bipartite states. However, a large class of CP maps are (up to normalization) similar to CPTP maps. Moreover, this similarity transformation preserves many properties.
In the following, \({\text {spr}}(\Phi )\) denotes the spectral radius of a map \(\Phi \), defined as \({\text {spr}}(\Phi ) = \max _{\lambda } \lambda \), where \(\lambda \) ranges over the eigenvalues of \(\Phi \). The spectral radius of a quantum channel is 1.
Proposition 3.13
Let \(\Phi \) be a \({\text {CP}}\) map such that for some \(X>0\), \(\Phi ^*(X) = {\text {spr}}(\Phi )X\) and for some \(\sigma > 0\), \(\Phi (\sigma ) = {\text {spr}}(\Phi )\sigma \). Then
has the following properties:
 1.
\(\mathcal {P}_X(\Phi )\) is a faithful quantum channel
 2.
\(\mathcal {P}_X (\Phi ^n) = \mathcal {P}_X(\Phi )^n\), where powers denote repeated composition
 3.
\(\mathcal {P}_X(\Phi )\) is \({\text {EB}}\) iff \(\Phi \) is \({\text {EB}}\)
 4.
\(\mathcal {P}_X(\Phi )\) is \({\text {PPT}}\) iff \(\Phi \) is \({\text {PPT}}\)
Remarks 12

This transformation is not novel; the map \(\Gamma _{\sigma } \circ \Phi ^* \circ \Gamma {}^{1}_{\Phi (\sigma )}\) is known as the Petz recovery map [47] and is usually considered in the case of CPTP maps \(\Phi \). Replacing \(\Phi \) with \(\Phi ^*\) and \(\sigma \) with X yields (3.14) in the case that \(\Phi ^*(X) = {\text {spr}}(\Phi )X\). This transformation has also been considered in [28, Appendix A] in order to study the spectral properties of deformed CP maps as a function of the deformation. See [57, Theorem 3.2] for a similar but slightly different approach (using \(\Phi ^*(\mathbb {I})\) instead of X).

By the Perron–Frobenius theory (see [21, Theorem 2.5]), if \(\Phi \) is a positive map, then the spectral radius \({\text {spr}}(\Phi )\) is an eigenvalue of \(\Phi \), and \(\Phi \) admits a positive semidefinite eigenvector \(\sigma \), which can be normalized to have unit trace. Since \({\text {spr}}(\Phi ) = {\text {spr}}(\Phi ^*)\), the same logic applied to \(\Phi ^*\) yields \(X\ge 0\) such that \(\Phi ^*(X) = {\text {spr}}(\Phi )X\). Hence, the assumption of Proposition 3.13 is that both of these eigenvectors are full rank.

This transformation cannot be applied in general to a CPTP map \(\Phi \) in order to obtain a CPTP unital map \(\tilde{\Phi }\), since tracepreservingness will be lost. An intuitive way to see this is that a similarity transformation corresponds to a choice of (nonorthogonal) basis, and by fixing \(\Phi ^*(\mathbb {I})=\mathbb {I}\), we choose a particular basis for \(\Phi \) in which the dual eigenvector for \({\text {spr}}(\Phi )\) is represented by the identity matrix. Thus, in general, we cannot simultaneously choose a basis to fix a representation for the eigenvector of \({\text {spr}}(\Phi )\).
Proof

1.
\(\mathcal {P}_X(\Phi )\) is the positive multiple of the composition of CP maps and hence is CP. Since
$$\begin{aligned} \mathcal {P}_X(\Phi )^* = \frac{1}{{\text {spr}}(\Phi )} \Gamma _X{}^{1}\circ \Phi ^* \circ \Gamma _X \end{aligned}$$we have that \(\mathcal {P}_X(\Phi )^*\) is unital:
$$\begin{aligned} \mathcal {P}_X(\Phi )^*(\mathbb {I}) = \frac{1}{{\text {spr}}(\Phi )}\Gamma _X{}^{1}\circ \Phi ^* (X) = \Gamma _X{}^{1}(X) = \mathbb {I}\end{aligned}$$and hence \(\mathcal {P}_X(\Phi )\) is TP. Lastly, \(\rho {:}{=} \frac{\Gamma _X(\sigma )}{\mathrm{Tr}[\ldots ]}\) is a fullrank invariant state for \(\mathcal {P}_X(\Phi )\): up to normalization,
$$\begin{aligned} \mathcal {P}_X(\Phi )(\rho ) = \frac{1}{{\text {spr}}(\Phi )} \Gamma _X \circ \Phi \circ \Gamma _X{}^{1}\circ \Gamma _X(\sigma ) = \frac{1}{{\text {spr}}(\Phi )} \Gamma _X \circ \Phi (\sigma ) = \Gamma _X(\sigma ) = \rho \end{aligned}$$and hence \(\mathcal {P}_X(\Phi )\) is faithful.

2.
We have
$$\begin{aligned} \mathcal {P}_X(\Phi ^n)&= \frac{1}{{\text {spr}}(\Phi ^n)} \Gamma _X \circ \Phi ^n \circ \Gamma _X{}^{1}\\&= \frac{1}{{\text {spr}}(\Phi )^n} \Gamma _X \circ \Phi ^{n1} \circ \Gamma _X{}^{1}\circ \Gamma _X \circ \Phi \circ \Gamma _X{}^{1}\\&= \ldots \\&= \frac{1}{{\text {spr}}(\Phi )^n} \Gamma _X \circ \Phi \circ \Gamma _X{}^{1}\circ \Gamma _X \circ \Phi \circ \Gamma _X{}^{1}\circ \cdots \circ \Gamma _X \circ \Phi \circ \Gamma _X{}^{1}\\&= \mathcal {P}_X(\Phi )^n. \end{aligned}$$ 
3.
If \(\Phi \) is EB, then \(\Phi \otimes {\mathrm{id}}(\mathcal {B}(\mathcal {H}_A \otimes \mathcal {H}_B)_+ ) \subseteq {\text {SEP}}(A:B)\). Since X is invertible, \(\Gamma _X{}^{1}\otimes {\mathrm{id}}(\mathcal {B}(\mathcal {H}_A \otimes \mathcal {H}_B)_+) = \mathcal {B}(\mathcal {H}_A \otimes \mathcal {H}_B)_+\). Hence \(\Phi \circ \Gamma _X{}^{1}\otimes {\mathrm{id}}\) is EB. Since \({\text {SEP}}\) is invariant under local positive operations, \(\mathcal {P}_X(\Phi )\) is EB too. The converse follows the same way.

4.
The same proof holds with \({\text {SEP}}(A:B)\) replaced by \({\text {PPT}}(A:B)\) and EB replaced by PPT.
\(\square \)
This transformation allows us to establish our most general result on the entanglement breakingness of PPT maps.
Theorem 3.14
Let \(\Phi \) be a \({\text {CP}}\) map such that for some \(X>0\), \(\Phi ^*(X) = {\text {spr}}(\Phi )X\) and for some \(\sigma > 0\), \(\Phi (\sigma ) = {\text {spr}}(\Phi )\sigma \). Then if \(\Phi \) is \({\text {PPT}}\), it is \({\text {EEB}}\).
Proof
By (1), \(\mathcal {P}_X(\Phi )\) is faithful, CPTP, and by (4) PPT. Hence, for some n, \(\mathcal {P}_X(\Phi )^n = \mathcal {P}_X(\Phi ^n)\) is EB, using (2) and Theorem 3.10. Then \(\Phi ^n\) is EB by (3).
\(\square \)
4 FiniteTime Properties of DiscreteTime Evolutions
4.1 DiscreteTime DecoherenceFree Poincaré Inequality
To derive quantitative bounds on entanglement breaking times for faithful discretetime evolutions it suffices to restrict to primitive evolutions due to Theorem 3.11, since the entanglement breaking time of a direct sum of channels is the maximum of the entanglement breaking times of the component channels. Consider a primitive channel \(\Phi \). Since \((\Phi ^n\otimes {\mathrm{id}})(\Omega ) \xrightarrow {n\rightarrow \infty } \sigma \otimes \frac{\mathbb {I}}{d_\mathcal {H}}\), where \(\sigma \) is the unique invariant state of \(\Phi \), we can use Lemma 2.2 to show that any state sufficiently close to \(\sigma \otimes \frac{\mathbb {I}}{d_\mathcal {H}}\) is separable. Thus, it remains to establish a mixing time for \(\Phi \otimes {\mathrm{id}}\). The argument given in (2.4) shows that in fact it suffices to obtain a mixing time for \(\Phi \) itself.
However, in the discretetime case, mixingtime bounds even for primitive evolutions have some subtleties. Consider the qubit quantum channel \(\Phi \) defined in the Pauli basis as:
It is easy to see \(\Phi \) defines a valid unital quantum channel by a direct inspection of the Choi matrix. Moreover, \(\Phi ^2(X)=\mathrm{Tr}(X)\frac{\mathbb {I}}{2}\), which implies that \(\Phi \) is primitive (e.g., [57, Theorem 6.7]). One can also easily check that:
We see that both \(\Phi ^*\Phi (\mathbb {I})=\mathbb {I}\) and \(\Phi ^*\Phi (\sigma _z)=\sigma _z\), implying the second largest singular value (with multiplicity) of \(\Phi \) is 1 and results such as [53, Theorem 9] based on deriving mixing times from the singular values yield trivial estimates for the convergence of the map. This example is revisited in Remark 13.
In this section, we remedy this by deriving mixingtime bounds which are always nontrivial. In fact, we will remove the primitivity assumption and work directly with general faithful quantum channels. To the best of our knowledge, the only framework that so far allows for convergence statements in the nonprimitive case is that of [52]. In that work, the underlying constants that govern the convergence of the quantum channel are a function of the complete spectrum of the channel. This approach does not provide a simple variational formulation of the constants that govern the evolution (such as (2.1)), which is usually vital for applications. Here, we provide a new bound in the spirit of [53] by exploiting the relation between the singular values of \(\Phi \) and the Poincaré constant of the generator of a wellchosen continuoustime quantum Markov semigroup. Furthermore, we give necessary and sufficient conditions for the distance between the image of the quantum channel and its limit to be strictly contractive in terms of properties of this semigroup. Thus, we believe that these techniques will find applications outside of our context of estimating when a channel becomes entanglement breaking.
In Sect. 1.1, we briefly described the general asymptotic structure of quantum channels. In the Heisenberg picture, i.e., for completely positive, unital channels \(\Phi ^*\), the situation is similar: assuming that \(\mathcal {K}_0=\{0\}\), the range of the projector \(P^*\), which is called the decoherencefree subalgebra of \(\{\Phi ^n\}_{n\in \mathbb {N}}\) and denoted by \(\mathcal {N}(\Phi ^*)\), has the form
where \(p_i\) is the projection onto the ith term in the direct sum, and each \(\tau _i \in \mathcal {D}(\mathcal {K}_i)\) is a full rank state (see, e.g., [38, Theorem 34]). This occurs when \(\Phi \) is faithful (it possesses a fullrank invariant state). Recalling (1.4), under the faithfulness assumption, we likewise have
in the Schrödinger picture, where \(\tilde{\mathcal {N}}(\Phi )\) is the phase subspace of \(\Phi \) and P is the projection onto \(\tilde{\mathcal {N}}(\Phi )\). For any such discretetime quantum Markov semigroup, the Jordan decomposition (1.1) immediately yields the following convergence result: for any \(X\in \mathcal {B}(\mathcal {H})\),
Here, the map \(P^*\) plays the role of the conditional expectation \(E_\mathcal {N}^*\) associated to quantum Markov semigroup in continuous time discussed in Sect. 1.1. Note, we work in the Heisenberg picture here because \(P^*\) projects onto \(\mathcal {N}(\Phi ^*)\) which is an algebra, while P projects onto \(\tilde{\mathcal {N}}(\Phi )\) which is not.
The state \(\sigma _{\mathrm{Tr}}{:}{=}d_{\mathcal {H}}^{1}P(\mathbb {I}) = \frac{1}{d_\mathcal {H}} \sum _{i=1}^K d_{\mathcal {K}_i}I_{\mathcal {H}_i} \otimes \tau _i\) plays a privileged role in the following and commutes with all of \(\mathcal {N}(\Phi ^*)\). We consider the inner product \( \langle X,Y \rangle _{\sigma _{\mathrm{Tr}}} = \mathrm{Tr}[\Gamma _{\sigma _{\mathrm{Tr}}}(X^\dagger ) Y]\), where \(\Gamma _{\sigma _{\mathrm{Tr}}}\) is the superoperator defined as \(\Gamma _{\sigma _{\mathrm{Tr}}}(X)=\sigma _{\mathrm{Tr}}^{1/2}X\sigma _{\mathrm{Tr}}^{1/2}\). Note that the adjoint of a Hermitianpreserving linear map \(\Psi : \mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) with respect to \( \langle \cdot ,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\) is given by \(\Gamma _{\sigma _{\mathrm{Tr}}}{}^{1}\circ \Psi ^* \circ \Gamma _{\sigma _{\mathrm{Tr}}}\) where \(\Psi ^*\) is the adjoint of \(\Psi \) with respect to the Hilbert–Schmidt inner product. We then consider \(\hat{\Phi }{:}{=}\Gamma _{\sigma _{\mathrm{Tr}}}^{1}\circ \Phi \circ \Gamma _{\sigma _{\mathrm{Tr}}}\) which is the adjoint of \(\Phi ^*\) with respect to \( \langle \cdot ,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\), along with \(\hat{P}{:}{=}\Gamma _{\sigma _{\mathrm{Tr}}}^{1}\circ P\circ \Gamma _{\sigma _{\mathrm{Tr}}}\) which is the adjoint of \(P^*\) with respect to \( \langle \cdot ,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\). Note that \(\hat{\Phi }\) and \(\hat{P}\) commute. Moreover, for \(X \in \mathcal {B}(\mathcal {H})\),
In other words, \(P^*\) is selfadjoint with respect to \( \langle \cdot ,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\). Note also that \(\hat{\Phi }\) is unital.
Next, the following holds for any \(\rho \in \mathcal {D}(\mathcal {H})\) and \(X=\sigma _{\mathrm{Tr}}^{1/2}\rho \sigma _{\mathrm{Tr}}^{1/2}\):
The relationship (4.3) allows the convergence in the Schrödinger picture to be controlled by the convergence of \(\hat{\Phi }\). This has the following advantages: the norm \(\Vert \cdot \Vert _{2,\sigma _{\mathrm{Tr}}}\) is induced by an inner product (unlike \(\Vert \cdot \Vert _1\)), and \(\hat{P}\) is a conditional expectation as shown by the following lemma (unlike P).
Lemma 4.1

(i)
\(\hat{P}\) is adjoint preserving: for any \(X\in \mathcal {B}(\mathcal {H})\), \(\hat{P}(X^\dagger )=\hat{P}(X)^\dagger \);

(ii)
for any \(X\in \mathcal {B}(\mathcal {H})\) and \(Y,Z\in \mathcal {N}(\hat{\Phi })\), \(\hat{P}(YXZ)=Y\hat{P}(X)Z\);

(iii)
for any \(X\in \mathcal {B}(\mathcal {H})\), \(\mathrm{Tr}(\sigma _{\mathrm{Tr}}X)=\mathrm{Tr}(\sigma _{\mathrm{Tr}}\hat{P}(X))\);

(iv)
\(\hat{P}\) is selfadjoint with respect to \(\sigma _{\mathrm{Tr}}\). Moreover, for any \(X,Y\in \mathcal {B}(\mathcal {H})\).
$$\begin{aligned} \langle X,\,\hat{P}(Y)\rangle _{\sigma _{\mathrm{Tr}}}= \langle \hat{P}(X),\,Y\rangle _{\sigma _{\mathrm{Tr}}}= \langle \hat{P}(X),\,\hat{P}(Y)\rangle _{\sigma _{\mathrm{Tr}}} \end{aligned}$$
Proof

(i)
follows from the fact that P itself is adjointpreserving. This can be seen from the fact that \(P = \lim _{N\rightarrow \infty } \frac{1}{N}\sum _{n=1}^N \Phi ^n\) is the Cesaro mean of \(\Phi \) and hence inherits the tracepreserving and complete positivity from \(\Phi \) itself (see, e.g., Proposition 6.3 of [57]).

(ii)
For \(Y,Z\in \mathcal {N}(\hat{\Phi })\), we have the decompositions \(Y = \sum _i Y_i \otimes \mathbb {I}_{\mathcal {K}_i}\) and \(Z = \sum _i Z_i \otimes \mathbb {I}_{\mathcal {K}_i}\). Then,
$$\begin{aligned} \hat{P}(YXZ)&= \sum _i \mathrm{Tr}_{\mathcal {K}_i} ((\mathbb {I}_{\mathcal {H}_i} \otimes \tau _i) p_iY X Z p_i) \otimes \mathbb {I}_{\mathcal {K}_i} \\&= \sum _i \mathrm{Tr}_{\mathcal {K}_i} ((\mathbb {I}_{\mathcal {H}_i} \otimes \tau _i) (Y_i \otimes \mathbb {I}_{\mathcal {K}_i}) p_iXp_i (Z_i \otimes \mathbb {I}_{\mathcal {K}_i})) \otimes \mathbb {I}_{\mathcal {K}_i} \\&= \sum _i [\mathrm{Tr}_{\mathcal {K}_i} (Y_i (\mathbb {I}_{\mathcal {H}_i} \otimes \tau _i) p_i X p_i )Z_i] \otimes \mathbb {I}_{\mathcal {K}_i} \\&= \sum _j Y_j \otimes \mathbb {I}_{\mathcal {K}_j}\left( \sum _i \mathrm{Tr}_{\mathcal {K}_i} ((\mathbb {I}_{\mathcal {H}_i} \otimes \tau _i) p_i X p_i) \otimes \mathbb {I}_{\mathcal {K}_i} \right) \sum _j Z_j \otimes \mathbb {I}_{\mathcal {K}_j} \\&=Y \hat{P}(X) Z. \end{aligned}$$ 
(iii)
follows from a simple computation: since \(\Phi \) is trace preserving, so is P (as discussed in the first point), and hence
$$\begin{aligned} \mathrm{Tr}(\sigma _{\mathrm{Tr}}\hat{P}(X))=\mathrm{Tr}(P\circ \Gamma _{\sigma _{\mathrm{Tr}}}(X))=\mathrm{Tr}(\Gamma _{\sigma _{\mathrm{Tr}}}(X))=\mathrm{Tr}(\sigma _{\mathrm{Tr}} X) \end{aligned}$$ 
(iv)
is a consequence of (i)–(iii):
$$\begin{aligned} \langle X,\,\hat{P}(Y)\rangle _{\sigma _{\mathrm{Tr}}}&=\mathrm{Tr}(\sigma _{\mathrm{Tr}}^{1/2}X^\dagger \sigma _{\mathrm{Tr}}^{1/2}\hat{P}(Y)) \\&=\mathrm{Tr}(\sigma _{\mathrm{Tr}}X^\dagger \hat{P}(Y)) \\&=\mathrm{Tr}(\sigma _{\mathrm{Tr}}\hat{P}(X^\dagger \hat{P}(Y))) \\&=\mathrm{Tr}(\sigma _{\mathrm{Tr}}\hat{P}(X^\dagger )\hat{P}(Y)) \\&=\mathrm{Tr}(\sigma _{\mathrm{Tr}}\hat{P}(X)^\dagger \hat{P}(Y)) \\&=\mathrm{Tr}(\sigma _{\mathrm{Tr}}^{1/2}\hat{P}(X)^\dagger \sigma _{\mathrm{Tr}}^{1/2}\hat{P}(Y)) \\&=\langle \hat{P}(X),\,\hat{P}(Y)\rangle _{\sigma _{\mathrm{Tr}}} \end{aligned}$$where we used the commutativity of \(\sigma _{\mathrm{Tr}}\) with \(\mathcal {N}(\hat{\Phi })\) in the second and sixth lines, (i) in the fifth line, (ii) in the fourth line and (iii) in the third line. The first identity in (iv) follows by symmetry.
\(\square \)
Next, we show how to obtain the strong decoherence constants of a quantum Markov chain \(\{\Phi ^n\}_{n=1}^\infty \) in terms of the Poincaré constant of a semigroup defined via \(\Phi \). However, in the discretetime case the situation is a bit more subtle, as discretetime semigroups are not necessarily strictly contractive. That is, there might be \(X\not =\hat{P}(X)\) such that
Thus, before showing how to obtain functional inequalities that characterize the strict contraction of the channel, we first discuss some necessary conditions for the contraction to occur.
Cycles in the Phase Algebra Here, we show that quantum channels might not be contractive for times not proportional to the order of the permutation in the phase algebra. More precisely, recall that for \(X=P(X)=\bigoplus _i X_i\otimes \tau _i\oplus 0_{\mathcal {K}_0}\), we have
for some permutation \(\pi \). We will now construct quantum channels which are not contractive for times smaller than the largest cycle in \(\pi \). To this end, define in a fixed orthonormal basis \(\{i\rangle \}_{i=0}^{d1}\) of \(\mathbb {C}^d\) the matrix \(A\in {\mathbb {M}}_d\) as
for some \(0<\epsilon <1\) and let \(\pi \in S_d\) be the dcycle \((0\,1\,2\,\cdots \,d1)\). A is clearly a positive matrix with 1s on its diagonal. Next, we define the quantum channel \(\Phi _{\pi ,A}(X)\,{:}{=}\,U_\pi \left( A\circ X\right) U_\pi ^\dagger \) where \(U_\pi :\,i\rangle \mapsto \pi (i)\rangle \) is a unitary representation of \(\pi \) and \(\circ \) denotes the Hadamard product.
For this quantum channel, \(P=\hat{P}\) can be easily shown to be the projection onto the algebra of matrices that are diagonal in the basis \(\{i\rangle \}_{i=0}^{d1}\). Moreover, \(\Phi _{\pi ,A}\) just acts as a permutation on this algebra. Now, let \(T=\sum _{i,j=0}^1i\rangle \langle j\). We have for \(1\le k< d2\) and \(m\in \mathbb {N}\):
Clearly, since \(\sigma _{\mathrm{Tr}}=d^{1}\,\mathbb {I}_{\mathbb {C}^d}\),
which shows that these channels are not contractive at intermediate steps.
Contraction Properties Through DecoherenceFree Algebras Surprisingly, there exists a link between the strict contraction of a quantum channel \(\Phi \) and whether its decoherencefree subalgebra coincides with the decoherencefree subalgebra of the quantum dynamical semigroup with generator \(\mathcal {L}^*{:}{=}\Phi ^*\circ \hat{\Phi }{\mathrm{id}}\). First, we show the following inclusion of algebras:
Proposition 4.2
Given a quantum channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) whose action on its phase space is purely unitary (i.e., contains no cycles), consider the continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) whose corresponding generator is given (in the Heisenberg picture) by \(\mathcal {L}^*=\Phi ^*\circ \hat{\Phi }{\mathrm{id}}\). Then \(\mathcal {N}(\hat{\Phi })\subset \mathcal {N}((\Phi _t^*)_{t\ge 0})\).
Proof
Assume that \(\Phi ^*\circ \hat{\Phi }(X)\not =X\), but \(X\in \mathcal {N}(\hat{\Phi } )\). As discussed before, \(\hat{\Phi }\) acts unitarily on X. Thus,
Now, note that \(\Phi ^*\circ \,\hat{\Phi }\) is a positive operator of norm 1 w.r.t. \(\langle \cdot ,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\).^{Footnote 6} Thus, we may decompose X as \(X=a_1X_1+a_2X_2\), where \(X_1\) and \(X_2\) are orthogonal matrices w.r.t. the weighted scalar product and of unit norm, where \(\Phi ^*\circ \,\hat{\Phi }(X_1)=X_1\) and \(\Phi ^*\circ \,\hat{\Phi }(X_2)=X'_2\) with \(\Vert X_2'\Vert _{2,\sigma _{\mathrm{Tr}}}<1\) and such that \(X'_2\) is orthogonal to \(X_1\). This can be achieved by picking \(X_1\) in the eigenspace corresponding to 1 and \(X_2\) in the orthogonal eigenspace where \(\Phi ^*\circ \,\hat{\Phi }\) is strictly contractive, i.e., corresponding to eigenvalues \(<1\). It is then easy to see that
which contradicts Eq. (4.5). \(\square \)
Remark 13
Note that in general we have that \(\mathcal {N}(\hat{\Phi } )\subset \mathcal {N}((\Phi _t^* )_{t\ge 0})\) is a strict inclusion, even if the action of the channel \(\Phi \) on the phase space does not contain any cycle. As an example, consider the qubit quantum channel \(\Phi \) defined at the start of the section. Recall
and that \(\Phi \) is a primitive unital quantum channel such that \(\Phi ^2(X)=\mathrm{Tr}(X)\frac{\mathbb {I}}{2}\). Since \(\sigma _{\mathrm{Tr}}=\mathbb {I}/2\), \(\hat{\Phi }=\Phi \) and \(\Phi ^*\circ \,\Phi (\sigma _z)=\sigma _z\), we have \(\sigma _z\in \mathcal {N}((\Phi _t^*)_{t\ge 0} )\) but \(\sigma _z\not \in \mathcal {N}(\hat{\Phi } )=\mathbb {C}\mathbb {I}\). Not surprisingly, it can be checked that the state \(\frac{1}{2}\left( \mathbb {I}+\sigma _z\right) \) does not contract under this channel.
Proposition 4.3
Given a quantum channel \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) whose action on its phase space is purely unitary (i.e., contains no cycles), consider the continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) whose corresponding generator is given (in the Heisenberg picture) by \(\mathcal {L}^*=\Phi ^*\circ \hat{\Phi }{\mathrm{id}}\) and the state \(\sigma _{\mathrm{Tr}}=d_{\mathcal {H}}^{1}\,P(\mathbb {I}_{\mathcal {H}})\). If for all \(X\notin \mathcal {N}(\hat{\Phi })\)
then \(\mathcal {N}((\Phi _t^*)_{t\ge 0} ) = \mathcal {N}(\hat{\Phi } )\).
Proof
Suppose that there exists X such that \(X\in \mathcal {N}((\Phi _t^*)_{t\ge 0} )\) but \(X\not \in \mathcal {N}(\hat{\Phi } )\). This is equivalent to
We will now show that
First, note that
From \(\Phi ^*\circ \,\hat{\Phi }(X)=X\), it follows that \(\langle \hat{\Phi }(X),\,\hat{\Phi }(X)\rangle _{\sigma _{\mathrm{Tr}}}=\langle X,X\rangle _{\sigma _{\mathrm{Tr}}}\) and \(\langle \hat{\Phi }(X),\,\hat{\Phi }\,\circ \,\hat{P}(X)\rangle _{\sigma _{\mathrm{Tr}}}=\langle X,\,\hat{P}(X)\rangle _{\sigma _{\mathrm{Tr}}}\). Similarly, we have \(\langle \hat{\Phi }\circ \hat{P}(X),\,\hat{\Phi }\circ \hat{P}(X)\rangle _{\sigma _{\mathrm{Tr}}}=\langle \hat{P}(X),\,\hat{P}(X)\rangle _{\sigma _{\mathrm{Tr}}}\), since \(\hat{\Phi }\) acts unitarily on the image of \(\hat{P}\) with a corresponding unitary in \(\mathcal {N}(\Phi )\) which commutes with \(\sigma _{\mathrm{Tr}}\). It is then easy to see that (4.7) follows and \(\hat{P}\) is not a strict contraction. \(\square \)
The previous discussion suggests that, in general, it is necessary to wait until the algebras coincide and the quantum channel has no cycle to ensure strict contraction. The next theorem, which generalizes Theorem 9 of [53] to the nonprimitive case, shows that this is also sufficient.
Theorem 4.4
Given a discretetime quantum Markov semigroup \(\{\Phi ^n\}_{n\in \mathbb {N}}\) whose transition map \(\Phi \) acts purely unitarily on its phase space (i.e., contains no cycles), consider the continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) whose corresponding generator is given (in the Heisenberg picture) by \(\mathcal {L}^*=\Phi ^*\circ \hat{\Phi }{\mathrm{id}}\) and the state \(\sigma _{\mathrm{Tr}}\,{:}{=}\,d_\mathcal {H}^{1}\,P(\mathbb {I})\). Then
 (i)
If \(\mathcal {N}((\Phi _t^*)_{t\ge 0} ) = \mathcal {N}(\hat{\Phi } )\), then:
$$\begin{aligned} \Vert \hat{\Phi }(X)\hat{\Phi }\circ \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\le (1\lambda (\mathcal {L}^*))\Vert X\hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2 \end{aligned}$$(4.8)Moreover, for any \(\rho \in \mathcal {D}(\mathcal {H})\) and any \(n\in \mathbb {N}\):
$$\begin{aligned} \Vert \Phi ^n(\rho )\Phi ^n\circ P(\rho )\Vert _{1}\le \,\sqrt{\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty } \,(1\lambda (\mathcal {L}^*))^{\frac{n}{2}}\,. \end{aligned}$$(4.9)where \(1\lambda (\mathcal {L}^*) < 1\) corresponds to the second largest singular value of \(\Phi \), counted without multiplicities.
 (ii)
More generally, let \((\Phi ^{(k)}_{t})_{t\ge 0}\) be the continuoustime quantum Markov semigroup whose corresponding generator is given (in the Heisenberg picture) by \(\mathcal {L}_k^*=\left( \Phi ^*\right) ^k\circ (\hat{\Phi })^k{\mathrm{id}}\). Then, for any k larger than the size m of the largest Jordan block of \(\Phi \), \( \mathcal {N}(((\Phi ^{(k)}_t)^*)_{t\ge 0} ) = \mathcal {N}(\hat{\Phi } )\) and
$$\begin{aligned} \Vert \hat{\Phi }^k(X)\hat{\Phi }^k\circ \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\le (1\lambda (\mathcal {L}_k^*))\Vert X\hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2 \end{aligned}$$(4.10)Then, for any \(\rho \in \mathcal {D}(\mathcal {H})\) and any \(n\in \mathbb {N}\):
$$\begin{aligned} \Vert \Phi ^{nk}(\rho )\Phi ^{nk}\circ P(\rho )\Vert _{1}\le \,\sqrt{\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty } \,(1\lambda (\mathcal {L}_k^*))^{\frac{n}{2}}\,. \end{aligned}$$(4.11)Moreover, there are quantum channels for which the minimal integer k such that the decoherencefree algebras coincide is given by m.
Finally, the condition of noncyclicity of the action of \(\Phi \) on its phase space can be removed by choosing k to be proportional to the least common denominator of the cycles of the semigroup.
Proof

(i)
That \(1\lambda (\mathcal {L}^*)\) is the second largest singular value of \(\Phi \) follows from the definition of the semigroup and of its Poincaré constant. This is because \(\mathcal {L}^*\) is, by definition, a s.a. operator with spectrum in \([2,0]\). In this case, the conditional expectation w.r.t. \(\mathcal {L}^*\) is just the projection onto the eigenspace corresponding to the eigenvalue 1 of \(\Phi ^*\circ \hat{\Phi }\), which just correspond to right singular vectors of the singular value 1 of \(\Phi ^*\). An application of the minmax theorem for eigenvalues then yields the claim. Then, notice that
$$\begin{aligned} \Vert \hat{\Phi }(X)\hat{\Phi }\circ \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2&=\Vert \hat{\Phi }(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2+\Vert \hat{\Phi }\circ \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^22{\text {Re}}\langle \hat{\Phi }(X),\,\hat{\Phi }\circ \hat{P}(X)\rangle _{\sigma _{\mathrm{Tr}}} \\&=\Vert \hat{\Phi }(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\Vert \hat{\Phi }\circ \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\,, \end{aligned}$$where we simply used (iv) of Lemma 4.1 and the commutativity of \(\hat{P}\) with \(\hat{\Phi }\) for the second identity. One can similarly prove that \(\Vert X\hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2=\Vert X\Vert _{2,\sigma _{\mathrm{Tr}}}^2\Vert \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\). Next, the conditional expectation \(E_\mathcal {N}^*\) associated with the continuoustime quantum Markov semigroup \((\Phi _t^*)_{t\ge 0}\) of generator \(\mathcal {L}^*\) is equal to \(\hat{P}\). To see this, note that \(\sigma _{\mathrm{Tr}}\) (defined by the discretetime QMS) is invariant under the semigroup, since \(\mathcal {L}(\sigma _{\mathrm{Tr}}) = (\hat{\Phi })^* \circ \Phi (\sigma _{\mathrm{Tr}})  \sigma _{\mathrm{Tr}} = (\hat{\Phi })^*(\sigma _{\mathrm{Tr}})  \sigma _{\mathrm{Tr}} =0\), and therefore is invariant under \(E_\mathcal {N}^*\). So both \(\hat{P}\) and \(E_\mathcal {N}^*\) are conditional expectations onto the same algebra \(\mathcal {N}((\Phi _t^*)_{t\ge 0}) = \mathcal {N}(\hat{\Phi })\) which both preserve \(\sigma _{\mathrm{Tr}}\). Next, [11, Theorem 9] shows that there exists a unique conditional expectation onto \(\mathcal {N}(\hat{\Phi })\) which preserves a given faithful invariant state, and consequently we have \(\hat{P} = E_\mathcal {N}^*\). Next, \(\lambda (\mathcal {L}^*)\) is the largest positive number \(\lambda \) such that
$$\begin{aligned} \lambda \,\Vert X\hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\le \langle X,\,(\Phi ^*\circ \,\hat{\Phi }{\mathrm{id}})(X)\rangle _{\sigma _{\mathrm{Tr}}}\,. \end{aligned}$$(4.12)By a simple computation, one shows that the righthand side of the above inequality is equal to \(\Vert X\Vert _{2,\sigma _{\mathrm{Tr}}}^2\Vert \hat{\Phi }(X)\Vert ^2_{2,\sigma _{\mathrm{Tr}}}\). Similarly, the norm on the left hand side of Eq. (4.12) is equal to \(\Vert X\Vert _{2,\sigma _{\mathrm{Tr}}}^2\Vert \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2\). Hence, (4.12) is equivalent to
$$\begin{aligned} \lambda (\mathcal {L})\,(\Vert X\Vert _{2,\sigma _{\mathrm{Tr}}}^2 \Vert \hat{\Phi }\circ \hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2 )\le \Vert X\Vert _{2,\sigma _{\mathrm{Tr}}}^2\Vert \hat{\Phi }(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2, \end{aligned}$$which is itself equivalent to (4.8). A simple iteration procedure of (4.12) together with (4.3) leads to (4.9) after observing that
$$\begin{aligned} \Vert X\hat{P}(X)\Vert _{2,\sigma _{\mathrm{Tr}}}^2&=\Vert X\mathrm{Tr}(\sigma _{\mathrm{Tr}}X)\,\mathbb {I}_\mathcal {H}\Vert _{2,\sigma _{\mathrm{Tr}}}^2\Vert \hat{P}(X)\mathrm{Tr}(\sigma _{\mathrm{Tr}}X)\,\mathbb {I}_\mathcal {H}\Vert _{2,\sigma _{\mathrm{Tr}}}^2 \\&\le \Vert X\mathrm{Tr}(\sigma _{\mathrm{Tr}}X)\,\mathbb {I}_\mathcal {H}\Vert _{2,\sigma _{\mathrm{Tr}}}^2 \\&=\Vert X\Vert _{2,\sigma _{\mathrm{Tr}}}^21 \\&\le \mathrm{Tr}(\,\rho \,\sigma _{\mathrm{Tr}}^{1/2}\,\rho \,\sigma _{\mathrm{Tr}}^{1/2}) \\&\le \Vert \sigma _{\mathrm{Tr}}^{1}\Vert _\infty \,. \end{aligned}$$ 
(ii)
We apply a Schur decomposition of the quantum channel \(\hat{\Phi }=U^*TU\), where U is unitary w.r.t. to \(\langle \cdot ,\,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\) and T is upper triangular. W.l.o.g. assume that the eigenvalues corresponding to the peripheral spectrum are on the diagonals \(T_{i,i}\) for \(1\le i\le r\), where r is the size of the peripheral spectrum. As the action of the channel is unitary on that subspace, the first r columns and rows of the matrix T must be orthonormal. But their diagonal entries already have norm 1, which shows that we may decompose the matrix T into a direct sum \(T=D_{phase}\oplus N\), where \(D_{phase}\) is diagonal and acts on the phase space of the channel, while N is upper triangular and has eigenvalues \(<1\) in modulus. Now, note that the condition \( \mathcal {N}(((\Phi ^{(k)}_t)^*)_{t\ge 0} ) = \mathcal {N}(\hat{\Phi } )\) is equivalent to the span of right singular vectors corresponding to the singular value 1 of \(\hat{\Phi }^k\) being equal to the phase space of \(\Phi \). It then follows from the decomposition of T that the two algebras coinciding corresponds to the matrix \(N^k\) only having singular values strictly smaller than 1. This is equivalent to \(\Vert N^k\Vert _\infty <1\), where by \(\Vert .\Vert _\infty \) we mean the operator norm of the matrix. Clearly, for \(k\ge m\) the matrix \(N^k\) is diagonalizable and, thus, the operator norm is bounded by the largest eigenvalue of \(N^k\) in modulus. As N has spectral radius \(<1\), it follows that \(\Vert N^k\Vert _\infty <1\). Finally, observe that the example given in Remark 13 saturates this bound. (4.10) and (4.11) follow similarly to (i).
\(\square \)
Note that Theorem 4.4 always ensures a strict contraction of the quantum channel, unlike previous results in the literature, as the second largest singular value of a quantum channel ignoring multiplicities is always strictly smaller than 1. Moreover, in the case of quantum channels \(\Phi \) satisfying detailed balance, it follows from the last proposition that \(\Phi ^2\) is strictly contractive. To see why this is the case, not that these channels are always diagonalizable and have a real spectrum. Thus, the only possible eigenvalues for the peripheral spectrum are 1 and \(1\) and we can only have cycles of length 2.
Remark 14
As in the continuous case, it is expected that is possible to further improve these convergence bounds by considering discrete versions of relative entropy convergence. In the discrete case, strict contraction in relative entropy is related to the notion of a strong data processing inequality. In certain situations, the corresponding strong data processing constant can be related to the socalled logarithmic Sobolev inequality of order 2 (see [42, 44, 45, 48]), although all the results known in the quantum case only cover primitive evolutions. Also in this setting, it is possible to connect the contraction of the quantum channel to the contraction of the quantum semigroup in continuous time considered here.
4.2 Entanglement Breaking Times for DiscreteTime Evolutions
Similarly to the continuoustime case, we define the following entanglement loss times: the entanglement breaking time (or entanglementbreaking index, introduced in [37])
Similarly, given a discretetime quantum Markov semigroup \(\{\Gamma ^n\}_{n=1}^\infty \) over a bipartite Hilbert space \(\mathcal {H}_A\otimes \mathcal {H}_B\), we define the entanglement annihilation time\(n_{\mathrm{EA}}(\Gamma )\) as follows
In the case when \(\Gamma ^n=\Phi ^n\otimes \Phi ^n\), \(\Phi ^n:\,\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\), this time is called the 2local entanglement annihilation time, and is denoted by
In analogy with Sect. 2.1.1, we say that a discretetime quantum Markov semigroup \(\{\Phi ^n\}_{n\in \mathbb {N}}\) on \(\mathcal {B}(\mathcal {H})\) satisfies the socalled discrete strong decoherence property if there exist \(k\in \mathbb {N}\) and constants \(\tilde{K}>0\) and \(\tilde{\gamma }>1\), possibly depending on \(d_\mathcal {H}\), such that for any initial state \(\rho \in \mathcal {D}(\mathcal {H})\) and any \(n\in \mathbb {N}\):
This property was shown to hold for faithful channels in Eq. (4.11) with k the size of the largest Jordan block of \(\Phi \), \(\tilde{K}=\sqrt{\Vert \sigma _{\mathrm{Tr}}^{1}\Vert _{\infty }}\) and \(\tilde{\gamma }=(1\lambda (\mathcal {L}_k^*))^{\frac{1}{2}}\). It is now straightforward to adapt the results from the last sections to obtain bounds on when discretetime quantum Markov semigroups become entanglement breaking.
Theorem 4.5
For a quantum channel \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) that is primitive with fullrank invariant state \(\sigma \), we have
where k is the size of the largest Jordan block of \(\Phi \) and \(\lambda (\mathcal {L}^*_k)\) is the spectral gap of \(\mathcal {L}_k^*{:}{=}(\Phi ^*)^k\circ \,(\hat{\Phi })^k{\mathrm{id}}\).
Proof
The proof follows the same reasoning as in Proposition 2.7, simply using Theorem 4.4 instead of (2.2) and noting that primitive quantum channels do not have cycles. \(\square \)
Remark 15

1.
In the system studied in Example 1.1, for \(\gamma <1\), the map \(\Phi \) is primitive, with \(\sigma = \rho _{\beta ^*}\), and \(\Vert \sigma {}^{1}\Vert _\infty = 1+g\), while \(1 \lambda (\mathcal {L}^*) = \gamma ^2\). Moreover, \(\Phi \) has four distinct eigenvalues, and in particular, every Jordan block is of size 1. Hence,
$$\begin{aligned} n_{{\text {EB}}}(\{\Phi ^n\}_{n\in \mathbb {N}})<\frac{3\,\log (2(1+g))}{2\log \gamma } \le \frac{3 \log (3)}{2\log \gamma }\,, \end{aligned}$$which matches the \(\log ((\gamma {}^{1})){}^{1}\) scaling of the exact entanglement breaking time computed in Example 1.1.

2.
The bound given by Theorem 4.5 together with Theorem 3.11 yields a method to check whether a faithful channel \(\Phi \) is EEB, and if so, to compute a bound on the entanglement breaking time. One first computes Z, the least common multiple of the periods of \(\Phi \) restricted to its irreducible components, and checks if \(\Phi ^{d_\mathcal {H}^2Z}\) is the direct sum of primitive channels, \(\Phi ^{d_\mathcal {H}^2Z} = \bigoplus _i \Phi _i\). If not, \(\Phi \not \in {\text {EEB}}(\mathcal {H})\). Otherwise, Theorem 4.5 yields an upper bound \(n_i\) on the entanglement breaking time for each \(\Phi _i\). Then \(n_\text {EB}(\Phi ) \le d_\mathcal {H}^2Z \max _i n_i\) is a bound on the entanglement breaking time of \(\Phi \).
We now derive some lower bounds on the time it takes to a bipartite channel to become 2locally entanglement annihilating. Next proposition is a simple consequence of Corollary 2.10. Note that the lower bound given here is also a lower bound on the time it takes for a discretetime quantum Markov semigroup to become entanglement breaking (cf. Remark 7).
Proposition 4.6
(Lower bound for \(n_{{\text {LEA}}_2}\)). For a quantum channel \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) with \(\det (\Phi )\not =0\) which is reversible with respect to a faithful state \(\sigma \),
Proof
Note that we have for any linear operator \(\Lambda \) that
As \(\Phi ^*\) is reversible with respect to \(\sigma \), we have that \(\Vert (\Phi ^*)^{k}\Vert _{2,\sigma \rightarrow 2,\sigma }=\Vert (\Phi ^*)^{1}\Vert ^k_{2,\sigma \rightarrow 2,\sigma }\), which is just the inverse of the smallest eigenvalue of \(\Phi ^*\). The claim then follows from Corollary 2.10. \(\square \)
Note that a reversible continuoustime quantum Markov semigroup \((\Phi _t)_{t\ge 0}\) with generators \(\mathcal {L}\) is invertible and we have \(\Vert \Phi _t^{1}\Vert _{2,\sigma \rightarrow 2,\sigma }=\mathrm{e}^{\,t\Vert \mathcal {L}\Vert _{2,\sigma \rightarrow 2,\sigma }}\), so that Proposition 4.6 can be adapted to cover this case.
Corollary 4.7
Let \(\Phi _i:\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\) be a quantum channel for each \(i=1,\dotsc , n\) such that \(\ell {:}{=} \min _{i\in [n]} \det \Phi _i > 0\). Note \(\ell \le 1\). If
then \(\Phi _1\circ \cdots \circ \Phi _n\) is not \({\text {EA}}\).
Proof
By the arithmeticgeometric mean inequality, for any linear map \(\Phi \),
Applying this to \(\Phi _1\circ \cdots \circ \Phi _n\), and using the multiplicativity of the determinant,
Using that \(\Vert J(\Phi _1\circ \cdots \circ \Phi _n)\Vert _2^2 > d_\mathcal {H}\) implies \(\Phi _1\circ \cdots \circ \Phi _n\) is not EA (cf. Lemma 2.9), we rearrange to find the result. \(\square \)
Remark 16
In the case \(\ell =1\), each \(\Phi _i\) is unitary, and the composition \(\Phi _1\cdots \Phi _n\) is not EA for any n, which agrees with interpreting \(\frac{1}{0}=\infty \) in (4.13).
We saw as a consequence of Theorem 3.10 that PPT channels with a fullrank state are eventually entanglement breaking. In the following proposition, we provide a quantitative version of that statement.
Theorem 4.8
Let \(\Phi :\mathcal {B}(\mathcal {H})\rightarrow \mathcal {B}(\mathcal {H})\) be a \({\text {PPT}}\) quantum channel with an invariant fullrank state \(\sigma \). Assuming (dSD) holds for \(\{\Phi ^n\otimes {\mathrm{id}}\}_{n\in \mathbb {N}}\),
Proof
Note that it follows from the proof of Theorem 3.10 that the Choi matrix of the channel \(\Phi \) is the direct sum of the Choi matrix of primitive quantum channels. The proof proceeds similarly to the one of Proposition 2.7 together with a use of Eq. (3.11), restricted to each one of these direct sums.
\(\square \)
4.3 Approximate Quantum Markov Networks Via Strong Mixing
Another application of our results is to determine when all outputs of a quantum Gibbs sampler are close to being quantum Markov networks. A quantum Gibbs sampler \((\Phi ^{{\text {Gibbs}}}_t)_{t\ge 0}\) is a continuoustime quantum Markov semigroup that converges toward the Gibbs state of the Hamiltonian of a given lattice spin system. In the case when the Hamiltonian H consists of commuting terms, it was shown in [32] that at large enough temperature the spectral gap \(\lambda \) can be chosen independently of the size of the lattice. In particular, this means that the following bound on the trace distance between any initial state \(\rho \) and the equilibrium Gibbs state \(\sigma \):
On the other hand, the existence of a modified logarithmic Sobolev constant \(\alpha _1\) independent of the system size is still an important open problem.
It is a wellknown fact that Gibbs states corresponding to commuting interactions are quantum Markov networks [7, 40]: given any tripartition ABC of the lattice such that B shields A away from C, \(\sigma \equiv \sigma _{ABC}\) is a quantum Markov chain, that is, there exists a quantum channel \(\mathcal {R}_{B\rightarrow BC}\), usually referred to as the recovery map, such that \(\mathcal {R}_{B\rightarrow BC}\circ \mathrm{Tr}_C(\sigma )=\sigma \). Equivalently, such states are the ones with vanishing conditional quantum mutual information: \(I(A:CB)_\sigma =0\), where given a state \(\rho \),
More recently, [23] introduced the concept of an \(\varepsilon \)approximate quantum Markov chain. Such tripartite quantum states \(\rho \) can be defined by requiring that their conditional quantum mutual information is small, that is, \(I(A:CB)_\rho \le \varepsilon \), for \(\varepsilon >0\). It was shown in [23] that this is equivalent to the existence of a map \(\mathcal {R}_{B\rightarrow BC}\) such that \(\rho \) is close to \(\mathcal {R}_{B\rightarrow BC}\circ \mathrm{Tr}_C(\rho )\), say in trace distance. A simple use of the data processing inequality implies that states that are close to a quantum Markov chain are \(\varepsilon \)approximate Markov chains. However, the opposite statement does not hold true in general [19, 31].
In this section, we are interested in deriving bounds on the time it takes a state evolving according to a quantum Gibbs sampler to become an \(\varepsilon \)approximate quantum Markov network. More precisely, let ABC be a tripartition of a lattice spin system \(\Lambda \) as above, and let \((\Phi ^{{\text {Gibbs}}}_t)_{t\ge 0}\) a continuoustime quantum Gibbs sampler. A very simple bound can be achieved by rudimentary triangle inequality: letting \(\rho _t{:}{=}\Phi ^{{\text {Gibbs}}}_t(\rho )\),
and therefore
where the time to become an \(\varepsilon \)quantum Markov chain with respect to a clique \(ABC\) is defined as
A much better bound can however be derived from the joint use of the following bound from [23]: for any tripartite state \(\rho _{ABC}\in \mathcal {D}(\mathcal {H}_A\otimes \mathcal {H}_B\otimes \mathcal {H}_C)\), there exists a CPTP map \(\Gamma _{B\rightarrow BC}\) such that
where \(F(\rho ,\sigma )=(\mathrm{Tr}\sqrt{\rho }\sqrt{\sigma })^2\) denotes the fidelity of to states \(\rho \) and \(\sigma \). By the Fuchs and van de Graaf inequality, this implies that:
Together with the Alicki–Fannes–Winter continuity bounds on conditional entropies, we obtain the following result:
Proposition 4.9
Assume that \((\Phi _t^{{\text {Gibbs}}})_{t\ge 0}\) (SD). Then, for any partition \(ABC\) of the lattice such that B shields A away from C:
Proof
Denote \(\delta (t){:}{=}\Vert \rho _t\sigma \Vert _1\) and consider the following difference between conditional quantum mutual information:
where the second inequality follows from Lemma 2 of [56], and given \(0\le p\le 1\), \(h_2(p)\) denotes the binary entropy of the distribution \(\{p,1p\}\). The result directly follows. \(\square \)
The above proposition together with the bound coming from the Poincaré inequality yields a bound where \(K=\sqrt{\Vert \sigma ^{1}\Vert _\infty } \) and \(\gamma =\lambda \). Having access to a modified logarithmic Sobolev inequality would provide an even stronger bound: by Theorem 4 of [31],
This together with (4.17) yields
4.4 Time to Become Mixed Unitary
Functional analytical methods can also be used in order to derive other convergence results. As an example, we provide a bound on the time required by a doubly stochastic discretetime quantum Markov semigroup to come close to a random unitary channel. Birkhoff’s theorem states that any doubly stochastic matrix may be written as a convex combination of permutation matrices. It is well known that the quantum analogue of this theorem does not hold in general, i.e., there are doubly stochastic quantum channels that cannot be written as a convex combination of unitary channels, that is, mixed unitary channels. We refer to, e.g., [41] and references therein for a discussion of this problem. However, we will show that applying the channel often enough might lead it to become a mixed unitary channel.
Let \(\{\Phi ^n\}_{n\in \mathbb {N}}\) be a discretetime quantum Markov semigroup on \(\mathcal {B}(\mathcal {H})\), with invariant state \(\mathbb {I}/d_\mathcal {H}\in \mathcal {D}_+(\mathcal {H})\). The mixed unitary time \(n_{{\text {MU}}}(\Phi )\) of \(\{\Phi ^n\}_{n\in \mathbb {N}}\) is defined as follows:
The goal of this section is to estimate this time, and we will follow an approach that is similar to the last sections on entanglement breaking times. In [55, Corollary 2], the author shows that if
and \(\Phi \) is a doubly stochastic channel, then it is a mixed unitary channel. By observing that
for all \(p\ge 1\), we may immediately adapt the bounds in the previous sections for entanglement breaking times to this scenario as well. It would be tedious to repeat all the argument given before to the mixed unitary case, so we just show how to adapt the bound in discrete time we obtain from the Poincaré inequality to this setting. For simplicity, we will state the result we obtain for selfadjoint channels, but it should be clear how to generalize the result.
Theorem 4.10
For any primitive doubly stochastic selfadjoint quantum channel \(\Phi :\mathcal {B}(\mathcal {H}) \rightarrow \mathcal {B}(\mathcal {H})\), we have
where \(\lambda (\mathcal {L}^*)\) is the spectral gap of \(\mathcal {L}^*{:}{=}\Phi ^*\circ \,\hat{\Phi }{\mathrm{id}}\).
Proof
It follows from Theorem 4.4 that
Setting n as in the statement ensures that the R.H.S. of the equation above is at most \(d_\mathcal {H}^{3}\), which implies that the quantum channel \(\Phi ^n\) is mixed unitary.
\(\square \)
The above result supplements those of [41], in particular those of Sect. V. There the authors show several “revivals” of Birkhoff’s theorem in the quantum case, that is, relaxed conditions under which a doubly stochastic quantum channel becomes a mixture of unitaries. The above result shows that all primitive doubly stochastic quantum channels become mixed unitary if we apply them often enough. This has interesting applications to environment assisted capacities, introduced in [26]. There they identify the class of channels that allow for complete correction, given a suitable feedback of classical information from the environment, with the set of mixed unitary channels. Together with our last result, this implies the counterintuitive fact that a primitive doubly stochastic channel becomes perfectly correctable in this scenario if we apply it often enough, i.e., add more noise.
Notes
In the discretetime case, we define the same property by simply replacing the left hand side by \(\Vert \Phi ^n(\rho P(\rho ))\Vert _1\), where P corresponds to the projection onto the phase subspace, and the righthand side by \(K\gamma ^{n}\).
Here, \(\det (\Phi )\) simply denotes the product of the eigenvalues of \(\Phi \).
Up to a multiplicative constant.
If \(\pi \) is a cycle, we may reorder the index of the direct sum so that \(\pi \) maps i to \(i+1\).
By this we do not mean that it maps positive matrices to positive matrices, but rather that is a positive semidefinite operator of operator norm 1 when seen as a linear operator between the Hilbert space \({\mathbb {M}}_d\) with scalar product given by \(\langle \cdot ,\cdot \rangle _{\sigma _{\mathrm{Tr}}}\).
References
Aubrun, G., Szarek, S.J.: Alice and Bob Meet Banach: The Interface of Asymptotic Geometric Analysis and Quantum Information Theory. Number Volume 223 in Mathematical Surveys and Monographs. American Mathematical Society, Providence (2017)
Audenaert, K.M.R., Eisert, J.: Continuity bounds on the quantum relative entropy—II. J. Math. Phys. 52(11), 112201 (2011)
Bardet, I.: Estimating the decoherence time using noncommutative functional inequalities (2017). arXiv:1710.01039
Bardet, I., Junge, M., LaRacuente, N., Rouzé, C., França, D.S.: Group transference techniques for the estimation of the decoherence times and capacities of quantum Markov semigroups (2019). arXiv:1904.11043
Bardet, I., Rouzé, C.: Hypercontractivity and logarithmic Sobolev inequality for nonprimitive quantum Markov semigroups and estimation of decoherence rates (2018). arXiv:1803.05379
Bäuml, S., Christandl, M., Horodecki, K., Winter, A.: Limitations on quantum key repeaters. Nat. Commun. 6(1), 6908 (2015)
Brown, W., Poulin, D.: Quantum Markov networks and commuting Hamiltonians (2012). arXiv:1206.0755
Burgarth, D., Chiribella, G., Giovannetti, V., Perinotti, P., Yuasa, K.: Ergodic and mixing quantum channels in finite dimensions. New J. Phys. 15(7), 073045 (2013)
Carbone, R., Jenčová, A.: On period, cycles and fixed points of a quantum channel (2019). arXiv:1905.00857
Carbone, R., Pautrat, Y.: Irreducible decompositions and stationary states of quantum channels. Rep. Math. Phys. 77, 293–313 (2016)
Carbone, R., Sasso, E., Umanità, V.: Decoherence for quantum Markov semigroups on matrix algebras. Annales Henri Poincaré 14(4), 681–697 (2013)
Cariello, D.: Completely reducible maps in quantum information theory. IEEE Trans. Inf. Theory 62(4), 1721–1732 (2016)
Cariello, D.: Sinkhorn–Knopp theorem for PPT states. Lett. Math. Phys. 109(9), 2013–2034 (2019)
Chen, K., Wu, L.A.: A matrix realignment method for recognizing entanglement. Quantum Inf. Comput. 3(3), 193–202 (2003)
Chen, L., Đoković, D.Ž.: Boundary of the set of separable states. Proc. R. Soc. A 471(2181), 20150102 (2015)
Chen, L., Yang, Y., Tang, W.S.: Positivepartialtranspose square conjecture for \(\text{ n } = 3\). Phys. Rev. A 99(1), 012337 (2019)
Christandl, M., Ferrara, R.: Private states, quantum data hiding, and the swapping of perfect secrecy. Phys. Rev. Lett. 119(22), 220506 (2017)
Christandl, M., MüllerHermes, A., Wolf, M.M.: When do composed maps become entanglement breaking? Annales Henri Poincaré 20(7), 2295–2322 (2019)
Christandl, M., Schuch, N., Winter, A.: Entanglement of the antisymmetric state. Commun. Math. Phys. 311(2), 397–422 (2012)
Collins, B., Yin, Z., Zhong, P.: The PPT square conjecture holds generically for some classes of independent states. J. Phys. A Math. Theor. 51(42), 425301 (2018)
Evans, D.E., HøeghKrohn, R.: Spectral properties of positive maps on C*algebras. J. Lond. Math. Soc. s2–17(2), 345–355 (1978)
Fagnola, F., Pellicer, R.: Irreducible and periodic positive maps. Commun. Stoch. Anal. 3(3), 6 (2009)
Fawzi, O., Renner, R.: Quantum conditional mutual information and approximate Markov chains. Commun. Math. Phys. 340(2), 575–611 (2015)
Gao, L., Junge, M., LaRacuente, N.: Fisher information and logarithmic Sobolev inequality for matrix valued functions (2018). arXiv:1807.08838
Gao, L., Junge, M., LaRacuente, N.: Relative entropy for von Neumann subalgebras (2019). arXiv:1909.01906
Gregoratti, M., Werner, R.F.: On quantum errorcorrection by classical feedback in discrete time. J. Math. Phys. 45(7), 2600–2612 (2004)
Gurvits, L., Barnum, H.: Largest separable balls around the maximally mixed bipartite quantum state. Phys. Rev. A 66(6), 062311 (2002)
Hanson, E.P., Joye, A., Pautrat, Y., Raquépas, R.: Landauer’s principle for trajectories of repeated interaction systems. Annales Henri Poincaré 19(7), 1939–1991 (2018)
Horodecki, M., Shor, P.W., Ruskai, M.B.: Entanglement breaking channels. Rev. Math. Phys. 15(06), 629–641 (2003)
Horodecki, M., Shor, P.W., Ruskai, M.B.: General entanglement breaking channels. Rev. Math. Phys 15, 629–641 (2003)
Ibinson, B., Linden, N., Winter, A.: Robustness of quantum Markov chains. Commun. Math. Phys. 277(2), 289–304 (2008)
Kastoryano, M.J., Brandão, F.G.S.L.: Quantum Gibbs samplers: the commuting case. Commun. Math. Phys. 344(3), 915–957 (2016)
Kastoryano, M.J., Temme, K.: Quantum logarithmic Sobolev inequalities and rapid mixing. J. Math. Phys. 54(5), 052202 (2013)
Kato, T.: Perturbation theory for linear operators. Classics in mathematics. Springer, Berlin (1980)
Kennedy, M., Manor, N., Paulsen, V.: Composition of PPT maps. Quantum Inf. Comput. 18, 0472–0480 (2017)
Kye, S.H.: Three qubit separable states of length ten with unique decompositions (2018). arXiv:1807.06223
Lami, L., Giovannetti, V.: Entanglementbreaking indices. J. Math. Phys. 56(9), 092201 (2015)
Lami, L., Giovannetti, V.: Entanglementsaving channels. J. Math. Phys. 57(3), 032201 (2016)
Lami, L., Huber, M.: Bipartite depolarizing channels. J. Math. Phys. 57(9), 092201 (2016)
Leifer, M., Poulin, D.: Quantum graphical models and belief propagation. Ann. Phys. 323(8), 1899–1946 (2008)
Mendl, C.B., Wolf, M.M.: Unital quantum channels—convex structure and revivals of Birkhoff’s theorem. Commun. Math. Phys. 289(3), 1057–1086 (2009)
Miclo, L.: Remarques sur l’hypercontractivité et l’évolution de l’entropie pour des chaînes de Markov finies. In: Séminaire de Probabilités XXXI, pp. 136–167 (1997)
Moravčíková, L., Ziman, M.: Entanglementannihilating and entanglementbreaking channels. J. Phys. A Math. Theor. 43(27), 275306 (2010)
MüllerHermes, A., Stilck França, D.: Sandwiched Rényi convergence for quantum evolutions. Quantum 2, 55 (2018)
MüllerHermes, A., Stilck França, D., Wolf, M.M.: Entropy production of doubly stochastic quantum channels. J. Math. Phys. 57(2), 022203 (2016)
Olkiewicz, R., Zegarlinski, B.: Hypercontractivity in noncommutative Lp spaces. J. Funct. Anal. 161(1), 246–285 (1999)
Petz, D.: Monotonicity of quantum relative entropy revisited. Rev. Math. Phys. 15(01), 79–91 (2003)
Raginsky, M.: Logarithmic Sobolev inequalities and strong data processing theorems for discrete channels. In 2013 IEEE International Symposium on Information Theory, ISIT 2013, pp. 419–423 (2013)
Rahaman, M., Jaques, S., Paulsen, V.I.: Eventually entanglement breaking maps. J. Math. Phys. 59(6), 062201 (2018)
Ruskai, M.B.: Beyond strong subadditivity? Improved bounds on the contraction of generalized relative entropy. Rev. Math. Phys. 06(05a), 1147–1161 (1994)
Rosser, J.B., Schoenfeld, L.: Approximate formulas for some functions of prime numbers. Math. Comput. 17(83), 307 (1963)
Szehr, O., Reeb, D., Wolf, M.M.: Spectral convergence bounds for classical and quantum Markov processes. Commun. Math. Phys. 333(2), 565–595 (2015)
Temme, K., Kastoryano, M.J., Ruskai, M.B., Wolf, M.M., Verstraete, F.: The \(\chi _2\)divergence and mixing times of quantum Markov processes. J. Math. Phys. 51(12), 122201 (2010)
Vidal, G., Tarrach, R.: Robustness of entanglement. Phys. Rev. A 59(1), 141 (1999)
Watrous, J.: Mixing doubly stochastic quantum channels with the completely depolarizing channel. Quantum Inf. Comput. 9, 406–413 (2008)
Winter, A.: Tight uniform continuity bounds for quantum entropies: conditional entropy, relative entropy distance and energy constraints. Commun. Math. Phys. 347(1), 291–313 (2016)
Wolf, M.M.: Quantum channels & operations: guided tour. Lecture Notes (2012). https://wwwm5.ma.tum.de/foswiki/pub/M5/Allgemeines/MichaelWolf/QChannelLecture.pdf. Accessed 01 Sept 2019
Wolf, M.M., PerezGarcia, D.: The inverse eigenvalue problem for quantum channels (2010). arXiv:1005.4545
Yoshida, Y., Hayashi, M.: Asymptotically decoupling and mixing properties in quantum system. In: 2018 IEEE International Symposium on Information Theory (ISIT), pp. 261–265. IEEE (2018)
Acknowledgements
Open Access funding provided by Projekt DEAL. EPH would like to thank Yan Pautrat for discussions on the properties of irreducible quantum channels, and Ivan Bardet for discussions on the \(\hbox {PPT}^2\) conjecture. EPH is supported by the Cantab Capital Institute for the Mathematics of Information (CCIMI). CR acknowledges support by the DFG cluster of excellence 2111 (Munich Center for Quantum Science and Technology). DSF would like to thank Alexander MüllerHermes for interesting discussions. DSF acknowledges financial support from VILLUM FONDEN via the QMATH Centre of Excellence (Grant No. 10059) and from the QuantERA ERANET Cofund in Quantum Technologies implemented within the European Union’s Horizon 2020 Programme (QuantAlgo project) via the Innovation Fund Denmark. We would like to thank the anonymous QIP 2019 reviewers for pushing us more to consider the nonirreducible case, and an anonymous referee for suggesting the very simple proof of Lemma 2.2.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alain Joye.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Proof of Proposition 3.4
A Proof of Proposition 3.4
Let us show that given \(z, \{p_n\}_{n=0}^{z1}\), \(\sigma \), and \(\Phi _Q\), the decomposition (3.2) gives an irreducible quantum channel. Note, by the definition of \(P_n\), for any \(X\in \mathcal {B}(\mathcal {H})\),
using \(\mathrm{Tr}[ \sigma p_n ] = \frac{1}{z}\) and the formula
Since \(P_0(X) = \mathrm{Tr}[X]\sigma \), we have for \(j\ne 0\), \(0 = P_0\circ P_j (X) = \mathrm{Tr}[P_j(X)] \sigma \), yielding that \(P_j\) is traceannihilating: \(\mathrm{Tr}[P_j(X)] =0\) for all \(X\in \mathcal {B}(\mathcal {H})\). In the same way, using assumption 4c, \(\Phi _Q\) is traceannihilating. Thus, \(\Phi = P_0 + \sum _{n=1}^{z1} \theta ^n P_n + \Phi _Q\) is trace preserving.
Next, we prove (3.4), which will prove \(\Phi \) is CP via assumption 4b. For \(\Phi _P {:}{=} \sum _{m=0}^{z1} \theta ^m P_m\), we have \(\Phi _P^k = \sum _{m=0}^{z1} \theta ^{km} P_m\). Then, for any \(X\in \mathcal {B}(\mathcal {H})\), we have the discrete Fouriertype computation,
using (A.1). Next, let \(\{i\rangle \}_{i=0}^{d_{\mathcal {H}}1}\) be an orthonormal basis of \(\mathcal {H}\) such that the first \(\mathrm{rank}(p_0)\) elements are a basis for \(p_0 \mathcal {H}\), the next \(\mathrm{rank}(p_1)\) elements are a basis for \(p_2\mathcal {H}\), and so on. We have \(p_0 = \sum _{i=0}^{\mathrm{rank}(p_0)1} i\rangle \langle i\), and so forth. Thus,
In particular, \(J(\Phi _P) =z \big (\sigma \otimes \mathbb {I}\big ) L_{1}\). Thus, by assumption 4b,
and hence \(\Phi \) is CP. Since \(\Phi \) is CPTP, we can use (1.2) to prove \(\Phi \) is irreducible. We have
using the geometric series \(\sum _{n=0}^{M1} \theta ^{mM} = \frac{1  \theta ^{mM}}{1  \theta ^m}\) for \(m\ne 0\), which is valid as \(\theta ^m \ne 1\). Since \(P_0[X] = \mathrm{Tr}[X]\sigma \), it remains to show that the latter two terms vanish in the limit \(M\rightarrow \infty \). In fact, since \( \sum _{m=1}^{z1} \frac{1  \theta ^{Mm}}{ 1  \theta ^m} P_m\) is bounded in norm uniformly in M, the second term vanishes asymptotically. Next, since \(\ell {:}{=} {\text {spr}}(\Phi _Q) < 1\) by assumption 4a, for \(\varepsilon = \frac{1  \ell }{2} > 0\), Gelfand’s theorem gives that there is \(n_0 > 0\) such that (in any matrix norm \(\Vert \cdot \Vert \)), for all \(n\ge n_0\),
We may write
Since \(\sum _{n=0}^{n_0} \Phi _Q^n \) is bounded in norm independently of M, the first term vanishes asymptotically; the second term is bounded in norm by the triangle inequality and the geometric series \(\sum _{n=0}^\infty (\ell +\varepsilon )^n = \frac{1}{1  (\ell + \varepsilon )}\). Thus, the limit
holds in (any) norm. In particular, we have (1.2), so \(\Phi \) is irreducible. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hanson, E.P., Rouzé, C. & Stilck França, D. Eventually Entanglement Breaking Markovian Dynamics: Structure and Characteristic Times. Ann. Henri Poincaré 21, 1517–1571 (2020). https://doi.org/10.1007/s00023020009064
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023020009064