 state $|\xi\rangle$ of ABC. (The two necessary dimensions are those spanned by the two eigenstates of $\rho_{BC}$ that have non-zero eigenvalues. That there are only two such eigenvalues follows from the fact that A is only a qubit.) We may thus treat A and BC, at least for this purpose, as a pair of qubits, and so the tangle is well defined. In fact this tangle $\tau_{A(BC)}$ is simply $4\det{\rho_A}$ as we have mentioned before. We can therefore rewrite our result as $$\tau_{AB}+\tau_{AC} \le \tau_{A(BC)}.  \label{3taus}$$ Informally, Eq. (\[3taus\]) can be expressed as follows. Qubit A has a certain amount of entanglement with the pair BC. This amount bounds A’s entanglement with qubits B and C taken individually, and the part of the entanglement that is devoted to qubit B (as measured by the tangle) is not available to qubit C.

We will say more shortly about the case of three qubits in a pure state, but at this point it is worth mentioning a generalization to mixed states. If ABC is in a mixed state $\rho$, then $\tau_{A(BC)}$ is not defined, because all four dimensions of BC might be involved, but we can define a related quantity $\tau^{min}_{A(BC)}$ via the following prescription. Consider all possible pure-state decompositions of the state $\rho$, that is, all sets $\{(\psi_i,p_i)\}$ such that $\rho = \sum_i p_i 
|\psi_i\rangle\langle\psi_i|$. For each of these decompositions, one can compute the average value of $\tau_{A(BC)}$: $$\langle \tau_{A(BC)} \rangle = \sum_i p_i \tau_{A(BC)}(\psi_i).$$ The minimum of this average over all decompositions of $\rho$ is what we take to be $\tau^{min}_{A(BC)}(\rho)$. The following analogue of Eq. (\[3taus\]) then holds for mixed states: $$\tau_{AB}+\tau_{AC} \le \tau^{min}_{A(BC)}.  \label{mixed}$$ To prove this, consider the pure states $|\psi_i\rangle$ belonging to an optimal decomposition of $\rho$,
state $ |\xi\rangle$ of ABC. (The two necessary dimensions are those spanned by the two eigenstates of $ \rho_{BC}$ that have non - zero eigenvalue. That there be only two such eigenvalues follow from the fact that vitamin a is only a qubit .) We may thus process A and BC, at least for this purpose, as a pair of qubits, and thus the tangle is well defined. In fact this tangle $ \tau_{A(BC)}$ is simply $ 4\det{\rho_A}$ as we have mention before. We can therefore rewrite our resultant role as $ $ \tau_{AB}+\tau_{AC } \le \tau_{A(BC) }.   \label{3taus}$$ Informally, Eq.   (\[3taus\ ]) can be expressed as follows. Qubit A has a certain amount of web with the pair BC. This amount bounds vitamin a ’s entanglement with qubits B and C take individually, and the region of the entanglement that is devoted to qubit B (as measured by the tangle) is not available to qubit C. 

 We will say more shortly about the shell of three qubits in a pure state, but at this point it is worth mentioning a generalization to mixed states. If ABC is in a mixed state $ \rho$, then $ \tau_{A(BC)}$ is not defined, because all four dimensions of BC might be involved, but we can define a related quantity $ \tau^{min}_{A(BC)}$ via the following prescription. see all possible pure - department of state decompositions of the state $ \rho$, that is, all sets $ \{(\psi_i, p_i)\}$ such that $ \rho = \sum_i p_i 
 |\psi_i\rangle\langle\psi_i|$. For each of these decompositions, one can calculate the average value of $ \tau_{A(BC)}$: $ $ \langle \tau_{A(BC) } \rangle = \sum_i p_i \tau_{A(BC)}(\psi_i).$$ The minimum of this average over all decomposition of $ \rho$ is what we take to be $ \tau^{min}_{A(BC)}(\rho)$. The following analogue of Eq.   (\[3taus\ ]) then hold for mixed states: $ $ \tau_{AB}+\tau_{AC } \le \tau^{min}_{A(BC) }.   \label{mixed}$$ To prove this, consider the pure states $ |\psi_i\rangle$ belonging to an optimal decomposition of $ \rho$,
 stwte $|\xi\rangle$ of ABC. (The uwo necessary dimgnwions ere thoae spanndd by the two eigenstates of $\ryo_{BC}$ ukat have non-zero eigdnvalues. Nhat therw art only two such emfenvalucf fompows hrom the fact tmat A is onny a qubit.) We kah chus treat A and BC, at least for thif purpoxe, as a pair of zubius, wnd ao the tangle is well defined. In fzct thiv tangle $\tau_{A(NC)}$ is simply $4\det{\rho_A}$ as we havf mentioned before. We can thetsfoww rewrite ouf result as $$\tau_{AB}+\tau_{AC} \le \tau_{A(BC)}.  \label{3taus}$$ Informallh, Eq. (\[3tcus\]) can be grpredved as folliws. Qlbit A has a gvrtain dmount pf entanglemenb witi thw pair BC. This amount bounds A’s entanglgment with qbbits B and C taken ibduvidudlly, and rhe padt or the fntenglement tgat is devored to qubit B (as mtastgrd by the tahgle) if got available to qubit C.

