Random-Oracle Unitary Synthesis is Impossible

In der Quantenwelt erlauben die grundlegenden Gesetze der Physik eine fast unendliche Vielfalt an Transformationen. Stellen Sie sich eine Maschine vor, die in der Lage ist, ein Stück Information zu nehmen und es in jede erdenkliche Form zu verbiegen, egal wie komplex oder seltsam diese sein mag. Diese Transformationen, bekannt als Unitaritäten, sind die Bausteine des Quantencomputings. Doch nur weil die Natur eine Transformation zulässt, bedeutet das noch lange nicht, dass ein Computer sie auch bauen kann. Es klafft eine gewaltige Lücke zwischen jenen Unitaritäten, die leicht zu konstruieren sind, und jenen, die mit der heutigen Technologie praktisch unmöglich zu erschaffen sind. Jahrzehntelang fragten sich Wissenschaftler, ob diese Kluft real ist oder ob sie lediglich eine Lücke in unserem Verständnis darstellt. Speziell fragten sie, ob jede schwierige Quantentransformation gebaut werden könnte, indem man einfach weiß, wie man eine spezifische, schwierige klassische Funktion berechnet. Wäre die Antwort ja, würde dies bedeuten, dass die schwersten Probleme im Quantencomputing genauso schwer sind wie die schwersten Probleme im klassischen Computing, was die beiden Welten eng miteinander verknüpfen würde. Wäre die Antwort nein, würde dies darauf hindeuten, dass die Quantenmechanik Geheimnisse birgt, die die klassische Logik nicht entschlüsseln kann, was potenziell eine völlig neue Theorie der Komplexität erfordern würde.

Ein Team von Forschern hat diese Frage nun untersucht, indem es die Regeln des Spiels leicht verändert hat. Anstatt zu fragen, ob ein Computer eine spezifische Transformation mithilfe einer spezifischen, komplizierten Funktion bauen kann, fragten sie, ob ein Computer eine völlig zufällige, unvorhersehbare Transformation mithilfe einer rein zufälligen, strukturlosen Funktion bauen könnte. Diese Verschiebung ermöglichte es ihnen, die Grenzen dessen zu testen, was möglich ist, wenn die Eingangsdaten keine verborgenen Muster aufweisen, die man ausnutzen könnte. Ihre Ergebnisse sind eindeutig: Es ist unmöglich, eine wahrhaft zufällige Quantentransformation effizient zu synthetisieren, wenn man nur eine zufällige Funktion verwendet. Sie bewiesen, dass kein Algorithmus, egal wie clever, in der Lage ist, den gewünschten Quantenzustand zu erzeugen, wenn er auf einer Funktion basiert, die zufällig ausgewählt wurde, es sei denn, er stellt eine astronomisch große Anzahl an Fragen. Dieses Ergebnis klärt eine langjährige Debatte, indem es zeigt, dass die Fähigkeit, komplexe Quantenzustände zu bauen, vollständig von der Struktur der bereitgestellten Informationen abhängt. Oh ohne diese Struktur bleibt die Aufgabe unerreichbar.

Die Forscher untersuchten auch ein verwandtes Konzept, das in der Quantenkryptographie verwendet wird: pseudozufällige Unitaritäten. Dies sind Quantentransformationen, die für jeden, der den verwendeten geheimen Schlüssel nicht kennt, zufällig erscheinen, obwohl sie durch einen einfachen, effizienten Prozess erstellt wurden. Jahrelang waren die besten bekannten Methoden zur Erzeugung dieser „gefälschten“ Zufallstransformationen begrenzt; sie konnten nur einen Beobachter täuschen, der eine relativ geringe Anzahl an Fragen stellte. Die Forscher wollten wissen, ob dieses Limit eine vorübergehende technische Hürde oder ein fundamentales Naturgesetz war. Sie entwickelten eine neue Methode, die diese Transformationen erfolgreich so erzeugt, dass sie selbst gegen einen Beobachter sicher bleibt, der eine viel größere Anzahl an Fragen stellt – nämlich eine Anzahl, die proportional zur Gesamtgröße des Systems ist. Dies ist eine signifikante Verbesserung gegenüber bisherigen Methoden, die nur eine Anzahl von Fragen handhaben konnten, die proportional zur Quadratwurzel der Systemgröße ist.

