On the characterization of partially entanglement breaking and annihilating channels

TECHNISCHE ZUSAMMENFASSUNG: Zur Charakterisierung von teilweise verschränkungsbrechenden und verschränkungsannihilierenden Kanälen

Problemstellung
Quantenverschränkung ist eine fundamentale Ressource für quanteninformationstechnische Aufgaben wie Teleportation, Kryptographie und Kanaldiskriminierung. Während das Vorhandensein von Verschränkung oft binär ist (separabel vs. verschränkt), ist die Dimensionalität der Verschränkung, quantifiziert durch die Schmidt-Zahl (SN), entscheidend für hochdimensionale Protokolle. Zustände mit höheren Schmidt-Zahlen bieten deutliche Vorteile bei Aufgaben wie der Kanaldiskriminierung und der Quantenschlüsselverteilung. Quantenkanäle (Rauschen) können diese Ressourcen jedoch degradieren, indem sie die Schmidt-Zahl der übertragenen Zustände reduzieren.

Während „verschränkungsbrechende“ (entanglement breaking, EB) Kanäle gut charakterisiert sind als solche, die ein Teilsystem vollständig disentangeln, existiert eine breitere Klasse von Kanälen, die die Schmidt-Zahl reduzieren, ohne notwendigerweise die gesamte Verschränkung zu zerstören. Diese werden als „teilweise verschränkungsbrechende“ (partially entanglement breaking, PEBT) Kanäle bezeichnet. Des Weiteren besteht ein Unterschied zwischen Kanälen, die die Verschränkung über eine Bipartition (A|B) reduzieren, und solchen, die die Verschränkung innerhalb eines Teilsystems (B) eines größeren zusammengesetzten Systems zerstören. Letztere sind als „verschränkungsannihilierende“ (entanglement annihilating, EA) Kanäle bekannt. Die Arbeit adressiert die Notwendigkeit, diese intermediären Klassen – spezifisch $r$-teilweise verschränkungsbrechende ($r$-PEBT) und $r$-teilweise verschränkungsannihilierende ($r$-PEAT) Kanäle – zu charakterisieren und Methoden zu entwickeln, um Kanäle zu identifizieren, die hochdimensionale Verschränkung bewahren (nicht-ressourcenbrechende Kanäle).

Methodik
Die Autoren verwenden einen ressourentheoretischen Rahmen kombiniert mit operator-theoretischen Werkzeugen, um auf Quantenkanäle zu wirken, die auf $d$-dimensionale Hilberträume ($C^d$) operieren.

1. Definitionen und Charakterisierung:

   • $r$-PEBT: Ein Kanal $S$ ist $r$-PEBT, wenn er die Schmidt-Zahl eines beliebigen Eingangszustands $\rho$ so reduziert, dass $SN[(id_A \otimes S)\rho] \leq r$.
   • $r$-PEAT: Ein Kanal $E$, der auf einem Teilsystem $B$ wirkt, ist $r$-teilweise verschränkungsannihilierend, wenn $SN[E(\rho_B)] \leq r$ für alle $\rho_B$ gilt. Die Autoren unterscheiden zwischen lokalen ($r$-PEAT als Tensorprodukt einzelner Kanäle) und nicht-lokalen $r$-PEAT-Kanälen.
   • Choi-Jamiołkowski-Isomorphie: Die Autoren nutzen die Choi-Matrix ($C_S$), um diese Kanäle zu charakterisieren. Ein Schlüsselresultat aus der vorangegangenen Literatur (Chruściński et al.) wird verwendet: $S \in r\text{-PEBT}$ genau dann, wenn $SN(C_S) \leq r$.

2. Topologische Analyse:

   • Das Paper etabliert, dass die Menge der $r$-PEBT-Kanäle sowohl konvex als auch kompakt ist. Dies wird dadurch bewiesen, dass konvexe Kombinationen von $r$-PEBT-Kanälen innerhalb der Menge verbleiben und die Menge alle ihre Grenzwerte enthält.
   • Ähnliche topologische Eigenschaften (Konvexität und Kompaktheit) werden für die Menge der nicht-lokalen $r$-PEAT-Kanäle etabliert.

3. Detektionskriterien:

   • Witness-Operatoren: Um Kanäle zu detektieren, die nicht $r$-PEBT sind (d. h. jene, die eine $SN > r$ bewahren), schlagen die Autoren einen Witness-basierten Ansatz vor. Sie definieren ein Skalarfunktional basierend auf der Diamantnorm-Distanz zur Menge der $r$-PEBT-Kanäle.
   • Spektrale Bedingungen: Eine hinreichende Bedingung wird unter Verwendung von $r$-positiven, aber nicht $(r+1)$-positiven Abbildungen ($\Lambda$) abgeleitet. Wenn ein Kanal $S$ die Bedingung $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$ erfüllt, dann ist $S \in r\text{-PEBT}$.
   • Absolute Schmidt-Zahl: Für $r$-PEAT führt das Paper das Konzept der „absoluten Schmidt-Zahl-Kanäle“ ein (Kanäle, bei denen die Ausgangs-SN unter jeder nicht-lokalen Unitär-Operation $\leq r$ bleibt). Eine hinreichende Bedingung basierend auf dem Eigenwert-Spektrum des Ausgangszustands wird für kovariante Kanäle bereitgestellt.

