Nonlocal magic of fermions is bounded by entanglement fluctuations and is logarithmic for free fermions

Quantencomputer versprechen, Probleme zu lösen, für die gewöhnliche Maschinen Tausende von Jahren benötigen würden, aber der Bau dieser Maschinen ist unglaublich schwierig. Eines der größten Hindernisse ist, dass diese Maschinen fragil sind; die kleinste Störung kann eine Berechnung ruinieren. Um sich davor zu schützen, verwenden Wissenschaftler eine spezielle Fehlerkorrektur, die auf einer Ressource namens „Magic“ (Magie) beruht. In der Sprache der Quantenphysik bezieht sich dies nicht auf Zauberei, sondern auf eine spezifische Art von Komplexität, die es einem Computer ermöglicht, Aufgaben auszuführen, die einfache, stabile Schaltkreise nicht bewältigen können. Wenn ein Quantenzustand zu wenig dieser Ressource besitzt, kann er leicht von einem Standard-Laptop simuliert werden. Wenn er zu viel davon besitzt, wird er zu einem leistungsstarken Werkzeug für die Berechnungen, aber auch zu einem Albtraum in der Kontrolle.

Eine bedeutende Klasse von Quantenzuständen, bekannt als Free-Fermion-Zustände, befindet sich in einem verwirrenden Zwischenbereich. Diese Zustände beschreiben viele Elektronen, die sich bewegen, ohne miteinander zu interagieren – eine Situation, die Physiker perfekt mit klassischen Computern modellieren können. Doch wenn Wissenschaftler diese Zustände in die Sprache der Qubits – der Basiseinheiten der Quanteninformation – übersetzen, scheinen sie eine massive Menge dieser „Magie“ zu tragen. Dies erzeugt ein Rätsel: Wenn diese Zustände so einfach zu simulieren sind, warum sehen sie dann so komplex aus? Die Antwort liegt darin, wie wir sie betrachten. Ein Quantensystem kann in zwei Teile zerlegt werden, und die „Magie“ kann entweder innerhalb jedes Teils oder in der Verbindung zwischen ihnen gespeichert werden. Die Verbindung, bekannt als Verschränkung (Entanglement), ist der Ort, an dem die wirklich schwer zu simulierende, nichtlokale Magie wohnt.

Forscher der North Carolina State University haben dieses Rätsel für Free-Fermion-Zustände nun gelöst. Sie entdeckten, dass fast die gesamte scheinbare Magie in diesen Systemen tatsächlich lokal ist, was bedeutet, dass sie innerhalb der einzelnen Teile des Systems gefangen ist und durch einfache Operationen entfernt werden kann. Die winzige Menge an Magie, die verbleibt, die wirklich zwischen den beiden Teilen geteilt wird, ist weita viel kleiner als bisher angenommen. Das Team fand heraus, dass, wenn man jede Operation verwenden darf, welche die grundlegenden Regeln der Teilchenphysik respektiert, die nichtlokale Magie sehr langsam wächst, wenn das System größer wird. Anstatt proportional zur Anzahl der Teilchen zu wachsen, wächst sie nur logarithmisch. Das bedeutet, dass für ein System mit tausend verschränkten Paaren die nichtlokale Magie in etwa dieselbe ist wie für ein System mit hundert, anstatt zehnmal größer zu sein.

Der Schlüssel zu dieser Entdeckung war das Verständnis darüber, wie man die Quanteninformation neu anordnet. Die Forscher zeigten, dass man durch Anwendung einer spezifischen Art lokaler Operation – einer Rotation gefolgt von einem Neuordnen der möglichen Teilchenkonfigurationen – einen komplexen Free-Fermion-Zustand in eine Sammlung einfacher, perfekt verschränkter Paare, sogenannte Bell-Paare, transformieren kann. Diese Bell-Paare sind der Goldstandard der Quantenverbindung. Die Studie bewies, dass ältere Methoden, die auf einen engeren Satz von Operationen beschränkt waren, dies nicht effizient leisten konnten und das System als hochgradig komplex erscheinen ließen, während die neue, flexiblere Methode mit hoher Genauigkeit erfolgreich ist. Die Erfolgsrate dieser Transformation sinkt nur mit der Quadratwurzel der Systemgröße, was ein sehr langsamer Rückgang ist, während die Erfolgsraten der alten Methoden exponentiell einbrachen.

