Interpolating between Positive and Completely Positive Maps: A New Hierarchy of Entangled States

A new class of positive maps is introduced. It interpolates between positive and completely positive maps. It is shown that this class gives rise to a new characterization of entangled states. Additionally, it provides a refinement of the well-known classes of entangled states characterized in terms of the Schmidt number. The analysis is illustrated with examples of qubit maps.


Introduction
Both positive and completely positive maps play an essential role in quantum information theory [1]. Recall that a linear map Φ : B(H) → B(H) is positive if Φ[X] ≥ 0 for X ≥ 0 [2][3][4]. Moreover, if Φ is trace-preserving, then it maps quantum states (represented by density operators) into quantum states. In what follows, we consider only finite-dimensional Hilbert spaces H, where dim H = d. Additionally, we denote a vector space of (bounded) operators acting on H by B(H). Interestingly, quantum physics requires a more refined notion of positivity due to the fact that a tensor product Φ 1 ⊗ Φ 2 of two positive maps is not necessarily a positive map. A map Φ is called k-positive if is positive, where id k denotes the identity map on M k (C), which is a vector space of k × k complex matrices. Finally, a map is completely positive if it is k-positive for all k = 1, 2, . . . Actually, in the finite-dimensional case, complete positivity is equivalent to d-positivity. Hence, if P k denotes a (convex) set of k-positive, trace-preserving maps, then there is the following chain of inclusions, CPTP maps = P d ⊂ P d−1 ⊂ . . . ⊂ P 1 = PTP maps.
Completely positive maps play a key role in quantum information theory since they correspond to physical operations. In particular, completely positive, trace-preserving (CPTP) maps provide mathematical representations of quantum channels. Any CPTP map satisfies the data processing inequality [1,5,6]. Namely, for an arbitrary quantum channel E and any pair of states ρ, σ, one has [7] where D(ρ||σ) is the relative entropy. Interestingly, it turns out that condition (3) holds for any PTP map. Maps that are positive but not completely positive find elegant applications in the theory of entanglement [8][9][10][11] for all positive maps Φ. Hence, any violation of (4) witnesses entanglement of ρ AB . The key property of any PTP map is its contractivity with respect to the trace norm [12], for any X ∈ B(H). This implies that distinguishability between any pair of density operators ρ and σ, defined by ρ − σ tr , cannot increase under the action of a PTP map. Similarly, if Φ is k-positive and trace-preserving, then id k ⊗ Φ is contractive.
In this paper, we introduce a new family of maps such that id ⊗ Φ is contractive but only on the subspaces of B(H ⊗ H) of particular dimensions. We call such maps k-partially contractive, where now k ∈ {1, . . . , d 2 }. For k = 1 and k = d 2 , one reproduces PTP maps and CPTP maps, respectively. Hence, this new family interpolates between these two important classes. The inspiration for k-partially contractive maps comes from [13], where the author considered the strength of non-Markovian evolution that lies between P and CP-divisible dynamical maps. We provide the characterisation of partially contractive maps and illustrate this concept with simple qubit maps. Interestingly, in the qubit case, we find a connection between partially contractive maps and the Schwarz maps. The class of partially contractive maps allows us to introduce a new hierarchy of entangled states in full analogy to the well-known characterization in terms of the Schmidt number [8][9][10]14]. In the qubit case, this new characterization interpolates between separable states (Schmidt number = 1) and entangled states (Schmidt number = 2). Hence, it provides a refinement of the Schmidt number classes. A simple illustration of two-qubit isotropic states is discussed. We hope that the new class of partially contractive maps introduced in this paper will also allow for a more refined analysis of entangled states in higher-dimensional quantum systems.

Partially Contractive Maps
Denote by B H (H) a real subspace of Hermitian operators in B(H). Let us recall the following characterisation of PTP maps [4,15].
Corollary 1. One has the following correspondence between partial contractivity criteria and positivity of quantum maps: Hence, k-partially contractive, trace-preserving maps are interpolated between PTP and CPTP maps.
Denote by C k a set of k-partially contractive, trace-preserving maps. It is easy to show that there is an inclusion relation between different C k . Proposition 2. The set C k is a convex subset of P 1 (a set of PTP maps). Moreover, Given a set {ρ 1 , . . . , ρ k } and a map Φ : for any X ∈ M({ρ 1 , . . . , ρ k }).
which proves k-partial contractivity of Φ.
The problem of finding extensions for positive and completely positive maps is well-studied in mathematical literature. Let us recall a seminal extension theorem of Arveson [16]. However, the above result only guarantees the existence of a CP extension and says nothing about trace preservation.

Qubit Maps
For d = 2, we have the following seminal result due to Alberti and Uhlmann [19]. This result was recently generalized in [20,21]. Using the Albert-Uhlmann theorem, one comes to the following conclusion. Hence, in the qubit case, the hierarchy in (8) simplifies to Therefore, there exists a class C 3 that interpolates between PTP and CPTP maps. In this section, we analyze Φ ∈ C 3 . Consider a triple {ρ 1 , ρ 2 , ρ 3 } of linearly independent qubit density operators. From [22], we know that where X 1 = σ 1 , X 2 = σ 2 , X 3 = diag(p, 1 − p) for some p ∈ (0, 1), and U is a unitary operator depending on the choice of {ρ 1 , ρ 2 , ρ 3 }. From Definition 1, Φ is three-partially contractive if and only if for all possible choices of {ρ 1 , ρ 2 , ρ 3 } and Hermitian qubit operators {A 1 , A 2 , A 3 }. Using Equation (13), we see that for any set of {A 1 , A 2 , A 3 } there exists another set of Hermitian Now, consider a special class of qubit maps with the following property: for any unitary operator U, there exists a unitary operator V such that for any X ∈ B(H).

