Anticoncentration and State Design of Doped Real Clifford Circuits and Tensor Networks

Technische Samenvatting: Anticoncentratie en State Design van Gedoteerde Reële Clifford-circuits en Tensornetwerken

Probleemstelling
Hoewel Clifford-circuits centraal staan in fouttolerante kwantumcomputing en efficiënte klassieke simulatie, kunnen zij alleen niet zonder aanvullende middelen universele kwantumcomputatie genereren of de statistische eigenschappen van Haar-willekeurige toestanden nabootsen. Eerder onderzoek heeft vastgesteld dat het "doteren" van Clifford-circuits met een logaritmisch aantal magic-toestanden hen in staat stelt om Haar-willekeurige statistieken (anticoncentratie en state designs) te benaderen. De statistische eigenschappen van beperkte ensembles, specifiek die geconfineerd zijn tot reële (orthogonale) Hilbertruimten, bleven echter grotendeels onverkend. Dit werk adresseert de kloof in het karakteriseren van de anticoncentratie- en state design-eigenschappen van reële Clifford-circuits en tensornetwerken, zowel in hun pure vorm als wanneer ze gedoteerd zijn met gecontroleerde hoeveelheden "magic" (niet-Clifford) of "imaginaire" (niet-reële) middelen.

Methodologie
De auteurs hanteren een rigoureus analytisch kader dat de stabilizer tableau-formalisme combineert met een nieuw ontwikkelde Weingarten-calculus voor de reële Clifford-groep.

1. Weingarten-calculus: De auteurs leiden het exacte $k$-de moment van de reële Clifford-groep $R_n$ af door het gemiddelde over de groep uit te drukken in termen van de commutant-algebra $\text{Comm}_k(R_n)$. Zij construeren een orthogonale basis $\Xi_k$ voor deze commutant en definiëren de bijbehorende Weingarten-matrix als de pseudo-inverse van de Gram-matrix van de basis-overlappen.
2. Stabilizer Tableau: Om toestanden te enumereren en overlappingen te berekenen, maken de auteurs gebruik van het stabilizer tableau-formalisme. Zij beperken het tellen van stabilizer-toestanden tot het reële domein ($R\text{Stab}_N$), waarbij zij identificeren dat reële stabilizer-toestanden een even aantal $Y=iZX$ operatoren per generator vereisen, wat de aantal toestanden vermindert vergeleken met het complexe geval.
3. Architecturen: De studie analyseert drie specifieke architecturen:
   • Globale Willekeurige Reële Clifford: Acterend op een referentietoestand $|0\rangle^{\otimes N}$.
   • Random Matrix Product States (RMPS): Sequentiële "trappenhuis"-architecturen met lokale reële Clifford-gates die werken op overlappende blokken, waardoor een verstrengelingsstructuur met bond-dimensie $\chi$ wordt afgedwongen.
   • Lokale Geplakte Circuits (Glued Circuits): Ondiepe circuits die het systeem verdelen in patches waarbij gates werken op aangrenzende paren.
4. Doteringsstrategie: Middelen worden geïnjecteerd via de initiële toestand $|\Psi(r)\rangle = |\psi\rangle^{\otimes r} \otimes |0\rangle^{\otimes N-r}$, waarbij $|\psi\rangle$ staat voor reële magic ($|H\rangle$), complexe magic ($|T\rangle$), of imaginaire toestanden ($|\pm i\rangle$).

Belangrijkste Bijdragen en Resultaten

1. De Orthogonale Clifford Porter-Thomas (OCPT) Verdeling
De auteurs leiden de exacte overlapverdeling af voor willekeurige reële stabilizer-toestanden. Zij identificeren een nieuwe universaliteitsklasse die onderscheidt van zowel unitaire Clifford als orthogonale Haar-ensembles, getiteld de Orthogonale Clifford Porter-Thomas (OCPT) verdeling.

