Sequential realization of Quantum Instruments

In der Welt des Quantencomputings arbeiten Wissenschaftler derzeit mit Maschinen, die zwar leistungsstark, aber auch fragil sind. Diese Geräte, die oft als verrauschte Quantencomputer mittlerer Skala (Noisy Intermediate-Scale Quantum Computers) bezeichnet werden, verfügen über eine begrenzte Anzahl winziger Recheneinheiten, die als Qubits bekannt sind, und sie haben Schwierigkeiten, Informationen lange aufrechtzuerhalten. Um komplexe Aufgaben auszuführen, müssen Forscher in der Regel eine große Gruppe dieser Qubits vorbereiten, eine Sequenz von Operationen durchführen und sie am Ende alle messen. Ein neuerer und flexiblerer Ansatz zeichnet sich jedoch ab: adaptive Schaltkreise. Bei dieser Methode führt der Computer nicht einfach nur ein vorgeschriebenes Skript aus. Stattdessen misst er ein Qubit mitten in einem Prozess, liest das Ergebnis aus und nutzt diese Information, um zu entscheiden, welche Operation als Nächstes durchgeführt werden soll. Die Fähigkeit, in Echtzeit zu reagieren, ermöglicht es der Maschine, wesentlich effizienter zu arbeiten, erfordert jedoch eine Möglichkeit, mathematisch zu beschreiben, wie diese schrittweisen Entscheidungen das Endergebnis prägen.

Die zentrale Herausforderung besteht darin, wie man diese komplexen Quantenverhalten aufbaut, wenn die Maschine nur über sehr wenige Qubits zur Verfügung verfügt. Traditionell würde man, um einen spezifischen Quanteneffekt zu erzeugen – etwa eine Messung, die Teilinformationen offenbart, oder eine Transformation, die den Zustand eines Systems verändert –, zusätzliche Qubits hinzufügen müssen, um den Prozess zu unterstützen. Diese zusätzlichen Einheiten, sogenannte Ancillas, fungieren als temporäre Helfer. Das Problem ist, dass für viele schwierige Aufgaben die Anzahl der benötigten Helfer so groß ist, dass heutige Maschinen sie schlichtweg nicht bereitstellen können. Die Frage lautet: Gibt es einen Weg, dasselbe Ergebnis mit weniger Helfern zu erzielen, indem man dieselben immer wieder verwendet, vorausgesetzt, der Computer kann sie schnell messen und zurücksetzen?

Ein Team von Forschern am Institut für Physik in Bratislava hat dieses Problem angegangen, indem es einen neuen mathematischen Rahmen zur Beschreibung dieser adaptiven Sequenzen entwickelt hat. Sie konzentrierten sich auf das Konzept eines Quanteninstruments, welches eine allgemeine Beschreibung eines Quantenprozesses ist, der sowohl ein klassisches Ergebnis (wie eine Zahl auf einem Bildschirm) als auch einen neuen Quantenzustand erzeugt. Die Forscher zeigten, dass jedes solche Instrument in eine Serie kleinerer Schritte zerlegt werden kann, bei denen die Wahl des nächsten Schritts vom Ergebnis des vorherigen abhängt. Diese Zerlegung ermöglicht es, den gesamten Prozess durch eine Sequenz von Messungen und Operationen zu realieren, anstatt durch eine einzige, massive und ressourcenintensive Operation.

Die bedeutendste Erkenntnis ihrer Arbeit ist ein präziser Kompromiss zwischen der Anzahl der Schritte, die ein Prozess benötigt, und der Anzahl der Hilfs-Qubits, die er benötigt. Sie bewiesen, dass man für viele Quantenaufgaben – insbesondere jene, die die Größe des Quantensystems erhöhen – eine sehr geringe Anzahl an Hilfs-Qubits verwenden kann, wenn man bereit ist, den Prozess viele Male zu wiederholen. Konkret demonstrierten sie, dass es für eine Aufgabe, die ein System von $n$ Qubits in ein System von $m$ Qubits transformiert (wobei $m$ größer als $n$ ist), möglich ist, den Prozess mit nur $m-n$ Hilfs-Qubits zu implementieren. Diese wenigen Helfer werden im Verlauf der Sequenz wiederholt gemessen und zurückgesetzt, wodurch sie effektiv die Arbeit eines viel größeren Satzes ungenutzter Qubits übernehmen. Dieses Ergebnis ist kontraintuitiv, da es suggeriert, dass Zeit – in Form von wiederholten Schritten – gegen Raum – in Form von zusätzlicher Hardware – ausgetauscht werden kann.

