LOCC

Quanteninstrumente, die sich durch eine Folge von lokalen Quantenoperationen realisieren lassen, die von den Ergebnissen vorhergehender Operationen abhängen können

Lokale Operationen und klassische Kommunikation (meist als LOCC abgekürzt für englisch: local operations and classical communication) ist die Klasse von quantenmechanischen Zustandstransformationen auf zusammengesetzten Quantensystemen. Es sind die Transformationen, die sich auch dann realisieren lassen, wenn keine Wechselwirkungen oder Quantenkanäle zwischen den Bestandteilen des Systems zur Verfügung stehen, sondern nur ein klassischer Kommunikationskanal. Sie beschreiben damit ein in der Quantenkommunikation und beim verteilten Quantencomputing oft anzutreffendes Szenario, in der Quantenverschränkung nicht erzeugt werden kann. Im Kontext der Ressourcentheorie der Quantenverschränkung spielen sie eine wichtige Rolle als die Menge der freien Operationen.

LOCC: Die Parteien A und B können lokal beliebige Quantenoperationen durchführen, aber nur klassische Information miteinander austauschen.

Jede LOCC lässt sich realisieren als eine Abfolge von lokalen Operationen, das heißt, quantenmechanischen Zeitentwicklungen und Messungen, die auf nur einem Teilsystem wirken, und klassischer Kommunikation, das heißt, dem Austausch klassischer Information, zum Beispiel über die Ergebnisse der lokal vorgenommenen Messung. In jedem Schritt kann die lokale Operation bzw. die übermittelte klassische Information von allen in vorigen Schritten übermittelten klassischen Informationen abhängen. Diese Klasse von Operationen umfasst all diejenigen, die sich im „entfernte-Laboratorien“-Setting (distant lab paradigm) durchführen lassen, bei dem auf jedem der Teilsysteme alle quantenmechanisch erlaubten Operationen realisiert, diese jedoch zwischen verschiedenen Laboren nur klassisch miteinander korreliert werden können. Insbesondere erlauben es die LOCC nicht, Quantenverschränkung zu erzeugen. Diese stellt dann eine Ressource dar, die es erlaubt zusammen mit LOCC Aufgaben zu erfüllen, die mit LOCC allein nicht lösbar sind. Das Paradebeispiel dafür ist die Quantenteleportation, die nur mit LOCC und Verschränkung möglich ist und bei der verschränkte Zustände zerstört („verbraucht“) werden. Die LOCC sind in der Ressourcentheorie der Quantenverschränkung[1] die „freien“ Operationen, die keine Ressource erzeugen können und deren Realisierung keine Ressourcen kostet.

Mathematische Eigenschaften

Bearbeiten

Die formale Definition der Menge der LOCC wird dadurch kompliziert, dass eine LOCC im Allgemeinen nur als eine Abfolge von Operationen gegeben ist, in der die  te Operation von allen vorangehenden Runden an klassischer Kommunikation abhängen kann. Zudem ist die Anzahl der Operationen in dieser Folge unbeschränkt. Für jede ganze Zahl   definiert man   als die Menge der LOCC-Operationen, die mit   Runden klassischer Kommunikation erreicht werden können. Die Menge wird mit wachsendem   strikt größer und Definition für den Limes für   erfordert Sorgfalt. Insbesondere ist die Menge LOCC nicht topologisch abgeschlossen, d. h., es gibt Quantenoperationen, die sich durch LOCC beliebig genau approximieren lassen, aber selbst nicht LOCC sind.[2]

Die Definition von LOCC erfolgt rekursiv als Kombination (Hintereinanderausführung) von einfacheren Quantenoperationen. Der einfachste Baustein ist dabei das lokale Quanteninstrument. Als Quanteninstrument[3]   bezeichnet man eine Familie von vollständig positiven Abbildungen (CPM)   mit   aus einer (diskreten) Indexmenge   für die gilt, dass   spurerhaltend ist. Dies ist ein mathematisches Modell für eine quantenmechanische Messung, bei der das Ergebnis   mit Wahrscheinlichkeit   auftritt und der Zustand in Abhängigkeit davon durch die (in der Regel nicht spurerhaltende) Operation   transformiert wird. Ein lokales Quanteninstrument ist bezüglich einer Zerlegung des Systemhilbertraums   in ein Tensorprodukt   dadurch definiert, dass es ein Produkt von Instrumenten ist, die jeweils nur auf einem der Systeme nicht-trivial wirken (und auf allen anderen durch die identische Abbildung). D. h., ein lokales Instrument   hat die Form  , wobei   für jedes   ein Instrument [auf  ] ist.