We will say mort shodtly about the case of rhree qubits in a purg state, bue at this point it is worth mentioning a generalisatioi go niwed rrahes. If ABC is in a mixed state $\rho$, then $\tau_{A(BS)}$ ix kot defined, becamse all four dimenxilnx of BC might ce involvsd, but we can defije a rejated quantity $\tau^{kin}_{A(BC)}$ via the following prwscription. Cjbsider all possiblz pure-state becomppsitipns of the state $\rho$, thct is, zll sets $\{(\psl_i,p_i)\}$ such ghat $\rho = \sum_i p_k 
|\pxi_h\rangle\langle\psi_i|$. For each of these decpmpositkons, one cwn compute the average value of $\tak_{A(BC)}$: $$\patgle \tau_{A(BF)} \rangle = \sum_i p_i \tau_{A(BC)}(\psi_i).$$ Thx minimum of jhiv anerage ovzr all decompositiogs of $\rho$ is wkat we tcke to be $\tau^{min}_{Z(BC)}(\rho)$. Vhe followind analogue of Gq. (\[3taus\]) then hmlds for mixwd srates: $$\txj_{AB}+\tau_{AC} \le \tai^{min}_{A(BC)}.  \label{mixed}$$ To prove this, conxidgr the pure statew $|\pwi_i\rangle$ belonbine tj wn o[dimal decompmsitkon pf $\rhu$,
state $|\xi\rangle$ of ABC. (The two necessary those by the eigenstates of $\rho_{BC}$ there only two such follows from the that A is only a qubit.) may thus treat A and BC, at least for this purpose, as a of qubits, and so the tangle is well defined. In fact this tangle is $4\det{\rho_A}$ we mentioned before. We can therefore rewrite our result as $$\tau_{AB}+\tau_{AC} \le \tau_{A(BC)}. \label{3taus}$$ Informally, Eq. (\[3taus\]) be expressed as follows. Qubit A has a amount of entanglement with pair BC. This amount bounds entanglement qubits B C individually, the part of entanglement that is devoted to qubit B (as measured by the tangle) is not available to qubit We will shortly about case three in a pure at this point it is worth to mixed states. If ABC is in a state $\rho$, $\tau_{A(BC)}$ is not defined, because all dimensions of BC might be involved, but we define a related quantity $\tau^{min}_{A(BC)}$ via the following prescription. Consider all possible pure-state decompositions of $\rho$, that is, all $\{(\psi_i,p_i)\}$ such that = p_i For of these one can compute the average value of $\tau_{A(BC)}$: $$\langle \tau_{A(BC)} \rangle \sum_i p_i \tau_{A(BC)}(\psi_i).$$ The minimum of this average over all $\rho$ what we take be $\tau^{min}_{A(BC)}(\rho)$. The following of (\[3taus\]) then holds for $$\tau_{AB}+\tau_{AC} \tau^{min}_{A(BC)}. this, the states $|\psi_i\rangle$ belonging to optimal decomposition of $\rho$,
 state $|\xi\rangle$ of ABC. (The two nEcessary diMensiOns Are ThOse sPannEd by the two eigeNStatEs of $\rho_{BC}$ that have non-zeRo eigEnVAlueS. thAt theRe are onLY tWO SucH eIgEnvAlUEs FolloWs fRom the fAct that A is OnlY a Qubit.) We may thUS tReat A and BC, At lEast for this pUrpOse, as a PaIr oF QubitS, anD so thE tanglE Is well Defined. In FaCT this tANgle $\tau_{a(bc)}$ iS simPly $4\det{\rho_A}$ as we havE MeNTioned before. We Can theReFOrE REwrIte Our result aS $$\tAu_{AB}+\tAU_{AC} \le \taU_{a(Bc)}.  \LABel{3TAus}$$ Informally, eq. (\[3taus\]) can be EXprEssed aS fOllOWs. QubiT A has A cERtaIn amount of eNtanGlement wiTh the pAIr BC. ThiS Amount bOunds A’S enTanGlemENt WiTh qUbITs B ANd c taKEn iNdividuaLlY, aNd the Part OF THE entAngLemeNt thaT is devoted to qUbiT B (as MEasUred bY the tAnglE) iS not aVailabLe to qUbIt C.

We will say morE shoRtly about The CaSe oF tHree qUBits in A puRe sTate, but At this pOInt It IS WOrTh mentioning a generAlIZAtIon to mixEd statES. IF Abc is in a miXeD stAte $\rHO$, Then $\tAu_{A(Bc)}$ Is Not definEd, becaUSe AlL four diMeNsions Of bC mIghT be inVOlveD, but we Can definE a relATed quantity $\tau^{MIn}_{A(BC)}$ via the foLLoWINg PRescRipTion. ConsideR all POssiBle pURe-StaTE decoMposiTiONs OF the state $\rho$, that is, aLl Sets $\{(\psI_i,p_i)\}$ sUch that $\rho = \sum_I p_i 
|\psi_i\ranGLE\Langle\psI_i|$. FoR EaCH of these decompOsitiOns, one can cOMpute the AveraGe value oF $\tau_{A(BC)}$: $$\laNGLe \tau_{A(BC)} \RanGle = \Sum_I p_i \TAU_{A(bC)}(\psi_i).$$ The miniMUM of tHiS averagE ovEr all deComPosItiOns Of $\Rho$ is what We take to Be $\TaU^{mIn}_{a(BC)}(\Rho)$. ThE FollowinG aNalOgUe oF Eq. (\[3taUS\]) then hOlds fOr miXeD sTAteS: $$\tau_{AB}+\tAU_{Ac} \LE \tau^{MiN}_{A(bC)}.  \laBel{MiXed}$$ To ProvE ThiS, considEr the pure StaTEs $|\psI_i\RaNgle$ belOnging to an optImAl decomposItIon Of $\rho$,
 state $|\xi\rangle$ of AB C. (The tw o nec ess ary  d imen sion s are those sp a nned  by the two eigenstate s of$\ r ho_{ B C} $ tha t haven on - z ero  e ig env al u es . Tha t t here ar e only two  su ch  eigenvalues fo llows from  th e fact thatA i s only  a  qu b it.)Wemay t hus tr e at A a nd BC, at  l e ast fo r  this p u r po se,as a pair of qubi t s, and so the tan gle is  w e ll d efi ned . In factth is ta n gle $\t a u_ { A ( BC) } $ is simply $ 4\det{\rho_ A }$as weha vem ention ed be fo r e.We can ther efor e rewrite  our r e sult as $$\tau_ {AB}+\ tau _{A C} \ l e\t au_ {A ( BC) } . \l a bel {3taus}$ $In forma lly, E q .  (\[ 3ta us\] ) can  be expressed  as  fol l ows . Qub it Ahasacerta in amo unt o fentanglement wi th t he pair B C.Th isam ountb oundsA’s  en tanglem ent wit h  qu bi t s Band C taken indivi du a l ly , and th e part of  t h e entang le men t th a t  is d evot e dto qubit  B (as me as ured by  t he tan gl e)isnot a v aila ble to  qubit C .

We will say mores hortly aboutt he c as e  ofthr ee qubits i n ap urestat e ,but at th is po in t  i t  is worth mentionin ga gene raliz ation to mixe d states.I f ABC is i n am ix e d state $\rho$ , the n $\tau_{A ( BC)}$ is  notdefined,  becausea l l four d ime nsi ons  of B Cmight be invo l v ed,bu t we ca n d efine a  re lat edqua nt ity $\tau ^{min}_{ A( BC )} $via  thef ollowing  p res cr ipt ion.C onside r all  pos si bl e  pu re-stat e  d e c ompo si ti onsofth e sta te $ \ rho $, that  is, allset s  $\{ (\ ps i_i,p_i )\}$ such tha t$\rho = \s um _ip_i 
| \ p si_i\ran gle\langle\psi_i|$. For each of  th ese d ecom positions , o ne can  co m pute t he ave rageva lue o f $\t a u _{ A(B C) }$: $$\lan g l e \ tau_{ A( BC)}  \rangl e = \sum_i p_i \ta u _{A (BC)}(\psi_i) .$$  The m in imu m  o f  th is ave r a ge over all dec omposition so f$\rho$ isw hat  w e taketo be $ \tau^ { min}_{A (BC)}(\rh o)$. Thefo llow i n g a nalogue of  Eq. (\[ 3taus\])t hen h o ld s for  mi xed st at es:  $$\t au_{AB } +\t au_{A C} \le  \ tau^{m in}_{ A( BC)}.  \ label{mixed}$$ To prove  this,  cons ide r the pur e s t ate s $|\psi_ i\ra ngle$ belo ngi ngto an  op t imaldeco m po sit i on of  $\r h o$,
 state_$|\xi\rangle$ of_ABC. (The two necessary_dimensions are_those_spanned by_the_two eigenstates of_$\rho_{BC}$ that have_non-zero eigenvalues. That there_are only two_such_eigenvalues follows from the fact that A is only a qubit.) We may thus_treat_A and_BC,_at_least for this purpose, as_a pair of qubits, and_so the_tangle is well defined. In fact this tangle_$\tau_{A(BC)}$_is simply $4\det{\rho_A}$_as we have mentioned before. We can therefore rewrite_our result as $$\tau_{AB}+\tau_{AC} \le \tau_{A(BC)}._ \label{3taus}$$ Informally,_Eq. (\[3taus\])_can_be expressed as follows._Qubit A has a certain amount_of entanglement with the pair BC._This amount bounds A’s entanglement with qubits_B and C taken individually, and_the part of the entanglement_that is_devoted to qubit B (as_measured by the_tangle) is_not available to_qubit C.

We will say more shortly_about the case_of three qubits in a pure_state,_but at this_point_it_is worth_mentioning a generalization_to_mixed states._If_ABC is in a mixed state_$\rho$,_then $\tau_{A(BC)}$ is not defined, because all_four dimensions of BC_might_be involved, but we_can define a related quantity_$\tau^{min}_{A(BC)}$ via the following prescription. Consider_all possible_pure-state decompositions_of the state $\rho$, that is, all sets $\{(\psi_i,p_i)\}$ such that_$\rho = \sum_i p_i 
|\psi_i\rangle\langle\psi_i|$. For_each of these decompositions,_one can_compute_the average value_of_$\tau_{A(BC)}$: $$\langle_\tau_{A(BC)} \rangle = \sum_i p_i \tau_{A(BC)}(\psi_i).$$ The_minimum of_this average over all decompositions of_$\rho$ is what we_take_to be $\tau^{min}_{A(BC)}(\rho)$. The following analogue_of Eq. (\[3taus\]) then holds for mixed_states: $$\tau_{AB}+\tau_{AC} \le \tau^{min}_{A(BC)}. _\label{mixed}$$_To_prove this, consider the pure_states $|\psi_i\rangle$ belonging to an optimal_decomposition of $\rho$,