Die Forscher legten auch eine fundamentale Grenze für diesen Austausch fest. Sie zeigten, dass das Produkt aus der Anzahl der Schritte und der Anzahl der Hilfs-Qubits nicht beliebig klein sein kann; es ist durch die Komplexität der Aufgabe selbst begrenzt. Dies bedeutet, dass man zwar durch mehr Schritte an Hardware sparen kann, aber nicht gleichzeitig an beiden Variablen. Wenn man sehr wenige Qubits hat, muss man viele Schritte machen, und wenn man sehr wenige Schritte hat, benötigt man viele Qubits. Diese Beziehung gilt unabhängig von den spezifischen Details der jeweiligen Quantenaufgabe und liefert eine klare Regel für Ingenieure, die diese Schaltkreise entwerfen.

Darüber hinaus lieferte das Team eine konstruktive Methode zum Aufbau dieser Sequenzen. Sie zeigten, dass man durch eine sorgfältige Auswahl der Gruppierung möglicher Ergebnisse von Zwischenmessungen die benötigten Ressourcen minimieren kann. Sie fanden heraus, dass das Vereinfachen der Ergebnisse, oder das „Vergröbern“ (Coarse-Graining) derselben, oft zu effizienteren Implementierungen führt. Wenn eine Messung beispielsweise viele mögliche Ergebnisse hat, kann das Zusammenfassen einiger Ergebnisse vor der Entscheidung über den nächsten Schritt die Anzahl der benötigten Hilfs-Qubits reduzieren. Diese Erkenntnis bietet einen praktischen Leitfaden zur Optimierung von Quantenschaltkreisen auf der heutigen Hardware, wo jedes Qubit zählt.

Die Arbeit geht auch auf ein verbreitetes Missverständnis über die Funktionsweise dieser Prozesse ein. Es wurde früher angenommen, dass die Implementierung bestimmter komplexer Quantenmessungen eine große Anzahl an Hilfs-Qubits gleichzeitig erfordern würde. Die neue Arbeit zeigt, dass dies nicht notwendig ist. Durch die Verwendung einer adaptiven Sequenz kann dasselbe Ergebnis mit einem minimalen Satz an Helfern erreicht werden, die wiederverwendet werden. Dies ist besonders relevant für die aktuelle Generation von Quantencomputern, die zwar in ihrer Größe begrenzt, aber zunehmend fähig sind, Messungen während des Prozesses (Mid-Circuit Measurements) durchzuführen. Die Fähigkeit, Zeit gegen Raum zu tauschen, bedeutet, dass Aufgaben, die zuvor auf kleinen Geräten als unmöglich galten, nun in Reichweite liegen könnten.

In ihrer Analyse untersuchten die Forscher zudem die Beziehung zwischen diesen sequentiellen Implementierungen und der Kompatibilität verschiedener Quantenmessungen. Sie fanden heraus, dass die Fähigkeit, einen Prozess in Schritte zu zerlegen, eng mit der Frage verknüpft ist, ob die beteiligten Messungen gemeinsam durchgeführt werden können, ohne sich gegenseitig zu stören. Obwohl sie nicht jeden möglichen Fall gelöst haben, lieferten sie eine robuste Methode für eine breite Palette von Instrumenten, einschließlich derer, die für die Zustandspräparation und die Simulation von Quantenkanälen verwendet werden. Ihre Arbeit dient als Blaupause dafür, wie effiziente Quantenschaltkreise zu entwerfen sind, die die physikalischen Grenzen der heutigen Maschinen respektieren und gleichzeitig deren Potenzial maximieren.

Letztendlich bietet diese Forschung einen klaren Weg für die praktische Anwendung adaptiver Quantenschaltkreise. Sie geht über theoretische Möglichkeiten hinaus und bietet konkrete Strategien für das Ressourcenmanagement. Durch das Verständnis der exakten Beziehung zwischen der Anzahl der Schritte und der Anzahl der Qubits können Wissenschaftler nun Experimente entwerfen, die auf die spezifischen Einschränkungen ihrer Hardware zugeschnitten sind. Ob das Ziel darin besteht, eine komplexe Messung durchzuführen, einen Quantenkanal zu simulieren oder einen spezifischen Zustand vorzubereiten – der neue Rahmen stellt sicher, dass der Prozess so effizient wie möglich gestaltet wird. Die Arbeit bestätigt, dass die Zukunft des Quantencomputings auf begrenzter Hardware nicht nur im Bau größerer Maschinen liegt, sondern in klügeren Wegen, die uns zur Verfügung stehen.