Complete Factorization of Entangled Quantum States PART 1: Factorizing the Bell States using Semi-Structured Complex Numbers

In der seltsamen und kontraintuitiven Welt der Quantenphysik können Teilchen auf eine Weise miteinander verknüpft werden, die unsere alltägliche Erfahrung von Raum und Distanz sprengt. Wenn zwei Teilchen „verschränkt“ sind, verlieren sie ihre individuellen Identitäten und verhalten sich wie ein einziges, vereintes System, ungeachtet dessen, wie weit sie voneinander entfernt sind. Dieses Phänomen ist der Motor hinter den leistungsfähigsten zukünftigen Technologien, von der ultrasicheren Kommunikation bis hin zu Computern, die Probleme lösen können, die für heutige Maschinen unmöglich sind. Diese Verknüpfung stellt jedoch gleichzeitig eine massive Hürde für Wissenschaftler dar, die versuchen, diese Systeme zu simulieren oder zu entwerfen. Da die Teilchen untrennbar sind, zwingt die Standardmathematik die Forscher dazu, die gesamte Gruppe als einen einzigen, riesigen, verschlungenen Block zu verfolgen. Mit zunehmender Anzahl der Teilchen explodiert die Komplexität dieser Berechnungen, was es nahezu unmöglich macht, dem Verhalten eines einzelnen Teilchens zu folgen, ohne sich im Rauschen des Ganzen zu verlieren.

Ein Team von Forschern der Maynooth University in Irland und der University of the West Indies hat einen neuen Weg vorgeschlagen, diesen Knoten zu entwirren – nicht durch eine Änderung der Physik, sondern durch eine Änderung der mathematischen Linse, durch die sie betrachtet wird. In ihrer jüngsten Arbeit führten sie eine Methode ein, die die Regeln der Algebra vorübergehend erweitert, um verschränkte Zustände in unabhängige Teile zerlegen zu können. Indem sie die „Nullwerte“, die diese Berechnungen normalerweise blockieren, als Platzhalter für eine spezielle, temporäre Variable behandelten, gelang es ihnen, die berühmtesten Beispiele verschränkter Zustände, bekannt als Bell-Zustände, in einfache, getrennte Stücke zu faktorisieren. Dieser Ansatz verändert nicht die endgültige physikalische Realität; vielmehr bietet er ein mathematisches Gerüst, das es Wissenschaftlern ermöglicht, die Komplexität der Verschränkung so zu durchschreiten, als wäre sie ein einfaches Produkt einzelner Teile, bevor sie die Struktur mit perfekter Genauigkeit wieder in die reale Welt kollabieren lässt.

Die Kernschwierigkeit, die die Forscher adressierten, entspringt einer fundamentalen Regel der Standardquantenmechanik: Ein verschränkter Zustand kann nicht als eine einfache Kombination aus zwei separaten Zuständen geschrieben werden. In der normalen Mathematik stößt man, wenn man versucht, einen solchen Zustand zu spalten, unweigerlich auf eine Wand, an der eine notwendige Zahl Null wird, was die Gleichung zusammenbrechen lässt. Diese Null wirkt wie eine Sackgasse, die verhindert, dass der Zustand in seine Bestandteile zerlegt wird. Die Lösung des Teams bestand darin, die Standardregeln der komplexen Zahlen zu verlassen und in einen breiteren, „semi-strukturierten“ mathematischen Raum einzutreten. In diesem neuen Raum ist die Zahl Null keine leere Leere, sondern wird auf eine spezifische, nicht-null-wertige Form abgebildet, die eine spezielle Einheit und einen Hilfsparameter beinhaltet. Diese kleine Verschiebung ermöglicht es, dass die mathematischen Kreuzterme, die normalerweise verschwinden, sichtbar bleiben, wodurch die Tür für die Faktorisierung des Zustands effektiv offen gehalten wird.

Unter Verwendung dieses neuen Rahmens gelang es den Forschern, die vier Standard-Bell-Zustände – Paare von Teilchen, die maximal verschränkt sind – so umzuschreiben, als wären sie zwei unabhängige Teilchen, die nebeneinander liegen. Sie demonstrierten, dass diese Zustände innerhalb dieses temporären mathematischen Raums als einfache Produkte von Einzelteilchenzuständen behandelt werden können. Um sicherzustellen, dass dieser Trick nicht die fundamentalen Gesetze der Wahrscheinlichkeit verletzt oder unmögliche physikalische Szenarien erzeugt, unterzogen sie die faktorierten Zustände einem strengen Test, der als CHSH-Ungleichung bekannt ist. Dieser Test misst, wie stark zwei Teilchen korreliert sind. In der Standardquantenmechanik verletzen verschränkte Teilchen eine klassische Grenze von zwei und erreichen einen Wert von etwa 2,828. Da die Methode der Forscher die Teilchen jedoch erfolgreich in unabhängige lokale Zustände innerhalb ihres Hilfsraums getrennt hatte, entsprachen die resultierenden Korrelationen strikt der klassischen Grenze von zwei. Dies bestätigte, dass die mathematische Trennung konsistent war und dass die Teilchen, obwohl sie vorübergehend als unabhängig behandelt wurden, dennoch die Regeln des lokalen Realismus innerhalb jenes spezifischen algebraischen Kontextes respektierten.