• De verdeling wordt beheerst door de participatie-entropie $g$ (of $n = N-g$). In het thermodynamische limiet wordt de waarschijnlijkheidsverdeling $P(n)$ gegeven door Eq. (8), die $q$-Pochhammer-symbolen bevat.
• Deze verdeling definieert de baseline voor reële Clifford-circuits, analoog aan de standaard Porter-Thomas verdeling voor unitaire circuits.

2. Convergentie van Lokale Architecturen
De studie bewijst dat lokale architecturen deze globale statistieken efficiënt herstellen:

• RMPS: De inverse participatie-ratio's (IPR's) voor RMPS convergeren naar de OCPT-verdeling met een polynomiale bond-dimensie $\chi = \text{poly}(N)$. De verdeling wordt getoond als een convolutie van de OCPT en een Poisson-verdeling, afhankelijk van de schaalvariabele $x \approx N/\chi$.
• Lokale Circuits: Ondiepe lokale circuits (specifiek brickwork-circuits) bereiken volledige anticoncentratie bij een logaritmische diepte $t \sim O(\log N)$. Dit bevestigt dat lokale reële architecturen kunnen verzadigen naar de globale willekeurige statistieken zonder dat diepe circuits vereist zijn.

3. Hiërarchie van Middelenvereisten
Een centrale bevinding is de scherpe scheiding in de kosten van middelen die nodig zijn om tussen verschillende statistische regimes te transformeren:

• Reële Magic ($|H\rangle$): Dotering met $r = O(\log N)$ reële magic-toestanden is vereist om het systeem richting Orthogonale Haar statistieken ($R\text{Haar}$) te drijven.
• Complexe Magic ($|T\rangle$): Similaar is $O(\log N)$ complexe magic-toestanden vereist om Unitaire Haar statistieken ($C\text{Haar}$) te bereiken.
• Imaginaire Middelen ($|\pm i\rangle$): Opmerkelijk genoeg is slechts één imaginaire resource ($r=1$) voldoende om de reële symmetrie te breken en strikt de Unitaire Clifford statistieken ($C\text{Stab}$) te herstellen. Dit komt doordat één imaginaire toestand, gecombineerd met reële operaties, de volledige complexe basis genereert.

4. State Design Eigenschappen
De frame potential-analyse bevestigt dat de design-eigenschappen de hiërarchie volgen die door de IPR's is vastgesteld.

• Logaritmische dotering met reële of complexe magic leidt tot convergentie naar de respectieve Haar-limieten.
• Een enkele imaginaire qubit volstaat om de unitaire Clifford design-eigenschappen te herstellen, wat de minimale kosten voor het toegankelijk maken van complexe unitaire statistieken vanuit een reële ruggengraat vaststelt.

Betekenis
Dit artikel biedt een uitgebreide karakterisering van anticoncentratie en state designs in reële Clifford-systemen. Door de OCPT-verdeling te definiëren, biedt het een minimale baseline voor kwantumchaos in reële Hilbertruimten. De bevindingen onthullen een "fijnmazige" strategie voor middelenbeheer: men kan een unitaire state design efficiënt construeren door een reële Clifford-ruggengraat te doteren met reële magic en een enkele imaginaire qubit, in plaats van volledige complexe-magic controle te vereisen.

Deze resultaten hebben directe implicaties voor:

• Rebit-gebaseerde Kwantumcomputatie: Het kwantificeren van de exacte kosten van middelen om reële Hilbertruimte-gebaseerde computatie schaalbaar te maken.
• Randomized Benchmarking: Het informeren van protocollen voor reële randomized benchmarking door de statistische transities te verhelderen die door specifieke injectie van middelen worden geïnduceerd.
• Middelenleer (Resource Theory): Het aantonen van een scherpe scheiding van schalen tussen de kosten van "magic" (niet-stabilizerheid) en "imaginariteit" (niet-realiteit) bij het aandrijven van kwantumchaos.

Het werk stelt geen nieuwe experimentele hardware voor, maar biedt het theoretische fundament voor het begrijpen van het statistische gedrag van gedoteerde reële circuits, wat cruciaal is voor nabije hardware (near-term devices) en foutcorrectieschema's die vertrouwen op reële of beperkte middelen.