Eine Ein-Runden-LOCC   ist ein Quanteninstrument  , bei dem das Messresultat einer Partei mit allen anderen geteilt wird, deren lokale Instrumente dann davon abhängig sein können:   für jedes   ein Tensorprodukt lokaler vollständig positiver Abbildungen (CPM), d. h.,   und es gibt höchstens eine Partei   für die die Abbildung   nicht spurerhaltend (d. h., kein Quantenkanal) ist. Das heißt, dass die Ein-Runden-LOCC dadurch realisiert werden kann, dass die Partei   das (lokale) Instrument   anwendet, das Messresultat   an alle anderen Parteien   kommuniziert und diese dann jeweils den lokalen Quantenkanal   anwenden. Insbesondere kann das Messresultat   auch eine lokal generierte Zufallszahl darstellen, wodurch z. B. „klassisch korrelierte zufällige Operationen“ ermöglicht werden, die für manche Zustandstransformationen nötig sind.

Die Menge   wird dann rekursiv als die Menge der Operationen definiert, die durch die Hintereinanderausführung von zunächst einer Operation aus   und dann einer aus   realisiert werden können:

 

Hierbei darf jede  -Operation von den Messergebnissen aller zuvor durchgeführten abhängen. Zudem ist „Coarse-Graining“, d. h. das Verwerfen einiger klassischer Informationen aus den Messergebnissen aller Runden, erlaubt. Damit ist gemeint, dass statt der LOCC   mit   die „vergröberte“ Operation   mit   und   betrachtet wird, die über einen Teil der Messergebnisse mittelt.

Die Vereinigung aller   für alle ganzen Zahlen   wird als   bezeichnet und enthält Instrumente, die umso besser approximiert werden können, desto mehr Kommunikationsrunden verwendet werden. Der topologische Abschluss von   wird als   bezeichnet und enthält alle solchen approximierbaren LOCC-Operationen.

Es lässt sich zeigen, dass alle diese Mengen verschieden voneinander sind:[2]

 

Die Menge   aller LOCC-Operationen ist in der Menge   der separablen Operationen enthalten, die all die Operationen enthält, die sich mittels Kraus-Operatoren schreiben lassen, die alle Produktform haben. D. h., für   gilt

 

wobei  . Anders als für die (in vieler Hinsicht analogen separablen Zustände) gilt für die separablen Operationen   nicht, dass sie sich alle mittels lokalen Operationen realisieren oder approximieren lassen. D. h., es gibt Beispiele für separable Operationen, die sich nicht durch LOCC approximieren lassen[2] (  ist strikt größer als  ).

LOCC sind die „freien Operationen“ in den Ressourcentheorien der Verschränkung: Verschränkung kann mit LOCC nicht aus separablen Zuständen erzeugt werden, und wenn die lokalen Parteien zusätzlich zur Möglichkeit, alle LOCC-Operationen auszuführen, auch mit einigen verschränkten Zuständen ausgestattet sind, können sie mehr Operationen als mit LOCC allein durchführen.

Beispiele

Bearbeiten

