Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

In de zoektocht naar het bewijs dat kwantumcomputers dingen kunnen doen die klassieke machines niet kunnen, hebben wetenschappers zich gericht op een specifiek soort digitaal experiment: het draaien van willekeurige reeksen operaties op een kwantumprocessor en het meten van de resultaten. Deze taak, bekend als random circuit sampling, wordt beschouwd als een graadmeter voor "kwantumvoordeel", een mijlpaal waarbij een kwantumapparaat een supercomputer overtreft. De theorie hierachter rust op een statistisch patroon genaamd de Porter-Thomas-distributie. Stel je de output van een werkelijk willekeurig kwantumproces voor als een landschap van waarschijnlijkheden; voor een perfect willekeurig systeem volgt dit landschap een specifieke, voorspelbare vorm waarbij sommige uitkomsten zeer waarschijnlijk zijn en andere verwaarloosbaar zeldzaam, maar het algemene patroon consistent is. Jarenlang hebben onderzoekers aangenomen dat zelfs ondiepe, imperfecte kwantumcircuits uiteindelijk in dit patroon zouden landen, maar deze aanname miste een rigoureuze wiskundige basis. Zonder bewijs bleef het een open vraag of de rommelige, eindige circuits die we daadwerkelijk in een laboratorium kunnen bouwen, echt de ideale willekeur nabootsen die vereist is om de meest strenge tests van kwantumsuperioriteit te doorstaan.

Een team onderzoekers aan de University of Texas at Austin heeft nu dat ontbrekende bewijs geleverd. Zij hebben aangetoond dat lokale willekeurige kwantumcircuits, specifiek die gerangschikt in een "baksteenpatroon" (brickwork) waarbij poorten op naburige qubits werken in lagen, inderdaad convergeren naar de Porter-Thomas-distributie. Hun werk laat zien dat naarmate de diepte van het circuit — het aantal lagen operaties — toeneemt tot een bepaalde polynomiale schaal, de statistische output van de machine dicht bij de ideale willekeurige distributie komt, binnen een wiskundig nauwkeurige invers-polynomiale foutmarge in totale variatieafstand. Deze bevinding is significant omdat het de Linear Cross Entropy Benchmark valideert, de standaardtest die wordt gebruikt om te certificeren dat een kwantumcomputer een taak heeft uitgevoerd die te moeilijk is voor klassieke machines. Door te bewijzen dat deze circuits van nature evolueren naar de verwachte statistische vorm, hebben de auteurs het theoretische fundament van recente experimentele claims van kwantumvoordeel versterkt.

De onderzoekers concentreerden zich op een specifieke architectuur bekend als een baksteencircuit, waarbij poorten in afwisselende lagen worden toegepast op paren van naburige qubits, vergelijkbaar met het leggen van stenen in een muur. Ze analyseerden hoe de waarschijnlijkheid van het meten van een specifieke reeks enen en nullen verandert naarmidd de diepte van het circuit toeneemt. Hun analyse onthulde dat voor circuits met een diepte proportioneel aan het aantal qubits verheven tot een specifieke macht, de distributie van uitkomsten overeenkomt met de Porter-Thomas-curve. Het bewijs is geen eenvoudige observatie, maar een complexe wiskundige reis die verschillende geavanceerde concepten verbindt. Het team moest aantonen dat de momenten, of statistische gemiddelden, van de output van het circuit overeenkomen met die van een perfect willekeurig systeem, en vervolgens bewijzen dat deze overeenkomst van gemiddelden, gecombineerd met specifieke gladheidseigenschappen, voldoende is om de volledige distributie te garanderen. Ze maakten gebruik van technieken uit de complexe analyse en de waarschijnlijkheidsleer om de kloof te overbruggen tussen het kennen van enkele statistische gemiddelden en het kennen van de volledige vorm van de distributie, waarbij ze de hindernis overwonnen dat het matchen van slechts eindige momenten onvoldoende is om de nabijheid van distributies vast te stellen.

Een essentieel onderdeel van hun ontdekking betreft het begrijpen van hoe de willekeur zich door het circuit verspreidt. Ze toonden aan dat zelfs hoewel de poorten lokaal zijn en alleen op directe buren werken, de willekeur efficiënt genoeg voortplant zodat het hele systeem zich gedraagt alsof het globaal willekeurig is na een relatief klein aantal stappen. Het team bewees dat de afstand tussen de werkelijke output van deze circuits en de ideale Porter-Thomas-distributie snel krimpt naarmate de diepte van het circuit toeneemt. Specifiek toonden ze aan dat voor een circuit met een diepte die schaalt met het aantal qubits, het verschil tussen de werkelijke output en het ideale patroon verwaarloosbaar klein wordt, waarbij het afneemt met een snelheid die omgekeerd evenredig is aan een macht van het aantal qubits. Dit betekent dat naarmate het kwantumsysteem groter wordt, de benadering steeds nauwkeuriger wordt, mits het circuit diep genoeg is.

