{H}^A$ to $\mathcal{H}^B$ and density operators on $\mathcal{H}^B \otimes \mathcal{H}^A$, which is essential for FIG. 5 and Theorem \[thm:stabprop\].

Completely positive maps $\Lambda$ with $0 \leq \text{Tr}(\Lambda(\rho)) \leq \text{Tr}(\rho)$ have an operational interpretation: the associated channels can ‘fail’ or ‘abort’ the computation by yielding 0. For example, let $\Lambda$ be the channel that measures in the $\sigma_Z$ basis and postselects on obtaining $\ket{0}$. Then $\Lambda(\ket{1}\bra{1}) = 0$, and $\Lambda(\ket{+}\bra{+}) = \frac{1}{2} \ket{0}\bra{0}$.

Let $\Lambda$ be a completely positive map from $\mathcal{H}^A$ to $\mathcal{H}^B$. Let $\ket{\text{Bell}_A} \in \mathcal{H}^A \otimes \mathcal{H}^A$ be a Bell state for $\mathcal{H}^A$, i.e. if $\{\ket{i}\}$ are a basis for $\mathcal{H}^A$ then:

$$\ket{\text{Bell}_A} = \frac{1}{\sqrt{\text{dim}(\mathcal{H}^A)}} \sum_i \ket{i} \otimes \ket{i}$$

The **un-normalized Choi state** $\phi_\Lambda$ of $\Lambda$ is the resulting state when $\Lambda$ is applied to one half of $\ket{\text{Bell}_A}$.

$$\phi_\Lambda = (\Lambda \otimes I)(\ket{\text{Bell}_A}\bra{\text{Bell}_A} ) \in \mathcal{H}^B \otimes \mathcal{H}^A$$

$\text{Tr}(\phi_\Lambda$) of $\Lambda$ can be less than 1 if $\Lambda$ is not trace preserving. Let $\bar \phi_\Lambda = \phi_\Lambda/\text{Tr}(\phi_\Lambda)$ be the **normalized Choi state** with trace 1. This distinction is crucial.