LOCC sind immer dann von Bedeutung, wenn die anwendbaren Operationen nur dadurch eingeschränkt sind, dass auf Vielparteienzuständen nur lokal agiert werden und bloß klassische Information ausgetauscht werden kann (distant-lab paradigm). Die Beschränkung auf LOCC führt zum Beispiel dazu, dass elementare Prozesse wie die Präparation oder Transformation von Zuständen nicht mehr uneingeschränkt möglich sind und damit die Frage relevant wird, was trotz dieser Einschränkung noch möglich ist. Ebenso sind Aufgaben wie die Zustandsunterscheidung erschwert (oder sogar unmöglich), wenn nur LOCC zur Verfügung stehen. Wie oft in der Quanteninformatik lassen sich solche Einschränkungen dann zum Beispiel für kryptographische Zwecke nutzbar machen. So können zum Beispiel lokal nicht unterscheidbare Zustände zum Secret-Sharing verwendet werden. Zudem weisen die Einschränkung auf den potentiellen Nutzen von Verschränkung oder Quantenkanälen zwischen den verschiedenen lokalen Parteien hin, da diese es erlauben, über die von LOCC gesetzten Grenzen hinauszugehen.

Zustandspräparation

Bearbeiten

Welche Zustände können zwei aus Teilen A und B zusammengesetzten Quantensystem können zwei Parteien Alice und Bob mit lokalen Mitteln präparieren? Als Ausgangspunkt für diese Frage wird eine Produktzustand   verwendet, da solche Zustände offensichtlich mit lokalen Methoden präpariert werden können. Wenn keine Kommunikation zwischen den Parteien möglich ist (d. h., nur LO, kein CC), dann lassen sich aus solchen Zuständen nur andere Produktzustände   erzeugen, aber keine Korrelationen zwischen A und B. Dagegen lassen sich mit LOCC (und nur einer Runde an Kommunikation, also mit  ) alle separablen Zustände erzeugen. Ein einfaches Beispiel ist der Zustand  . Um ihn zu präparieren, erzeugt Alice ein zufälliges Bit (das mit gleicher Wahrscheinlichkeit den Wert 0 oder 1 annimmt) und präpariert dann entsprechend den Zustand   oder   und sendet das Bit zu Bob, der dann sein System ebenfalls in Abhängigkeit vom Wert des Bits im Zustand   oder   präpariert. Ohne Kenntnis des Werts des Bits ist die korrekte Beschreibung des Zustands des zusammengesetzten Systems die Dichtematrix  .

Analog kann jeder separable Zustand   mit   präpariert werden. Die Zustände   werden als Alice und Bob bekannt vorausgesetzt. Alice zieht eine Zufallszahl   zwischen 1 und   gemäß der Wahrscheinlichkeitsverteilung  , präpariert ihr System im Zustand   und sendet die Zufallszahl zu Bob, der sein System im Zustand   präpariert. Da LOCC angewandt auf einen Produktzustand immer eine Konvexkombination von Produktzuständen ergibt, können nicht-separable, d. h., verschränkte Zustände weder mit   noch mit   aus Produktzuständen präpariert werden.[2]

Zustandsunterscheidung

Bearbeiten

Die Aufgabe der Quantenzustandsunterscheidung (engl.: quantum state discrimination) ist es, so gut als möglich herauszufinden, in welchem Zustand (aus einer vorgegebenen, meist endlichen Menge) sich ein Quantensystem befindet.[4] Die optimale Strategie verwendet in der Regel globale Instrumente, die nicht zu LOCC gehören, so dass sich für zusammengesetzte Quantensysteme mit Systemhilbertraum   die Frage stellt, ob und wie gut es möglich ist, die Zustände mit lokalen Operationen zu unterscheiden. Ohne Kommunikation lassen sich viele Zustände überhaupt nicht unterscheiden, so zum Beispiel nicht die vier Bell-Zustände, da dann nur die reduzierten Dichtematrizen bestimmbar sind, die aber für alle vier Bell-Zustände identisch sind. Mit klassischer Kommunikation lassen sich beispielsweise die beiden Bell-Zustände

 
 

perfekt unterscheiden: Alice misst ihr Qubit in der Rechenbasis und kommuniziert das Ergebnis an Bob. Dieser misst in derselben Basis. Wenn er dasselbe Ergebnis erhält wie Alice, handelt es sich um  , anderenfalls um  . Durch globale Operationen können alle vier Bell-Zustände perfekt unterschieden werden, da sie paarweise orthogonal zueinander sind (z. B. durch Messung in der Bell-Basis).

