⚛️ quantum physics

The NISQ Trap: Eight Years of Demonstrations the Hardware Was Built to Lose

Dit artikel betoogt dat het NISQ-tijdperk een gesloten cirkel van mislukte beweringen van "quantumvoordeel" is geweest omdat de specifieke circuitkenmerken die huidige ruisgevoelige hardware kan uitvoeren, inherent dezelfde zijn als die welke efficiënte klassieke simulatie mogelijk maken, wat bewijst dat echt quantumvoordeel afhankelijk blijft van de realisatie van fouttolerante quantumcomputing.

Oorspronkelijke auteurs: Amit Hagar

Gepubliceerd 2026-07-09

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Amit Hagar

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: De "Achtjarige Lus"

Stel je een groep ingenieurs voor die een nieuw type automotor (Quantumcomputers) bouwen die bedoeld is om sneller te zijn dan elke auto ooit gemaakt. Acht jaar lang hebben ze "vlaggenschip"-races laten zien waarbij hun nieuwe motoren de oude, standaardmotoren lijken te verslaan.

Echter, dit artikel betoogt dat elke een van die races werd gerigged door de regels van de racebaan.

De auteur, Amit Hagar, beweert dat de ingenieurs gedwongen waren om racebanen te kiezen die makkelijk waren voor de oude motoren om op te rijden, simpelweg omdat de nieuwe motoren te fragiel waren om de moeilijke banen aan te kunnen. Elke keer als ze een "overwinning" claimden, kwam er uiteindelijk een wiskundige langs die zei: "Eigenlijk hadden we diezelfde makkelijke baan net zo snel met een potlood en papier kunnen oplossen."

Het artikel noemt dit de "Closed Loop" (Gesloten Lus).

De Hardware: De nieuwe quantumcomputers zijn luidruchtig en fragiel. Ze kunnen alleen op zeer eenvoudige, korte of sterk gestructureerde banen rijden.
De Software: Omdat die banen eenvoudig zijn, kunnen klassieke computers (de oude motoren) ze in fekelijk kunnen simuleren.
Het Resultaat: De quantumcomputer krijgt nooit echt de kans om te bewijzen dat hij sneller is, omdat hij nooit wordt toegestaan op een baan te rijden die moeilijk genoeg is om de klassieke computer te slim af te zijn.

Het Kernprobleem: Twee Kanten van Dezelfde Munt

Het artikel legt uit dat er een "tweezijdige" beperking is:

Gezicht A (De Hardware): Omdat de quantumchips luidruchtig zijn, kunnen ze alleen eenvoudige circuits aan (zoals een korte, rechte weg) of zeer specifieke patronen (zoals een perfect symmetrische dans).
Gezicht B (De Wiskunde): Dezelfde kenmerken die een circuit gemakkelijk maken voor de luidruchtige hardware (korte lengte, symmetrie), zijn exact de kenmerken die het voor een klassieke computer gemakkelijk maken om het op te lossen.

De Analogie:
Stel je voor dat je probeert te bewijzen dat een nieuwe, wankele fiets sneller kan gaan dan een auto.

Om te voorkomen dat de fiets omvalt (ruis), moet je hem rijden op een perfect vlak, recht traject van 100 meter.
Maar op een vlak, recht traject van 100 meter kan een auto gemakkelijk naast je rijden en jouw snelheid bijhouden.
Jij claimt: "Kijk! De fiets is net zo snel als de auto!"
Het artikel zegt: "Nee, je hebt gewoon een baan gekozen waar de auto al snel is. Je hebt nog niet bewezen dat de fiets bijzonder is."

De "De-Quantization" Sequentie

Het artikel somt een reeks gebeurtenissen op van 2018 tot 2026.

