Absolutely separating quantum maps and channels

Absolutely separable states $\varrho$ remain separable under arbitrary unitary transformations $U \varrho U^{\dag}$. By example of a three qubit system we show that in multipartite scenario neither full separability implies bipartite absolute separability nor the reverse statement holds. The main goal of the paper is to analyze quantum maps resulting in absolutely separable output states. Such absolutely separating maps affect the states in a way, when no Hamiltonian dynamics can make them entangled afterwards. We study general properties of absolutely separating maps and channels with respect to bipartitions and multipartitions and show that absolutely separating maps are not necessarily entanglement breaking. We examine stability of absolutely separating maps under tensor product and show that $\Phi^{\otimes N}$ is absolutely separating for any $N$ if and only if $\Phi$ is the tracing map. Particular results are obtained for families of local unital multiqubit channels, global generalized Pauli channels, and combination of identity, transposition, and tracing maps acting on states of arbitrary dimension. We also study the interplay between local and global noise components in absolutely separating bipartite depolarizing maps and discuss the input states with high resistance to absolute separability.


Introduction
The phenomenon of quantum entanglement is used in a variety of quantum information applications [1,2]. The distinction between entangled and separable states has an operational meaning in terms of local operations and classical communication, which cannot create entanglement from a separable quantum state [3]. Natural methods of entanglement creation include interaction between subsystems, measurement in the basis of entangled states, entanglement swapping [4,5,6], and dissipative dynamics towards an entangled ground state [7,8]. On the other hand, dynamics of any quantum system is open due to inevitable interaction between the system and its environment. The general transformation of the system density operator for time t is given by a dynamical map Φ t , which is completely positive and trace preserving (CPT) provided the initial state of the system and environment is factorized [9]. CPT maps are called arXiv:1703.00344v2 [quant-ph] 17 Aug 2017 quantum channels [10]. Dissipative and decoherent quantum channels describe noises acting on a system state. Properties of quantum channels with respect to their action on entanglement are reviewed in the papers [11,12,13].
Suppose a quantum channel Φ such that its output out = Φ[ ] is separable for some initial system state . It may happen either due to entanglement annihilation of the initially entangled state [14,15], or due to the fact that the initial state was separable and Φ preserved its separability. Though the state out is inapplicable for entanglement-based quantum protocols, there is often a possibility to make it entangled by applying appropriate control operations, e.g. by activating the interaction Hamiltonian H among constituting parts of the system for a period τ . It results in a unitary transformation out → U out U † , where U = exp(−iHτ / ), is the Planck constant. Thus, if a quantum system in question is controlled artificially, one can construct an interaction such that the state U out U † may become entangled. It always takes place for pure output states out = |ψ out ψ out |, however, such an approach may fail for mixed states. These are absolutely separable states that remain separable under action of any unitary operator U [16,17]. Properties of absolutely separable states are reviewed in the papers [18,19,20,21]. Even if the dynamical map Φ is such that Φ[ ] is absolutely separable for a given initial state , one may try and possibly find a different input state such that Φ[ ] is not absolutely separable, and the system entanglement could be recovered by a proper unitary transformation. It may happen, however, that whatever initial state is used, the output Φ[ ] is always absolutely separable. Thus, a dynamical map Φ may exhibit an absolutely separating property, which means that its output is always absolutely separable and cannot be transformed into an entangled state by any Hamiltonian dynamics. The only deterministic way to create entanglement in a system acted upon by the absolutely separating channel Φ is to use a nonunitary CPT dynamics afterwards, e.g. a Markovian dissipative process Φ t = e tL with the only fixed point ∞ , which is entangled. From experimental viewpoint it means that absolutely separating noises should be treated in a completely different way in order to maintain entanglement.
The goal of this paper is to characterize absolutely separating maps Φ, explore their general properties, and illustrate particular properties for specific families of quantum channels.
The paper is organized as follows.
In section 2, we review properties of absolutely separable states and known criteria for their characterization. We establish an upper bound on purity of absolutely separable states. Also, we pay attention to the difference between absolute separability with respect to a bipartition and that with respect to a multipartition. We show the relation between various types of absolute separability and conventional separability in tripartite systems. In section 3, we review general properties of absolutely separating maps and provide sufficient and (separately) necessary conditions of absolutely separating property. Section 4 is devoted to the analysis of N -tensor-stable absolutely separating maps, i.e. maps Φ such that Φ ⊗N is absolutely separating with respect to any valid bipartition. In section 5, we consider specific families of quantum maps, namely, local depolarization of qubits (section 5.1), local unital maps on qubits (section 5.2), generalized Pauli diagonal channels constant on axes [22] (section 5.3). In section 5.4, we consider a combination of tracing map, transposition, and identity transformation acting on a system of arbitrary dimension. Such maps represent a two-parametric family comprising a global depolarization channel and the Werner-Holevo channel [23] as partial cases. In section 5.5, we deal with the recently introduced three-parametric family of bipartite depolarizing maps [24], which describe a combined physical action of local and global depolarizing noises on a system of arbitrary dimension. In section 6, we discuss the obtained results and focus attention on initial states such that Φ t [ ] remains not absolutely separable for the maximal time t. In section 7, brief conclusions are given.