Es gibt jedoch auch Quantenzustände, die sich selbst mit   nicht unterscheiden lassen.[5] Die Entdeckung dieser Zustände war auch der erste Beweis dafür, dass   strikt größer ist als  .[6] Die Zustandsunterscheidung liefert auch Beispiele dafür, dass   mächtiger ist als  .[7]

Welche Grenzen die Beschränkung auf LOCC der Zustandsunterscheidung in verschiedenen Szenarien (zwei oder mehr Zustände, zwei oder mehr Parteien, ein oder mehrere Kopien der zu unterscheidenden Zustände) setzt, ist Gegenstand aktueller Forschung.[8]

Verschränkungstransformationen

Bearbeiten

LOCC können Quantenverschränkung zwar nicht erzeugen, aber verschränkte Zustände aber in nützlicher Weise in andere verschränkte Zustände transformieren. Die Beschränkung auf LOCC (und die Zahl der erlaubte Kommunikationsrunden) limitiert stark, welche derartigen Transformationen möglich sind. Zu den mit LOCC möglichen Transformationen gehört die Verschränkungsdestillation, die eine Grundlage für den Quantenrepeater darstellt. Allgemeine hinreichende und notwendige Bedingungen dafür, dass die LOCC-Transformation von einem Anfangszustand   in einen Endzustand   möglich ist, sind nicht bekannt. Es gibt aber offensichtlich gültige notwendige Bedingungen, wie die, dass der Endzustand nicht mehr verschränkt sein darf als der Anfangszustand. D. h., für alle Verschränkungsmaße   muss gelten, dass  . Am weitesten entwickelt ist die Theorie der Verschränkungstransformationen für reine Zustände auf bipartiten, endlich-dimensionalen Hilberträumen  .

Verschränkungskonversion

Bearbeiten

Unter welchen Umständen ist es möglich einen gegebenen reinen Zustand   durch LOCC in einen Zielzustand   zu überführen? Michael Nielsen gab 1999 eine vollständige Antwort auf diese Frage.[9] Eine notwendige und hinreichende Bedingung für die Möglichkeit einer solchen Konversion lässt sich über die Schmidt-Zerlegung der beiden Zustände formulieren. Seien   und   zwei Vektoren, deren Komponenten die der nach Größe absteigend geordneten und quadrierten Schmidt-Koeffizienten der beiden Zustände sind (d. h., dass gilt   und analog für  ). Dann lässt sich   genau dann durch LOCC nach   überführen, wenn der Vektor   vom Vektor   majorisiert wird, das heißt, wenn für alle   gilt, dass  . Dies wird als Majorisierungskriterium für LOCC-Zustandstransformationen bezeichnet. Kurz schreibt man dafür:   Diese Bedingung ist restriktiver als die offensichtlich notwendige Bedingung, dass LOCC ein Verschränkungsmaß wie die Verschränkungsentropie nicht erhöhen können. Es darf gar kein Verschränkungsmaß erhöht werden und genau das wird durch die Majorisierungsbedingung ausgedrückt, denn   ist für jedes   ein Verschränkungsmaß.[10] Insbesondere gibt es Zustände, die dieselbe Verschränkungsentropie besitzen, aber für die weder die Transformation   noch   möglich ist, weil keiner der beiden den anderen majorisiert. Solche Zustände werden dann bezüglich ihrer Verschränkung and nicht miteinander vergleichbar (englisch: incomparable) bezeichnet.[9]

Diese Überlegungen zeigen, dass es im Fall bipartiter reiner Zustände (von Qudits, d. h., Zuständen auf dem Hilbertraum  ) einen eindeutigen maximal verschränkten Zustand gibt, der alle anderen majorisiert, nämlich den Zustand mit   gleich großen Schmidt-Koeffizienten. Im Fall von mehr als zwei Parteien, gibt es mehrere (und meist unendliche viele) Zustände, die im Sinne der LOCC-Konvertierbarkeit maximal verschränkt sind, was zur Definition der maximal verschränkten Mengen (maximally entangled sets) geführt hat.[11]

