The Threshold Theorem in Watts: Fault Tolerance as a Question About Objective Probability

De Grote Kwantumgok: Waarom het bouwen van een perfecte computer meer kan kosten dan je denkt

Stel je voor dat je probeert een kaartenhuis te bouwen in het midden van een orkaan. De kaarten zijn je piepkleine stukjes informatie, en de orkaan is de lawaaierige, chaotische echte wereld die constant probeert ze omver te blazen. In de wereld van quantum computing proberen wetenschappers een machine te bouwen die problemen kan oplossen die onmogelijk zijn voor de computers van vandaag, maar deze machines zijn ongelooflijk fragiel. Een enkele nies van hitte of een kleine trilling kan de berekening verruïneren. Om dit op te lossen, gebruiken ingenieurs een slimme truc genaamd "foutcorrectie". Ze gebruiken niet slechts één kaart; ze gebruiken een hele stapel kaarten om één stukje informatie te vertegenwoordigen. Als de wind één kaart omver blaast, kunnen de anderen je vertellen wat de oorspronkelijke kaart had moeten zijn.

Decennialang is een beroemde regel genaamd de "Threshold Theorem" (Drempelstelling) de gouden ticket geweest voor de gehele quantumindustrie. Het belooft dat als je de wind (de ruis) maar stil genoeg kunt houden, je je kaarten hoog genoeg kunt stapelen om een wolkenkrabber van berekeningen te bouwen die nooit omvalt. De stelling zegt dat zolang je foutpercentage onder een bepaald minuscuul getal ligt, je steeds meer kaarten kunt toevoegen om fouten te herstellen, en de machine steeds beter zal worden, waarbij slechts een beheersbare hoeveelheid extra inspanning nodig is. Dit idee is zo krachtig dat het de miljarden dollars aan investeringen in quantum-startups en de roadmaps voor toekomstige supercomputers aanstuurt. Maar er is een addertje onder het gras: de stelling werd geschreven op een stuk papier waarvan werd aangenomen dat de wind het enige probleem was. Het hield geen rekening met de kosten van de hulpmiddelen die je nodig hebt om de kaarten stevig vast te houden, de energie om de kamer koud te houden, of de tijd die het kost om te controleren of een kaart is gevallen.

Het Grote Idee van het Papier: De Echte Kosten Berekenen

Dit artikel, geschreven door Amit Hagar, stelt een eenvoudige maar revolutionaire vraag: Wat als de "Threshold Theorem" wiskundig gezien waar is, maar praktisch onmogelijk omdat het vergeten is te rekenen voor de elektriciteit?

Hagar stelt een nieuwe manier voor om naar waarschijnlijkheid te kijken. In plaats van naar waarschijnlijkheid te kijken als een gok of een gevoel van overtuiging, suggereert hij dat we het moeten zien als een prijskaartje. In zijn visie hangt de kans dat een computer een specifieke toestand succesvol bereikt volledig af van hoeveel energie en tijd het kost om daar te komen. Als het weinig energie kost, is de waarschijnlijkheid hoog (bijna 100%). Als het een enorme hoeveelheid energie kost, daalt de waarschijnlijkheid naar bijna nul. Hij noemt dit "resource-bounded realizability" (brongebonden realiseerbaarheid).

Met behulp van dit idee van een "energie-prijskaartje" herbekijkt Hagar de Threshold Theorem. Hij betoogt dat de oorspronkelijke stelling leek op een budget dat alleen de kosten van de kaarten (de qubits) telde, maar vergat de kosten van de tafel, de airconditioning en de werkers die de kaarten controleren mee te rekenen. Hij identificeert vier enorme "verborgen kosten" die de oorspronkelijke wiskunde heeft overgeslagen:

1. Kalibratie: De machines dwalen af en raken uit de toon. Je moet constant stoppen en ze opnieuw kalibreren, wat tijd en energie kost.
2. Decoding (Decodering): Om een fout te herstellen, moet een klassieke computer de gegevens lezen en uitzoeken wat er mis is gegaan. Deze berekening kost tijd en vermogen, en het moet onmiddellijk gebeuren voordat de volgende fout optreedt.
3. De Coherentie-batterij: Quantumtoestanden duren slechts een fractie van een seconde (microseconden). Het volledige foutcorrectieproces moet voltooid zijn voordat de "batterij" leeg is. Als het proces te traag is, stort de toestand in, ongeacht hoe goed de wiskunde is.
4. Entropie-spoeling: Elke keer dat je een fout herstelt, creëer je hitte en rommel (entropie). Je moet deze rommel constant weggooien en verse, koude "ancilla"-onderdelen binnenbrengen. Dit is als het constant verversen van de olie van een auto terwijl je met lichtsnelheid rijdt.

Het Verdict: Een Race Tegen de Wattagemeter

Het artikel suggereert dat wanneer je deze vier verborgen kosten aan het budget toevoegt, de "Threshold Theorem" er misschien niet meer uitziet als een vlakke, gemakkelijke weg. In plaats daarvan kan het eruitzien als een steile klif.

Hagar introduceert een nieuwe manier om de haalbaarheid van quantumcomputers te meten: Watts per decade aan onderdrukte fout. Stel dat je je computer 10 keer nauwkeuriger wilt maken (één "decade" verbetering). Hoeveel extra elektriciteit kost dat jou?

• De Optimistische Visie (De Stelling): De kostencurve zou vlak moeten zijn. Het maken van de computer 10 keer beter zou ongeveer evenveel extra vermogen moeten kosten, ongeacht hoe groot de machine wordt.
• Hagars Visie (De Reality Check): De kostencurve zou steil omhoog kunnen klimmen. Elke keer dat je probeert de computer 10 keer beter te maken, kan de energierekening enorm oplopen omdat de kosten voor kalibratie, decodering en koeling sneller groeien dan de machine beter wordt.

Het papier beweert niet dat quantumcomputers onmogelijk zijn. Het zegt niet dat de Threshold Theorem wiskundig onjuist is. In plaats daarvan betoogt het dat de aannames van de stelling over "gratis" bronnen (zoals gratis kalibratie en instant decodering) fysiek onrealistisch zijn. De auteur wijst erop dat we al datapunten hebben voor sommige van deze kosten. Zo toonde één experiment aan dat het herkalibreren van een machine een aanzienlijk deel van de tijd in beslag nam, en een ander toonde aan dat de energie die nodig is om de machine te koelen, enorm is.

De Twee Metingen Die het Debat Zullen Beslechten

Hagar sluit af met een uitdaging. Hij zegt dat we niet langer over theorieën of ruismodellen hoeven te discussiëren. We moeten gewoon een wattagemeter in de hand nemen. Hij stelt twee specifieke metingen voor die het debat definitief kunnen beslechten:

1. De Hellingsgraad-test: Meet het stroomverbruik van een quantumcomputer naarmate deze groter en nauwkeuriger wordt. Meet specifiek hoeveel watt het kost om de foutmarge met één decade (een factor tien) te verbeteren. Als de lijn vlak blijft terwijl de machine groeit, wint de Threshold Theorem. Als de lijn omhoog schiet, winnen de "verborgen kosten" en is fault-tolerant computing veel moeilijker dan we dachten.
2. De Klassieke Vergelijking: Vergelijk deze quantum-vermogenscurve met die van een klassieke computer die dezelfde taak uitvoert. Als de energierekening van de quantummachine te hoog oploopt, is het misschien nooit de energiekosten waard vergeleken met een gewone computer.

Het artikel concludeert dat het drie decennia durende debat over de vraag of quantumcomputers kunnen werken, vastgelopen is in een lus van discussies over aannames. Hagar suggereert dat we deze lus doorbreken door het debat te veranderen in een eenvoudig boekhoudkundig probleem. Het antwoord ligt niet in een filosofisch boek of een complexe simulatie; het staat op een wattagemeter. Als de energierekening laag blijft, bouwen we de wolkenkrabber. Als de rekening omhoog gaat, zijn we misschien toch een kaartenhuis aan het bouwen in een orkaan.