LOCC

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
LOCC: Die Parteien A und B können lokal beliebige Quantenoperationen durchführen, aber nur klassische Information miteinander austauschen.

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.

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 | Quelltext 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.

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 | Quelltext 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 | Quelltext 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 | Quelltext 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 | Quelltext 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]

  • 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 | Quelltext 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).