Ein Spezialfall der LOCC-Verschränkungskonversion ist die „Katalyse“ von Verschränkungstransformationen: es gibt Zustände   und  , die sich durch LOCC nicht ineinander überführen lassen, für die aber ein dritter (ebenfalls reiner und bipartiter) Zustand   existiert, mit dem die LOCC-Transformation   möglich ist.[12] Dieser Prozess wird als Verschränkungskatalyse bezeichnet, weil der Zustand den Prozess ermöglicht, ohne dabei verbraucht zu werden. Die Katalyse wird dadurch ermöglicht, dass die Schmidt-Koeffizienten des Zustands   die des Zustands   majorisieren, obwohl für die Koeffizienten von   alleine keine Majorisierung gilt. Ein einfaches Beispiel sind die folgenden Zustände:

 
 
 

Es gilt  , da   aber  , das heißt die beiden Zustände sind nicht miteinander vergleichbar und daher auch nicht LOCC-transformierbar. Aber für die Zustände mit Katalyst   ist das Majorisierungskriterium erfüllt. Bezeichnet man den Vektor der Schmidt-Koeffizienten des Zustands   mit   so findet man   und entsprechend für   und es lässt sich leicht nachrechnen, dass für alle   gilt, dass   und folglich  . Dies ist ein Beispiel dafür, wie das bloße Vorhandensein von Verschränkung (in Form des Zustands  ) die durch LOCC möglichen Transformationen erweitert. Wenn man nicht fordert, dass der Zustand   am Ende wieder unverändert vorliegt, ergeben sich zusätzliche Möglichkeiten. Diese Klasse von Transformationen wird als „verschränkungsassistierte LOCC“ bezeichnet (entanglement-assisted LOCC).

Alle LOCC sind spurerhaltend und somit deterministische Operationen. Wenn man diese Anforderung aufgibt und auch Quantenoperationen zulässt, die die Spur reduzieren können, dann erhält man die als SLOCC (stochastic LOCC) bezeichnete Menge an Quantenoperationen. Diese sind nicht mehr deterministisch, sondern haben nur mit einer (in der Regel vom Zustand, auf den sie angewandt werden, abhängigen) Wahrscheinlichkeit Erfolg („probabilistische Operationen“). Wenn   in LOCC ist, dann ist für jedes   die Operation   eine SLOCC. Die Anwendung von SLOCC wurde insbesondere auf die Verschränkungstransformationen zwischen reinen bipartiten oder mehrpartiten Zuständen angewandt. Da SLOCC mehr Transformationen erlauben als LOCC, sind durch sie mehr Zustandstransformationen möglich. Das macht sie für die Klassifizierung von Verschränkung interessant. Man definiert zwei Zustände   als SLOCC-äquivalent, wenn es sowohl für   als auch für   eine SLOCC gibt. Unter dieser Form von Äquivalenz gibt es dann im bipartiten Fall eine sehr einfache Klassifizierung: zwei reine, bipartite Zustände sind genau dann SLOCC-äquivalent, wenn sie denselben Schmidt-Rang (Anzahl von Schmidt-Koeffizienten  ) haben. Der Schmidt-Rang kann durch SLOCC nicht erhöht (wohl aber abgesenkt) werden.
Für Zustände von drei Qubits wurden mithilfe von SLOCC zwei inäquivalente Klassen von Dreiparteienverschränkung identifiziert (die durch den GHZ-Zustand und den W-Zustand   repräsentiert werden).[13] Im allgemeinen Fall von   Parteien ist die SLOCC-Klassifizierung von Verschränkung weiterhin Gegenstand der Forschung.[14]

Literatur

Bearbeiten
  • Chitambar, E., Leung, D., Mancinska, L., Ozols, M., Winter, A.: Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask). In: Commun. Math. Phys. 328. Jahrgang, Nr. 1, 2012, S. 303, doi:10.1007/s00220-014-1953-9, arxiv:1210.4583, bibcode:2014CMaPh.328..303C (englisch).
  • John Watrous: The Theory of Quantum Information. Cambridge University Press, 2018, S. 324–351 (englisch, uwaterloo.ca).

Einzelnachweise