Het Patroon: Een bedrijf kondigt een "Quantum Advantage" (een overwinning) aan.
De Reactie: Binnen 18 maanden publiceert een team van theoretici een artikel dat laat zien hoe ze exact dat experiment kunnen simuleren met een klassieke computer.
De Reden: Het experiment was ontworpen om te werken op de luidruchtige hardware, wat betekende dat het gebruik moest maken van "korte circuits" of "speciale patronen". Dat zijn precies de dingen waar klassieke computers goed in zijn.

Het artikel merkt op dat van meer dan 30 grote aankondigingen, elke een van hen is "gede-kwantiseerd" (bewezen te kunnen worden gesimuleerd door klassieke computers), met één zeer specifieke uitzondering die het artikel met scepsis behandelt.

De Enige Uitzondering: De "Quantum Echoes"

Het artikel noemt één experiment (van oktober 2025) dat nog niet volledig is verslagen door klassieke computers. De auteur is echter zeer sceptisch over dit experiment.

Het Probleem: Het experiment mat een zeer complex signaal, maar om de cijfers er goed uit te laten zien, moesten ze een enorme "correctiefactor" toepassen (zoals een foto uitrekken om hem groter te laten lijken).
De Valkuil: Ze controleerden alleen of hun wiskunde klopte op een kleine schaal (40 qubits), maar claimden de overwinning op een grote schaal (65 qubits) waar ze het antwoord niet daadwerkelijk konden controleren.
Het Oordeel: Het artikel suggereert dat dit waarschijnlijk gewoon een natuurkundig experiment is dat de eigen ruis van de machine meet, vermomd als een computationele overwinning.

Wat Dit Betekent voor de Toekomst

Het artikel maakt twee hoofdpunten over wat er nu volgt:

1. De Enige Uitweg is "Fault Tolerance" (Fouttolerantie)
De "lus" kan alleen worden doorbroken als we een machine bouwen die zijn eigen fouten kan herstellen.

Huidige Staat (NISQ): De machine is luidruchtig. Hij kan alleen eenvoudige dingen doen.
Toekomstige Staat (Fault Tolerant): De machine heeft "foutcorrectie". Hij kan de ruis eruit pompen (zoals een koelkast warmte naar buiten pompt).
De Realiteitscheck: Het artikel zegt dat we moeten stoppen met doen alsover de huidige luidruchtige machines het eindproduct zijn. De echte "quantum advantage" zal pas plaatsvinden wanneer we de fouttolerante machines bouwen, wat is wat de oorspronkelijke wiskunde uit 1996 al die tijd al voorspelde.

2. We Moeten Ophouden "Engineering" te Verwarren met "Advantage"
Het artikel betoogt dat de afgelopen acht jaar geweldig zijn geweest voor engineering (we hebben betere chips gebouwd, betere draden, betere controles). Maar we zijn slecht geweest in wetenschap (we bleven beweren problemen te hebben opgelost die we eigenlijk niet hadden opgelost).

De Valstrik: Persberichten hebben "We hebben een machine gebouwd die werkt" verward met "We hebben een machine gebouwd die slimmer is dan een supercomputer".
De Oplossing: We moeten toegeven dat de huidige machines slechts diagnostische instrumenten zijn. Ze zijn goed voor het testen van natuurkunde, maar ze hebben nog niets gewonnen van klassieke computers.

De Conclusie: De "Perpetele Beweging" Machine

De auteur eindigt met een scherpe metafoor:

"Quantum advantage op luidruchtige hardware is de perpetuum mobile van de theoretische natuurkunde: elk nieuw prototype draait een paar maanden, trekt bewonderende artikelen aan, en dan merkt een theoreticus dat het in het stopcontact zit."

Vertaling: De nieuwe quantumcomputers lijken op eigen kracht te draaien, maar ze zijn eigenlijk aangesloten op de kracht van klassieke computers (omdat klassieke computers ze kunnen simuleren).

