Non-Clifford-Gatter

Ein Quantencomputer führt Berechnungen durch, indem er sogenannte Gatter auf Qubits — die Grundbausteine eines Quantencomputers, vergleichbar mit Bits in einem normalen Computer — anwendet. Gatter sind dabei einzelne Rechenschritte, die den Zustand eines Qubits verändern. Die meisten Gatter, die Quantencomputer nutzen, lassen sich in zwei Gruppen einteilen: Clifford-Gatter und Non-Clifford-Gatter. Clifford-Gatter sind schnell, leicht zu simulieren und bilden die Mehrheit der verwendeten Operationen. Non-Clifford-Gatter hingegen sind seltener, aufwendiger — und unverzichtbar. Erst ihr Hinzufügen macht einen Quantencomputer wirklich leistungsfähig: Mit Clifford-Gattern allein könnte ein gewöhnlicher Laptop jeden Quantencomputer problemlos nachahmen.

Die Grenze zur echten Quantenüberlegenheit

Ein Quantencomputer soll Probleme lösen, an denen klassische Computer scheitern — etwa bestimmte Verschlüsselungsverfahren knacken oder Moleküle für die Medikamentenforschung simulieren. Das gelingt ihm aber nur, wenn er einen bestimmten Satz an Gattern vollständig beherrscht, den sogenannten universellen Gattersatz. Clifford-Gatter allein reichen dafür nachweislich nicht aus; das wurde mathematisch bewiesen.

Non-Clifford-Gatter schließen diese Lücke. Das bekannteste Beispiel ist das T-Gatter, das eine Drehung des Qubit-Zustands um einen bestimmten Winkel ausführt — konkret um 45 Grad auf der sogenannten Bloch-Kugel, einem geometrischen Modell, mit dem man Qubit-Zustände darstellt. Zusammen mit Clifford-Gattern ergibt sich ein vollständiger Satz, mit dem sich im Prinzip jede denkbare Quantenberechnung ausführen lässt. Non-Clifford-Gatter sind also nicht das Herzstück jeder Berechnung, aber der entscheidende Schlüssel, der das Schloss überhaupt aufgehen lässt.

Warum Non-Clifford-Gatter so teuer sind

Das zentrale Problem: Non-Clifford-Gatter sind extrem schwer fehlerfrei auszuführen. Quantencomputer sind empfindlich gegenüber Störungen — Wärme, Vibrationen oder elektromagnetische Felder können Qubits aus dem gewünschten Zustand werfen. Um damit umzugehen, verwendet man Quantenfehlerkorrektur: Viele physische Qubits werden zusammengeschaltet, um ein einziges, zuverlässiges „logisches Qubit“ zu bilden. Clifford-Gatter lassen sich auf logischen Qubits direkt und effizient ausführen. Non-Clifford-Gatter dagegen nicht.

Für sie braucht man ein aufwendiges Verfahren namens Magic-State-Destillation. Dabei wird aus vielen fehlerhaften Qubit-Zuständen, den sogenannten Magic States, durch wiederholte Filterung ein einziger, hochreiner Zustand gewonnen — ähnlich wie man Rohöl durch viele Destillationsschritte zu sauberem Treibstoff raffiniert. Dieser Prozess verbraucht eine enorme Menge zusätzlicher Qubits und Rechenzeit. Schätzungen zufolge können mehr als 90 Prozent aller Qubits in einem fehlerkorrigierten Quantencomputer allein dafür benötigt werden, T-Gatter bereitzustellen. Die Anzahl der Non-Clifford-Gatter in einem Algorithmus — die sogenannte T-Komplexität — ist daher ein entscheidender Maßstab dafür, wie aufwendig ein Quantenprogramm tatsächlich ist.

Ein wichtiger Irrtum ist die Annahme, dass mehr Non-Clifford-Gatter automatisch bessere Algorithmen bedeuten. Das Gegenteil ist oft der Fall: Ein großes Forschungsfeld beschäftigt sich damit, Algorithmen so umzuschreiben, dass sie möglichst wenige T-Gatter benötigen, ohne dabei ihre Berechnungskraft zu verlieren.

Non-Clifford-Gatter in der Praxis und in den News

Wenn Tech-Unternehmen wie Google, IBM oder Microsoft über den Fortschritt ihrer Quantencomputer berichten, taucht der Begriff oft indirekt auf. Meldungen über neue Rekorde bei der Fehlerkorrektur oder über effizientere Quantenalgorithmen drehen sich meistens um die Frage, wie gut ein System mit Non-Clifford-Gattern umgehen kann. Microsofts Ansatz mit sogenannten topologischen Qubits zielt unter anderem darauf ab, Non-Clifford-Gatter von Grund auf robuster zu machen, statt sie nachträglich durch Destillation zu korrigieren.

Auch in der Kryptografie spielen Non-Clifford-Gatter eine Rolle. Der bekannteste Quantenalgorithmus zum Knacken von Verschlüsselungen, der sogenannte Shor-Algorithmus, benötigt Non-Clifford-Gatter. Wie viele genau und wie man diese Zahl reduziert, ist eine aktive Forschungsfrage — denn davon hängt ab, wann und ob ein Quantencomputer reale Verschlüsselungsverfahren gefährden könnte. Für jeden, der Nachrichten über Quantencomputing liest, lohnt es sich daher zu wissen: Hinter vielen Meilensteinen steckt letztlich die Frage, wie gut eine Maschine mit diesen wenigen, aber entscheidenden Gattern zurechtkommt.