On the characterization of partially entanglement breaking and annihilating channels

=== CONCEPT ===
Technische Samenvatting: Over de karakterisering van gedeeltelijk verstrengelingsbrekende en verstrengelingsannihilerende kanalen

Probleemstelling
Kwantumverstrengeling is een fundamentele hulpbron voor kwantuminformatieverwerkingstaken zoals teleportatie, cryptografie en kanaaldiscriminatie. Hoewel de aanwezigheid van verstrengeling vaak binair is (scheidbaar versus verstrengeld), is de dimensionaliteit van verstrengeling, gekwantificeerd door het Schmidt-getal (SN), cruciaal voor hoogdimensionele protocollen. Toestanden met hogere Schmidt-getallen bieden duidelijke voordelen bij taken zoals kanaaldiscriminatie en kwantumsleuteldistributie. Echter, kwantumkanalen (ruis) kunnen deze hulpbronnen degraderen door het Schmidt-getal van verzonden toestanden te verminderen.

Hoewel "verstrengelingsbrekende" (EB) kanalen goed zijn gekarakteriseerd als kanalen die een subsystem volledig ontstrengelen, bestaat er een bredere klasse kanalen die het Schmidt-getal verminderen zonder noodzakelijkerwijs alle verstrengeling te vernietigen. Deze worden "gedeeltelijk verstrengelingsbrekende" (PEBT) kanalen genoemd. Verder bestaat er een onderscheid tussen kanalen die verstrengeling over een bipartitie (A|B) verminderen en kanalen die verstrengeling binnen een subsystem (B) van een groter samengesteld systeem vernietigen. De laatstgenoemde staan bekend als "verstrengelingsannihilerende" (EA) kanalen. Het artikel behandelt de noodzaak om deze tussenliggende klassen te karakteriseren—specifiek $r$-gedeeltelijk verstrengelingsbrekende ($r$-PEBT) en $r$-gedeeltelijk verstrengelingsannihilerende ($r$-PEAT) kanalen—en om methoden te ontwikkelen voor het identificeren van kanalen die hoogdimensionele verstrengeling behouden (niet-hulpbronbrekende kanalen).

Methodologie
De auteurs maken gebruik van een hulpbron-theoretisch kader gecombineerd met operator-theoretische instrumenten om kwantumkanalen te analyseren die werken op $d$-dimensionale Hilbertruimten ($C^d$).

1. Definities en Karakterisering:

   • $r$-PEBT: Een kanaal $S$ is $r$-PEBT als het het Schmidt-getal van elke invoertoestand $\rho$ vermindert zodanig dat $SN[(id_A \otimes S)\rho] \leq r$.
   • $r$-PEAT: Een kanaal $E$ dat werkt op een subsystem $B$ is $r$-gedeeltelijk verstrengelingsannihilerend als $SN[E(\rho_B)] \leq r$ voor alle $\rho_B$. De auteurs maken een onderscheid tussen lokale ($r$-PEAT kanalen als tensorproduct van individuele kanalen) en niet-lokale $r$-PEAT kanalen.
   • Choi-Jamiołkowski Isomorfisme: De auteurs gebruiken de Choi-matrix ($C_S$) om deze kanalen te karakteriseren. Een belangrijk resultaat uit eerdere literatuur (Chruściński et al.) wordt gebruikt: $S \in r\text{-PEBT}$ indien en slechts indien $SN(C_S) \leq r$.

2. Topologische Analyse:

   • Het artikel stelt vast dat de verzameling van $r$-PEBT kanalen zowel convex als compact is. Dit wordt bewezen door aan te tonen dat convexe combinaties van $r$-PEBT kanalen binnen de verzameling blijven en dat de verzameling al zijn limietpunten bevat.
   • Vergelijkbare topologische eigenschappen (convexiteit en compactheid) worden vastgesteld voor de verzameling van niet-lokale $r$-PEAT kanalen.

3. Detectiecriteria:

   • Witness Operators (Getuigenoperators): Om kanalen te detecteren die niet $r$-PEBT zijn (d.w.z. die $SN > r$ behouden), stellen de auteurs een methode op basis van witness-operators voor. Ze definiëren een scalaire functionaal gebaseerd op de diamantnorm-afstand tot de verzameling van $r$-PEBT kanalen.
   • Spectrale Condities: Een voldoende voorwaarde wordt afgeleid met behulp van $r$-positieve maar niet $(r+1)$-positieve kaarten ($\Lambda$). Als een kanaal $S$ voldoet aan $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$, dan is $S \in r\text{-PEBT}$.
   • Absoluut Schmidt-getal: Voor $r$-PEAT introduceert het artikel het concept van "absolute Schmidt-getal kanalen" (kanalen waarbij het output SN onder elke niet-lokale unitaire transformatie $\leq r$ blijft). Een voldoende voorwaarde gebaseerd op het eigenwaardenspectrum van de outputtoestand wordt gegeven voor covariante kanalen.

