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 der Polarisationszustand); damit ist zum Beispiel 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 Quantenbit von einem Ort an einen anderen transportieren kann, also zum Beispiel eine Glasfaser, durch die Photonen versendet werden^[1]
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^[2] 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.^[3] 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.

Mathematische Darstellung Bearbeiten

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'}}$ .^[4]

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 Bearbeiten

Mehrere Quantenkanäle wurde 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.^[5]

Literatur Bearbeiten

Mark M. Wilde: Quantum Information Theory. Cambridge University Press, 2013, ISBN 978-1-139-52534-3, doi:10.1017/CBO9781139525343, arxiv:1106.1445.
A. S. Holevo: Quantum Systems, Channels, and Information. De Gruyter, 2012, ISBN 978-3-11-027325-0.
Michael M. Wolf: Quantum Channels & Operations: A Guided Tour. (PDF) 2012; abgerufen am 9. März 2020 (englisch).
Michael A. Nielsen, Isaac L. Chuang: Quantum Information and Quantum Computation. Cambridge University Press, 2001, ISBN 0-521-63503-9 (englisch).

Einzelnachweise Bearbeiten

↑ Matthias Homeister: Quantum Computing verstehen. 6. Auflage. Springer Fachmedien, Wiesbaden 2022, ISBN 978-3-658-36433-5, S. 124.
↑ die auch zu Quantenkanälen führen, wenn das Messergebnis ignoriert, das heißt über alle möglichen Messresultate gemittelt wird (ggf. nach einer vom Messergebnis abhängigen Operation)
↑ Anton Zeilinger: Einsteins Spuk. 9. Auflage. Wilhelm Goldmann Verlag, München 2007, ISBN 978-3-442-15435-7, S. 98.
↑ Beachte, dass $U$ auf ${\mathcal {H}}\otimes {\mathcal {K}}\otimes {\mathcal {K}}$ wirkt. Der Ausdruck $\langle k|U|\phi \rangle$ mit $|\phi \rangle \in {\mathcal {K}}\otimes {\mathcal {K}}$ und $|k\rangle \in {\mathcal {H}}\otimes {\mathcal {K}}$ ist daher eine lineare Abbildung ${\mathcal {H}}\to {\mathcal {K}}$ wie auch die $Q_{k}$ .
↑ Hierbei wird nur die Verschränkung zwischen Outputraum und S betrachtet.

[1] Matthias Homeister: Quantum Computing verstehen. 6. Auflage. Springer Fachmedien, Wiesbaden 2022, ISBN 978-3-658-36433-5, S. 124.

[2] uch zu Quantenkanälen führen, wenn das Messergebnis ignoriert, das heißt über alle möglichen Messresultate gemittelt wird (ggf. nach einer vom Messergebnis abhängigen Operation)

[3] Anton Zeilinger: Einsteins Spuk. 9. Auflage. Wilhelm Goldmann Verlag, München 2007, ISBN 978-3-442-15435-7, S. 98.

[4] Beachte, dass $U$ auf ${\mathcal {H}}\otimes {\mathcal {K}}\otimes {\mathcal {K}}$ wirkt. Der Ausdruck $\langle k|U|\phi \rangle$ mit $|\phi \rangle \in {\mathcal {K}}\otimes {\mathcal {K}}$ und $|k\rangle \in {\mathcal {H}}\otimes {\mathcal {K}}$ ist daher eine lineare Abbildung ${\mathcal {H}}\to {\mathcal {K}}$ wie auch die $Q_{k}$ .

[5] Hierbei wird nur die Verschränkung zwischen Outputraum und S betrachtet.

[1]

[2]

[3]

[4]

[5]