Computational Power of Clifford and Ising Quantum Computers

Auf der Suche nach dem Bau einer Maschine, die Probleme lösen kann, die jenseits der Reichweite heutiger Supercomputer liegen, erforschen Wissenschaftler einen Pfad, der auf den seltsamen Regeln der Quantenwelt basiert. Im Gegensatz zu klassischen Computern, die Informationen als Bits verarbeiten, die entweder Null oder Eins sind, nutzen Quantencomputer Qubits, die gleichzeitig in einer Mischung aus beiden Zuständen existieren können. Um diese Maschinen praktikabel zu machen, wenden sich Forscher oft einer spezifischen Art der Quantenlogik zu, die als Clifford-Operationen bekannt ist. Dies ist eine Gruppe von Regeln, die Qubits auf eine Weise manipulieren, die mathematisch gut verstanden und entscheidend effizient durch gewöhnliche klassische Computer simulierbar ist. Das bedeutet, dass Clifford-Operationen zwar ein notwendiger Zwischenschritt für den Bau eines universellen Quantencomputers sind, aber für sich allein genommen nicht ausreichen, um klassische Maschinen zu übertreffen. Parallel dazu gibt es ein verwandtes Forschungsfeld, das sich mit Teilchen namens Anyonen befasst, die nur in zweidimensionalen Materialschichten existieren. Diese Teilchen besitzen eine einzigartige Eigenschaft: Wenn sie umeinander bewegt werden, verweben sich ihre Pfade auf eine Weise, die den Zustand des Systems verändert, ohne dass die Teilchen einander berühren. Dieser Prozess, bekannt als Braiding (Verflechtung), bildet die Grundlage für eine vorgeschlagene Methode des Quantencomputings, das topologische Quantencomputing. Die zentrale Frage für Physiker und Mathematiker war bisher, ob die Fähigkeit, diese Teilchen zu messen, anstatt sie nur zu bewegen, neue Rechenleistungen freisetzen würde, die klassische Computer nicht bewältigen können.

Ein Team von Forschern hat nun eine definitive Antwort auf diese Frage geliefert und bewiesen, dass selbst mit der Hinzunahme von Messungen diese spezifischen Quantensysteme weiterhin in der Reichweite der klassischen Simulation bleiben. Die Studie konzentriert sich auf zwei verwandte Konzepte: Clifford-Quantencomputer, die einen eingeschränkten Satz von Gattern verwenden, und Ising-Quantencomputer, die das Braiding und Messen von Anyonen nutzen. Die Forscher untersuchten, ob diese Maschinen Probleme lösen könnten, die als zu schwierig für klassische Computer gelten. Sie begannen mit der Untersuchung der theoretischen Grenzen von Clifford-Computern. Sie fanden heraus, dass ein Quantencomputer keinen Vorteil bietet, wenn ein klassischer Computer den gesamten Input des Problems sehen darf, bevor er den Quantenschaltkreis generiert; er repliziert lediglich das, was der klassische Computer bereits tun konnte. Die Situation wird jedoch nuancierter, wenn der Schaltkreis-Generator eingeschränkt ist und nur die Länge des Inputs sieht, nicht aber die spezifischen Details. In diesem eingeschränkten Szenario zeigten die Forscher, dass der Quantencomputer nur eine sehr schmale Klasse von Problemen lösen kann, die als affine Sprachen bekannt sind. Dies sind Probleme, die auf einfache lineare Gleichungen über Binärzahlen reduziert werden können. Das Team lieferte einen strengen Beweis dafür, dass, falls diese eingeschränkten Quantencomputer irgendein Problem aus der breiten Klasse der Probleme namens P lösen könnten, dies einen bedeutenden, ungelösten Durchbruch in der Mathematik implizieren würde: nämlich, dass die Klasse der in Polynomialzeit lösbaren Probleme strikt größer ist als die der in Polynomialraum lösbaren Probleme. Da diese Trennung zwar weithin als wahr angenommen, aber unbewiesen ist, deutet das Ergebnis darauf hin, dass diese Quantencomputer tatsächlich begrenzt sind.

Die Untersuchung verlagerte sich dann auf den Ising-Quantencomputer, der auf dem exotischen Verhalten von Anyonen beruht. Die Forscher bestätigten zunächst die bekannte Tatsache, dass das bloße Braiding dieser Teilchen – also das Bewegen um einander zur Durchführung von Berechnungen – effizient durch einen klassischen Computer simuliert werden kann. Dies war bereits bekannt, da die Braiding-Operationen denselben Clifford-Gattern entsprechen, die zuvor erwähnt wurden. Der neuartige Beitrag dieser Arbeit bestand darin, diese Simulation auf die Messungen auszudehnen. In einem topologischen Quantencomputer kann man den kollektiven Zustand einer Gruppe von Anyonen messen, um Informationen zu extrahieren. Die Forscher bewiesen, dass selbst diese Messungen, einschließlich der leistungsfähigsten Art, der interferometrischen Messungen, keine zusätzliche Rechenleistung hinzufügen. Sie zeigten, dass jedes mögliche Messergebnis in diesem System mathematisch äquivalent zu einer Standardmessung einer spezifischen Art von Quanteneigenschaft, der sogenannten Pauli-Messung, ist. Da der gesamte Prozess des Braiding und Messens von Ising-Anyonen in eine Sequenz von Clifford-Gattern und Pauli-Messungen übersetzt werden kann, fällt das gesamte System unter das Dach des Gottesman-Knill-Theorems. Dieses Theorem besagt, dass jede Quantenberechnung, die aus diesen spezifischen Elementen besteht, in einer angemessenen Zeit perfekt durch einen klassischen Computer simuliert werden kann.

Die Auswirkungen dieser Erkenntnisse sind signifikant für die Zukunft des Quantum Engineering. Die Studie stellt klar, dass Ising-Anyonen und Clifford-Gatter zwar wesentliche Bestandteile für den Bau eines universellen Quantencomputers sind, aber für sich allein genommen nicht ausreichen, um Quantenüberlegenheit (Quantum Supremacy) zu erreichen. Um eine Maschine zu bauen, die klassische Computer wirklich übertreffen kann, muss man zusätzliche Ressourcen einführen, die oft als „Magie“ bezeichnet werden und über die Fähigkeiten dieser spezifischen Systeme hinausgehen. Die Forscher untersuchten auch die Grenzen dessen, was diese Maschinen entscheiden können, wenn der Schaltkreis-Generator blind gegenüber den Input-Details ist, und charakterisierten die lösbaren Probleme als solche, die in eine spezifische geometrische Struktur des Binärraums passen. Sie lieferten Werkzeuge, um zwischen Problemen zu unterscheiden, die von diesen Maschinen gelöst werden können, und solchen, die dies nicht können, und zeigten, dass viele scheinbar einfache Probleme tatsächlich außerhalb ihrer Reichweite liegen. Letztlich dient das Paper als Landkarte des Territoriums, die genau definiert, wo die Leistungsfähigkeit dieser spezifischen Quantenmodelle endet und wo die Notwendigkeit für fortgeschrittenere, universelle Quantenfähigkeiten beginnt. Es bestätigt, dass ohne die Hinzunahme von Nicht-Clifford-Ressourcen das Versprechen des topologischen Quantencomputings eher eine Simulation klassischer Logik als ein Sprung in ein neues Rechenreich bleibt.