# Quantenkanal

Der Begriff Quantenkanal bezeichnet einen Übertragungskanal, der Quanteninformation oder einen quantenmechanischen Zustand übertragen kann. Eine Informationsübertragung kann mit oder ohne Quantenspeicherung erfolgen. Ein Beispiel für Quanteninformation ist der Spin eines Photons (im Wesentlichen die Art seiner Polarisation); damit ist eine verschlüsselte oder abhörsichere Informationsübertragung (Quantenkryptographie) möglich.
In der Literatur wird der Begriff Quantenkanal für verschiedene Ausprägungen verwendet:
* Ein physikalisches System, das ein Qubit von einem Ort an einen anderen transportieren kann, also zum Beispiel eine Glasfaser, durch die Photonen versendet werden
* Die lineare Abbildung $Q$, die den Input- auf den Output-Zustand des Kanals abbildet und dabei die Eigenschaften eines realen (also nicht-idealen) Kanals berücksichtigt. Die Menge der dabei auftretenden Abbildungen (oft auch als „Quantenoperationen“ bezeichnet) enthält alle deterministischen, von der Quantenmechanik erlaubten Abbildungen (Definition s. u.) auf dem Input-Raum. Daher wird auch, unabhängig vom Bild des Übertragungskanals, jede solche Abbildung als Quantenkanal bezeichnet. Mit Ausnahme der (nicht-deterministischen) Messungen beschreiben die Quantenkanäle damit die allgemeinste von der Quantenmechanik erlaubte Zeitentwicklung und insbesondere die Zeitentwicklung offener Systeme und Prozesse wie Dekohärenz und Dissipation.
* Ein Paar maximal verschränkter Teilchen, das zum Beispiel bei der Quantenteleportation dabei hilft, einen Zustand zwischen zwei Quantensystemen zu übertragen. Dieser Quantenkanal überträgt keine Information. Es ist eine Eigenschaft der Verschränkung, dass die Information dazu in der Verschränkung selber steckt. Man kann durch Messen an der Empfangsseite keine Information gewinnen. Dieser Fall wird unten nicht weiter behandelt.
Ein Quantenkanal wird mathematisch durch einen sogenannten Super-Operator (d. h., einen Operator, der auf Operatoren wirkt) beschrieben. Dieser Super-Operator $Q$ wirkt auf den Dichteoperator $\rho _{in}$, der den Quantenzustand auf der Senderseite beschreibt, und $\rho _{out}=Q(\rho _{in})$ gibt dann den Zustand an, der auf Empfängerseite ankommt.
Ein Super-Operator $Q$, der auf ${\mathcal {B(H)}}$, den Operatoren auf dem Hilbertraum ${\mathcal {H}}$, wirkt, ist genau dann ein Quantenkanal, wenn $Q$ spurerhaltendend und vollständig positiv ist, das heißt, wenn
* $\mathrm {tr} (Q(\rho ))=\mathrm {tr} (\rho )$ für alle $\rho$ und
* für alle positiven Operatoren $\sigma \in {\mathcal {B(H\otimes K)}}$ gilt, dass auch $(Q\otimes \mathbf {1} )(\sigma )$ positiv ist.
Quantenkanäle sind ein zentrales Studienobjekt der Quanteninformatik. Von besonderem Interesse ist ihre Kapazität zur Datenübertragung in Verallgemeinerung zur Kanalkapazität der klassischen Shannonschen Informationstheorie. Zu den wichtigsten Kapazitäten (von denen nicht alle eine klassische Entsprechung haben) gehören die klassische Kapazität (die angibt, wie viele klassische Bits pro Kanalnutzung fehlerfrei übertragen werden können, im Limit unendlich vieler Verwendungen des Kanals), die Quantenkapazität (wie viele Qubits können im asymptotischen Fall pro Kanalnutzung fehlerfrei übertragen werden), und die Privatkapazität (wie viel geheime Bits können pro Kanalnutzung übertragen werden). Für die meisten Quantenkanäle können diese Kapazitäten derzeit nur näherungsweise berechnet werden.
Eine spezielle Form von Quantenkanal ist der Quantenspeicher. Hier geht es um Informationsübertragung in der Zeit, statt wie sonst im Raum. Der mathematische Formalismus (und auch die Fragestellungen an die Kapazität) sind aber genau dieselben.

## Eigenschaften des Quantenkanals

