Begriff
Fault-Tolerant Quantum Computing (FTQC)
Warum wichtig?
Dieser Begriff ist ein Knoten im SengakujiWorks-Wissensnetz. Nutze Level 0 für die erste Einordnung, Level 1 für Praxis, Level 2 für technische Struktur und Level 3 für Grenzen, Fallstricke und Expertenkontext.
Ein Bit kippt nur alle Milliarden Jahre von 0 auf 1 (Kosmische Strahlung). Ein Qubit kippt alle paar Mikrosekunden (Dekohärenz). Das ist das Hauptproblem. Quantencomputer rechnen falsch. Fault-Tolerance ist die Lösung. Man nimmt nicht 1 physikalisches Qubit für 1 logisches Bit. Man nimmt 1000 physikalische Qubits für 1 logisches Qubit. Die 1000 Qubits überwachen sich gegenseitig (Quantum Error Correction, Surface Code). Wenn eines kippt, merken es die Nachbarn und korrigieren es. Das Ziel: Einen Computer bauen, der beliebig lang rechnen kann, ohne dass das Ergebnis Rauschen ist. Das ist der "Heilige Gral". Wir sind noch nicht dort.
Merksatz: Der Betrieb von Quantencomputern unter Verwendung von Quantenfehlerkorrekturcodes, die es erlauben, Berechnungen beliebig lange fortzusetzen, solange die Fehlerrate der physikalischen Komponenten unter einem bestimmten Schwellenwert (Threshold) liegt.
Software-Stacks wie Qiskit haben jetzt "Error Correction Module". Aber echte FTQC braucht Hardware. Google plant bis 2029 einen fehlerkorrigierten Rechner. Aktuell (NISQ) müssen Algorithmen kurz sein. Mit FTQC können Algorithmen (wie Shor) ewig laufen.
1. Surface Code
Der populärste Code (Topologischer Code). Man ordnet Qubits wie ein Schachbrett an. Weiße Felder: Data Qubits. Schwarze Felder: Measurement Qubits (Syndrome). Man misst nie die Daten direkt (das würde sie zerstören). Man misst nur die "Parität" der Nachbarn. Wenn Parität falsch -> Fehler erkannt -> Korrektur durch Pauli-Gate.
2. Magic State Distillation
Clifford-Gatter (H, CNOT) sind einfach fehlerkorrigierbar. Aber sie reichen nicht für Universalität (Gottesman-Knill Theorem). Man braucht ein "T-Gate". Das T-Gate ist extrem schwer fehlerfrei zu machen. Man erzeugt "dreckige" T-Zustände und destilliert daraus einen "sauberen" (Magic State). Das kostet 90% der Rechenzeit eines FTQC.
1. Transversal Gates & Fault-Tolerance
Ein Fehlerkorrekturcode allein macht ein System noch nicht "fault-tolerant". Das Problem: Wenn ich ein Gatter (z. B. CNOT) auf fehlerkorrigierten logischen Qubits ausführe, darf die Operation selbst keine Fehler verbreiten. Ein Transversal Gate führt die Operation komponentenweise aus: Das erste physikalische Qubit von Block A interagiert nur mit dem ersten von Block B. Der Vorteil: Ein lokaler Fehler in einem physikalischen Qubit bleibt lokal und kann vom Code korrigiert werden. Leider beweist das Eastin-Knill Theorem, dass kein Code alle universellen Gatter transversal implementieren kann. Man muss also immer zwischen verschiedenen Methoden (wie Magic State Distillation) hin- und herschalten.
2. Concatenated Codes vs. Surface Codes
Es gibt zwei Hauptstrategien für FTQC:
- Concatenated Codes (Verkettung): Man packt einen Code in den anderen. Ein Qubit wird durch 7 geschützt (Steane Code), diese 7 wiederum durch 7 weitere (insgesamt 49). Das skaliert exponentiell gut, braucht aber sehr präzise Gatter.
- Surface Codes (Topologisch): Man nutzt die 2D-Gitter-Struktur. Fehler werden als "Anyonen" (Quasiteilchen) auf der Oberfläche behandelt. Dies ist derzeit der Favorit der Industrie (Google, IBM), da die Anforderungen an die Gatter-Güte geringer sind (Threshold bei ca. 1%), dafür braucht man aber Millionen physikalische Qubits für einen nützlichen Algorithmus.
3. Syndrom-Extraktion und Echtzeit-Dekodierung
Der schwierigste Teil der Produktion ist die Dekodierung. Das Quantensystem liefert jede Mikrosekunde "Syndrome" (Fehlermeldungen). Ein klassischer Computer (FPGA oder ASIC) muss diese Syndrome in Echtzeit analysieren (oft mit Graphen-Algorithmen wie "Minimum Weight Perfect Matching"), den Fehler lokalisieren und die Korrektur anweisen. Wenn der klassische Computer langsamer ist als die Fehlerrate des Quantencomputers, stauen sich die Fehler an und das System bricht zusammen. Die Schnittstelle zwischen Quanten-Hardware und klassischer Super-High-Speed-Elektronik ist derzeit das größte Ingenieurs-Hindernis.
Quick-Check
Warum 1000:1?
Der "Overhead". Um Fehler auch während der Korrektur der Fehler zu korrigieren, braucht man Redundanz. Schätzungen gehen von 1000-10.000 physikalischen Qubits pro logischem Qubit aus.Threshold Theorem?
Der Beweis: Wenn die physikalische Fehlerrate unter ca. 1% liegt, kann man durch genug Qubits die logische Fehlerrate auf Null drücken. Wir sind gerade an dieser 1%-Grenze (Break-Even).Wann?
Microsoft wettet auf Topologische Qubits (Majorana), die von Natur aus fehlerrobuster sind. Wenn das klappt: Bald. Sonst: Harter Skalierungskampf.