Random matrix perspective on probabilistic error cancellation

Technische Samenvatting: Een willekeurige matrix-perspectief op Probabilistische Foutcompensatie

Probleemstelling
Huidige kwantumhardware lijdt onder fysieke ruiskanalen die doelgerichte kwantumcircuits veranderen, wat de betrouwbare uitvoering van diepe algoritmen verhindert. Hoewel foutenmitigatietechnieken zoals Probabilistische Foutcompensatie (PEC) proberen deze effecten te keren door "onfysische" kanalen toe te passen, is de exacte aard van de ruis vaak onbekend en hardware-afhankelijk. Het extraheren van dominante ruisprocessen is computationeel duur. Dit artikel onderzoekt de algemene eigenschappen van de "denoiser"-operator die vereist is voor PEC zonder voorafgaande kennis van de specifieke ruisstructuur, waarbij het probleem wordt benaderd vanuit de lens van de willekeurige matrixtheorie (random matrix theory).

Methodologie
De auteurs modelleren een ensemble van ruizige kwantumcircuits ($\Lambda_U$) die werken op $L$ qubits met een Hilbertruimte-dimensie $N=2^L$. Het model werkt in het "gevouwen beeld" (folded picture) van superoperators die werken op gevectoriseerde dichtheidsmatrices.

• Circuitconstructie: Elk circuit bestaat uit $m$ lagen. Elke laag $i$ bestaat uit een unitaire operatie $U_i$ (gemodelleerd als globale willekeurige unitaries getrokken uit de Haar-maat) gevolgd door een ruiskanaal $N_i$.
• Ruismodellering: Ruis wordt gemodelleerd via Lindblad-generatoren $L_i$ die gedurende een korte tijd $t$ werken, zodanig dat $N_i = \exp(tL_i)$. Er worden twee ruisensembles beschouwd:
  1. Globale Ruis: Gegenereerd door volledig willekeurige Lindbladians waarbij de Kossakowski-matrix wordt gesampled uit de Wishart-ensemble.
  2. Lokale Ruis: Gegenereerd door de operatorbasis te beperken tot Pauli-strings met een maximale Pauli-gewicht $k_{max}$, wat processen met weinig qubits modelleert die relevant zijn voor de huidige hardware.
• Definitie van de Denoiser: De denoiser $D$ wordt gedefinieerd als de operator die het ruizige kanaal omkeert om het doelunitaire circuit $U$ te herstellen: $D = U \Lambda_U^{-1}$. Omdat $\Lambda_U$ irreversibele decoherentie bevat, is $D$ inherent een onfysisch kanaal (niet-volledig positief trace-behoudend).
• Analytische Benadering: De auteurs maken gebruik van de Baker-Campbell-Hausdorff (BCH) formule om de inverse van het ruizige kanaal te benaderen voor een kleine ruissterkte $t$. Ze relateren het spectrum van de denoiser aan de som van geroteerde Lindblad-generatoren, $\sum \tilde{L}_i$.

Belangrijkste Bijdragen en Resultaten

1. Spectrale Structuur van Denoisers: De studie toont aan dat de complexe spectra van denoiser-kanalen hun structurele eigenschappen erven van de onderliggende willekeurige Lindblad-generatoren.
   • Voor globale willekeurige Lindbladians volgt het denoiser-spectrum een universele vorm die voorspeld wordt door de spectrale ondersteuning van een enkele willekeurige Lindblad-generator, geschaald en verschoven volgens het aantal lagen $m$ en de ruissterkte $t$.
   • Specifiek bevindt het centrum van het denoiser-spectrum zich bij $\exp(tm)$, en de spectrale omvang schaalt met $\sqrt{m}$.
2. Geldigheid van Approximatie: Voor kleine parameters van de ruissterkte $t$ en kleine circuitdieptes $m$, kan de denoiser nauwkeurig worden benaderd als de exponent van de som van de genererende Lindblad-generatoren ($D \approx \exp(-t \sum \tilde{L}_i)$). Numerieke vergelijkingen laten een uitstekende overeenstemming zien (afwijkingen van de orde $10^{-6}$ voor $t=0.1, m=2$) tussen de exacte denoiser-spectra en deze lineaire benadering.
3. Emergentie van een Localiteitshierarchie: Wanneer de ruis wordt beperkt tot lokale (weinig-qubit) processen, vertoont het denoiser-spectrum een hiërarchie van tijdschalen. Deze structuur weerspiegelt direct de multi-level vervalratio's waargenomen in de spectra van willekeurige few-body Liouvillians. De door localiteit geïnduceerde spectrale kenmerken blijven bestaan ondanks het scrambling-effect van de willekeurige unitaire lagen in het circuit.
4. Schaalgedrag: Het artikel kwantificeert hoe de spectrale ondersteuning van de denoiser verandert met systeemgrootte $N$, ruissterkte $t$ en circuitdiepte $m$. Naarmate $t$ toeneemt, beweegt het spectrum van het ruizige kanaal naar de oorsprong, terwijl de modulus van de denoiser-eigenwaarden toeneemt en weg beweegt van één.

Significantie en Claims
Het artikel claimt dat de spectrale eigenschappen van onfysische denoisers niet arbitrair zijn, maar fundamenteel worden beperkt door de statistische eigenschappen van de ruisgeneratoren.

• Universaliteit: Zelfs in afwezigheid van specifieke karakterisering van de ruis, kan het ensemble van denoisers worden begrepen via de universele spectrale ondersteuning van willekeurige Lindbladians.
• Persistentie van Localiteit: Een belangrijke bevinding is dat de localiteitsstructuur van de onderliggende ruis overleeft tijdens het scrambling van willekeurige circuits. Dit suggereert dat in realistische scenario's waar ruis lokaal is, de effectieve denoisers die nodig zijn voor foutcompensatie een structuur kunnen bezitten die kan worden geïmplementeerd door relatief ondiepe circuits bestaande uit few-body gates.
• Theoretisch Kader: Het werk biedt een algemeen theoretisch kader dat de spectra van willekeurige Liouvillians verbindt met de eigenschappen van probabilistische foutcompensatie-operatoren, wat een manier biedt om het gedrag van denoisers te voorspellen op basis van ruiskenmerken zonder volledige proces-tomografie te vereisen.