To calculate the output of a channel $\Lambda(\rho)$ given its Choi state $\phi_\Lambda$ we compute: $$\Lambda(\rho) = \text{dim}(\mathcal
{ H}^A$ to $ \mathcal{H}^B$ and density operators on $ \mathcal{H}^B \otimes \mathcal{H}^A$, which is essential for FIG.   5 and Theorem   \[thm: stabprop\ ]. 

 Completely incontrovertible map $ \Lambda$ with $ 0 \leq \text{Tr}(\Lambda(\rho) ) \leq \text{Tr}(\rho)$ have an operational interpretation: the consort channels can ‘ fail ’ or ‘ abort ’ the computation by yield 0. For exercise, let $ \Lambda$ be the groove that measures in the $ \sigma_Z$ basis and postselects on prevail $ \ket{0}$. Then $ \Lambda(\ket{1}\bra{1 }) = 0 $, and $ \Lambda(\ket{+}\bra{+ }) = \frac{1}{2 } \ket{0}\bra{0}$. 

 Let $ \Lambda$ be a completely positivist map from $ \mathcal{H}^A$ to $ \mathcal{H}^B$. lease $ \ket{\text{Bell}_A } \in \mathcal{H}^A \otimes \mathcal{H}^A$ be a Bell state for $ \mathcal{H}^A$, i.e. if $ \{\ket{i}\}$ are a basis for $ \mathcal{H}^A$ then: 

 $ $ \ket{\text{Bell}_A } = \frac{1}{\sqrt{\text{dim}(\mathcal{H}^A) } } \sum_i \ket{i } \otimes \ket{i}$$ 

 The * * un - normalize Choi state * * $ \phi_\Lambda$ of $ \Lambda$ is the resulting state when $ \Lambda$ is put on to one half of $ \ket{\text{Bell}_A}$. 

 $ $ \phi_\Lambda = (\Lambda \otimes I)(\ket{\text{Bell}_A}\bra{\text{Bell}_A }) \in \mathcal{H}^B \otimes \mathcal{H}^A$$ 

 $ \text{Tr}(\phi_\Lambda$) of $ \Lambda$ can be less than 1 if $ \Lambda$ is not trace preserving. Let $ \bar \phi_\Lambda = \phi_\Lambda/\text{Tr}(\phi_\Lambda)$ be the * * normalize Choi state * * with trace 1. This distinction is crucial. 

 To calculate the end product of a channel $ \Lambda(\rho)$ given its Choi state $ \phi_\Lambda$ we compute: $ $ \Lambda(\rho) = \text{dim}(\mathcal
{H}^A$ ho $\mathcal{H}^B$ and density operators on $\mcrhcal{H}^U \otimea \mathcau{H}^A$, which is essential for FMG. 5 abd Thtjrem \[thm:stabprop\].

Comoletely plsitive naps $\Oambda$ witi $0 \leq \tcrt{Tr}(\Lzlbda(\xhi)) \leq \text{Tr}(\rhp)$ have an mperational indefpxetation: the associated channels can ‘fail’ ot ‘wbort’ the compotatipg by jitlding 0. For example, let $\Lambda$ be the chennel that measires in the $\sigma_Z$ basis ajd plstselects on obtalning $\ket{0}$. Tyen $\Jqmbda(\ket{1}\bra{1}) = 0$, and $\Lambda(\ket{+}\bra{+}) = \frzc{1}{2} \ket{0}\bra{0}$.

Let $\Lambda$ be a complegely 'ositive mak rrlk $\mathcal{H}^A$ to $\mwthcal{H}^B$. Let $\ket{\text{Tell}_A} \im \mathcal{H}^A \otlmes \katycal{H}^A$ be a Bell statx for $\mathcal{H}^A$, i.e. is $\{\ket{i}\}$ ara c basis for $\mathcal{H}^A$ tyen:

$$\kej{\text{Tell}_X} = \ffac{1}{\aqct{\tsxt{dim}(\latical{H}^A)}} \sum_i \ket{i} \otimew \ket{i}$$

The **un-normalieed Bnoi state** $\phj_\Lambdw$ jf $\Lambda$ is the resulting state when $\Ldmbsa$ is applied to one haof of $\ket{\text{Bell}_A}$.

$$\phi_\Pambda = (\Lwmbda \otimes I)(\ket{\text{Bell}_A}\bra{\text{Bell}_A} ) \in \mathcan{H}^B \ovioes \mwgycwl{H}^A$$

$\text{Tr}(\phi_\Lambda$) of $\Lambda$ can be less thag 1 of $\Lambda$ is not trace presrrgimd. Let $\bar \phi_\Uambda = \pgi_\Lambda/\text{Tr}(\phi_\Lwmbda)$ bg the **bormalizeq Chpi state** with trace 1. This dustinction if crucial.

To calculace the outpuc of a chanmel $\Lambda(\rho)$ given its Choj state $\phi_\Pambda$ we zompute: $$\Lambda(\rhu) = \next{gim}(\mathcal
{H}^A$ to $\mathcal{H}^B$ and density operators on \mathcal{H}^A$, is essential FIG. 5 and $\Lambda$ $0 \leq \text{Tr}(\Lambda(\rho)) \text{Tr}(\rho)$ have an interpretation: the associated channels can ‘fail’ ‘abort’ the computation by yielding 0. For example, let $\Lambda$ be the channel measures in the $\sigma_Z$ basis and postselects on obtaining $\ket{0}$. Then $\Lambda(\ket{1}\bra{1}) = and = \ket{0}\bra{0}$. $\Lambda$ be a completely positive map from $\mathcal{H}^A$ to $\mathcal{H}^B$. Let $\ket{\text{Bell}_A} \in \mathcal{H}^A \otimes \mathcal{H}^A$ a Bell state for $\mathcal{H}^A$, i.e. if $\{\ket{i}\}$ a basis for $\mathcal{H}^A$ $$\ket{\text{Bell}_A} = \frac{1}{\sqrt{\text{dim}(\mathcal{H}^A)}} \sum_i \ket{i} \ket{i}$$ **un-normalized Choi $\phi_\Lambda$ $\Lambda$ the resulting state $\Lambda$ is applied to one half of $\ket{\text{Bell}_A}$. $$\phi_\Lambda = (\Lambda \otimes I)(\ket{\text{Bell}_A}\bra{\text{Bell}_A} ) \in \mathcal{H}^B \otimes $\text{Tr}(\phi_\Lambda$) of be less 1 $\Lambda$ not trace preserving. \phi_\Lambda = \phi_\Lambda/\text{Tr}(\phi_\Lambda)$ be the **normalized trace 1. This distinction is crucial. To calculate output of channel $\Lambda(\rho)$ given its Choi state we compute: $$\Lambda(\rho) = \text{dim}(\mathcal
{H}^A$ to $\mathcal{H}^B$ and density opErators on $\mAthcaL{H}^B \OtiMeS \matHcal{h}^A$, which is essenTIal fOr FIG. 5 and Theorem \[thm:stabProp\].

COmPLeteLY pOsitiVe maps $\LAMbDA$ WitH $0 \lEq \TexT{TR}(\laMbda(\rHo)) \lEq \text{TR}(\rho)$ have an OpeRaTional interpREtAtion: the asSocIated channelS caN ‘fail’ oR ‘aBorT’ The coMpuTatioN by yieLDing 0. FoR example, lEt $\lAmbda$ bE The chanNEL tHat mEasures in the $\sigma_z$ BaSIs and postselecTs on obTaINiNG $\Ket{0}$. theN $\Lambda(\ket{1}\BrA{1}) = 0$, and $\LAMbda(\ket{+}\BRa{+}) = \FRAC{1}{2} \keT{0}\Bra{0}$.

Let $\Lambda$ bE a completelY PosItive mAp FroM $\MathcaL{H}^A$ to $\MaTHcaL{H}^B$. Let $\ket{\teXt{BeLl}_A} \in \mathCal{H}^A \oTImes \matHCal{H}^A$ be A Bell sTatE foR $\matHCaL{H}^a$, i.e. If $\{\KEt{i}\}$ ARe A baSIs fOr $\mathcaL{H}^a$ tHen:

$$\keT{\texT{bELL}_A} = \frAc{1}{\sQrt{\tExt{diM}(\mathcal{H}^A)}} \sum_I \keT{i} \otIMes \Ket{i}$$

THe **un-nOrmaLiZed ChOi statE** $\phi_\LAmBda$ of $\Lambda$ is thE resUlting staTe wHeN $\LaMbDa$ is aPPlied tO onE haLf of $\ket{\Text{BelL}_a}$.

$$\phI_\LAMBDa = (\lambda \otimes I)(\ket{\teXt{bELl}_a}\bra{\text{bell}_A} ) \iN \MaThCAl{H}^B \otimEs \MatHcal{h}^a$$

$\Text{TR}(\phi_\lAmBda$) of $\LamBda$ can BE lEsS than 1 if $\laMbda$ is NoT trAce PreseRVing. let $\bar \Phi_\LambdA = \phi_\LAMbda/\text{Tr}(\phi_\LAMbda)$ be the **normALiZED CHOi stAte** With trace 1. ThIs diSTincTion IS cRucIAl.

To cAlculAtE ThE Output of a channel $\LamBdA(\rho)$ giVen itS Choi state $\phi_\lambda$ we coMPUTe: $$\Lambda(\Rho) = \tEXt{DIm}(\mathcal
{H}^A$ to $\mathcal{H}^B$and densit y ope rat ors  o n $\ math cal{H}^B \otim e s \m athcal{H}^A$, which is  esse nt i al f o rFIG.5 and T h eo r e m \ [t hm :st ab p ro p\].
Co mpletel y positive  ma ps  $\Lambda$ w i th  $0 \leq \ tex t{Tr}(\Lambd a(\ rho))\l eq\ text{ Tr} (\rho )$ hav e  an op erational  i n terpre t ation:t h easso ciated channels c a n‘ fail’ or ‘abor t’ the  c o mp u t ati onby yieldin g0. Fo r  exampl e ,l e t  $\ L ambda$ be the  channel th a t m easure sint he $\s igma_ Z$ bas is and post sele cts on ob tainin g  $\ket{ 0 }$. The n $\La mbd a(\ ket{ 1 }\ br a{1 }) = 0 $ ,and $\L ambda(\k et {+ }\bra {+}) = \ frac {1} {2}\ket{ 0}\bra{0}$.
Let  $\L a mbd a$ be  a co mple te ly po sitive  mapfr om $\mathcal{H} ^A$to $\math cal {H }^B $.  Let$ \ket{\ tex t{B ell}_A}  \in \m a thc al { H } ^A  \otimes \mathcal{ H} ^ A $be a Bel l stat e  f or $\mathca l{ H}^ A$,i . e. if  $\{ \ ke t{i}\}$are ab as is  for $\ ma thcal{ H} ^A$  th en:
$ $\ke t{\tex t{Bell}_ A} =\ frac{1}{\sqrt{ \ text{dim}(\ma t hc a l {H } ^A)} } \ sum_i \ket{ i} \ o time s \k e t{ i}$ $ 

The  **un -n o rm a lized Choi state**$\ phi_\L ambda $ of $\Lambda $ is the r e s u lting st atew he n  $\Lambda$ isappli ed to oneh alf of $ \ket{ \text{Be ll}_A}$.$ $\phi_\L amb da= ( \La m b da  \otimes I)(\ k e t{\t ex t{Bell} _A} \bra{\t ext {Be ll} _A}  )  \in \mat hcal{H}^ B\o ti me s \ mathc a l{H}^A$$ 
$\t ex t{T r}(\p h i_\Lam bda$)  of$\ La m bda $ can b e  l e s s th an  1  if$\L am bda$is n o t t race pr eserving.  Le t  $\b ar  \ phi_\La mbda = \phi_\ La mbda/\text {T r}( \phi_\ L a mbda)$ b e the **normalized Choi state**  wi th tr ace1. This d ist inctio n i s  cruci al.

T o cal cu lat e the o u t pu t o fa channel$ \ Lam bda(\ rh o)$given i ts Choi state $\ph i _\L ambda$ we com put e: $ $ \ La mbd a (\ r ho)  = \te x t {dim}(\mathcal
{H}^A$ to_$\mathcal{H}^B$ and_density operators on $\mathcal{H}^B_\otimes \mathcal{H}^A$,_which_is essential_for_FIG. 5 and Theorem \[thm:stabprop\].

Completely_positive maps $\Lambda$_with $0 \leq \text{Tr}(\Lambda(\rho))_\leq \text{Tr}(\rho)$ have_an_operational interpretation: the associated channels can ‘fail’ or ‘abort’ the computation by yielding 0._For_example, let_$\Lambda$_be_the channel that measures in_the $\sigma_Z$ basis and postselects_on obtaining_$\ket{0}$. Then $\Lambda(\ket{1}\bra{1}) = 0$, and $\Lambda(\ket{+}\bra{+}) =_\frac{1}{2}_\ket{0}\bra{0}$.

Let $\Lambda$ be_a completely positive map from $\mathcal{H}^A$ to $\mathcal{H}^B$. Let_$\ket{\text{Bell}_A} \in \mathcal{H}^A \otimes \mathcal{H}^A$ be_a Bell state_for_$\mathcal{H}^A$,_i.e. if $\{\ket{i}\}$ are_a basis for $\mathcal{H}^A$ then:

$$\ket{\text{Bell}_A} =_\frac{1}{\sqrt{\text{dim}(\mathcal{H}^A)}} \sum_i \ket{i} \otimes \ket{i}$$

The **un-normalized_Choi state** $\phi_\Lambda$ of $\Lambda$ is the_resulting state when $\Lambda$ is applied_to one half of $\ket{\text{Bell}_A}$.

$$\phi_\Lambda_= (\Lambda_\otimes I)(\ket{\text{Bell}_A}\bra{\text{Bell}_A} ) \in \mathcal{H}^B_\otimes \mathcal{H}^A$$

$\text{Tr}(\phi_\Lambda$) of_$\Lambda$ can_be less than_1 if $\Lambda$ is not trace_preserving. Let $\bar_\phi_\Lambda = \phi_\Lambda/\text{Tr}(\phi_\Lambda)$ be the **normalized_Choi_state** with trace_1._This_distinction is_crucial.

To calculate the_output_of a_channel_$\Lambda(\rho)$ given its Choi state $\phi_\Lambda$_we_compute: $$\Lambda(\rho) = \text{dim}(\mathcal