Absolutely separable states
Associating a quantum system with the Hilbert space H, a quantum state is identified with the density operator acting on H (Hermitian positive semidefinite operator with unit trace). By S(H) denote the set of quantum states. We will consider finite dimensional spaces H d , where the subscript d denotes dimH.

Bipartite states
A quantum state ∈ S(H mn ), m, n 2 is called separable with respect to the particular partition H mn = H A m ⊗H B n on subsystems A and B if adopts the convex sum resolution = k p k A k ⊗ B k , p k 0, k p k 0 [25]. We will use a concise notation S(H A m |H B n ) for the set of such separable states. Usually, subsystems A and B denote different particles or modes [26] In analogy with the absolutely separable states, absolutely classical spin states were introduced recently [27]. The paper [27] partially answers the question: what are the states of a spin-j particle that remain classical no matter what unitary evolution is applied to them? These states are characterized in terms of a maximum distance from the maximally mixed spin-j state such that any state closer to the fully mixed state is guaranteed to be classical.

Criteria of absolute separability with respect to bipartition
Note that two states and V V † , where V is unitary, are both either absolutely separable or not. In other words, they exhibit the same properties with respect to absolute separability. Let V diagonalize V V † , i.e. V V † = diag(λ 1 , . . . , λ mn ), where λ 1 , . . . , λ mn are eigenvalues of . It means that the property of absolute separability is defined by the state spectrum only.
A necessary condition of separability is positivity under partial transpose (PPT) [28,29]:  [30,18]. Equivalently, ∈ S(H mn ) is absolutely PPT with respect to m|n if (U U † ) Γ B 0 for all unitary operators U . The set of absolutely PPT states with respect to m|n denote A PPT (m|n). It is clear that A(m|n) ⊂ A PPT (m|n) for all m, n.
The set A PPT (m|n) is fully characterized in [18], where necessary and sufficient conditions on the spectrum of are found under which is absolutely PPT. These conditions become particularly simple in the case m = 2: the state ∈ S(H 2n ) is absolutely PPT if and only if its eigenvalues λ 1 , . . . , λ 2n (in decreasing order λ 1 . . . λ 2n ) satisfy the following inequality: Due to the fact that separability is equivalent to PPT for partitions 2|2 and 2|3 [29], A(2|2) = A PPT (2|2) and A(2|3) = A PPT (2|3). Moreover, the recent study [19] shows that A(2|n) = A PPT (2|n) for all n = 2, 3, 4, . . .. Thus, equation (1) is a necessary and sufficient criterion for absolute separability of the state ∈ S(H 2n ) with respect to partition 2|n.
For general m, n there exists a sufficient condition of absolute separability based on the fact that the states with sufficiently low purity tr[ 2 ] are separable [30,31,32,33].
Suppose the state ∈ S(H mn ) satisfies the requirement then ∈ S(H m |H n ). Since unitary rotations → U U † do not change the Frobenius norm, the states inside the separable ball (2) are all absolutely separable, i.e. (2)=⇒ ∈ A(m|n). Suppose ∈ A PPT (m|n), then decreasingly ordered eigenvalues λ 1 , . . . , λ mn of satisfy ( [20], theorem 8.1) Since A(m|n) ⊂ A PPT (m|n), equation (3) represents a readily computable necessary condition of absolute separability with respect to bipartition m|n. The physical meaning of equation (3) is that the absolutely separable state cannot be close enough to any pure state, because for pure states λ ↓ 1 = 1 and λ ↓ 2 = . . . = λ ↓ mn = 0, which violates the requirement (3).
Moreover, a factorized state 1 ⊗ 2 with 1 ∈ S(H m ) and 2 ∈ S(H n ), m, n 2, cannot be absolutely separable with respect to partition m|n if either 1 or 2 belongs to a boundary of the state space. In fact, a boundary density operator 1 ∈ ∂S(H m ) has at least one zero eigenvalue, which implies at least n 2 zero eigenvalues of the operator 1 ⊗ 2 . Consequently, λ (m−1)n = . . . = λ mn = 0 and equation (3) cannot be satisfied.