Dieser Unterschied wurzelt in der statistischen Verteilung der internen Energieniveaus des Quantenzustands. Die Forscher maßen diese Verteilung mit einer Größe namens Kapazität der Verschränkung (Capacity of Entanglement), die wie ein Thermometer fungiert, um zu messen, wie stark die Quanteninformation fluktuiert. Sie fanden heraus, dass diese Kapazität für Free-Fermion-Zustände nur linear mit der Anzahl der Teilchen wächst. Da die nichtlokale Magie durch diese Kapazität begrenzt ist, kann die Magie selbst nicht schnell wachsen. Im Gegensatz dazu übersahen die älteren, eingeschränkten Methoden diese statistische Realität und nahmen an, dass die Magie viel größer sei. Die neuen Erkenntnisse gelten für viele wichtige Zustände, die in der Chemie und Materialwissenschaft verwendet werden, wie zum Beispiel jene, die Supraleiter oder das Verhalten von Elektronen in Metallen beschreiben.

Die Auswirkungen sind signifikant für die Zukunft des Quantencomputings. Da fast die gesamte Magie dieser häufigen Zustände lokal ist, kann sie durch Operationen, die innerhalb der Regionen selbst durchgeführt werden, entfernt werden, wodurch eine viel einfachere, weniger „magische“ Verbindung zwischen ihnen zurückbleibt. Dies deutet darauf hin, dass die Rechenkosten für die Vorbereitung dieser Zustände auf einem fehlertoleranten Quantencomputer viel niedriger sind als zuvor geschätzt, vorausgesetzt, der Computer kann die notwendigen Neuordnungsoperationen durchführen. Die Forscher merkten auch an, dass dieses Ergebnis auch dann gilt, wenn das System in zwei Regionen aufgeteilt ist, solange die Operationen in jeder Region die Regel respektieren, dass die Gesamtzahl der Teilchen gerade oder ungerade bleiben muss. Diese Regel, bekannt als Paritäts-Superselektion (Parity Superselection), ist eine fundamentale Einschränkung in fermionischen Systemen, und das Team zeigte, dass dies nur sehr geringe zusätzliche Ressourcen kostet.

Obwohl sich die Studie auf nicht-interagierende Teilchen konzentriert, sind die mathematischen Werkzeuge, die zur Beweis dieser Ergebnisse entwickelt wurden, allgemein genug, um auch auf komplexere, interagierende Systeme anwendbar zu sein. Die Forscher testeten ihre Ideen an simulierten Grundzuständen interagierender Ketten und fanden heraus, dass dieselben Prinzipien auch hier galten, obwohl die exakten Zahlen schwieriger zu bestimmen waren. Sie hoben auch hervor, dass die von ihnen vorgeschlagenen Neuordnungsoperationen zwar mächtig sind, aber noch nicht einfach in einen physischen Quantencomputer integriert werden können, da sie Schaltkreise erfordern, die ihrerseits komplex sind. Dennoch bietet die Arbeit eine klare Karte darüber, wo die Schwierigkeit liegt. Sie zeigt, dass für eine große Klasse von Quantenzuständen die wahre Barriere für die Simulation nicht die schiere Größe des Systems ist, sondern die spezifische Art und Weise, wie die Information verteilt ist. Durch das Verständnis, dass die nichtlokale Magie durch die Fluktuationen des Verschränkungsspektrums begrenzt ist, können Wissenschaftler besser vorhersagen, welche Quantenzustände leicht zu handhaben sein werden und welche die volle Leistung einer Quantenmaschine erfordern werden.

Die Studie kommt zu dem Schluss, dass die „Magie“ der Free Fermions weitgehend eine Illusion ist, die entsteht, wenn man das System mit den falschen Werkzeugen betrachtet. Wenn man es durch die Linse allgemeiner, paritätsrespektierender Operationen betrachtet, offenbart sich das System als überraschend zahm. Die nichtlokale Magie, der Teil, der wirklich zählt, ist klein und wächst sehr langsam. Diese Einsicht hilft zu klären, wo die Grenze zwischen dem, was leicht zu simulieren ist, und dem, was schwer ist, verläuft, und bietet ein präziseres Ziel für zukünftige Quantenalgorithmen. Es deutet darauf hin, dass viele der Zustände, die wir als Ausgangspunkte für Quantenchemie-Simulationen verwenden, nicht so ressourcenintensiv sind, wie sie erschienen, sofern wir wissen, wie wir sie korrekt neu anordnen. Die Arbeit behauptet nicht, das Problem der interagierenden Fermionen gelöst zu haben, aber sie setzt eine feste Obergrenze für die nichtlokale Magie für jeden Zustand, interagierend oder nicht, basierend auf der Varianz seines Verschränkungsspektrums. Dies bietet eine neue, quantitative Methode, um die Schwierigkeit von Quantenzuständen zu messen, und geht über vage Schätzungen hinaus zu konkreten Grenzen, die aus der fundamentalen Statistik des Systems abgeleitet sind.