⚛️ quantum physics

Classically Spoofing System Linear Cross Entropy Score Benchmarking

Dit artikel toont aan dat de System Linear Cross Entropy Score (sXES), een benchmarkmetriek voorgesteld voor kwantumsuperioriteit via Hamiltoniaan-simulatie die als klassiek moeilijk te vervalsen werd beschouwd, in bepaalde regimes in feite efficiënt kan worden gesimuleerd door klassieke computers.

Oorspronkelijke auteurs: Andrew Tanggara, Mile Gu, Kishor Bharti

Gepubliceerd 2026-02-04

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Andrew Tanggara, Mile Gu, Kishor Bharti

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 "Quantum Kook" Wedstrijd

Stel je een kookwedstrijd met hoge inzet voor. Aan de ene kant heb je een team van Quantum Chefs die een magisch, futuristisch fornuis (een quantumcomputer) gebruiken om een zeer complex gerecht te berekenen. Aan de andere kant heb je Classical Chefs die standaard, ouderwetse ovens (klassieke supercomputers) gebruiken.

De Quantum Chefs beweren: "Wij kunnen dit gerecht zo snel en perfect bereiden dat geen enkele Classical Chef dat in een miljoen jaar zou kunnen." Dit is wat wetenschappers "Quantum Supremacy" noemen.

Om te bewijzen dat ze gelijk hebben, hebben de juryleden een manier nodig om het gerecht te proeven en te zien of het overeenkomt met het "perfecte recept" (de ideale wiskundige uitkomst).

De Oude Rechter: De "Linear XEB" Score

Enkele jaren lang gebruikten de juryleden een specifieke proefmethode genaamd Linear Cross-Entropy Benchmarking (Linear XEB).

Hoe het werkte: De jury nam een monster van het gerecht van de Quantum Chef en controleerde of de smaken vaker overeenkwamen met het perfecte recept dan bij een willekeurige gok.
Het Probleem: Onlangs hebben slimme Classical Chefs een kortere route ontdekt. Ze realiseerden zich dat ze voor bepaalde soorten "sublinear-depth" circuits (denk aan recepten die niet genoeg stappen hebben om echt chaotisch te worden) de smaaktest konden vervalsen. Ze konden hun oude ovens een gerecht laten produceren dat leek op het perfecte gerecht van de Quantum Chef, ook al hadden ze het niet op de moeilijke manier gekookt. Dit ondermijnde het vertrouwen in de oude metriek.

De Nieuwe Rechter: De "sXES" Score

Omdat de oude metriek kapot was, stelden de Quantum Chefs een nieuw, complexer recept voor en een nieuwe proefmethode genaamd System Linear Cross Entropy Score (sXES).

De Belofte: Dit nieuwe recept (genoemd mQSVT) is structureel anders. Het gebruikt een specifiek patroon van ingrediënten (gates) die in blokken herhaald worden. De Quantum Chefs argumenteerden: "Ons nieuwe recept is zo anders dat de oude trucjes van de Classical Chefs niet zullen werken. We hebben een nieuwe regel nodig genaamd sXQUATH die zegt: 'Het is wiskundig onmogelijk voor een Classical Chef om deze score efficiënt te vervalsen.'"

De Ontdekking van het Artikel: De "Pauli Path" Shortcut

De auteurs van dit artikel (Andrew, Mile, en Kishor) besloten de nieuwe rechter te testen. Ze vroegen zich af: "Kan een Classical Chef de sXES-score nog steeds vervalsen, zelfs met dit nieuwe, complexe recept?"

Het Antwoord: Ja, dat kunnen ze.

Dit is hoe ze het deden, met behulp van een analogie:

1. Het "Pauli Path" Algoritme

Stel je voor dat het Quantum Recept een enorme, meerlagige taart is. Om precies te weten hoe de taart smaakt, moet je normaal gesproken de chemie van elke individuele kruimel berekenen. Dat is onmogelijk voor een Classical Chef.

Echter, de auteurs ontdekten een shortcut. Ze realiseerden zich dat je voor dit specifieke type taart (het mQSVT-circuit) niet elke krumel hoeft te berekenen. Je hoeft alleen maar een specifieke, dunne "route" door de taartlagen te volgen.

Ze noemen dit de Pauli Path.
Denk aan een "smaaktest-tunnel". In plaats van de hele taart te analyseren, stuurt de Classical Chef een sonde door een specifieke tunnel in de structuur van de taart.
Omdat het Quantum Recept een repetitieve structuur heeft (het gebruikt steeds weer dezelfde blokken ingrediënten), onthult deze tunnel genoeg informatie over de hele taart om de uiteindelijke smaak met verbazingwekkende nauwkeurigheid te raden.