Absolute separability with respect to multipartition
An N -partite quantum state ∈ S(H n 1 ...n N ), n k 2 is called fully separable with respect to the partition H n 1 ...
The set of fully separable states is denoted by S(H A 1 n 1 | . . . |H A N n N ). The criterion of full separability is known, for instance, for 3-qubit Greenberger-Horne-Zeilinger (GHZ) diagonal states [34,35].
We will call a state ∈ S(H n 1 ...n N ) absolutely separable with respect to multipartition n 1 | . . . |n N if remains separable with respect to any multipartition for any unitary operator U and fixed multipartition A 1 | . . . |A N . We will use notation A(n 1 | . . . |n N ) for the set of states, which are absolutely separable with respect to multipartition n 1 | . . . |n N .
A sufficient condition of absolute separability with respect to multipartition follows from consideration of separability balls [33]. Consider an N -qubit state ∈ S(H 2 N ) such that To illustrate the relation between different types of separability under bipartitions and multipartitions let us consider a three-qubit case.
. The relation to be clarified is that between A(2|4) and S(H 2 |H 2 |H 2 ).
Firstly, we notice that the pure state |ψ 1 ψ 1 | ⊗ |ψ 2 ψ 2 | ⊗ |ψ 3 ψ 3 | is fully separable but not absolutely separable with respect to partition 2|4 as there exists a unitary transformation U , which transforms it into a maximally entangled state |GHZ GHZ|, Secondly, consider a state ∈ A(2|4) = A PPT (2|4), then its spectrum λ 1 , . . . , λ 8 in decreasing order satisfies equation (1) for n = 4. Maximizing the state purity . Any 3-qubit state with such a spectrum is absolutely separable with respect to partition 2|4. Consider a particular state where the binary representation of k − 1 = 4k with0 = 1 and1 = 0. The state (9) is GHZ diagonal, so we apply to it the necessary and sufficient condition of full separability ( [35], theorem 5.2), which shows that (9) is not fully separable. Thus, A(2|4) ⊂ S(H 2 |H 2 |H 2 ). Finally, to summarize the results of this example, we depict the Venn diagram of separable and absolutely separable 3 qubit states in figure 2. Note that the state in (9) is separable for any bipartition 2|4 and entangled with respect to multipartition H 2 |H 2 |H 2 . In particular, is separable with respect The states with such a property were previously constructed via unextendable product bases [36,37]. Note, however, that even if a 3 qubit state ξ is separable with respect to the specific partitions A|BC, B|AC, and C|AB, it does not imply that ξ is absolutely separable with respect to partition 2|4, because U ξU † is separable with respect to A|BC only for permutation matrices U (A ↔ B), U (B ↔ C), and U (A ↔ C), but not general unitary operators U .