4. Fallstudien:

   • Die Autoren wenden diese Kriterien auf Qutrit-Depolarisierungs- und Dephasierungs-Kanäle an, um präzise Parameterbereiche zu bestimmen, in denen diese Kanäle nicht 2-PEBT oder nicht 2-lokal $r$-PEAT sind.

Wesentliche Beiträge und Ergebnisse

1. Charakterisierung von $r$-PEBT:

   • Bewiesen wurde, dass die Menge der $r$-PEBT-Kanäle konvex und kompakt ist, was den Einsatz von Witness-Operatoren zur Detektion ermöglicht.
   • Gezeigt wurde, dass die serielle Konkatenierung zweier $r$-PEBT-Kanäle weiterhin $r$-PEBT bleibt.
   • Es wurde nachgewiesen, dass die Menge unter Tensorprodukten nicht abgeschlossen ist (im Gegensatz zu Standard-EB-Kanälen, bei denen $r=1$). Speziell: Wenn $S_1, S_2 \in r\text{-PEBT}$, dann ist $S_1 \otimes S_2$ möglicherweise nicht in $r\text{-PEBT}$ (obwohl es in $r^2\text{-PEBT}$ liegt).

2. Einführung von $r$-PEAT:

   • Definiert und charakterisiert wurden nicht-lokale $r$-PEAT-Kanäle.
   • Bewiesen wurde, dass die serielle Konkatenierung von nicht-lokalen $r$-PEAT-Kanälen weiterhin nicht-lokal $r$-PEAT bleibt.
   • Es wurde gezeigt, dass die Reihenfolge der Konkatenierung entscheidend ist: Wenn $E$ ein nicht-lokaler $r$-PEAT-Kanal ist und $F_B$ ein beliebiger Kanal ist, dann ist $E \circ F_B$ nicht-lokal $r$-PEAT, aber $F_B \circ E$ ist dies möglicherweise nicht (da $F_B$ die Schmidt-Zahl erhöhen kann).

3. Detektion von Nicht-Ressourcenbrechenden Kanälen:

   • Explizite Parameterbereiche für Qutrit-Depolarisierungs- und Dephasierungs-Kanäle wurden angegeben, in denen diese als nicht-teilweise verschränkungsbrechend agieren (und somit $SN=3$ bewahren).
   • Für den Qutrit-Depolarisierungs-Kanal $S_3(\rho) = p\rho + \frac{1-p}{3}I$ gilt: Er ist 2-PEBT, wenn $0 \leq p \leq 5/8$, und nicht 2-PEBT (bewahrt $SN=3$), wenn $5/8 < p \leq 1$.
   • Für den Qutrit-Dephasierungs-Kanal gilt: Er ist 2-PEBT, wenn $0 \leq v \leq 1/2$, und nicht 2-PEBT, wenn $1/2 < v \leq 1$.

4. Mengenbeziehungen:

   • Die Hierarchie wurde etabliert: $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • Gezeigt wurde, dass $r\text{-PEBT} \subset 2\text{-lokal } r\text{-PEAT}$ (jeder $r$-PEBT-Kanal ist ein 2-lokaler $r$-PEAT-Kanal).
   • Es wurde demonstriert, dass die Umkehrung falsch ist: $2\text{-lokal } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • Es wurde bewiesen, dass $r\text{-PEBT}$ und nicht-lokales $r$-PEAT eine nicht-leere Schnittmenge haben, aber keine Menge eine Teilmenge der anderen ist.

Bedeutung und Ansprüche
Das Paper beansprucht, einen umfassenden theoretischen Rahmen für das Verständnis zu liefern, wie Quantenkanäle die Dimensionalität der Verschränkung degradieren, womit die binäre Sichtweise der Verschränkungsbrechung überwunden wird. Durch die Charakterisierung der topologischen Eigenschaften (Konvexität und Kompaktheit) dieser Kanälenmengen ermöglichen die Autoren die Entwicklung effizienter Detektionsmethoden (Witnesses), um Kanäle zu identifizieren, die hochdimensionale Verschränkungsressourcen bewahren.

Die Einführung der „teilweise verschränkungsannihilierenden Kanäle“ erweitert die Ressourentheorie auf Szenarien, in denen Verschränkung innerhalb eines Teilsystems zerstört wird, aber nicht notwendigerweise über das Gesamtsystem hinweg. Die Autoren betonen, dass die Identifizierung von „nicht-ressourcenbrechenden“ Kanälen für eine zuverlässige Quanteninformationsverarbeitung unerlässlich ist. Die Arbeit liefert Rezepte zur Identifizierung solcher Kanäle, insbesondere durch die abgeleiteten hinreichenden Bedingungen und Parameterbereiche für Standard-Rauschmodelle.

Die Autoren schließen bescheiden mit dem Hinweis, dass sie zwar eine topologische Charakterisierung geliefert haben, das Erhalten einer Choi-Kraus-artigen Darstellung für $r$-PEAT-Kanäle jedoch ein offenes Problem bleibt. Sie heben zudem hervor, dass die mangelnde Abgeschlossenheit unter Tensorprodukten für $r$-PEBT ($r>1$) weitere Untersuchungen dazu motiviert, ob ähnliche Eigenschaften auch für $r$-PEAT gelten. Das Paper schlägt keine neuen experimentellen Aufbauten vor, sondern bietet die theoretischen Werkzeuge, die notwendig sind, um Kanalkapazitäten und die Bewahrung von Ressourcen in hochdimensionalen Systemen zu analysieren.