Het werk behandelt ook een subtiele maar cruciale wiskundige hindernis. In de waarschijnlijkheidsleer betekent het weten dat twee distributies dezelfde eerste paar gemiddelden delen niet automatisch dat ze dezelfde distributie zijn; twee verschillende vormen kunnen hetzelfde gemiddelde hoogtepunt hebben maar er elders totaal anders uitzien. De onderzoekers overwonnen dit door nieuwe technieken te ontwikkelen om de "gladheid" van de waarschijnlijkheidsdistributies te analyseren. Ze demonstreerden dat de output van deze willekeurige circuits voldoende glad en goed gedrag vertoont, waardoor ze geavanceerde wiskundige instrumenten konden gebruiken om te bevestigen dat de distributies inderdaad dicht bij elkaar liggen. Dit was noodzakelijk omdat eerdere methoden alleen konden aantonen dat de circuits bepaalde tests doorstonden, zoals de Linear Cross Entropy Benchmark, zonder te bewijzen dat de onderliggende distributie daadwerkelijk Porter-Thomas was. Door deze nabijheid vast te stellen, bevestigden de auteurs dat de benchmark een betrouwbare indicator is van ware kwantumwillekeur.

Hoewel het bewijs van toepassing is op ideale, ruisvrije circuits, erkennen de onderzoekers dat echte kwantumcomputers lijden onder fouten. Ze merken op dat ruis de complexe patronen deels wegwast, waardoor de output richting een uniforme, oninteressante distributie wordt gedreven. Echter, hun werk zet een duidelijke baseline voor wat mogelijk is in een perfecte wereld. Ze suggereren dat als de ruis voldoende laag wordt gehouden, de circuits nog steeds het Porter-Thomas-gedrag moeten vertonen voor een bepaalde diepte voordat de ruis de overhand neemt. Dit laat de vraag open hoe diep een ruizig circuit kan gaan voordat het zijn kwantumkarakter verliest, maar het nieuwe bewijs biedt het essentiële referentiepunt voor het beantwoorden van die vraag. Het resultaat bevestigt dat het chaotische gedrag dat vereist is voor kwantumvoordeel niet slechts een numerieke toevalligheid is die in simulaties wordt waargenomen, maar een fundamentele eigenschap van deze kwantumsystemen die wiskundig kan worden bewezen.

De implicaties van dit werk reiken verder dan alleen het valideren van eerdere experimenten. Door te bewijzen dat polynomiale-diepte circuits convergeren naar de Porter-Thomas-distributie, hebben de onderzoekers een sterkere theoretische rechtvaardiging geboden voor waarom deze circuits klassiek moeilijk te simuleren zijn. Als de outputdistributie werkelijk Porter-Thomas is, impliceert dit een hoog niveau van entropie en complexiteit waar klassieke computers moeite mee hebben om te repliceren. Dit geeft meer gewicht aan de claims van kwantumsuperioriteit gemaakt door experimenten op apparaten met vijftig tot honderd qubits. De studie beweert niet alle problemen in het veld te hebben opgelost, noch richt het zich op elk type kwantumcircuit, maar het sluit een significante kloof in ons begrip van hoe willekeur in kwantumsystemen ontstaat. Het transformeert een breed gedragen overtuiging, ondersteund door sterke numerieke bewijslast, in een wiskundige zekerheid voor een brede klasse van circuits.

Uiteindelijk verheldert dit onderzoek de relatie tussen de fysieke structuur van een kwantumcomputer en het statistische gedrag van de output ervan. Het toont aan dat de specifieke arrangement van poorten in een baksteenpatroon voldoende is om de complexe, willekeur-achtige statistieken te genereren die nodig zijn voor kwantumvoordeel. De auteurs vertrouwden niet op simulaties om hun zaak te maken, maar gebruikten een combinatie van moment-grenzen, analytische schattingen en lokale eigenschappen om een rigoureus argument op te bouwen. Hun bevindingen suggereren dat de weg naar het demonstreren van kwantumvoordeel niet wordt geblokkeerd door een gebrek aan theoretisch begrip, maar door de engineeringuitdagingen van het bouwen van diepere, stabielere circuits. Voor de wetenschappelijke gemeenschap dient dit werk als een bevestiging dat de instrumenten die worden gebruikt om kwantumprestaties te meten, stevig geworteld zijn in de wiskunde, wat het vertrouwen versterkt dat deze machines inderdaad opereren in een regime dat de klassieke fysica niet gemakkelijk kan verklaren.