Absolutely separating maps and channels
In quantum information theory, positive linear maps Φ : S(H) → S(H) represent a useful mathematical tool in characterization of bipartite entanglement [29], multipartite entanglement [38,39], characterization of Markovianity in open system dynamics [40,41], etc. A quantum channel is given by a CPT map Φ such that Φ ⊗ Id k is a positive map for all identity transformations Id k : S(H k ) → S(H k ). Thus, entanglementrelated properties are easier to explore for positive maps [13] but deterministic physical evolutions are given by quantum channels. It means that the set of absolutely separating channels is the intersection of CPT maps with the set of positive absolutely separating maps introduced below.
We recall that a linear map Φ : S(H mn ) → S(H m |H n ) is called positive entanglement annihilating with respect to partition H m |H n , concisely, PEA(H m |H n ). For multipartite composite systems, Φ : called entanglement breaking (EB) if Φ ⊗ Id n is positive entanglement annihilating for all n [42,43,44,45,46]. Note that an EB map is automatically completely positive, which means that any EB map is a quantum channel (CPT map).
In this paper, we focus on positive absolutely separating maps Φ : S(H mn ) → A(m|n), whose output is always absolutely separable for valid input quantum states. We will denote such maps by PAS(m|n). Clearly, PAS(m|n) ⊂ PEA(H m |H n ). Absolutely separating channels with respect to partition m|n are the maps Φ ∈ CPT ∩ PAS(m|n). Note that the concept of absolutely separating map can be applied not only to linear positive maps but also to non-linear physical maps originating in measurement procedures, see e.g. [47]. In this paper, however, we restrict to linear maps only.
Let us notice that the application of any positive map Φ : S(H n ) → S(H n ) to a part of composite system cannot result in an absolutely separating map. Proof. Consider the input state in = 1 ⊗ |ψ ψ|, then the output state is out = Φ[ 1 ] ⊗ |ψ ψ|. Spectrum of out does not satisfy the necessary condition of absolute separability, equation (3), so Φ ⊗ Id n is not absolutely separating.
The physical meaning of proposition 2 is that there exists no local action on a part of quantum system, which would make all outcome quantum states absolutely separable. This is in contrast with separability property since entanglement breaking channels disentangle the part they act on from other subsystems. Proposition 2 means that onesided quantum noises Φ ⊗ Id can always be compensated by a proper choice of input state and unitary operations U in such a way that the outcome state U (Φ ⊗ Id[ ])U † becomes entangled.
It was emphasized already that the absolutely separable state can be transformed into an entangled one only by non-unitary maps. However, not every non-unitary map is adequate for entanglement restoration. For instance, unital quantum channels cannot result in entangled output for absolutely separable input. Proposition 3. Suppose Φ 1 is absolutely separating channel with respect to some (multi)partition and Φ 2 is a unital channel, i.e. Φ 2 [I] = I. Then the concatenation Φ 2 • Φ 1 is also absolutely separating with respect to the same partition.
Proof. From absolute separability of Φ 1 it follows that = Φ 1 [ in ] is absolutely separable for any input in . Since the channel Φ 2 is unital, Φ 2 [ ] ≺ for any density operator [48], i.e. the ordered spectrum of Φ 2 [ ] is majorized by the ordered spectrum of , with being absolutely separable in our case. Thus, the spectrum of the state Φ 2 • Φ 1 [ in ] is majorized by the spectrum of the absolutely separable state and according to Lemma 2.2 in [20] this implies absolute separability of There exist such physical maps Φ : S(H d ) → S(H d ) that are not sensitive to unitary rotations of input states and translate that property to the output states. We will call the map Φ : for all U ∈ SU(d). The example of covariant map is the depolarizing channel D q : S(H d ) → S(H d ) acting as follows: Proof. Suppose Φ is covariant and entanglement annihilating. Since Φ is entanglement annihilating, then the left hand side of equation (11) is separable for all U with respect to partition H m |H n . Due to covariance property it means that Suppose Φ is covariant and absolutely separating with respect to partition m|n. Consider pure states = |ψ ψ| ∈ S(H mn ). Since Φ is absolutely separating, the right hand side of equation (11) is separable with respect to a fixed partition H m |H n for all U . By covariance this implies Φ[U |ψ ψ|U † ] ∈ S(H m |H n ) for all unitary U , i.e. Φ[|ϕ ϕ|] ∈ S(H m |H n ) for all pure states |ϕ . Since the set of input states S(H mn ) is convex, it implies that Φ[ in ] ∈ S(H m |H n ) for all input states in , i.e. Φ is entanglement annihilating with respect to partition H m |H n . [12,24]. Therefore, D q is absolutely separating with respect to partition m|n if q 2 mn+2 because D q is covariant. The following results show the behaviour of absolutely separating maps under tensor product.
Proof. Let in = 1 ⊗ 2 , where 1 ∈ S(H m 1 n 1 ) and 2 ∈ S(H m 2 n 2 ), then is separable with respect to a specific bipartition H AB m 1 m 2 |H CD n 1 n 2 for any unitary operator U . So the state (13) can be written as Tracing out subsystem BD we get which is separable with respect to bipartition A|C. Suppose U = U 1 ⊗ U 2 in (13), then we obtain that U 1 Φ 1 ( 1 )U † 1 is separable with respect to bipartition A|C for all U 1 , which means that Φ 1 is PAS(m 1 |n 1 ). By the same line of reasoning, Φ 2 is PAS(m 2 |n 2 ).
However, even if two maps Φ 1 ∈ PAS(m 1 |n 1 ) and Φ 2 ∈ PAS(m 2 |n 2 ), the map Φ 1 ⊗ Φ 2 can still be not absolutely separable with respect to partition m 1 m 2 |n 1 n 2 , which is illustrated by the following example.  (12). Let q = 1 3 then D 1/3 is absolutely separating with respect to partition 2|2 by example 2. Despite the fact that both parts of the tensor product D 1/3 ⊗ D 1/3 are absolutely separating with respect to 2|2, Φ is not absolutely separating with respect to The practical criterion to detect absolutely separating channels follows from the consideration of norms. Let us recall that for a given linear map Φ and real numbers 1 ≤ p, q ≤ ∞, the induced Schatten superoperator norm [49,50,51] where · p and · q are the Schatten p-and q-norms, i.e. A p = tr (A † A) Proof. If (17) Proof. If (18) is not absolutely separating with respect to partition m|n, see the discussion after equation (3). Analogous proof takes place if the image of Φ 2 contains a boundary point of S(H n ). Similarly, if the maximal output purity of a positive map is large enough, then it cannot be absolutely separating.
Proof. Inequality (19)  To quantify such a closeness, one can use either the maximal output purity ( Φ 1→2 ) 2 or the minimal output entropy [10]: where log stands for the natural logarithm. Note that 1 can be interpreted as the measure of closeness between maps Φ and Tr.
⊗N is not absolutely separable with respect to any partition in view of equation (3) and Φ is not N -tensor-stable absolutely separating. On the other hand, inequality Let be a state, which maximizes the purity of implies (dλ 1 ) N −1 > 3. Finally, the first inequality in equation (24) is equivalent to inequality (21) and provides a sufficient condition for the map Φ not to be N -tensorstable absolutely separable. Let be a state, which minimizes the entropy of Φ[ ], then Using results of the paper [53], we obtain Therefore, If inequality (22) is fulfilled, then the right hand side of equation (26) is greater than 3, which implies (dλ 1 ) N −1 > 3 and Φ is not N -tensor-stable absolutely separating.
If Φ = Tr, then there exists N such that Φ ⊗N is not absolutely separating. On the contrary, if Φ = Tr, then Φ ⊗N is absolutely separating with respect to any partition for

