the physical phenomenon of entanglement naturally appears in composite quantum systems via interactions among constituents .
simple collision models already teach us that different interaction types lead to various types of multipartite entanglement @xcite .
systems with local hamiltonians exhibit correlations between the degree of entanglement and eigenenergies @xcite , phase transitions @xcite , and the number of interacting bodies @xcite .
multipartite entanglement finds uses in quantum networking applications such as secret sharing @xcite , secret voting @xcite , open - destination teleportation @xcite , etc . for the latter purposes ,
entanglement can be created within the system not only by interaction among constituent bodies but also by a properly engineered interaction with the environment @xcite .
suppose the prepared multipartite entangled state is intended for use in an entanglement - enabled quantum protocol involving remote clients . while transferring the quantum information to recipients , the state will be modified by inevitable noise processes .
it can happen that the type of multipartite entanglement received by the clients differs significantly from the original one , and the realization of the desired protocol becomes impossible .
similarly , uncontrollable noise processes in quantum memory devices can result in destroying particular correlations within the stored multipartite system and make the released state ineffective @xcite .
degradation of entanglement also imposes limitations on the benefit of advanced quantum metrology relying on genuinely multipartite entangled states @xcite .
these examples demonstrate the necessity of tracking the multipartite entanglement dynamics and finding noise levels corresponding to the change of entanglement type .
previous efforts in this direction relied on specific entanglement measures .
negativity @xcite  a measure detecting negativity of the density matrix under partial transpose ( npt ) @xcite  was originally used by simon _
et al_. @xcite and dr _
et al_. @xcite to analyze ghz , w , and cluster states under local depolarizing noise
. then bandyopadhyay _ et al_. @xcite and hein _
et al_. @xcite utilized it to study the behavior of ghz states and graph states , respectively , under general local homogeneous noise .
generalized ghz - type states under a local amplitude - damping channel were considered with the help of negativity by man _
et al_. @xcite .
et al_. exploited negativity to study effects of local depolarizing , dephasing , and generalized amplitude damping channels on ghz states @xcite and graph states @xcite .
those results were obtained for an arbitrary number of qubits ( except for some graph states @xcite and randomly sampled states @xcite ) due to the ultimate simplicity of negativity computation .
depolarization and dephasing of qudit ghz states were considered via negativity in @xcite .
similarly , concatenated ghz states ( where blocks of a small number of qubits are ghz states themselves ) were considered in @xcite .
however , the negativity does not provide comprehensive information about the entanglement structure because it can be sensitive to the entanglement with respect to a particular bipartition only ( remember , e.g. , bound - entangled ppt states @xcite and biseparable but non - triseparable states @xcite )
.    the absence of full separability can also be detected by some other measures .
for instance , carvalho _
et al_. used the lower bound for a specific generalization of the concurrence and applied it to the dynamics of several - qubit ghz and w states under amplitude - damping and dephasing local channels @xcite .
et al_. used the geometric measure of entanglement @xcite to study global dephasing process of four - qubit ghz , cluster , w , and dicke states @xcite .
et al_. used the entropic measure for average @xmath0-partite entanglement over quantum trajectories  @xcite .
et al_. developed the evolution of an averaged sl - invariant entanglement measure for local decoherence @xcite .
a similar approach with a lower bound of the concurrence was exploited in @xcite .
a non - zero value of these quantities indicates the presence of some entanglement within the quantum system , but gives little information about its particular form and , therefore , the benefit of this entanglement for some applications remains questionable .
moreover , vanishing values of the above measures can not guarantee the full separability of the state , and thus , the problem of fundamental noise limits eliminating any form of entanglement ( resulting in fully separable states ) is still open .    genuine multipartite entanglement is the exact opposite of full separability : this form of entanglement is intrinsically multiparticle and can not be attributed to the entanglement distributed among smaller subsystems .
the detection of genuine entanglement for specific quantum states has been a subject of intensive recent research ( see , e.g. , @xcite and references therein ) .
dissipative evolution of genuine multipartite entanglement has been analyzed with the help of some measures .
the mean value of a projector - like witness @xcite was used by bodoky _
et al_. to study several qubits within a heuristic model of decoherence based on local relaxation and dephasing times @xcite .
et al_. used fidelity- and collective spin - based entanglement witnesses to analyze the dynamics of genuine multipartite entanglement of dicke states under local amplitude - damping , phase - damping , and depolarizing channels @xcite .
tripartite negativity and generalized concurrence were also applied to the dissipative dynamics of ghz and w three - qubit entangled states @xcite .
let us recall that the above measures are not precise , i.e. , their zero values do not imply in general that the genuine entanglement is lost .
on the other hand , precise measures ( based on the convex roof definitions ) are quite hard to compute .
this is the main reason why the research in entanglement dynamics is usually restricted to particular initial states ( ghz , w , x , dicke , etc . ) and the use of relatively simple measures .    despite existing results for noises preserving genuine entanglement and entanglement on the whole ( absence of full separability ) ,
the evolution of entanglement structure still remains unexplored .
the aim of this paper is to track the transformations of entanglement structure during dissipative processes . by `` structure '' we understand the number of separate components and the number of particles within each of them ( with allowance for convex mixtures ) @xcite .
this structure resembles a russian nested doll , and dissipative evolution maps states from the outer to the inner dolls .
the evolution of entanglement structure can be seen as a dissociation of the entanglement compound due to interaction with the `` solvent '' ( particles of the environment ) .
note that the `` entanglement compound '' refers to a genuinely entangled multipartite component and differs from the concept of an `` entanglement molecule '' whose bonds depict entanglement of reduced two - particle states @xcite .
the idea of tracking the entanglement structure was realized for three - qubit ghz states under global depolarization in @xcite and for the restricted hilbert space of single - excitation states in @xcite .
we do not restrict ourselves to particular input states and develop a theory of transformations that map _ any _ initial state into a chosen doll . note that mainstream research is focused on showing that a particular state is outside a given doll ( mostly that of biseparable states ) @xcite , whereas ours ensures the opposite and matches the recent approach of ref .
our methodology relies on a neat decomposition of the physical map into simpler ( but not necessary physical ) processes involving entanglement - breaking operations @xcite .
the criteria obtained are formulated for general quantum channels .    to illustrate our approach , we discuss examples of local and global depolarizing noises modelling individual and common baths , respectively .
local depolarizing noises are relevant in quantum communication tasks ( exploiting , e.g. , optical fibers ) as well as in purely physical systems such as nuclear spins in molecules @xcite .
global depolarizing noise is an appropriate model in experiments where full - rank quantum states are detected @xcite and is argued to be the worst - case scenario of system - environment interactions @xcite .
we find the noise levels of corresponding entanglement structure dissociations and reveal differences in the typical dissociation behavior between local and global noises .
the paper is organized as follows .    in sec .
[ section - formalism ] , we precisely describe the multipartite entanglement formalism used , with attention being paid to higher order partitions ( tripartitions , tetrapartitions , etc . ) which are often omitted from consideration . in sec .
[ section - dynamics ] , we recall the necessary information about general and local quantum channels . in sec .
[ section - ea ] , the problem under investigation ( dynamics of entanglement structure ) is precisely formulated . in sec .
[ section - methodology ] , we accomplish the development of methodology and derive the criteria of entanglement dissociation and annihilation . in sec
. [ section - application ] , we provide a recipe for applying the obtained criteria to the above - mentioned noises . in sec .
[ section - discussion ] , the physical meaning of the results is discussed . in sec .
[ section - summary ] , we concisely summarize the ideas , methods , and achieved results .
to express the idea of entanglement structure quantitatively , one can make use of the following formalism .
whenever we speak about entanglement , we imply a particular partition of the composite system . in general , an @xmath1-body system @xmath2 can be partitioned into @xmath3 subsystems , where @xmath3 ranges from @xmath4 to @xmath1 .
if the system is not partitioned at all , we will reckon @xmath5 .
one can divide the @xmath1-body system @xmath2 into @xmath3 subsystems ( also referred to as parties ) in @xmath6 different ways , where @xmath7 is the stirling number of the second kind .
denote by @xmath8 a set of possible partitions into @xmath3 parties .
partitions are ordered in such a way that the parts with fewer bodies go first .
then , for a three - body system @xmath9 we have @xmath10 , @xmath11 , and @xmath12 . in the case of a four - body system @xmath13 ,
the sets of possible partitions are @xmath14 , @xmath15 , @xmath16 , @xmath17 , @xmath18 , @xmath19 , @xmath20 , @xmath21 , @xmath22 , @xmath23 , @xmath24 , @xmath25 , @xmath26 , @xmath27 , and @xmath28 .
denote by @xmath29 the @xmath30-th partition of the set @xmath8 , e.g. , @xmath31 . in order to address the @xmath32th subsystem of the partition @xmath29 , we will use the notation @xmath33_m$ ] , e.g. , @xmath34_2 = d$ ] .
quantum states of the system @xmath2 are described by density operators @xmath35 ( positive and with unit trace ) acting on the hilbert space @xmath36 and altogether forming the convex set @xmath37 .
a state @xmath38 is called separable with respect to a particular partition @xmath29 if the resolution @xmath39_1 } \otimes \cdots \otimes \varrho_i^{[{{\cal p}}_j^k]_k}$ ] holds true for some probability distribution @xmath40 and density operators @xmath41_m}$ ] , @xmath42 .
we will denote such a separable state as @xmath43 for brevity . if @xmath44 for any @xmath43 , then @xmath38 is said to be entangled with respect to the partition @xmath29 .
the above consideration of partitions is important because the physics of multipartite entanglement can be quite counterintuitive .
for instance , the three - qubit state of refs .
@xcite is separable with respect to any bipartition @xmath45 but is entangled with respect to tripartition @xmath46 .
another example is a four - qubit smolin state @xcite which is separable with respect to bipartitions @xmath47 , @xmath48 , @xmath49 and is entangled with respect to bipartitions @xmath50 , @xmath51 , @xmath52 , @xmath53 , any tripartition @xmath54 , and quartering @xmath55 .
now we can define the concept of @xmath3-separability of a quantum state , which indicates that the state can accommodate components each of which has @xmath3 separate parties .
namely , the state @xmath38 is called @xmath3-separable and denoted @xmath56 if it adopts the resolution @xmath57 for some probability distribution @xmath58 and separable density operators @xmath43 .
note that @xmath56 can still be entangled with respect to partitions @xmath29 if @xmath59 .
clearly , if the state is @xmath3-separable , then it is also @xmath60-separable , which implies the inclusion relation @xmath61 for convex sets of @xmath3-separable states
. a natural measure of separability appears : @xmath62 : = \max\limits_{\varrho = \varrho_{k\text{-sep } } } k.\ ] ]    if @xmath63 = 1 $ ] , then the state @xmath38 is called genuinely entangled ( ge ) . if @xmath63
= n$ ] , then the state @xmath38 is fully separable ( fs ) .
one can quantify multipartite entanglement in an alternative way by counting the number of bodies that are actually entangled  @xcite .
this number would indicate the resources needed to create the state . for instance , the state @xmath64 of a 5-body system @xmath65 is 2-separable but comprises a party @xmath66 which can be genuinely entangled ( @xmath67=1 $ ] ) , i.e. , requires 3 bodies to be entangled .
to embody this idea in a precise manner , we introduce the following definition of resource - intensiveness ( compatible with the concepts of entanglement depth  @xcite and producibility  @xcite ) : @xmath68 : = \!\!\ !
\min\limits_{\varrho = \sum\limits_{k=1}^n \sum\limits_{j=1}^{{\genfrac{\lbrace}{\rbrace}{0pt}{}{n}{k } } } p_j^k \sigma_j^k } \max\limits_{m=1,\ldots , k } \ !
\left\ { \#~\text{bodies within}~ [ { { \cal p}}_j^k]_m \right\ } \ ! .\ ] ]    denote by @xmath69 \le r\}$ ] the convex set of @xmath70-entangled states . obviously , @xmath71 .
importantly , @xmath72 , @xmath73 , and @xmath74 .
depending on the quantum state , the range of @xmath75 can be @xmath76 $ ] for a fixed @xmath77 , and the range of @xmath77 can be @xmath78 $ ] for a fixed @xmath75 . denotes the smallest integer greater than or equal to @xmath79 , and @xmath80 denotes the greatest integer less than or equal to @xmath79 .
] the relations between two families of sets @xmath81 and @xmath82 for a four - body system are shown in fig .
[ figure1 ] .
schematic of sets @xmath83 ( dashed ) and @xmath84 ( solid ) for a four - body system.,width=321 ]
we describe the physical evolution of open quantum systems by the input  output formalism of quantum channels : @xmath85 $ ] , where @xmath86 is a completely positive trace - preserving ( cpt ) linear map on trace - class operators @xmath87 .
the physical meaning of the evolution via a cpt map @xmath88 can be readily seen from the stinespring dilation  @xcite : @xmath89 \equiv { \rm tr}_{\rm env } [ u ( \varrho_{\rm in } \otimes \xi_{\rm env } ) u^{\dag}]$ ] for some state of the environment @xmath90 and some unitary operator @xmath91 .
complete positivity ( cp ) of the map @xmath88 acting on a system @xmath92 guarantees that @xmath93 \ge 0 $ ] for all composite states @xmath94 of the system @xmath92 and an arbitrary ancilla , with @xmath95 being the identity transformation .
equivalently , the map @xmath88 is cp if it adopts the diagonal sum representation @xmath96 = \sum_k a_k x a_k^{\dag}$ ] . if the kraus operators @xmath97 satisfy @xmath98 ( identity operator ) , then @xmath88 is cpt .    in order to define a linear map @xmath88
acting on a system @xmath92 , we will use the choi
jamiokowski isomorphism  @xcite : @xmath99 , \\ & & \label{map - through - choi } \phi [ x ] = d^s \ , { \rm tr}_{s ' } \ , [ \,\omega_{\phi}^{ss ' } ( i_{\rm out}^s \otimes x^{\rm t } ) \ , ] , \end{aligned}\ ] ]    where @xmath100 , @xmath101 is a maximally entangled state shared by system @xmath92 and its clone @xmath102 , @xmath103 is the transposition in some orthonormal basis , and @xmath104 denotes the partial trace over @xmath102 .
the linear map @xmath105 is cp if and only if @xmath106 .
since our main interest is focused on many - body systems , let us consider a composite system @xmath107 acted upon by some channel @xmath108 . to begin with , @xmath109 , which explicitly shows the separability of the maximally entangled state with respect to the partition @xmath110 . while constructing the choi operator ( [ choi - matrix ] ) , the map @xmath111 can in general entangle these subsystems .
suppose a local channel @xmath112 which serves as an adequate model in situations when each particle is sent to a corresponding receiver through an individual quantum cable ( fig .
[ figure2]a ) . in this case ,
clearly , @xmath114 is cp if and only if each of the maps @xmath115 , @xmath116 , @xmath117 , @xmath118 is cp .
local channels : ( a ) general ; ( b ) homogeneous.,width=321 ]    in quantum communication , the typical scenario is to use a single quantum cable to transmit time - separated parties of a multipartite state from the encoder to the decoder ( fig .
[ figure2]b ) . neglecting the memory effects ,
the evolution of a multipartite system is governed by the homogeneous local channel @xmath119 , which also appears in the definition of channel capacities ( see , e.g. , the review  @xcite ) .
consider a composite @xmath1-body system @xmath107 that undergoes the physical evolution @xmath120 $ ] determined by some cpt map @xmath88 ( we also assume @xmath121 ) . if @xmath122 is separable with respect to the partition @xmath29 ( i.e. @xmath123 ) , then we say that the channel @xmath88 dissociates the entanglement compound of a given @xmath124 into smaller compounds of @xmath33_1,\ldots,[{{\cal p}}_j^k]_k$ ] and denote by @xmath125 the set of such channels .
if the channel @xmath88 dissociates the entanglement of all input states @xmath126 in this way , then we will refer to @xmath88 as dissociating entanglement with respect to the partition @xmath29 and denote @xmath127 .    using entanglement measures ( [ k - separability ] ) and ( [ r - entanglement ] )
, we can quantitatively describe the processes of entanglement structure dynamics .
namely , denote by @xmath128 a set of channels @xmath88 such that @xmath129 \right ] \ge k$ ] . by construction
, @xmath130 is a convex hull of the sets @xmath125 .
similarly , @xmath131 is a set of channels @xmath88 such that @xmath132 \right ] \le r$ ] .
regarding state - independent properties , we straightforwardly introduce the sets of channels @xmath133 and @xmath134 . the developed formalism of sec .
[ section - formalism ] immediately results in the following inclusion diagram for the above sets : @xmath135    we have used a special notation for two distinctive classes of channels :    * entanglement annihilating channels ( ea ) transforming any input state into a fully separable one @xcite ; * channels that dissociate genuine entanglement ( dge ) , thus , transforming genuinely entangled states into non - genuinely entangled ones .
the problem under investigation is twofold : ( i ) to characterize the sets of channels @xmath128 and @xmath136 as well as state - independent sets from the above diagram , ( ii ) to track how exactly the multiparticle entanglement structure dissociates under particular noises .
our special attention is paid to ea and dge channels .    before proceeding to the derivation of criteria , we need to clarify the relation between the problem involved and the well known approaches developed so far .
consider a ( not necessarily composite ) system @xmath92 acted upon by a channel @xmath137 .
if the choi operator @xmath138 is separable with respect to the partition @xmath139 , then @xmath88 is a so - called entanglement - breaking ( eb ) map @xcite , whose peculiarity is that @xmath140 $ ] is separable with respect to the partition @xmath141 for all density operators @xmath142 .
in fact , separability of @xmath138 implies that @xmath88 has the holevo form @xmath96 = \sum_k { { \rm tr}[f_k x ] } \omega_k$ ] , where @xmath143 is a positive operator - valued measure and @xmath144 , i.e. @xmath88 is a measure - and - prepare procedure .
the latter representation , in its turn , implies @xcite that there exists a diagonal sum representation with rank-1 kraus operators @xmath145 with @xmath146 and @xmath147 .    as concerns a composite system @xmath107 , the eb channel @xmath108 disentangles @xmath92 from any other system but can in principle result in any entanglement dynamics within @xmath92 ( among @xmath148 , @xmath149 , @xmath150 , @xmath118 ) .
for instance , the output state can be genuinely entangled or fully separable depending on the entanglement of vectors @xmath151 constituting kraus operators .
however , the local channel @xmath152 is entanglement breaking if and only if each of the channels @xmath115 , @xmath116 , @xmath117 , @xmath118 is entanglement breaking .
this can be readily seen from the requirement of separability of the choi operator @xmath153 with respect to the partition @xmath154 .
thus , the local entanglement breaking channel is automatically entanglement annihilating but the converse is not true
. these and other differences between entanglement breaking and entanglement annihilating channels are discussed in @xcite .
in this section , we provide criteria to detect the different kinds of entanglement dissociation discussed above .
we start with a description of our methodology which is based on an extensive use of various convex sets of operators and maps .
in addition to quantum states described by positive semidefinite unit trace operators @xmath155 , an important role will be played by block - positive operators @xcite . the operator @xmath156 is called block - positive with respect to the partition @xmath29 if it satisfies @xmath157_1 } \otimes \cdots \otimes \psi_k^{[{{\cal p}}_j^k]_k}| } \xi_j^k { | \psi_1^{[{{\cal p}}_j^k]_1 } \otimes \cdots \otimes \psi_k^{[{{\cal p}}_j^k]_k } \rangle } \ge 0\ ] ] for all vectors @xmath158 .
block - positive operators are closely related to entanglement witnesses @xcite and can be used to determine separability : a state @xmath155 is separable with respect to the partition @xmath29 if and only if @xmath159 } \ge 0 $ ] for all block - positive operators @xmath156 .
we must emphasize that the concepts of entanglement dissociation and annihilation from sec .
[ section - ea ] do not imply any ancillary system besides the multipartite system @xmath107 itself .
this allows to relax cpt condition of the physical transformation @xmath88 and construct an extended set @xmath160 $ ] of ( mathematical ) linear maps @xmath161 having the same entanglement behavior as @xmath88 on the corresponding domain of input states .
for example , the extended set @xmath162 $ ] consists of linear maps @xmath161 satisfying the only restriction that @xmath163 $ ] is equal to some @xmath43 .
similarly , @xmath164 $ ] and @xmath165 $ ] denote the extensions of sets @xmath128 and @xmath166 , respectively . as we show later
, the extensions turn out to be useful because they adopt a good characterization . the original set of maps
can be found by intersecting with cpt maps , e.g. , @xmath167 $ ] .
[ proposition-1 ] suppose a linear map @xmath161 acting on a system @xmath2 . then @xmath168 $ ] if and only if @xmath169 \ge 0 $ ] for all @xmath156 .
separability of @xmath163 $ ] with respect to the partition @xmath29 is equivalent to the inequality @xmath170
\xi_j^k \right ] \ge 0 $ ] for all @xmath156 . substituting ( [ map - through - choi ] ) for @xmath163 $ ] concludes the proof .    as a result ,
the cone @xmath171 $ ] is dual to the cone of maps @xmath172 = \xi_j^k { { \rm tr}[\varrho_{\rm in } x]}$ ] . as concerns the state - independent property @xmath173 , the map @xmath161 belongs to the set @xmath173 if its choi matrix satisfies @xmath174 \ge 0 $ ] for all @xmath156 and @xmath175 .
the criterion provided by proposition  [ proposition-1 ] is not quite operational . to overcome this obstacle
we derive sufficient criteria of entanglement dissociation .
consider a particular partition @xmath29 .
suppose a linear map @xmath176 which transforms the density operator @xmath124 into some hermitian ( but not necessarily positive ) operator @xmath177 $ ] such that @xmath178_1 } \otimes \cdots \otimes \psi_{m-1}^{[{{\cal p}}_j^k]_{m-1 } } \otimes i \otimes \psi_{m+1}^{[{{\cal p}}_j^k]_{m+1 } } \otimes \cdots \otimes \psi_k^{[{{\cal p}}_j^k]_k } \big| \nonumber\\ & & \times \,\ , \xi[\varrho_{\rm in } ] \,\ , \big| \psi_1^{[{{\cal p}}_j^k]_1 } \otimes \cdots \otimes \psi_{m-1}^{[{{\cal p}}_j^k]_{m-1 } } \otimes i \otimes \psi_{m+1}^{[{{\cal p}}_j^k]_{m+1 } } \nonumber\\ & & \quad\quad\quad\quad \otimes \cdots \otimes \psi_k^{[{{\cal p}}_j^k]_k } \big\rangle \ge 0\end{aligned}\ ] ]    is fulfilled for some vectors @xmath179 , i.e. @xmath177 $ ] after projection onto these vectors becomes a positive operator from the cone @xmath180_m})$ ] .
if this is the case , then for rank-1 kraus operators @xmath181 with arbitrary @xmath182 , the operator @xmath183 ( a_1^{\dag } \otimes \cdots \otimes a_{m-1}^{\dag } \otimes i \otimes a_{m+1}^{\dag } \otimes \cdots \otimes a_k^{\dag})$ ] belongs to a cone of separable states @xmath43 .
thus , we obtain the following sufficient criterion of entanglement dissociation .
[ proposition-2 ] concatenation of a linear hermitian map @xmath184 and a @xmath60-partite eb operation @xmath185_1 } \otimes \cdots \otimes { \rm id}^{[{{\cal p}}_j^k]_m } \otimes \cdots \otimes { { \cal o}}_{\rm eb}^{[{{\cal p}}_j^k]_k } \big)$ ] belongs to @xmath162 $ ] if @xmath177 $ ] becomes positive after projection on right - singular vectors of the rank-1 kraus operators of the eb operation .
the idea of proposition [ proposition-2 ] is shown for a 6-body system in fig .
[ figure3 ] .
the benefit of the constructed concatenation is that the map @xmath184 does not have to be positive ( in contrast to ref .
@xcite ) , which makes the set @xmath162 $ ] even larger .
when all possible states @xmath124 are considered , the satisfaction of requirement ( [ requirement ] ) becomes equivalent to the positivity of the map @xmath185_1 } \otimes \cdots \otimes { \rm id}^{[{{\cal p}}_j^k]_m } \otimes \cdots \otimes { { \cal o}}_{\rm eb}^{[{{\cal p}}_j^k]_k } \big ) \circ \xi$ ] .
this map is automatically positive if @xmath184 transforms density operators into block - positive operators @xmath156 , which in turn is equivalent to the fact that its choi operator is block - positive of the form @xmath186 .
[ corollary-1 ] if @xmath187 is block - positive with respect to the partition @xmath188 , then @xmath189_1 } \otimes \cdots \otimes { \rm id}^{[{{\cal p}}_j^k]_m } \otimes \cdots \otimes { { \cal o}}_{\rm eb}^{[{{\cal p}}_j^k]_k } \big ) \circ \xi \in { { \cal d}}_j^k$ ] for arbitrary eb operations .    [ cols="^,^,^,^,^,^,^,^,^,^ " , ]      the elementary block of ea channel
is obtained by applying entanglement breaking operations on @xmath190 particles ( see fig .
[ figure3]a ) .
the exact form of chosen eb operations reads @xmath191 = \frac{1}{2 } { | \psi_i \rangle } { \langle \psi_i| } x { | \psi_i \rangle } { \langle \psi_i|}$ ] , where @xmath192 form a symmetric informationally complete positive operator - valued measure ( sic - povm ) for qubits ( see the explicit analytical form of the vectors @xmath193 in  @xcite ) .
this choice is justified by the fact that @xmath194 .
( the same result would be obtained by using projectors on mutually unbiased bases @xcite instead of sic - povm elements , however , this approach leads to worse results for some input states @xmath124 . )
the suggested decomposition reads @xmath195_1 } \otimes \cdots \otimes { \rm id}^{[{{\cal p}}^n]_m }   \otimes \cdots \otimes \phi_{q=1/3}^{[{{\cal p}}^n]_n } \big ) \circ \xi_{a}(m),\ ] ]    where @xmath32 is the index of a particle not subjected to eb operations .
we have taken into account that each @xmath196 is composed of eb operations @xmath197 and therefore it is convenient to parameterize the map @xmath198 in such a way that the vectors @xmath199 are not included in the parametrization directly .
however , the linear map @xmath200 should satisfy the requirement ( [ requirement ] ) for all choices of vectors @xmath201 from the set @xmath193 . to parameterize the map
@xmath202 we resort to a so - called diagonal map of the form @xmath203 & = & \frac{1}{2^n } \sum_{i_1,\ldots , i_n=0,\ldots,3 } x_{i_1 \cdots i_n } { { \rm tr}[(\varsigma_{i_1}\otimes\cdots\otimes\varsigma_{i_n})x ] } \nonumber\\ & & \qquad \qquad \qquad \qquad \qquad \times \varsigma_{i_1}\otimes\cdots\otimes\varsigma_{i_n},\end{aligned}\ ] ]    where @xmath204 and @xmath205 , @xmath206 , @xmath207 are conventional pauli matrices .
let @xmath208 $ ] denote the number of zeros in the sequence @xmath209 .
consider diagonal maps @xmath200 such that the coefficients @xmath210 depend on @xmath211 $ ] and @xmath212 $ ] only , i.e. @xmath213,\#_0[i_1 \cdots i_{m-1 } i_{m+1 } \cdots i_n])$ ] , with restrictions on the parameters @xmath214 being imposed by ( [ requirement ] ) .
then , the relation ( [ ea - resolution ] ) becomes valid if @xmath215    where @xmath216 is the conventional kronecker delta .    for a fixed input state @xmath124
, we find the restrictions on the parameters @xmath214 given by ( [ requirement ] ) and then solve the system of equations ( [ ea - system ] ) numerically . if the system has a solution for some @xmath217 , then it also has a solution for @xmath218 .
solutions ( @xmath219 ) are presented for some interesting states @xmath124 ; @xmath220 ; @xmath221 , where @xmath222 is a projector on unextendible product bases for 3 qubits @xcite ; @xmath223 .
] of @xmath224 qubits in tables [ table - local ] and [ table - global ] for local and global noises , respectively .
we also consider the case of all possible input states as follows : since @xmath225 linearly depends on the parameters @xmath214 , we check the corresponding block - positivity of @xmath226 ( see corollary [ corollary-1 ] ) for some number of parameters @xmath214 and construct a convex hull of satisfactory parameters ; then we solve the system of equations ( [ ea - system ] ) for @xmath214 from the convex hull ; the maximum value @xmath227 for which the system has a solution is presented in tables [ table - local ] and [ table - global ] in the rows `` all ''
.      the output state will be @xmath229-separable and @xmath4-entangled if the channel can be decomposed into elementary transformations @xmath230 $ ] from proposition  [ proposition-2 ] , each containing @xmath231 eb operations @xmath232 on two qubits ( see fig .
[ figure3]b ) . as in the previous subsection
, we choose eb operations of the form @xmath233=\frac{1}{4}{| \psi_i \rangle } { \langle \psi_i| } x { | \psi_i \rangle } { \langle \psi_i|}$ ] , where @xmath234 form a sic - povm in @xmath235 ( see the explicit analytical form of the vectors @xmath236 in  @xcite ) .
then @xmath237 is a depolarizing map acting on two qubits ( @xmath148 and @xmath149 ) simultaneously .
the decomposition of channel @xmath88 reads @xmath238_1 } \otimes \cdots \nonumber\\ & & \otimes { \rm id}^{[{{\cal p}}_j^{n/2}]_m } \otimes \cdots \otimes \phi_{q=1/5}^{[{{\cal p}}_j^{n/2}]_{n/2 } }
\big ) \circ \xi_{b}(j , m),\end{aligned}\ ] ]    where @xmath239 is a set of @xmath240 partitions @xmath241 such that @xmath242_1 = \ldots = \#[{{\cal p}}_j^{n/2}]_{n/2 } = 2 $ ] ( two qubits in each party ) , and the map @xmath243 must meet the condition ( [ requirement ] ) for all choices of vectors @xmath244 from the set @xmath236 . using diagonal maps @xmath243 of the form ( [ diagonal ] ) with the parametrization @xmath245,\#_0[i_1
\cdots i_{l-1 } i_{l+1 } \cdots i_{l'-1 } i_{l'+1 } \cdots i_n])$ ] , @xmath246_m$ ] , we obtain the following system of equations : @xmath247    the maximal values of @xmath227 , for which the system has a solution compatible with ( [ requirement ] ) , are presented for various input states in tables [ table - local ] and [ table - global ]
.      the output state will be @xmath249-separable and @xmath229-entangled if the channel can be decomposed into elementary transformations @xmath250 $ ] , @xmath251 ( for such @xmath30s , the @xmath1-body system is divided into @xmath229 single - body parts plus one part comprising @xmath229 bodies , see fig . [ figure3]c ) . to find the decomposition for proposition [ proposition-3
] , we use the single - qubit eb operations @xmath252 , @xmath253 , @xmath254 as in sec .
[ section - applicability - ea ] .
this yields the following decomposition : @xmath255_1 } \otimes \cdots \otimes \phi_{q=1/3}^{[{{\cal p}}_j^{n/2 + 1}]_{n/2 } } \nonumber\\ & & \qquad\qquad\qquad\quad \otimes { \rm id}^{[{{\cal p}}_j^{n/2 + 1}]_{n/2 + 1 } } \big ) \circ \xi_{c}(j),\end{aligned}\ ] ]    where the map @xmath256 must satisfy the requirement ( [ requirement ] ) for all choices of vectors @xmath257 from the set @xmath193 ( vectors corresponding to sic - povm for a qubit ) . using diagonal maps @xmath256 of the form ( [ diagonal ] ) with the parametrization @xmath258,\#_0[i_{l_1 } \cdots i_{l_{n/2}}])$ ] , @xmath259_{n/2 + 1}$ ] , we obtain the following system of equations : @xmath260    the maximal values of @xmath227 , for which the system has a solution compatible with ( [ requirement ] ) , are presented for various input states in tables [ table - local ] and [ table - global ]
.      the output state will be @xmath4-separable and @xmath229-entangled if the channel can be decomposed into elementary transformations @xmath262 $ ] , @xmath263 ( such choice of @xmath30s corresponds to bipartitions of an @xmath1-body system into equal @xmath229-body parts , see fig .
[ figure3]d ) .
we use the following eb operations @xmath232 on @xmath229 qubits : @xmath233=\frac{1}{2^{n/2}}{| \psi_i \rangle } { \langle \psi_i| } x { | \psi_i \rangle } { \langle \psi_i|}$ ] , where @xmath264 is a set of normalized vectors such that @xmath265 is a set of sic projectors ( see the explicit form of vectors @xmath264 up to @xmath266 in @xcite ) .
[ let us recall that a particular form of vectors @xmath199 is important only for a particular input state @xmath124 .
if the input state is arbitrary , i.e. the domain is @xmath267 , then one should not care about the specific form of eb operations . ]
the important fact is that @xmath268 is a depolarizing map acting on @xmath229 qubits .
the possible decomposition reads @xmath269_m } \otimes { \rm id}^{[{{\cal p}}_j^{2}]_{\{1,2\ } \setminus m } } \big ) \circ \xi_{d}(j , m),\end{aligned}\ ] ]    where @xmath270 must satisfy condition ( [ requirement ] ) for all vectors @xmath264 and for the corresponding domain of density operators @xmath124 . for computational reasons
let us note that checking the validity of ( [ requirement ] ) is less time - consuming when we justify the positivity of the hermitian operator without revealing its eigenvalues .
namely , the eigenvalues of a @xmath271 hermitian matrix @xmath272 are non - negative if and only if @xmath273 for @xmath274 , where @xmath275 is given by the recurrence relation @xmath276}$ ] with initial condition @xmath277 @xcite .
we use this technique for @xmath278 .    using diagonal maps @xmath270 of the form ( [ diagonal ] ) with the parametrization @xmath279,\#_0[\{i_1 \cdots i_n\ } \setminus \{i_{l_1 } \cdots i_{l_{n/2}}\}])$ ] , @xmath280_m$ ] , we obtain the following system of equations : @xmath281    the maximal values of @xmath227 , for which the system has a solution , are presented for various @xmath124 in tables [ table - local ] and [ table - global ] .
scaling of the entanglement degradation properties of an @xmath1-qubit local depolarizing channel @xmath282 with increasing @xmath1 : ( a ) entanglement annihilation , ( b ) dissociation of genuine entanglement.,width=321 ]          the elementary blocks of these channels can be obtained by applying an eb operation on a single qubit ( fig . [
figure3]e ) .
we use the same eb operations as in subsection [ section - applicability - ea ] .
this yields the decomposition @xmath283_1 } \otimes { \rm id}^{[{{\cal p}}_{j = m}^2]_2 } \big ) \circ \xi_{e}(m),\ ] ]    where the map @xmath284 must satisfy ( [ requirement ] ) for all vectors @xmath193 corresponding to sic - povm for a qubit . using diagonal maps @xmath284 of the form ( [ diagonal ] ) with the parametrization @xmath285,\#_0[i_1
i_{m-1 } i_{m+1 } \cdots i_n])$ ] , we find that ( [ age - resolution ] ) becomes a valid equality if @xmath286    the maximal values @xmath227 , for which the system has a solution and ( [ requirement ] ) is fulfilled , are presented for various input states in tables [ table - local ] and [ table - global ] .
to begin with , the npt criterion gives a little information about the multipartite entanglement structure .
indeed , one can observe in tables [ table - local ] and [ table - global ] many situations when @xmath287 $ ] is either negative under partial transpose but not genuinely entangled , or positive under partial transpose but not fully separable .
the gap between states @xmath287 $ ] that are surely not genuinely entangled and those that are definitely genuinely entangled is quite narrow for particular input states .
this can be treated as an indication of the efficiency of the rather simple decomposition ( [ age - resolution ] ) involving single - qubit entanglement breaking operations .
the remarkable fact is that our method enables us to consider _ all _ input states and find channels that transform any of them to a particular entanglement structure .
this is what we mean by a `` typical '' behavior .
for example , we can detect channels that annihilate entanglement , for which the output state is always fully separable whatever the input state is .
note , that the bounds obtained on @xmath227 for entanglement annihilation are higher than those that can be found via the condition of sufficiently small purity @xmath288)^2]}$ ] @xcite .
scaling of ea for the local depolarizing channel is shown in fig .
[ figure4]a .
when @xmath289 , the channel @xmath282 can not be ea if @xmath290 @xcite , however , the question if @xmath291 still remains an open problem . on the contrary , from formula ( [ age - system ] )
one can see that the genuine entanglement of any input state can be dissociated by a negligible noise in the limit @xmath289 ( fig . [
figure4]b ) .
the dissipative dynamics under consideration can be described by the gradually decreasing parameter @xmath292 , where the dissipation rate @xmath293 takes , in principle , different values for local and global noises . for our purposes it is enough to know that @xmath227 continuously diminishes from @xmath294 to @xmath295 . for such types of dissipative dynamics , the state evolution through the nested sets of sec .
[ section - formalism ] is irreducible : once the state comes into a particular `` doll '' of the structure , it can not escape it in the future .    using the data from table [ table - local ] , we may conclude that the dissociation of genuine multiparticle entanglement under local depolarizing noise starts by detaching a single random particle ( i.e. the state becomes @xmath296-entangled )
. then the noise detaches particles one by one resulting in @xmath3-separable @xmath297-entangled states ( @xmath3 increases with decreasing @xmath227 ) .
indeed , since the noise is local , once a particle is detached from the entanglement compound , there is no way for it to rejoin ( fig .
[ figure5 ] ) .
finally , the noisy evolution makes the state fully separable .
the analysis of table [ table - global ] shows that the entanglement dissociation progresses in a different way under global depolarizing noise : while the beginning stage also implies detaching of a single random particle from the entanglement compound , in further dynamics this particle can fuse with another one and form a two - particle entanglement cluster that is detached from the main compound ( a convex combination of such states ) .
the process continues until the point when the original compound is divided into two clusters ( @xmath4-separable @xmath229-entangled state ) , then the detachment of particles and their successive fusion result in the formation of more entanglement clusters of smaller size ( @xmath3-separable @xmath298-entangled state , @xmath3 increases with decreasing @xmath227 ) , and so on until the full separability ( see fig .
[ figure5 ] for the case of 6 qubits ) .
our study was motivated by the necessity to know the multiparticle entanglement structure and its vulnerability to noises in physical and quantum - informational applications .
we did not restrict ourselves to specific input states and considered the set of all possible states as well .
we found criteria for maps dissociating entanglement with respect to a particular partition and developed sufficient conditions for their reliable detection .
namely , the channel of interest should adopt a decomposition into ( not necessarily completely positive ) linear maps which give rise to the desired form of the output .
one can draw a rough analogy between this decomposition and the path integral formulation of quantum mechanics , where the trajectories can be quite non - physical but this does not affect the resulting physical evolution . for local and global depolarizing @xmath1-qubit channels we provided a simple strategy of constructing decompositions that allowed us to find noise levels guaranteeing the particular form of entanglement structure .
our decompositions are not optimal and can in principle be improved by applying modifications of semidefinite programming @xcite and other algorithms @xcite for choi operators .
nevertheless , our toolbox allowed us to reveal differences in entanglement structure dynamics under local and global noises : the particles split one by one from the entanglement compound in the case of local noise , and tend to form clusters in the case of global noise .
we believe that the obtained results may be extended to other noise models and provide additional information about the general rules of the dynamics of multiparticle entanglement structure .    _
acknowledgments_. this work was supported by eu integrated project siqs , cost action mp1006 , apvv-0646 - 10 ( coqi ) and vega 2/0127/11 ( tequde ) .
s.n.f . acknowledges support from the national scholarship programme of the slovak republic and the 7th fp project iqit .
s.n.f . and a.a.m .
acknowledge support from the dynasty foundation and the russian foundation for basic research under project no .
12 - 02 - 31524-mol - a .
a.a.m . acknowledges partial support from the austrian science fund ( fwf ) through the sfb foqus : f 4012 .
m.z . acknowledges support from 7th fp strep project raquel and gacr project p202/12/1142 .