Het artikel waarschuwt dat als we onze focus niet verleggen naar het bouwen van echt "fouttolerante" machines (de machines die hun eigen fouten kunnen herstellen), we deze achtjarige lus nog een decennium lang zullen herhalen, waarbij we geld uitgeven aan demonstraties die klassieke computers al kunnen uitvoeren.

Technische Samenvatting: "De NISQ-val: Acht jaar aan demonstraties dat de hardware gebouwd is om te verliezen"

Probleemstelling
Het artikel behandelt een hardnekkig patroon in het tijdperk van Noisy Intermediate-Scale Quantum (NISQ) (2018–2026): prestigieuze demonstraties van "kwantumvoordeel" worden consequent binnen achttien maanden gevolgd door ofwel klassieke reproductie, ofwel een theoretisch bewijs van simuleerbaarheid. Het centrale probleem is de identificatie van een structurele beperking die NISQ-hardware dwingt om uitsluitend te opereren in regio's van de circuitruimte die tegelijkertijd de enige regio's zijn die toegankelijk zijn voor huidige ruisgevoelige apparaten en de regio's die het meest vatbaar zijn voor efficiënte klassieke simulatie. Het artikel stelt dat het NISQ-programma, geconcipieerd als een interimstrategie terwijl fouttolerantie nog onbereikbaar blijft, onbedoeld een "gesloten lus" heeft gecreëerd waar hardwarebeperkingen en klassieke algoritmische capaciteiten samenkomen, waardoor echt kwantumvoordeel onmogelijk wordt binnen het huidige regime.

Methodologie
Het artikel maakt gebruik van een retrospectieve synthese van theoretische resultaten gepubliceerd tussen 2024 en april 2026. In plaats van nieuwe experimentele gegevens te presenteren, aggregeert de auteur zes verschillende theoretische bevindingen om de grenzen van het NISQ-regime in kaart te brengen:

Ruis-geïnduceerde dieptereductie: Gebruikmakend van resultaten door Mele, Angrisani, et al. [3], analyseert het artikel hoe lokale ruismodellen ervoor zorgen dat kwantumcircuits convergeren naar een logaritmische effectieve diepte ( $O(\log n)$ ), waardoor vroege computatielagen worden uitgewist.
Algebraïsche compressie: Door voort te bouwen op werk over fermionische dynamica [2] en lineaire optica [7, 8, 9], onderzoekt het artikel hoe gestructureerde inputtoestanden (bijv. tensorproducten van disjuncte paren) exact gecomprimeerd kunnen worden in determinanten of Pfaffians.
Geometrische en Markoviaanse beperkingen: Door de bevindingen van Nelson, Rajakumar, Gullans [4] en anderen [5, 6] te integreren, beschouwt het artikel hoe geometrische lokaliteit en benaderende Markoviaanse eigenschappen de circuitcomplexiteit verder beperken.
Vergelijkende analyse: De auteur kruist deze theoretische grenzen met specifieke hardware-demonstraties (bijv. IBM's Heisenberg-keten experimenten [10, 11], Google's Willow random-circuit sampling [13], en het "Quantum Echoes" experiment [14]) om aan te tonen dat de operationele vereisten van de hardware (ondiepe diepte, gestructureerde toestanden) perfect overeenkomen met de condities die nodig zijn voor klassieke simuleerbaarheid.

Belangrijkste Bijdragen