4. Casestudies:

   • De auteurs passen deze criteria toe op qutrit depolariserende en dephasering kanalen om de exacte parameterrange te bepalen waar deze falen om 2-PEBT of 2-lokaal $r$-PEAT te zijn.

Belangrijkste Bijdragen en Resultaten

1. Karakterisering van $r$-PEBT:

   • Bewezen dat de verzameling $r$-PEBT kanalen convex en compact is, wat het gebruik van witness-operators voor detectie mogelijk maakt.
   • Aangetoond dat de seriële concatenatie van twee $r$-PEBT kanalen ook $r$-PEBT blijft.
   • Getoond dat de verzameling niet gesloten is onder tensorproducten voor $r > 1$ (in tegen tegenstelling tot standaard EB kanalen waar $r=1$). Specifiek, als $S_1, S_2 \in r\text{-PEBT}$, dan is $S_1 \otimes S_2$ mogelijk niet in $r\text{-PEBT}$ (hoewel het wel in $r^2\text{-PEBT}$ zit).

2. Introductie van $r$-PEAT:

   • Gedefinieerd en gekarakteriseerd niet-lokale $r$-PEAT kanalen.
   • Bewezen dat de seriële concatenatie van niet-lokale $r$-PEAT kanalen ook niet-lokaal $r$-PEAT blijft.
   • Aangetoond dat de volgorde van concatenatie ertoe doet: als $E$ een niet-lokale $r$-PEAT is en $F_B$ een willekeurig kanaal, dan is $E \circ F_B$ niet-lokaal $r$-PEAT, maar $F_B \circ E$ is dat mogelijk niet (omdat $F_B$ het Schmidt-getal zou kunnen verhogen).

3. Detectie van Niet-Hulpbronbrekende Kanalen:

   • Verstrekt expliciete parameterrange voor qutrit depolariserende en dephasering kanalen waar zij fungeren als niet-gedeeltelijk verstrengelingsbrekende kanalen (het behouden van $SN=3$).
   • Voor het qutrit depolariserende kanaal $S_3(\rho) = p\rho + \frac{1-p}{3}I$ is het 2-PEBT als $0 \leq p \leq 5/8$ en niet-2-PEBT (behoudt $SN=3$) als $5/8 < p \leq 1$.
   • Voor het qutrit dephasering kanaal is het 2-PEBT als $0 \leq v \leq 1/2$ en niet-2-PEBT als $1/2 < v \leq 1$.

4. Relaties tussen Verzamelingen:

   • Vastgesteld de hiërarchie: $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • Getoond dat $r\text{-PEBT} \subset 2\text{-lokaal } r\text{-PEAT}$ (elk $r$-PEBT kanaal is een 2-lokaal $r$-PEAT kanaal).
   • Aangetoond dat het omgekeerde niet geldt: $2\text{-lokaal } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • Bewezen dat $r\text{-PEBT}$ en niet-lokale $r$-PEAT een niet-lege doorsnede hebben, maar dat de een niet de subset is van de ander.

Betekenis en Claims
Het artikel claimt een uitgebreid theoretisch kader te bieden voor het begrijpen van hoe kwantumkanalen de dimensionaliteit van verstrengeling degraderen, waarmee de binaire visie van verstrengelingsbreking wordt overstegen. Door de topologische eigenschappen (convexiteit en compactheid) van deze kanaalverzamelingen te karakteriseren, maken de auteurs de ontwikkeling van efficiënte detectiemethoden (witnesses) mogelijk om kanalen te identificeren die hoogdimensionele verstrengelingshulpbronnen behouden.

De introductie van "gedeeltelijk verstrengelingsannihilerende kanalen" breidt de hulpbron-theorie uit naar scenario's waarin verstrengeling wordt vernietigd binnen een subsystem, maar niet noodzakelijkerwijs over het gehele systeem. De auteurs benadrukken dat het identificeren van "niet-hulpbronbrekende" kanalen essentieel is voor betrouwbare kwantuminformatieverwerking. Het werk biedt voorschriften om dergelijke kanalen te identificeren, specifiek via de afgeleide voldoende voorwaarden en parameterrange voor standaard ruismodellen.

De auteurs concluderen bescheiden door op te merken dat hoewel zij een topologische karakterisering hebben geleverd, het verkrijgen van een Choi-Kraus type representatie voor $r$-PEAT kanalen een openstaand probleem blijft. Zij wijzen ook erop dat het gebrek aan afsluiting onder tensorproducten voor $r$-PEBT ($r>1$) motiveert voor verder onderzoek naar de vraag of vergelijkbare eigenschappen gelden voor $r$-PEAT. Het artikel stelt geen nieuwe experimentele opstellingen voor, maar biedt de theoretische instrumenten die nodig zijn om de kanaalcapaciteiten en het behoud van hulpbronnen in hoogdimensionele systemen te analyseren.