Specific absolutely separating maps and channels
In this section we focus on particular physical evolutions and transformations, which either describe specific dynamical maps or represent interesting examples of linear state transformations. We characterize the region of parameters, where the map is absolutely separating and find states robust to the loss of property to be not absolutely separable.

Local depolarizing qubit maps and channels
Let us analyze a map of the form Map D q is positive for q ∈ [−1, 1] and completely positive if q ∈ [− 1 3 , 1]. As absolutely separating maps are the subset of entanglement annihilating maps, it is worth to mention that entanglement-annihilating properties of the map D q 1 ⊗D q 2 and their generalizations (acting in higher dimensions) are studied in the papers [12,13,24].
Since depolarizing maps are not sensitive to local changes of basis states, we consider a pure input state |ψ ψ|, where |ψ always adopts the Schmidt decomposition |ψ = √ p|00 + √ 1 − p|11 in the proper local bases. We denote out = D q 1 ⊗D q 2 [|ψ ψ|]. Using proposition 6, we conclude that D q 1 ⊗ D q 2 is absolutely separating with respect to partition 2|2 if tr[ 2 out ] 1 3 for all p ∈ [0, 1], which reduces to Note that equation (28) provides only sufficient condition for absolutely separating maps D q 1 ⊗ D q 2 . The area of parameters q 1 , q 2 satisfying equation (28) is depicted in figure 3.
Proposition 11. Two-qubit local depolarizing map D q 1 ⊗ D q 2 is absolutely separating with respect to partition 2|2 if and only if Proof. We use equation (1) with n = 2 and apply it to all possible output states It is not hard to see that the Schmidt decomposition parameter p = 0 or 1 for eigenvalues λ 1 , . . . , λ 4 saturating inequality (1). If p = 0, 1, then equation (1) reduces to equations (29)- (30).
The area of parameters q 1 , q 2 satisfying equations (29)-(30) is shown in figure 3. The fact that p = 0, 1 in derivation of equations (29)- (30) means that, in the case of local depolarizing noises, the factorized states exhibit the most resistance to absolute separability when affected by local depolarizing noises.
If q 1 = q 2 = q, then the sufficient condition (28)  . Thus, the two qubit map D q 1 ⊗ D q 2 can be entanglement breaking but not absolutely separating and vice versa. Thus, PAS(2|2) ⊂ EB and EB ⊂ PAS(2|2). This is related with the fact that factorized states remain separable under the action of local depolarizing channels, but they are the most robust states with respect to preserving the property not to be absolutely separable.
Proof. The channel D q 1 ⊗ . . . ⊗ D q N satisfies multiplicativity condition of the maximum output purity [55,56], therefore ( . Using proposition 7, we obtain equation (31)  Suppose each qubit experiences the same depolarizing noise, then one can find a condition under which the resulting channel is not absolutely separating with respect to any bipartition. Proposition 13. An N -qubit local uniform depolarizing channel D ⊗N q is not absolutely separating with respect to any partition 2 k |2 N −k if Proof. Consider a factorized input state (|ψ ψ|) ⊗N , then decreasingly ordered eigenvalues of D ⊗N q [(|ψ ψ|) ⊗N ] are λ 1 = (1+|q|) N /2 N , λ 2 N −2 = λ 2 N −1 = (1−|q|) N −1 (1+ |q|)/2 N , and λ 2 N = (1 − |q|) N /2 N . If equation (32) is satisfied, then the necessary condition of absolute separability (3) is violated and D ⊗N q is not absolutely separating with respect to any partition 2 k |2 N −k . Condition |q| > 1 N implies equation (32) so it serves as a simpler criterion of the absence of absolutely separating property.

Local unital qubit maps and channels
In this subsection we consider unital qubit maps Υ : S(H 2 ) → S(H 2 ), i.e. linear maps preserving maximally mixed state, Υ[I] = I. By a proper choice of input and output bases the action of a general unital qubit map reads [57] where σ 0 = I and {σ i } 3 i=1 is a conventional set of Pauli operators. In what follows we consider trace preserving maps (33) with λ 0 = 1.
Consider a local unital map acting on two qubits, Υ ⊗ Υ . General properties of such maps are reviewed in [15,39].
As in the case of local depolarizing maps, pure factorized states are the most resistant to absolute separability under action of Υ ⊗ Υ . If the map Υ ⊗ Υ were completely positive, one could use the multiplicativity condition for calculation of the maximal output purity [58]. However, in our case the map Υ ⊗ Υ is not necessarily completely positive.
Proof. The proof follows from the multiplicativity of the maximum output purity [58] and proposition 7.

Generalized Pauli channels
The maps considered in previous subsections were local. Let us consider a particular family of non-local maps called generalized Pauli channels or Pauli diagonal channels constant on axes [22]. Suppose an mn-dimensional Hilbert space H mn and a collection B J = {|ψ J k } mn k=1 of orthonormal bases in H mn . For simplicity denote d = mn and define the operators where ω = e i2π/d . If d is a power of a prime number, then there exist d + 1 mutually unbiased bases [59]. The corresponding d 2 −1 unitary operators {W m J } m=1,...,d−1,J=1,...,d+1 satisfy the orthogonality condition tr[(W j J ) † W k K ] = dδ JK δ jk and, hence, form an orthonormal basis for the subspace of traceless matrices.
A generalized Pauli channel Φ acts on ∈ S(H d ) as follows: Conditions on parameters s, t 1 , . . . , t d+1 ensure that Φ is trace preserving and completely positive (Φ is a quantum channel). To analyse absolutely separating properties we use Theorem 27 in [22]: the maximal output purity of Φ is achieved with an axis state, i.e. there exist n and J such that ( Φ 1→2 ) 2 = tr (Φ[|ψ J n ψ J n |]) 2 . On the other side, action of the generalized Pauli channel on an axis state |ψ J n ψ J n | reads with real parameters α and β satisfying inequalities 1+α 0, 1+β 0, and 1+α+β 0 (guaranteeing Φ αβ is positive). Note that Φ αβ is trace preserving. Equation (47) reduces to the depolarizing map if β = 0 and to the Werner-Holevo channel [23] if α = 0 and β = −1. A direct calculation of the Choi-Jamio lkowski operator [60,61] shows that Φ αβ is completely positive if α − 1 d and −(1 + dα) β 1. Suppose H d = H m ⊗H n , then we can explore the absolute separability of the output Φ αβ [ ] with respect to partition m|n.
Let us consider a necessary condition of the absolutely separating property of Φ αβ .
The obtained necessary condition does not depend on m and n and is universal for the maps Φ αβ .

Bipartite depolarizing channel
Suppose a bipartite physical system whose parts are far apart from each other, then the interaction with individual environments leads to local noises, for instance, local depolarization considered in section 5.1. In contrast, if the system is compact enough to interact with the common environment as a whole, the global noise takes place. As an example, the global depolarization is a map Φ α,0 considered in section 5.4. In general, two parts of a composite system AB can be separated in such a way that both global and local noises affect it. Combination of global and local depolarizing maps results in the map Φ : whose positivity and entanglement annihilating properties were explored in the paper [24].
Proposition 20. Suppose Φ αβγ ∈ PAS(m|n), then the decreasingly ordered vectors λ of the form |i j| ⊗ |i j| ∈ S(H mn ), respectively. Since Φ αβγ [ ] ∈ A(m|n), the spectra of Φ αβγ [ ] must satisfy equation (3), and so do the spectra (56)- (57) in view of the relation (51). Requirement λ ↓ mn 0 is merely the positivity requirement for output density operators. Example 7. Let m = n = 3. Parameters α, β, γ satisfying proposition 19 are depicted by a shaded body in figure 7. Plane sections correspond to maximally entangled states (red), and convex surface (green) corresponds to factorized input states. A polyhedron in figure 7 corresponds to proposition 20. The upper and lower faces of that polyhedron correspond to maximally entangled initial states, and all other faces correspond to factorized input states.

Discussion of state robustness
Let us now summarize observations of the state resistance to absolute separability.
Suppose a dynamical process Φ t described by a local depolarizing or a unital Nqubit channel, N k=1 D q k and N k=1 Υ (k) , with monotonically decreasing parameters q k (t) or λ  i (0) = 1. Then the analysis of sections 5.1 and 5.2 shows that a properly chosen factorized pure initial state = N k=1 |ψ k ψ k | affected by the dynamical map Φ t remains not absolutely separable for the longer time t as compared to initially entangled states. The matter is that factorized states exhibit a less decrease of purity in this case as compared to entangled states whose purity decreases faster due to the destruction of correlations. The map Φ αβγ : S(H 9 ) → S(H 9 ) is absolutely separating with respect to partition 3|3 by proposition 19 for parameters α, β, γ inside the colored region (sufficient condition). Parameters α, β, γ must belong to the polyhedron for Φ αβγ : S(H 9 ) → S(H 9 ) to be absolutely separating with respect to partition 3|3 (necessary condition).
State robustness is irrelevant to the initial degree of state entanglement in the case of evolution under a linear combination of global tracing, identity, and transposition maps. The only fact that matters is the initial state purity ( = |ψ ψ|) and the overlap with the transposed state (| ψ|ψ | 2 ).

Conclusions
In this paper, we have revised the notion of absolutely separable states with respect to bipartitions and multipartitions. In particular, we have found an interesting example of the three-qubit state, which is absolutely separable with respect to partition 2|4, and consequently is separable with respect to any bipartition H 8 = H 2 ⊗ H 4 , yet is not separable with respect to tripartition H 2 ⊗ H 2 ⊗ H 2 .
We have introduced the class of absolutely separating maps and explored their basic properties. This class is a subset of entanglement annihilating maps. Even in the case of local maps, a set of absolutely separating channels is not a subset of entanglement breaking channels. In general, a map can be positive and absolutely separating even if it is not completely positive. We have shown that one-sided channels cannot be absolutely separating, i.e. entanglement of the output state can always be recovered by a proper choice of the input state and the unitary operation applied afterwards. Even if the maps Φ 1 and Φ 2 are absolutely separating with respect to partitions m 1 |n 1 and m 2 |n 2 , the tensor product Φ 1 ⊗ Φ 2 can still be not absolutely separating with respect to partition m 1 m 2 |n 1 n 2 . Global depolarizing maps are absolutely separating if and only if they are entanglement annihilating.
We have also analyzed N -tensor-stable absolutely separating maps Φ, whose tensor power Φ ⊗N is absolutely separating with respect to any valid partition. The greater N , the closer an N -tensor-stable absolutely separating map Φ : S(H d ) → S(H d ) to the tracing map Tr[ ] = tr[ ] 1 d I d . In fact, the tracing map is the only map that is N -tensor-stable absolutely separating for all N .
Particular characterization of absolutely separating property is fulfilled for specific families of local and global maps. We have fully determined parameters of twoqubit local depolarizing absolutely separating maps PAS(2|2) and provided sufficient conditions for local Pauli maps. The factorized pure states are shown to be the most robust to the loss of property being not absolutely separable under the action of local noises. Global noises are studied by examples of generalized Pauli channels and combination of tracing map, transposition, and identity transformation. Finally, the combination of local and global noises is studied by an example of so-called bipartite depolarizing maps. Robust states are shown to be either entangled or factorized depending on the prevailing noise component: global or local.