2. De "Ruis" Factor

Het artikel keek ook naar wat er gebeurt als de keuken rommelig is (wanneer de quantumcomputer ruis heeft/noisy is).

In een rommelige keuken raken de ingrediënten een beetje bedorven en wordt het uiteindelijke gerecht een beetje willekeurig.
De auteurs lieten zien dat als de ruis hoog genoeg is, de shortcut van de Classical Chef zelfs nog beter wordt in het vervalsen van de score. Ze kunnen een "ruizig" gerecht produceren dat net zo hoog scoort als het echte, ruizige gerecht van de Quantum Chef, waardoor het voor de jury onmogelijk is om het verschil te zien.

De Conclusie: De Nieuwe Rechter is Ook Gebrekkig

Het artikel concludeert twee hoofdzaken:

De Shortcut Werkt: Het "Pauli Path" algoritme van de Classical Chef kan de output van deze specifieke quantumcircuits efficiënt simuleren.
De Score is Spoofbaar: Omdat de Classical Chef de output zo goed kan simuleren, kan hij de sXES-benchmark ook spoofen (vervalsen). Hij kan zijn klassieke computer een score laten produceren die lijkt op een quantumoverwinning, ook al heeft hij het zware quantumwerk niet echt verricht.

In eenvoudige woorden: De Quantum Chefs dachten dat ze een nieuw, onbreekbaar slot (sXES) hadden gevonden om hun superioriteit te bewijzen. De auteurs van dit artikel vonden een meester sleutel (het Pauli Path algoritme) die dat slot net zo gemakkelijk opent als de oude.

Dit betekent dat voor deze specifieke soorten circuits (sublinear depth), de sXES-benchmark nog niet een betrouwbare manier is om "Quantum Supremacy" te bewijzen. De auteurs pleiten ervoor dat we in de toekomst een nog sterkere benchmark moeten uitvinden, één die de "Pauli Path" shortcut niet kan breken.

Technische Samenvatting: Classically Spoofing System Linear Cross Entropy Score Benchmarking voor Sublinear-Depth Circuits

Probleemstelling
Recente claims van "kwantumsuperioriteit" hebben grotendeels vertrouwd op de Linear Cross-Entropy Benchmarking (Linear XEB) metriek om te verifiëren dat kwantumapparaten taken uitvoeren (zoals Random Circuit Sampling) die onhandelbaar zijn voor klassieke computers. De theoretische hardheid van het klassiek spoofen van Linear XEB rust op de Cross-Entropy Quantum Threshold (XQUATH) conjunctuur. Echter, recent werk heeft XQUATH weerlegd voor sublineaire diepte-circuits, wat de robuustheid van Linear XEB als een superioriteitsbenchmark ondermijnt.

In reactie hierop werd een variant benchmark genaamd de System Linear Cross Entropy Score (sXES) voorgesteld voor kwantum Hamiltoniaanse simulatie-experimenten met behulp van Minimal Quantum Singular Value Transform (mQSVT) circuits. In tegenstelling tot standaard Random Circuit Sampling (RCS) bezitten mQSVT-circuits een duidelijke structuur bestaande uit meerdere kopieën van dezelfde unitaire matrix $U$ en haar geconjugeerde $U^\dagger$ . Dit structurele verschil leidde tot de System Linear Cross-Entropy Quantum Threshold Assumption (sXQUATH), die stelt dat geen enkel polynoomtijd klassiek algoritme de output-waarschijnlijkheden van mQSVT-circuits kan benaderen met een gemiddelde kwadratische fout (mean-squared error) die significant lager is dan een triviale uniforme benadering. De formele relatie tussen sXQUATH en XQUATH was voorheen onduidelijk, waardoor de vraag open bleef of bestaande spoofing-technieken konden worden aangepast om sXQUATH te weerleggen.

Methodologie
De auteurs maken gebruik van een Pauli-pad algoritme om een efficiënte klassieke benadering te construeren voor de output-waarschijnlijkheidsverdeling van mQSVT-circuits. De kern van hun aanpak bestaat uit het expanderen van de dichtheidsmatrix van het circuit in termen van genormaliseerde Pauli-matrices op elke laag.

Belangrijke technische stappen zijn:

