LOCC

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: Vorlage:Lang) 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 die „freien“ Operationen, die keine Ressource erzeugen können und deren Realisierung keine Ressourcen kostet.

Mathematische Eigenschaften

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 $n$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 $r\ge 1$ definiert man ${\mathrm{LOCC}}_r$ als die Menge der LOCC-Operationen, die mit $r$ Runden klassischer Kommunikation erreicht werden können. Die Menge wird mit wachsendem $r$ strikt größer und Definition für den Limes für $r\to \mathrm{\infty }$ 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.

Die Definition von LOCC erfolgt rekursiv als Kombination (Hintereinanderausführung) von einfacheren Quantenoperationen. Der einfachste Baustein ist dabei das lokale Quanteninstrument. Als Quanteninstrument $𝒥=({𝒥}_x{)}_{x\in I}$ bezeichnet man eine Familie von vollständig positiven Abbildungen (CPM) ${𝒥}_x$ mit $x$ aus einer (diskreten) Indexmenge $I$ für die gilt, dass $\sum _{x\in I}{𝒥}_x$ spurerhaltend ist. Dies ist ein mathematisches Modell für eine quantenmechanische Messung, bei der das Ergebnis $x$ mit Wahrscheinlichkeit $p_x=\mathrm{t}\mathrm{r}[J_x(\rho )]$ auftritt und der Zustand in Abhängigkeit davon durch die (in der Regel nicht spurerhaltende) Operation ${𝒥}_x$ transformiert wird. Ein lokales Quanteninstrument ist bezüglich einer Zerlegung des Systemhilbertraums $\mathscr{H}$ in ein Tensorprodukt $\mathscr{H}\mathcal{=}{\mathscr{H}}_1\mathcal{\otimes }{\mathscr{H}}_2\mathcal{\otimes }\mathcal{\dots }\mathcal{\otimes }{\mathscr{H}}_{𝒩}$ 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 ${𝒥}^{\text{loc}}$ hat die Form $({𝒥}_{x_1}^1\otimes {𝒥}_{x_2}^2\otimes \dots {𝒥}_{x_N}^N{)}_{(x_1{x}_2\dots x_N)\in I}$, wobei $({𝒥}_{x_j}^j{)}_{x_j\in I}$ für jedes $j=1,\dots ,n$ ein Instrument [auf $ℬ\mathcal{(}{\mathscr{H}}_{𝒿}\mathcal{)}$] ist.

Eine Ein-Runden-LOCC ${\mathrm{LOCC}}_1$ ist ein Quanteninstrument $\left\{{ℰ}_x\right\}$, bei dem das Messresultat einer Partei mit allen anderen geteilt wird, deren lokale Instrumente dann davon abhängig sein können: ${ℰ}_x$ für jedes $x$ ein Tensorprodukt lokaler vollständig positiver Abbildungen (CPM), d. h., ${ℰ}_x=\underset{j}{⨂}({ℰ}_x^j)\mathrm{\forall }x$ und es gibt höchstens eine Partei $j=K$ für die die Abbildung ${ℰ}_x^K$ nicht spurerhaltend (d. h., kein Quantenkanal) ist. Das heißt, dass die Ein-Runden-LOCC dadurch realisiert werden kann, dass die Partei $K$ das (lokale) Instrument $\left\{{ℰ}_x^K\right\}$ anwendet, das Messresultat $x$ an alle anderen Parteien $j=K$ kommuniziert und diese dann jeweils den lokalen Quantenkanal ${ℰ}_x^j$ anwenden. Insbesondere kann das Messresultat $x$ 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 ${\mathrm{LOCC}}_r$ wird dann rekursiv als die Menge der Operationen definiert, die durch die Hintereinanderausführung von zunächst einer Operation aus ${\mathrm{LOCC}}_{r-1}$ und dann einer aus ${\mathrm{LOCC}}_1$ realisiert werden können:

${\mathrm{LOCC}}_r=\{{ℰ}_x={ℱ}_y\circ {𝒢}_z:{ℱ}_y\in {\mathrm{LOCC}}_1\text{ and }{𝒢}_z\in {\mathrm{LOCC}}_{r-1}\}.$

Hierbei darf jede ${\mathrm{LOCC}}_1$-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 $\left\{{ℰ}_{xy}\right\}$ mit $x\in I_1,y\in I_2$ die „vergröberte“ Operation $\left\{{\overline{ℰ}}_x\right\}$ mit ${\overline{ℰ}}_x=\sum _{y\in I_2}{ℰ}_{xy}$ und $x\in I_1$ betrachtet wird, die über einen Teil der Messergebnisse mittelt.

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

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

${\mathrm{LOCC}}_r\subset {\mathrm{LOCC}}_{r+1}\subset {\mathrm{LOCC}}_{\mathbb{N}}\subset {\overline{\mathrm{LOCC}}}_{\mathbb{N}}.$

Die Menge ${\overline{\mathrm{LOCC}}}_{\mathbb{N}}$ aller LOCC-Operationen ist in der Menge $\mathrm{SEP}$ 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 $ℰ\in \mathrm{SEP}$ gilt

$ℰ(\rho )=\sum _l{K}_1^l\otimes K_2^l\dots \otimes K_N\rho (K_1^l\otimes K_2^l\dots \otimes K_N{)}^{†},$

wobei $\sum _l{K}_1^l\otimes K_2^l\dots \otimes K_N(K_1^l\otimes K_2^l\dots \otimes K_N{)}^{†}=1$. Anders als für die (in vieler Hinsicht analogen separablen Zustände) gilt für die separablen Operationen $\mathrm{SEP}$ 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 ($\mathrm{SEP}$ ist strikt größer als ${\overline{\mathrm{LOCC}}}_{\mathbb{N}}$).

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

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

Welche Zustände eines zwei aus Teilen A und B zusammengesetzten Quantensystems können zwei Parteien Alice und Bob mit lokalen Mitteln präparieren? Als Ausgangspunkt für diese Frage wird eine Produktzustand $|00⟩=|0{⟩}_A\otimes |0{⟩}_B$ 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 ${ℰ}_A(|0⟩⟨0|)\otimes {ℰ}_B(|0⟩⟨0|)$ erzeugen, aber keine Korrelationen zwischen A und B. Dagegen lassen sich mit LOCC (und nur einer Runde an Kommunikation, also mit ${\mathrm{LOCC}}_1$) alle separablen Zustände erzeugen. Ein einfaches Beispiel ist der Zustand ${\rho }_{AB}=\frac{1}{2}|00⟩⟨00|+\frac{1}{2}|11⟩⟨11|$. 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 $|0⟩$ oder $|1⟩$ und sendet das Bit zu Bob, der dann sein System ebenfalls in Abhängigkeit vom Wert des Bits im Zustand $|0⟩$ oder $|1⟩$ präpariert. Ohne Kenntnis des Werts des Bits ist die korrekte Beschreibung des Zustands des zusammengesetzten Systems die Dichtematrix ${\rho }_{AB}$.

Analog kann jeder separable Zustand ${\rho }_{AB}=\sum _{m=1}^L{p}_m{\rho }_m\otimes {\sigma }_m$ mit ${\mathrm{LOCC}}_1$ präpariert werden. Die Zustände ${\rho }_m,{\sigma }_m$ werden als Alice und Bob bekannt vorausgesetzt. Alice zieht eine Zufallszahl $m$ zwischen 1 und $L$ gemäß der Wahrscheinlichkeitsverteilung $P(m)=p_m$, präpariert ihr System im Zustand ${\rho }_m$ und sendet die Zufallszahl zu Bob, der sein System im Zustand ${\sigma }_m$ 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 ${\overline{\mathrm{LOCC}}}_{\mathbb{N}}$ noch mit $\mathrm{SEP}$ aus Produktzuständen präpariert werden.

