On the structure of low-rank PPT entangled states violating Peres conjecture

In der Quantenwelt können Teilchen so tief miteinander verknüpft werden, dass der Zustand des einen den Zustand des anderen augenblicklich beeinflusst, ungeachtet dessen, wie weit sie voneinander entfernt sind. Dieses Phänomen, bekannt als Verschränkung, war einst ein philosophisches Rätsel, bildet aber heute den Motor hinter aufkommenden Technologien wie der ultrasicheren Kommunikation und leistungsstarken neuen Computern. Nicht alle verschränkten Zustände sind jedoch gleich. Einige sind „gebunden“, was bedeutet, dass sie zwar verschränkt, aber so fragil sind, dass man ihnen keine nutzbare Arbeit entziehen kann, und sie besitzen eine spezifische mathematische Eigenschaft, die als positive partielle Transponierung bezeichnet wird. Jahrzehntelang glaubten Physiker, dass diese gebundenen Zustände zu zahm seien, um jemals die dramatischsten Formen der Quanten-Merkwürdigkeit zu zeigen, wie etwa das Steuern eines Teilchenzustands durch die Messung eines anderen oder die Verletzung der strengen Regeln der lokalen Realität, bekannt als Bell-Nichtlokalität. Dieser Glaube, die Peres-Vermutung, bestand jahrelang, bis Forscher seltene, kontraintuitive Beispiele fanden, die diese Regel brachen.

Die Frage, die blieb, war, ob diese regelbrechenden Zustände isolierte Kuriositäten waren oder ob sie alle eine gemeinsame architektonische Blaupause teilten. Ein führender Kandidat für eine solche Blaupause war eine Struktur namens unendliche produktive Basis (unextendible product basis), eine spezifische Anordnung von Quantenzuständen, die ein „Loch“ im System erzeugt, in das kein einfacher, unverschränkter Zustand passt. Forscher fragten sich, ob alle bekannten Gegenbeispiele zur Peres-Vermutung auf diesen einen strukturellen Ursprung zurückgeführt werden könnten, vielleicht nur durch eine andere Linse betrachtet. Eine neue Studie von Gurvir Singh und Manik Banik untersucht diese Möglichkeit, indem sie die einfachsten, niedrigsten Ränge dieser Zustände betrachtet. Sie fanden heraus, dass die Antwort vollständig von der Größe des Systems abhängt. In einem System aus zwei Drei-Zustands-Teilchen (Qutrits) lautet die Antwort ja: Die seltsamen, nichtlokalen Zustände stammen tatsächlich aus dieser gemeinsamen Blaupause. Aber in einem System aus drei Zwei-Zustands-Teilchen (Qubits) lautet die Antwort ein definitives Nein. Die Forscher bewiesen, dass die berühmten Gegenbeispiele im Drei-Teilchen-System strukturell verschieden sind und nicht aus derselben Blaupause abgeleitet werden können, was zeigt, dass der Weg zur Quanten-Merkwürdigkeit vielfältiger ist als bisher angenommen.

Um die Reise der Forscher zu verstehen, muss man zuerst die Landschaft begreifen, die sie kartografieren. Quantenzustände können in Bezug auf einen gewissen „Rang“ betrachtet werden, der grob der Komplexität oder der Anzahl der unabhängigen Möglichkeiten entspricht, mit denen das System angeordnet werden kann. Die Studie konzentrierte sich auf die niedrigstmöglichen Ränge, in denen die mathematischen Einschränkungen am engsten sind, was es einfacher macht, die zugrunde liegende Geometrie zu erkennen. Das Team untersuchte zwei spezifische Szenarien. Das erste beinhaltete zwei Teilchen, die jeweils in drei verschiedenen Zuständen existieren können, bekannt als zwei Qutrits. Das zweite beinhaltete drei Teilchen, die jeweils zwei Zustände besitzen können, bekannt als drei Qubits. In beiden Fällen suchten sie nach Zuständen, die zwar verschränkt, aber dennoch „gebunden“ (positive partielle Transponierung) waren und dennoch die unmöglichen Leistungen des Steuerns oder der Verletzung von Bell-Ungleichungen vollbringen konnten.

Im Zwei-Qutrit-Szenario fanden die Forscher eine schöne Vereinigung. Sie demonstrierten, dass jedes bekannte Beispiel eines Zustands mit Rang vier, der die Peres-Vermutung in diesem Kontext verletzt, durch eine spezifische Art mathematischer Operation, die sogenannte invertierbare lokale Filterung, in einen Zustand transformiert werden kann, der das direkte Komplement einer unendlichen produktiven Basis ist. Dies bedeutet, dass das seltsame, nichtlokale Verhalten, das in diesen Zuständen beobachtet wird, kein Zufall ist, sondern in der starren, geometrischen Struktur der unendlichen produktiven Basis wurzelt. Ob der Zustand verwendet wird, um Steering oder Bell-Nichtlokalität zu demonstrieren, er gehört zur selben Familie von Formen, nur aus einem leicht anderen Blickwinkel betrachtet. Dies legt nahe, dass für diesen spezifischen Typ von System die unendliche produktive Basis die fundamentale Quelle dieser Quantenanomalien ist.