Pauli-pad Expansie: De output-waarschijnlijkheid $p(U, x)$ wordt uitgedrukt als een som over Fourier-coëfficiënten die overeenkomen met Pauli-paden $s$ . Voor een mQSVT-circuit met $d$ blokken is een Pauli-pad een sequentie van sub-paden die door $U$ en $U^\dagger$ bewegen.
Overwinnen van Orthogonaliteitsvraagstukken: In standaard RCS zorgt de "orthogonaliteitseigenschap" ervoor dat de verwachtingswaarde van het product van Fourier-coëfficiënten voor verschillende paden nul is. Deze eigenschap faalt in mQSVT-circuits omdat dezelfde willekeurige unitaire matrix $U$ meerdere keren voorkomt (specifiek $2d$ keer in een $d$ -blok circuit). Bijgevolg vereist de analyse hogere-orde momenten (specifiek het 4e moment) van Haar-willekeurige eenheden, in plaats van alleen het 2e moment dat in eerdere RCS-spoofingresultaten werd gebruikt.
Weingarten Calculus: Om de verwachtingswaarden van producten van transitie-amplituden waarbij meerdere kopieën van dezelfde unitaire matrix betrokken zijn te evalueren, maken de auteurs gebruik van de Weingarten calculus. Dit stelt hen in staat om de momenten van Haar-willekeurige eenheden uit te drukken in termen van Weingarten-functies en permutatie-operatoren.
Specifieke Padconstructie: De auteurs definiëren een specifiek, efficiënt berekenbaar Pauli-pad $r$ dat begint met niet-identiteit Pauli's ( $Z \otimes Z$ ) op de eerste qubit en de gekoppelde partner in de eerste laag, gevolgd door identiteit Pauli's in de daaropvolgende lagen. Zij construeren een klassieke benadering $q(U, x) = 2^{-n} + F(U, r, x)$ , waarbij $F(U, r, x)$ de Fourier-coëfficiënt voor pad $r$ is.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert twee primaire stellingen die het falen van sXQUATH en de spoofbaarheid van sXES aantonen:

Weerlegging van sXQUATH (Stelling 1): De auteurs bewijzen dat voor single-block ( $d=1$ ) mQSVT-circuits met sublineaire diepte ( $d_U = o(n)$ ), het geconstrueerde klassieke algoritme $q(U, x)$ een gemiddelde kwadratische fout (MSE) bereikt die significant lager is dan de triviale benadering ( $2^{-n}$ ). Specifiek tonen zij aan dat de grootheid $sXQ$ (het verschil in MSE tussen de triviale benadering en het voorgestelde algoritme) schaalt als $\Omega(2^{-3n})$ . Dit weerlegt direct de sXQUATH-conjunctuur voor dit regime, waarmee wordt bewezen dat een polynoomtijd klassiek algoritme de output-waarschijnlijkheden beter kan benaderen dan de assumptie toelaat.
Spoofing van de sXES Benchmark (Stelling 2): De auteurs demonstreren dat hetzelfde algoritme de sXES-benchmark voor ruisgevoelige mQSVT-circuits kan spoofen. Zij tonen aan dat voor circuits die gecorrumpeerd zijn door depolariserende ruis boven een bepaalde drempel, het klassieke algoritme een sXES-score produceert die vergelijkbaar is met die van een ruisgevoelig kwantumcircuit. De gespoofte sXES is begrensd door $2^{-n}(\sum_{x \neq 0^n} \mathbb{E}_U[p(U, x)] + c d_U)$ , wat aangeeft dat de benchmark het verschil niet kan onderscheiden tussen het ruisgevoelige kwantumeperiment en de klassieke simulatie in deze regimes.

Betekenis
Het artikel claimt dat deze resultaten de fundamentele bevindingen van Aharonov et al. (2023) met betrekking tot het spoofen van Linear XEB in RCS uitbreiden. Door aan te tonen dat sXES ook vatbaar is voor efficiënt klassiek spoofing via Pauli-pad algoritmen, stellen de auteurs:

Dat de complexiteitstheoretische basis van sXES (sXQUATH) fragiel is, met name voor circuits met sublineaire diepte.
Dat de structurele verschillen tussen mQSVT-circuits en standaard RCS geen voldoende bescherming bieden tegen huidige state-of-the-art klassieke simulatietechnieken.
Dat toekomstige claims van kwantumsuperioriteit, of het nu gebaseerd zijn op RCS of Hamiltoniaanse simulatie, nieuwe benchmarking-taken vereisen met sterkere complexiteitstheoretische garanties die spoofing door Pauli-pad algoritmen en vergelijkbare methoden kunnen uitsluiten.

Het werk stelt geen nieuwe experimentele protocollen of toekomstige toepassingen voor, maar dient als een theoretisch waarschuwend resultaat dat de noodzaak benadrukt voor robuustere verificatiemethoden in de zoektocht naar het aantonen van kwantumvoordeel.