Zustandsunterscheidung

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. Die optimale Strategie verwendet in der Regel globale Instrumente, die nicht zu LOCC gehören, so dass sich für zusammengesetzte Quantensysteme mit Systemhilbertraum $\mathscr{H}={\mathscr{H}}_A\otimes {\mathscr{H}}_B$ 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

$|{\mathrm{\Phi }}_{+}⟩=\frac{1}{\sqrt{2}}(|0{⟩}_A\otimes |0{⟩}_B+|1{⟩}_A\otimes |1{⟩}_B)$

$|{\mathrm{\Psi }}_{+}⟩=\frac{1}{\sqrt{2}}(|0{⟩}_A\otimes |1{⟩}_B+|1{⟩}_A\otimes |0{⟩}_B)$

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 ${\mathrm{\Phi }}_{+}$, anderenfalls um ${\mathrm{\Psi }}_{+}$. 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 $\overline{{\mathrm{LOCC}}_N}$ nicht unterscheiden lassen. Die Entdeckung dieser Zustände war auch der erste Beweis dafür, dass $\mathrm{SEP}$ strikt größer ist als $\overline{{\mathrm{LOCC}}_N}$. Die Zustandsunterscheidung liefert auch Beispiele dafür, dass ${\mathrm{LOCC}}_{r+1}$ mächtiger ist als ${\mathrm{LOCC}}_r$.

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.

Verschränkungstransformationen

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 $\rho$ in einen Endzustand $\sigma$ 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 $E$ muss gelten, dass $E(\rho )\ge E(\sigma )$. Am weitesten entwickelt ist die Theorie der Verschränkungstransformationen für reine Zustände auf bipartiten, endlich-dimensionalen Hilberträumen $\mathscr{H}={ℂ}^{d_A}\otimes {ℂ}^{d_B}$.

Verschränkungskonversion

Unter welchen Umständen ist es möglich einen gegebenen reinen Zustand $|\mathrm{\Psi }⟩$ durch LOCC in einen Zielzustand $|\mathrm{\Phi }⟩$ zu überführen? Michael Nielsen gab 1999 eine vollständige Antwort auf diese Frage. 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 $\overrightarrow{\psi }=({\psi }_1,\dots ,{\psi }_d)$ und $\overrightarrow{\varphi }=({\varphi }_1,\dots ,{\varphi }_d)$ zwei Vektoren, deren Komponenten die der nach Größe absteigend geordneten und quadrierten Schmidt-Koeffizienten der beiden Zustände sind (d. h., dass gilt $|\mathrm{\Psi }⟩=\sum _{j=1}^d\sqrt{{\psi }_j}|j_A⟩\otimes |j_B⟩$ und analog für $|\mathrm{\Phi }⟩$). Dann lässt sich $|\mathrm{\Psi }⟩$ genau dann durch LOCC nach $|\mathrm{\Phi }⟩$ überführen, wenn der Vektor $\overrightarrow{\psi }$ vom Vektor $\overrightarrow{\varphi }$ majorisiert wird, das heißt, wenn für alle $k=1,\dots ,d$ gilt, dass $\sum _{j=1}^k{\psi }_j\le \sum _{j=1}^k{\varphi }_j$. Dies wird als Majorisierungskriterium für LOCC-Zustandstransformationen bezeichnet. Kurz schreibt man dafür: $|\mathrm{\Psi }⟩\to |\mathrm{\Phi }⟩\text{iff}\overrightarrow{\psi }\prec \overrightarrow{\varphi }.$ 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 $E_k(|\mathrm{\Psi }⟩)=\sum _{j=k}^d{\psi }_j=1-\sum _{j=1}^k{\psi }_j$ ist für jedes $k=1,\dots ,d$ ein Verschränkungsmaß. Insbesondere gibt es Zustände, die dieselbe Verschränkungsentropie besitzen, aber für die weder die Transformation $|\mathrm{\Psi }⟩\to |\mathrm{\Phi }⟩$ noch $|\mathrm{\Phi }⟩\to |\mathrm{\Psi }⟩$ 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.