Ein Quantenkanal ist durch mehrere Schlüsseleigenschaften, darunter Linearität, Unitarität, Quantenrauschen, Verschränkungserzeugung und der Einschränkung durch das No-Cloning-Theorem, charakterisiert. Die Eigenschaften sind von wesentlicher Bedeutung für Entwurf und Analyse von Quantenkommunikationssystemen und quantenkryptografischen Protokollen.
Beschrieben werden diese Eigenschaften mathematisch durch lineare Transformationen, einheitliche Operatoren und die physikalischen Prozesse zur Erzeugung von Verschränkungen.

### Linearität

Ein Quantenkanal ist linear, wenn er den Prinzipien der Quantenüberlagerung folgt. Mathematisch wird dies durch eine lineare Transformation beschrieben, die üblicherweise durch eine Matrix oder einen Operator dargestellt wird. Bei einem Quantenkanal, der ein Qubit, überträgt, wird das Eingangs-Qubit entsprechend der Dirac-Notation für quantenmechanische Zustände durch einen Zustandsvektor $\left|\psi \right\rangle$ mathematisch beschrieben, der Kanal durch eine Matrix $A$ und der Ausgangszustand nach Anwendung des Kanals als $A\left|\psi \right\rangle$ repräsentiert.

### Unitarität

Quantenkanäle müssen einheitlich (unitär) sein, was bedeutet, dass sie die Norm des Eingabezustands beibehalten. Dadurch wird sichergestellt, dass die Wahrscheinlichkeiten unterschiedlicher Ergebnisse konsistent bleiben. Mathematisch wird eine einheitliche Transformation durch eine Matrix $U$ dargestellt, die die Bedingung $\ U^{T}U=I$ erfüllt, wobei $\ U^{T}$ die konjugierte Transponierte von $U$ bezeichnet und $I$ die Identitätsmatrix ist. Diese Bedingung gewährleistet, dass der Kanal reversibel ist und Informationen zuverlässig in beide Richtungen übertragen werden können.

## Mathematische Darstellung

Jeder Quantenkanal lässt sich in der Kraus-Darstellung schreiben: Für jeden Kanal $Q:{\mathcal {B(H)\to B(K)}}$ gibt es lineare Operatoren $Q_{k},k=1,2,...,L$ mit $Q_{k}:{\mathcal {H\to K}}$ und $\textstyle \sum _{k=1}^{L}Q_{k}^{\dagger }Q_{k}=\mathbf {1} _{\mathcal {K}}$, sodass für alle $\rho$ gilt
    $Q(\rho )=\sum _{k}Q_{k}\rho Q_{k}^{\dagger }$.
Die $Q_{k}$ werden auch als Kraus-Operatoren bezeichnet. Die Kraus-Darstellung ist nicht eindeutig, Die kleinste Zahl an $Q_{k}$ die ausreicht, um $Q$ darzustellen, heißt Kraus-Rang des Quantenkanals Q. Der Kraus-Rang von $Q$ liegt zwischen 1 und dem Produkt der Dimensionen der beiden Hilberträume, $\mathrm {dim} ({\mathcal {H}})\mathrm {dim} ({\mathcal {K}})$. Quantenkanäle mit Kraus-Rang 1 sind unitär.
Jeder Term in der Kraus-Darstellung kann als Zeitevolution des Systems interpretiert werden, die mit Wahrscheinlichkeit $p_{k}=\mathrm {tr} (Q_{k}\rho Q_{k}^{\dagger })$ eintritt. Der Quantenkanal beschreibt die Situation, dass nicht bekannt ist, welche dieser Möglichkeiten eintritt, und daher die statistische Mischung aller möglichen Evolutionen betrachtet wird. Die folgende unitäre Darstellung des Quantenkanals macht deutlich, dass man das Auftreten von verschiedenen möglichen Evolutionen und die Mittelung darüber verstehen kann als das Ergebnis von dem Betrachter (der $Q$ zur Beschreibung der Dynamik benutzt) nicht zugänglichen Messungen in der sogenannten „Umgebung“ des betrachteten Quantensystems, das heißt, allen Systeme, die mit dem betrachteten System direkt oder indirekt wechselwirken.
Dieses Bild wird klarer in der folgenden Darstellung von $Q$ als unitäre Evolution auf ${\mathcal {H}}$ und einem Hilfssystem ${\mathcal {H'}}$ (im Englischen oft: ancilla). Für jedes $Q$ gilt, dass es für ${\mathcal {H'}}={\mathcal {K}}\otimes {\mathcal {K}}$ und einen beliebigen Zustand $|\phi \rangle \in {\mathcal {H'}}$ eine unitäre Abbildung $U$ auf ${\mathcal {H}}\otimes {\mathcal {H'}}$ gibt, sodass gilt
    $Q(\rho )=\mathrm {tr} _{E}(U\rho \otimes |\phi \rangle \langle \phi |U^{\dagger })$,