De "Gesloten Lus"-thesis: Het artikel formaliseert de observatie dat de "twee gezichten" van de NISQ-beperking identiek zijn: de hardware-eigenschappen die een circuit in staat stellen om met voldoende getrouwheid (fidelity) te draaien (lage effectieve diepte, sterke algebraïsche structuur, geometrische lokaliteit) zijn exact dezelfde eigenschappen die klassieke algoritmen in staat stellen de circuit efficiënt te comprimeren en te simuleren.
Historische Diagnose: Het werk herkarakteriseert het NISQ-tijdperk (2018–2026) niet als een periode van progressieve ontdekking, maar als een "gesloten lus" waarin demonstraties onvermijdelijk werden getrokken uit een regio van de circuitruimte die klassieke methoden altijd het zwak in het lijf zouden hebben.
Herwaardering van "Voordeel"-claims: Het artikel biedt een kritisch kader om onderscheid te maken tussen "bekwame diagnostische engineering" (een circuit draaien en een bekend antwoord matchen) en "computationeel voordeel" (een probleem oplossen dat buiten het klassieke bereik ligt). Het stelt dat de perscyclus deze twee zaken heeft verward, wat heeft geleid tot financiering voor resultaten die de uiteindelijke doelstelling van het vakgebied niet bevorderen.
Verduidelijking van de "Uitzondering": Het artikel onderzoekt de enkele demonstratie (Google's "Quantum Echoes" [14]) die nog niet door een stelling is gesloten. Het benadrukt dat dit experiment steunt op foutmodel-projecties, globale herschalingsfactoren en een scoremetriek die variantie verwijdert, wat suggereert dat de claim op voordeel rust op aannames die niet beschikbaar zijn op schaal (65 qubits).

Resultaten

Systematische De-kwantisering: Het artikel documenteert dat elke belangrijke NISQ-demonstratie, met de genoemde uitzondering van het "Quantum Echoes" experiment, ofwel klassiek is gereproduceerd ofwel binnen 18 maanden na aankondiging als simuleerbaar is bewezen.
De Identiteit van Beperkingen: De analyse bevestigt dat de "gestructureerde/ondiepe" regio van de circuitruimte de enige regio is die NISQ-hardware kan bereiken. Aangezien deze regio ook de enige regio is waar klassieke methoden (MPS, Pfaffian compressie, tensornetwerken) hanteerbaar zijn, is de perimeter van wat NISQ kan leveren wiskundig gesloten.
De Rol van Ruis: De resultaten wijzen erop dat ruis niet alleen prestaties verslechtert; het verandert fundamenteel de computationele klasse van het apparaat, waardoor het in regimes wordt gedwongen waar klassieke simulatie efficiënt is.
Toekomstige Hardware-projecties: Het artikel analyseert de aankomende doelstellingen van het Department of Energy (DOE) voor 2028. Het stelt dat zonder een doorbraak in actieve foutcorrectie (entropiepumping), toekomstige apparaten in een van drie categorieën zullen vallen: echte fouttolerante computers (die de NISQ-lus doorbreken), grotere NISQ-apparaten (nog steeds onderhevig aan de gesloten lus), of natuurkundige experimenten (het meten van hun eigen dynamica) die onterecht als computationeel voordeel worden bestempeld.

Betekenis en Claims
Het artikel claimt dat de bewijslast volledig is verschoven naar de verdedigers van NISQ. Na acht jaar en meer dan dertig aankondigingen suggereert het empirische patroon dat "kwantumvoordeel op ruisgevoelige hardware" een "perpetuum mobile" is die niet kan functioneren omdat de hardware "aangesloten is op het stopcontact" van de klassieke simuleerbaarheid.

De betekenis van het werk ligt in de stelling dat de uitgang uit de NISQ-lus niet wordt gevonden in betere klassieke algoritmen of iets grotere NISQ-apparaten, maar strikt in fouttolerantie. Het artikel stelt dat de drempelstellingen van 1996 correct de noodzakelijke voorwaarden hadden geïdentificeerd (actieve foutcorrectie om entropie weg te pompen) voor echt voordeel, en dat het NISQ-tijdperk een historische terugtocht was die nu zijn logische conclusie heeft bereikt. Het artikel concludeert dat tenzij een demonstratie de huidige simuleerbaarheidsstellingen kan ontsnappen door te opereren in een regime dat coherentiebudgetten vereist die de huidige hardware overstijgen, het NISQ-programma zijn vermogen om computationeel voordeel te produceren heeft uitgeput.