Proof.
It is enough to show that conditions (14) and (17) are equivalent if Φ satisfies Equation (16). Using Equation (15), one has Now, for a positive, trace-preserving map Φ satisfying Equation (16), it follows that It can be easily seen that T satisfies condition (16). Now, take a set of three Hermitian operators, The corresponding trace norms read Hence, we show that T violates condition (17) for p > 1 2 and thus, from Lemma 1, we conclude that T / ∈ C 3 .

Example 2. Consider the qubit map
which is trace-preserving and positive if and only if 0 ≤ a ≤ 1. Let us show when Λ a is threepartially contractive but not completely positive. Observe that 0 ≤ a ≤ 1 gives the primary constraint for a, as three-partially contractive maps are necessarily positive. The map restricted to the subspace M reads Now, we extend Λ a | M to Λ a : B(H) → B(H) in the following way, where σ 3 = diag(1, −1), which guarantees the trace preservation of Λ a . The complete positivity of the extension is equivalent to the positivity of its Choi matrix [23], From Sylvester's criterion [24], C( Λ a ) ≥ 0 if and only if all its minors have positive determinants. This translates to the condition that there exists a real number r such that for all 0 ≤ p ≤ 1. From the first two inequalities, one obtains What remains is the condition for the determinant of A(p). For the allowed range of p, the only local extrema of det A(p) are maxima, as one has Therefore, the minimal value of det A(p) is achieved at the end points, p = 0 and p = 1.
The sufficient condition for the positivity of det A(p) is the positivity of det A(0), where The last inequality of Equation (29) gives the new upper bound on r, Thus, there exists a parameter r such that Λ a [X 3 ] = rσ 3 whenever which is satisfied for a ∈ [0, 1] if and only if In this way, we arrive at the three-partial contractivity condition for Λ a . Finally, Λ a is completely positive if and only if 0 ≤ a ≤ 1/2. Hence, it is three-partially contractive but not completely positive for Example 3. Now, consider another trace-preserving qubit map, This map is positive if and only if 0 ≤ ≤ 2 and completely positive if and only if 2/3 ≤ ≤ 2.
Using the same method as in the previous example, one shows that Ω is three-partially contractive but not completely positive for

Partial Contractivity vs. Schwarz Qubit Maps
where A ∞ stands for the operator norm. Any Schwarz map satisfies Φ ∞ = Φ(1l) ∞ , where If Φ is unital (Φ[1l] = 1l), then Equation (39) reduces to [4,25,26] Note that condition (39) is sufficient for positivity and necessary for complete positivity. A composition Φ 1 • Φ 2 and a convex combination qΦ 1 + (1 − q)Φ 2 of two unital Schwarz maps is also a unital Schwarz map. It was proven by Kadison that any positive unital map satisfies Equation (41) for Hermitian X (the celebrated Kadison inequality [27]). If Φ is not for arbitrary X ∈ B(H). Hence, Φ satisfies (39). Now, for PTP unital qubit maps, one finds the following hierarchy, CPTP unital maps ⊂ S ⊂ PTP unital maps, where S denotes the set of Schwarz maps. After comparing Equation (12) with Equation (43), it would be interesting to analyze the relation between two classes of maps: three-partially contractive and Schwarz maps. A method of constructing the Schwarz maps was proposed in [28]. Take a positive, trace-preserving, unital map Ψ : B(H) → B(H) that is a contraction Ψ[X] 2 ≤ X 2 in the Hilbert-Schmidt (Frobenius) norm, where X 2 = Tr(X † X). Define the qubit map The following stronger results were also proven. (24)  At this point, we make an important observation: the sufficient condition for threepartial contractivity and the necessary and sufficient conditions for Schwarz maps coincide for Λ and Ω . In other words, the following relations hold, CPTP unital maps ⊂ C 3 ⊂ S ⊂ PTP unital maps.

Proposition 4 ([28]). The map Λ a defined in Equation
(46) Therefore, one observes an intricate connection between the Schwarz maps and threepartially contractive maps. This problem deserves further analysis.

Conclusions
We proposed a new classification of positive maps based on the contractivity with respect to the trace norm on subspaces of B(H ⊗ H). The k-partially contractive maps give rise to a hierarchy of d 2 classes of positive maps that interpolate between PTP and CPTP maps. The parameter k, which is the dimension of the subspace, can be interpreted as a strength of positivity. For qubit maps, we introduced an intermediate class of positive but not completely positive maps, corresponding to the choice k = 3. Moreover, we provided an analytical technique for assessing three-partial contractivity. Our concept was illustrated with examples of simple qubit maps. Interestingly, our analysis showed that there is a connection between partially contractive maps and the Schwarz maps. Finally, we applied these results to refine the hierarchy of entangled states based on the Schmidt number. In the qubit case, we obtained a single class that interpolates between separable and entangled states.
The topic of partially contractive maps requires further analysis. The first step would be to find less restrictive sufficient conditions for three-partially contractive qubit maps. Then, the full relation between these maps and the Schwarz maps could be established. Additionally, it is crucial to find a computational method of constructing k-partially contractive maps in any finite dimension d. To achieve this, one needs a relation analogical to Equation (13) for d = 2. Then, one would be able to find the connection between k-partial contractivity and k-positivity. Another open question concerns possible applications of our classification. One implementation, already touched upon in this paper, is a more refined analysis of entangled states.