Diese Überlegungen zeigen, dass es im Fall bipartiter reiner Zustände (von Qudits, d. h., Zuständen auf dem Hilbertraum ${ℂ}^d\otimes {ℂ}^d$) einen eindeutigen maximal verschränkten Zustand gibt, der alle anderen majorisiert, nämlich den Zustand mit $d$ 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.

Ein Spezialfall der LOCC-Verschränkungskonversion ist die „Katalyse“ von Verschränkungstransformationen: es gibt Zustände $|\mathrm{\Psi }⟩$ und $|\mathrm{\Phi }⟩$, die sich durch LOCC nicht ineinander überführen lassen, für die aber ein dritter (ebenfalls reiner und bipartiter) Zustand $|c⟩$ existiert, mit dem die LOCC-Transformation $|\mathrm{\Psi }⟩\otimes |c⟩\to |\mathrm{\Phi }⟩\otimes |c⟩$ möglich ist. 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 $|\mathrm{\Phi }⟩\otimes |c⟩$ die des Zustands $|\mathrm{\Psi }⟩\otimes |c⟩$ majorisieren, obwohl für die Koeffizienten von $\mathrm{\Psi },\mathrm{\Phi }$ alleine keine Majorisierung gilt. Ein einfaches Beispiel sind die folgenden Zustände:

$|\mathrm{\Psi }⟩=\sqrt{0.4}|00⟩+\sqrt{0.4}|11⟩+\sqrt{0.1}|22⟩+\sqrt{0.1}|33⟩,$

$|\mathrm{\Phi }⟩=\sqrt{0.5}|00⟩+\sqrt{0.25}|11⟩+\sqrt{0.25}|22⟩,$

$|c⟩=\sqrt{0.6}\mid \uparrow \uparrow ⟩+\sqrt{0.4}\mid \downarrow \downarrow ⟩.$

Es gilt $\overrightarrow{\psi }\prec ̸\overrightarrow{\varphi }$, da $E_0(|\mathrm{\Psi }⟩)=0.4<0.5=E_0(|\mathrm{\Phi }⟩)$ aber $E_1(|\mathrm{\Psi }⟩)=0.8>0.75=E_1(|\mathrm{\Phi }⟩)$, 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 $|c⟩$ ist das Majorisierungskriterium erfüllt. Bezeichnet man den Vektor der Schmidt-Koeffizienten des Zustands $|\mathrm{\Phi }⟩\otimes |c⟩$ mit ${\overrightarrow{\psi }}^c$ so findet man ${\overrightarrow{\psi }}^c=(0,24;0,24;0,16;0,16;0,06;0,06;0,04;0,04)$ und entsprechend für ${\overrightarrow{\varphi }}^c=(0,3;0,2;0,15;0,15;0,1;0,1)$ und es lässt sich leicht nachrechnen, dass für alle $k$ gilt, dass $E_k(|\mathrm{\Psi }⟩\otimes |c⟩)\ge E_k(|\mathrm{\Phi }⟩\otimes |c⟩)$ und folglich $|\mathrm{\Psi }⟩\otimes |c⟩\to |\mathrm{\Psi }⟩\otimes |c⟩$. Dies ist ein Beispiel dafür, wie das bloße Vorhandensein von Verschränkung (in Form des Zustands $|c⟩$) die durch LOCC möglichen Transformationen erweitert. Wenn man nicht fordert, dass der Zustand $|c⟩$ 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 $({ℰ}_x{)}_{x\in I}$ in LOCC ist, dann ist für jedes $x\in I$ die Operation ${ℰ}_x$ 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 $\varphi ,\psi$ als SLOCC-äquivalent, wenn es sowohl für $\psi \mapsto \varphi$ als auch für $\varphi \mapsto \psi$ 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 $>0$) 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 $\propto |100⟩+|010⟩+|001⟩$ repräsentiert werden). Im allgemeinen Fall von $N$ Parteien ist die SLOCC-Klassifizierung von Verschränkung weiterhin Gegenstand der Forschung.

Literatur

• Vorlage:Cite journal
• Vorlage:Literatur