Ihre Arbeit enthüllte jedoch auch eine harte Obergrenze. Während es ihnen gelang, die Sicherheit dieser gefälschten Zufallstransformationen weit über das bisherige Maß hinaus zu steigern, bewiesen sie, dass es unmöglich ist, das theoretische Maximum zu erreichen, ohne den Prozess ineffizient zu machen. Sie zeigten, dass, wenn eine Methode in Bezug auf die Anzahl der Schritte, die sie benötigt, effizient sein muss, sie nicht gegen einen Beobachter sicher bleiben kann, der eine sehr große Anzahl an Fragen stellt. Dies schafft eine präzise Grenze: Man kann entweder eine Methode haben, die effizient und gegen eine moderate Anzahl an Fragen sicher ist, oder man kann eine Methode haben, die gegen eine massive Anzahl an Fragen sicher ist, aber man kann nicht beides gleichzeitig haben. Dieser Befund legt nahe, dass die derzeitigen Einschränkungen in der Quantenkryptographie nicht bloß eine Frage besserer Algorithmen sind, sondern ein fundamentaler Bestandteil des Universums.

Die Studie befasste sich auch mit der breiteren Frage, ob wir jemals eine universelle Maschine bauen können, die jede Quantentransformation unter Verwendung der richtigen klassischen Instruktionen synthetisieren kann. Indem sie zeigten, dass zufällige Eingaben keine zufälligen Ausgaben erzeugen, lieferten die Forscher starke Beweise dafür, dass die Struktur der Eingabe essenziell ist. Es reicht nicht aus, einen leistungsstarken Computer und eine Zufallsfunktion zu besitzen; die Funktion selbst muss sorgfältig entworfen werden, um den Computer zum gewünschten Ergebnis zu führen. Dies impliziert, dass die Schwierigkeit, bestimmte Quantenzustände zu erzeugen, nicht nur eine Frage der Rechenleistung ist, sondern der Natur der Information innewohnt, die erforderlich ist, um sie zu beschreiben. Die Arbeit schließt effektiv die Tür zu der Idee, dass ein einfacher, zufälliger Oracle als universeller Schlüssel dienen könnte, um alle Quantemöglichkeiten zu erschließen.

Am Ende zeichnet die Arbeit das Bild einer Quantenlandschaft, in der Effizienz und Zufälligkeit in einem Spannungsverhältnis stehen. Die Forscher zeigten, dass wir zwar sehr überzeugende Imitationen von Zufälligkeit erschaffen können, es aber eine harte Grenze gibt, wie gut diese Imitationen sein können, wenn wir den Prozess schnell halten wollen. Sie zeigten auch, dass die Hoffnung, eine einfache, zufällige Funktion zu nutzen, um jede Quantentransformation zu bauen, unbegründet ist. Die Ergebnisse bieten nicht nur einen neuen Algorithmus oder eine neue Einschränkung; sie definieren die Grenzen dessen neu, was im Quantenbereich möglich ist. Sie besagen, dass die Komplexität der Quantenwelt keine Illusion ist, die man durch einen cleveren Trick umgehen kann, sondern ein reales Merkmal, das spezifische, strukturierte Informationen erfordert, um navigierbar zu sein. Für diejenigen, die die Zukunft der Quantentechnologie bauen, bedeutet dies, dass der Weg nach vorne nicht nur mehr Leistung, sondern auch präziseres Design erfordert. Das Universum verlangt offenbar, dass wir genau wissen, wonach wir fragen, bevor es uns die Antwort gibt.