Structural Conditions for Distributed Quantum Advantage
Diese Arbeit stellt drei notwendige Bedingungen für das Erreichen eines verteilten Quantenvorteils mittels Circuit Cutting fest, beweist, dass erschwingliches klassisches Verknüpfen (Knitting) beschränkte Schnittstellen zwischen wachsenden Subschaltkreisen erfordert, und validiert diese Prinzipien durch die erfolgreiche Rekonstruktion von Korrelationen in einem 142-Spin-Toric-Code-System auf einem IBM-Prozessor.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Quantencomputer versprechen, Probleme zu lösen, für die klassische Maschinen tausende von Jahren benötigen würden, aber sie stehen vor einer hartnäckigen physikalischen Grenze: der Anzahl der Teilchen, die man gleichzeitig kontrollieren kann. Heutige Maschinen sind klein und beherbergen nur ein paar Dutzend oder vielleicht hundert Quantenbits, bekannt als Qubits. Um die schwierigsten Herausforderungen in der Chemie, Materialwissenschaft und Kryptographie anzugehen, benötigen Wissenschaftler Maschinen mit tausenden oder Millionen dieser Bits. Da der Bau eines einzelnen Chips dieser Größe derzeit unmöglich ist, wenden sich Forscher an eine Strategie, die aus der klassischen Computertechnik entlehnt wurde: die Arbeit auf mehrere kleinere Chips zu verteilen. Die Idee besteht darin, eine massive Berechnung in Stücke zu zerlegen, jedes Stück auf einem separaten Prozessor auszuführen und die Ergebnisse dann wieder zusammenzufügen. Dieser Ansatz stößt jedoch an eine Wand. Der Akt des Zusammenfügens, oder „Verknüpfens“, der Ergebnisse erfordert eine enorme Menge an klassischer Rechenleistung, die mit der Anzahl der Verbindungen zwischen den Chips exponentiell anwächst. Wenn die Verbindung zu komplex ist, wird der klassische Computer, der benötigt wird, um die Daten wieder zusammenzusetzen, genauso überfordert wie das Quantenproblem selbst, was den Zweck der Nutzung von Quantenhardware von vornherein zunichtemacht.
Ein Team von Forschern hat nun die strukturellen Bedingungen formuliert, die es einem verteilten Quantenvorteil ermöglichen würden, die Aufteilung zu überstehen, wobei sie eine Kandidatenkonfiguration identifizierten, in der diese Bedingungen koexistieren können, während sie gleichzeitig anmerken, dass die klassische Komplexität nur im Worst Case (im schlimmsten Fall) etabliert ist. Sie machten sich daran, die spezifischen Anforderungen zu finden, die gleichzeitig erfüllt werden müssen. Erstens muss die Kosten für das Zusammenfügen der Stücke handhabbar bleiben, was bedeutet, dass die Anzahl der Verbindungen zwischen den Chips klein und fest bleiben muss, unabhängig davon, wie groß das Gesamtsystem wächst. Zweitens müssen die einzelnen Teile der Berechnung, sobald sie getrennt sind, immer noch schwer genug für einen klassischen Computer sein zu lösen; wenn die Teile zu einfach sind, hätte ein regulärer Computer die gesamte Aufgabe auch ohne die Quantenhardware erledigen können. Drittens muss das System für die Arten von Algorithmen, die lernen und sich im Laufe der Zeit verbessern, empfindlich genug bleiben, um kleine Änderungen in seinen Parametern zu erkennen – eine Eigenschaft, die oft verschwindet, wenn Systeme größer werden.
Die Forscher wandten diese Anforderungen auf achtzehn verschiedene Familien von Quantenschaltkreisen an, die in der wissenschaftlichen Literatur zu finden sind. Sie stellten fest, dass die meisten bestehenden Vorschläge mindestens einen dieser Tests nicht bestehen. Viele Designs, die auf dem Papier vielversprechend aussehen, erweisen sich als zu teuer im Zusammenfügen, weil die Verbindungen zwischen den Chips mit der Skalierung des Systems zu groß werden. Andere lassen sich leicht zusammenfügen, beinhalten aber Teile, die so einfach sind, dass ein klassischer Computer sie sofort simulieren könnte, was keinen Quantenvorteil bietet. Nur ein spezifischer Typ von Architektur, bekannt als ein lokal begrenzter Schaltkreis mit endlicher Tiefe (finite local-depth circuit), zeigte Potenzial als Kandidat. In diesen Schaltkreisen bleibt die Komplexität der Verbindungen zwischen den Chips begrenzt, während die einzelnen Teile komplex genug bleiben, um für klassische Computer schwierig zu sein. Diese Architektur ermöglicht es dem System zu wachsen, ohne dass die Kosten für das Zusammenfügen explodieren, vorausgesetzt, die Teile sind auf eine bestimmte Weise angeordnet. Dennoch bleibt für den vielversprechendsten getesteten Kandidaten die kritische Anforderung, dass die einzelnen Teile klassisch schwer bleiben, eine offene Frage und kein bewiesener Fakt.
Um dieses Kandidatenkonzept in der realen Welt zu testen, führte das Team ein Proof-of-Principle-Experiment unter Verwendung eines IBM-Quantenprozessors durch. Sie nahmen zwei separate Bereiche eines Quantensystems, bekannt als Toric Code, und verbanden sie mit einem einzigen Quantengatter. Dieser Aufbau schuf eine „Brücke“ zwischen den beiden Bereichen. Sie führten die beiden Bereiche separat auf der Hardware aus und nutzten dann einen klassischen Computer, um die Ergebnisse wieder zusammenzufügen. Das Experiment war ein Erfolg bei der Demonstration des Prinzips der Methode und diente als klassisch verifizierbarer Test dafür, ob eine erschwingliche Brückenrekonstruktion physikalisch relevante Informationen wiederherstellt, die verloren gegangen wären, wenn sie die beiden Bereiche unabhängig voneinander ausgeführt hätten. Speziell sie maßen eine Korrelation zwischen den beiden Bereichen, die nur aufgrund der Brücke existierte. Diese Korrelation blieb selbst dann noch nachweisbar, wenn das System auf bis zu achtundneunzig Qubits anwuchs. Das Signal schwächte sich jedoch ab, als das System größer wurde und die einzelnen Bereiche tiefer und komplexer wurden – eine Einschränkung, die durch das der aktuellen Hardware inhärente Rauschen verursacht wird.
Die Studie verdeutlicht, dass verteiltes Quantencomputing ein potenzieller Weg nach vorn ist, vorausgesetzt, die Architektur wird mit äußerster Sorgfalt gewählt und die Komplexität der Teilprobleme kann etabliert werden. Die Forscher zeigten, dass es nicht ausreicht, einen großen Schaltkreis einfach in kleinere Stücke zu schneiden; der Schnitt muss so erfolgen, dass die Schnittstelle zwischen den Stücken klein und die interne Komplexität der Stücke hoch bleibt. Obwohl das Experiment noch kein Problem gelöst hat, das ein klassischer Computer nicht bewältigen könnte, noch bewiesen hat, dass die spezifischen Kandidaten-Schaltkreise klassisch schwer sind, hat es bewiesen, dass die notwendigen Informationen die Aufteilung und das Zusammenfügen überleben können. Die Arbeit dient als Blaupause für zukünftige Maschinen und identifiziert die präzisen strukturellen Merkmale, die benötigt werden, um Quantencomputer über die Grenzen eines einzelnen Chips hinaus skalierbar zu machen. Sie legt nahe, dass der Weg zu einem leistungsstarken Quantencomputer nicht nur darin besteht, größere Chips zu bauen, sondern Systeme zu entwerfen, in denen die Verbindungen zwischen kleineren Chips minimal sind, während die Arbeit innerhalb jedes Chips tiefgreifend komplex bleibt.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.