Die Geschichte ändert sich völlig, als die Forscher ihre Aufmerksamkeit auf das Drei-Qubit-System richteten. Hier stießen sie auf ein grundlegendes Hindernis. Sie stellten zunächst fest, dass jeder Zustand mit Rang vier in diesem System, der verschränkt, aber über alle möglichen Schnitte hinweg eine positive partielle Transponierung aufweist, separierbar ist, was bedeutet, dass er nicht wirklich verschränkt ist, wie es zur Verletzung der Peres-Vermutung erforderlich wäre. Dies zwang die Suche nach Gegenbeispielen zu höheren Rängen. Als sie den bekannten Rang-vier-Gegenbeispiel betrachteten, der eine Bell-Ungleichung verletzt, analysierten sie die geometrische Struktur seines „Kerns“, des mathematischen Raums, der alle Zustände enthält, die das System nicht einnehmen kann. Sie fanden heraus, dass dieser Kern überhaupt keine vollständig separierbaren Produktzustände enthält. Im krassen Gegensatz dazu zeigten sie, dass jeder Zustand, der aus einer unendlichen produktiven Basis in diesem System abgeleitet wird, genau vier spezifische Produktzustände in seinem Kern haben muss. Da diese Anzahl eine feste Eigenschaft ist, die durch lokale Filteroperationen nicht geändert werden kann, bewiesen die Forscher, dass das berühmte Drei-Qubit-Gegenbeispiel unmöglich aus einer unendlichen produktiven Basis stammen kann. Es ist ein strukturell einzigartiges Gebilde, das in keinerlei Beziehung zu der Blaupause steht, die im Zwei-Qutrit-Fall so gut funktioniert.

Die Untersuchung endete nicht bei Rang vier. Das Team untersuchte auch Zustände mit höherem Rang, um zu sehen, ob die unendliche produktive Basis jemals einen wahrhaft komplexen, multipartiten verschränkten Zustand im Drei-Qutrit-System erzeugen könnte. Sie analysierten einen spezifischen Zustand mit Rang acht, der aus dem Komplement einer unendlichen produktiven Basis konstruiert wurde. Durch eine sorgfältige Untersuchung der Vektoren, die den Support des Zustands ausmachen, bewiesen sie, dass der Zustand echt multipartit verschränkt ist, was bedeutet, dass die Verschränkung alle drei Teilchen auf eine Weise involviert, die nicht in einfachere Paare zerlegt werden kann. Dies bestätigte, dass während das Drei-Qubit-System dieser Vereinigung widersteht, das Drei-Qutrit-System eine reiche Vielfalt an verschränkten Strukturen ermöglicht, die auf der unendlichen produktiven Basis aufgebaut sind, einschließlich jener, die vollständig positiv partiell transponiert und echt multipartit verschränkt sind.

Die Auswirkungen dieser Ergebnisse sind bedeutend für unser Verständnis der Architektur der Quantenmechanik. Die Studie zeigt, dass die Beziehung zwischen dem strukturellen Ursprung eines Zustands und seiner Fähigkeit, nichtklassische Verhalten zu zeigen, nicht universell ist. In der Welt der zwei Qutrits bietet die unendliche produktive Basis eine vereinende Erklärung dafür, warum bestimmte gebundene Zustände so seltsam mächtig sein können. In der Welt der drei Qubits hingegen gelten andere Regeln; die berühmten Gegenbeispiele entspringen einem völlig anderen strukturellen Ursprung. Dies deutet darauf hin, dass der Pfad zur Quanten-Nichtlokalität nicht eine einzige Straße ist, sondern ein Netzwerk aus unterschiedlichen Pfaden, von denen jeder von den spezifischen Dimensionen des Systems abhängt. Die Forscher haben diese Pfade mit Präzision kartiert und gezeigt, dass, während einige Quantenanomalien einen gemeinsamen Vorfahren teilen, andere eigenständige Schöpfungen ihrer eigenen mathematischen Geometrie sind. Diese Klarheit hilft Physikern zu wissen, wo sie nach neuen Zuständen suchen müssen und welche strukturellen Merkmale sie zu erwarten haben, wenn sie sie finden, wodurch das Feld von der Suche nach isolierten Beispielen zu einem tieferen Verständnis der zugrunde liegenden Landschaft der Quantenverschränkung übergeht.