Bearbeiten
  1. Eric Chitambar, Gilad Gour: Quantum resource theories. In: Rev. Mod. Phys. Band 91, 2019, S. 025001, doi:10.1103/RevModPhys.91.025001, arxiv:1806.06107.
  2. a b c d E. Chitambar, Debbie Leung, L. Mancinska, M. Ozols, Andreas Winter: Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask). In: Commun. Math. Phys. 328. Jahrgang, Nr. 1, 2012, S. 303, doi:10.1007/s00220-014-1953-9, arxiv:1210.4583, bibcode:2014CMaPh.328..303C (englisch).
  3. E. B. Davies, J. T. Lewis: An operational approach to quantum probability. In: Comm. Math. Phys. Band 17, 1970, S. 239–260, doi:10.1007/BF01647093 (projecteuclid.org).
  4. Joonwoo Bae, Leong-Chuan Kwek: Quantum state discrimination and its applications. In: Journal of Physics A: Mathematical and Theoretical. Band 48, Nr. 8, 2015, S. 083001, doi:10.1088/1751-8113/48/8/083001.
  5. Charles H. Bennett, David P. DiVincenzo, Christopher A. Fuchs, Tal Mor, Eric Rains, Peter W. Shor, John A. Smolin, William K. Wootters: Quantum nonlocality without entanglement. In: Phys. Rev. A. 59. Jahrgang, Nr. 2, 1999, S. 1070–1091, doi:10.1103/PhysRevA.59.1070, arxiv:quant-ph/9804053, bibcode:1999PhRvA..59.1070B (englisch).
  6. Joonwoo Bae, Leong-Chuan Kwek: Quantum state discrimination and its applications. In: Journal of Physics A: Mathematical and Theoretical. Band 48, Nr. 8, 2015, S. 083001, S. 17, doi:10.1088/1751-8113/48/8/083001.
  7. E. Chitambar, Debbie Leung, L. Mancinska, M. Ozols, Andreas Winter: Everything You Always Wanted to Know About LOCC (But Were Afraid to Ask). In: Commun. Math. Phys. 328. Jahrgang, Nr. 1, 2012, S. 309 f., doi:10.1007/s00220-014-1953-9, arxiv:1210.4583, bibcode:2014CMaPh.328..303C (englisch).
  8. Scott M. Cohen: Local approximation for perfect discrimination of quantum states. In: Phys. Rev. A. Band 107, S. 012401, doi:10.1103/PhysRevA.107.012401, arxiv:2207.03573.
  9. a b M. A. Nielsen: Conditions for a Class of Entanglement Transformations. In: Phys. Rev. Lett. 83. Jahrgang, Nr. 2, 1999, S. 436–439, doi:10.1103/PhysRevLett.83.436, arxiv:quant-ph/9811053, bibcode:1999PhRvL..83..436N (englisch).
  10. R. Horodecki, P. Horodecki, M. Horodecki, K. Horodecki: Quantum entanglement. In: Rev. Mod. Phys. Band 81, 2009, S. 865–942, S. 913, doi:10.1103/RevModPhys.81.865, arxiv:quant-ph/0702225.
  11. Julio I. de Vicente, Cornelia Spee, Barbara Kraus: The maximally entangled set of multipartite quantum states. In: Phys. Rev. Lett. Band 111, 2013, S. 110502, doi:10.1103/PhysRevLett.111.110502, arxiv:1305.7398.
  12. D. Jonathan, M. B. Plenio: Entanglement-assisted local manipulation of pure quantum states. In: Phys. Rev. Lett. 83. Jahrgang, Nr. 17, 1999, S. 3566–3569, doi:10.1103/PhysRevLett.83.3566, arxiv:quant-ph/9905071, bibcode:1999PhRvL..83.3566J (englisch).
  13. W. Dür, G. Vidal, J. I. Cirac: Three qubits can be entangled in two inequivalent ways. In: Phys. Rev. A. Band 62, 2000, S. 062314, doi:10.1103/PhysRevA.62.062314, arxiv:quant-ph/0005115.
  14. G. Gour, N. R. Wallach: Classification of Multipartite Entanglement of All Finite Dimensionality. In: Phys. Rev. Lett. 111. Jahrgang, Nr. 6, 2013, S. 060502, doi:10.1103/PhysRevLett.111.060502, arxiv:1304.7259 (englisch).