Der Prozess beruht auf einer geschickten Sequenz von Schritten, die damit beginnt, anzunehmen, dass der verschränkte Zustand gespalten werden kann, und dann die speziellen Eigenschaften ihres neuen Zahlensystems nutzt, um die fehlenden Teile zu lösen. Wenn die Gleichungen zu einer Division durch Null führen – eine Situation, die normalerweise undefiniert wäre – wenden die Forscher eine „Trigger-Transformation“ an. Diese Regel behandelt das Ergebnis Null-durch-Null nicht als Fehler, sondern als eine spezifische, reelle Zahl, die durch die Randbedingungen des Systems bestimmt wird. Es ist vergleichbar mit der Art und Weise, wie ein Physiker ein spezifisches Koordinatensystem wählen könnte, um eine Berechnung zu vereinfachen, in dem Wissen, dass das Endergebnis nicht von dieser Wahl abhängen wird. Sobald der Zustand vollständig faktoriert und die Hilfsvariablen gelöst sind, wenden die Forscher eine inverse Transformation an. Dieser Schritt entfernt sauber das gesamte temporäre Gerüst, die speziellen Einheiten und die Hilfsparameter und projiziert das System zurück in die standardmäßige physikalische Welt. Das Ergebnis ist der exakt ursprüngliche verschränkte Zustand, der ohne Verlust an physikalischen Daten wiederhergestellt wurde, nachdem er eine Phase durchlaufen hat, in der er als einfaches, separierbares Produkt behandelt wurde.

Diese Methode bietet ein vielversprechendes neues Werkzeug für die Zukunft des Quantencomputings, insbesondere für die Software, die Quantenschaltkreise entwirft und optimiert. Derzeit erfordert die Simulation eines Quantencomputers mit vielen verschränkten Qubits das Verfolgen einer massiven Menge an Daten, die exponentiell wächst und selbst die leistungsstärksten Supercomputer schnell überfordert. Indem sie es den Forschern ermöglichen, verschränkte Zustände während der Zwischenstadien der Berechnung als separate, lokale Komponenten zu behandeln, könnte dieser Rahmen es konzeptionell möglich machen, die algebraische Entwicklung eines einzelnen Qubits zu verfolgen, ohne das gesamte globale System gleichzeitig verwalten zu müssen. Zweitens verbringen moderne Quanten-Compiler erhebliche Rechenleistung damit, Gates über verschränkte Zustände hinweg zu optimieren. Ein Framework, das alle Zustände innerhalb einer intermediären algebraischen Schicht einheitlich als separierbare Produktheiten behandelt, könnte Compiler in die Lage versetzen, Quantenschaltkreise mittels einfacher, lokaler linearer Transformationen zu komprimieren, umzuordnen oder zu optimieren. Die Forscher betonen, dass dies eine mathematische Technik zur Analyse und Optimierung ist und keine Änderung der zugrunde liegenden Physik der Natur. Die Verschränkung bleibt in der physischen Welt real und unaufbrechbar; die Methode bietet lediglich einen Weg, die Komplexität dieser Verschränkung auf dem Papier zu navigieren, indem sie die strukturellen Einschränkungen, die sie normalerweise so schwierig handhabbar machen, vorübergehend lockert.

Obwohl die Arbeit erfolgreich die Faktorisierung für die grundlegenden Bell-Zustände demonstriert, räumen die Autoren ein, dass diese Arbeit ein Ausgangspunkt ist. Sie haben einen konstruktiven Beweis geliefert, dass diese algebraische Erweiterung für diese spezifischen Fälle funktioniert, aber ein allgemeiner Algorithmus, der in der Lage ist, jedes beliebige, hochkomplexe verschränkte System zu faktorisieren, bleibt ein Ziel zukünftiger Studien. Die Methode lässt auch Fragen hinsichtlich der physikalischen Bedeutung einer „lokalen Messung“ innerhalb des intermediären semi-strukturierten Raums offen, bevor die endgültige Projektion zurück zur Realität erfolgt. Nichtsdestotrotz etabliert die Arbeit, dass die Barriere der Nicht-Separierbarkeit algebraisch umgangen werden kann. Durch die Einführung einer Ebene mathematischer Freiheit, die bei Abschluss wieder verschwindet, haben die Forscher gezeigt, dass der hartnäckige Knoten der Quantenverschränkung zum Zwecke der Berechnung entwirrt werden kann, was eine neue Perspektive darauf bietet, wie man die Komplexität der Quantenwelt bewältigt.