wobei $\mathrm {tr} _{E}$ die partielle Spur über die „Umgebung“, d. h., die ersten beiden Tensorfaktoren ${\mathcal {H}}\otimes {\mathcal {K}}$ bezeichnet. Schreibt man die Partialspur mithilfe einer Orthonormalbasis $\{|k\rangle \}\in {\mathcal {H}}\otimes {\mathcal {K}}$ aus, so gilt also
    $Q(\rho )=\sum _{k}_{E}\langle k|(U\rho \otimes |\phi \rangle \langle \phi |U^{\dagger })|k\rangle _{E}$
und jeder Term der Summe entspricht einem Term in der Kraus-Darstellung mit $Q_{k}=_{E}\langle k|U|\phi \rangle _{\mathcal {H'}}$.
Die beiden Darstellungen sind äquivalent: aus der Kraus-Darstellung lässt sich das $U$ einer unitären Darstellung konstruieren und umgekehrt aus $U,|\phi \rangle$ die $Q_{k}$.
Die unitäre Darstellung wird oft im Heisenberg-Bild betrachtet (in dem Operatoren, nicht Zustände evolvieren, der Kanal im Heisenberg-Bild wird mit $Q^{*}$ bezeichnet). Dann erhält man die Stinespring-Darstellung des Quantenkanals $Q^{*}$ mittels einer Isometrie $V:{\mathcal {H}}\to {\mathcal {K}}\otimes C^{r}$, wobei $r$ eine ganze Zahl größer oder gleich dem Kraus-Rang des Kanals ist. Es gilt für alle $A\in {\mathcal {B(H)}}$:
    $Q^{*}(A)=V(A\otimes \mathbf {1} _{C^{r}})V^{\dagger }$.

## Beispiele

Mehrere Quantenkanäle wurden wegen ihrer mathematischen Einfachheit oder physikalischen Wichtigkeit benannt und besonders intensiv studiert. Hier ein paar Beispiele:
* Der ideale Kanal ${\mathcal {I}}(\rho )=\rho$ beschreibt die fehlerfreie Übertragung
* Auch jeder unitäre Kanal ${\mathcal {U}}(\rho )=U\rho U^{\dagger }$ ist fehlerfrei und hat maximale Kapazität.
* Der depolarisierende Kanal ${\mathcal {D}}_{p}(\rho )=(1-p)\rho +p\mathbf {1} /2$ beschreibt einen Prozess, bei dem der Inputzustand mit Wahrscheinlichkeit $1-p$ perfekt übertragen wird und mit Wahrscheinlichkeit $p$ als maximal gemischter Zustand (=völlig depolarisiert) ankommt. Für Qubits beschreibt der depolarisierende Kanal den Fall, dass mit Wahrscheinlichkeit von jeweils $p/4$ einer der drei „Pauli-Fehler“ $X,Z,Y$ (Bitflip, Phasenflip, oder beides zusammen) auftritt und mit Wahrscheinlichkleit $1-3p/4$ ideale Transmission.
* Der Auslösch-Kanal (englisch: erasure channel) ${\mathcal {E}}_{p}(\rho )=(1-p)\rho +p|E\rangle \langle E|$ beschreibt einen Prozess, bei dem die Quantenzustand mit Wahrscheinlichkeit $p$ ganz gelöscht wird (zum Beispiel, in dem das Photon, das die Quanteninformation trägt, absorbiert wird) und mit Wahrscheinlichkeit $1-p$ perfekt übertragen wird.
* als verschränkungsbrechend werden Quantenkanäle bezeichnet, für die gilt, dass sie Verschränkung zwischen dem Input-System und jedem weiteren System S zerstören, d. h., für die gilt, dass der Zustand $Q\otimes {\mathcal {I}}(\rho )$ immer separabel ist, auch wenn $\rho$ verschränkt war.