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

Technische Zusammenfassung: Antikonzentration und Zustandsdesign von dotierten reellen Clifford-Schaltkreisen und Tensornetzwerken

Problemstellung
Obwohl Clifford-Schaltkreise zentral für das fehlertolerante Quantencomputing und die effiziente klassische Simulation sind, können sie allein keine universelle Quantenberechnung erzeugen oder die statistischen Eigenschaften von Haar-zufälligen Zuständen nachahmen, ohne zusätzliche Ressourcen zu nutzen. Vorherige Forschungen haben etabliert, dass das „Dotieren“ von Clifford-Schaltkreisen mit einer logarithmischen Anzahl von Magic-Zuständen es ihnen ermöglicht, Haar-zufällige Statistiken (Antikonzentration und Zustandsdesigns) zu approximieren. Die statistischen Eigenschaften eingeschränkter Ensembles, insbesondere jener, die auf reellen (orthogonalen) Hilbert-Räumen beschränkt sind, blieben jedoch weitgehend unerforscht. Diese Arbeit adressiert die Lücke in der Charakterisierung der Antikonzentrations- und Zustandsdesign-Eigenschaften von reellen Clifford-Schaltkreisen und Tensornetzwerken, sowohl in ihrer reinen Form als auch wenn sie mit kontrollierten Mengen an „magischen“ (nicht-Clifford) oder „imaginären“ (nicht-reellen) Ressourcen dotiert werden.

Methodik
Die Autoren verwenden einen rigorosen analytischen Rahmen, der das Stabilisator-Tableau-Formalismus mit einem neu entwickelten Weingarten-Kalkül für die reelle Clifford-Gruppe kombiniert.

1. Weingarten-Kalkül: Die Autoren leiten das exakte $k$-te Moment der reellen Clifford-Gruppe $R_n$ ab, indem sie den Durchschnitt über die Gruppe in Abhängigkeit von der Kommutant-Algebra $\text{Comm}_k(R_n)$ ausdrücken. Sie konstruieren eine orthogonale Basis $\Xi_k$ für diesen Kommutanten und definen die entsprechende Weingarten-Matrix als den Pseudo-Inversen der Gram-Matrix der Basis-Überlappungen.
2. Stabilisator-Tableau: Um Zustände zu enumerieren und Überlappungen zu berechnen, nutzen die Autoren den Stabilisator-Tableau-Formalismus. Sie beschränken das Zählen von Stabilisator-Zuständen auf den reellen Bereich ($R\text{Stab}_N$) und stellen fest, dass reelle Stabilisator-Zustände eine gerade Anzahl an $Y=iZX$-Operatoren pro Generator erfordern, was die Anzahl der Zustände im Vergleich zum komplexen Fall reduziert.
3. Architekturen: Die Studie analysiert drei spezifische Architekturen:
   • Global Random Real Clifford: Wirkt auf einen Referenzzustand $|0\rangle^{\otimes N}$.
   • Random Matrix Product States (RMPS): Sequenzielle „Treppenstufen“-Architekturen mit lokalen reellen Clifford-Gates, die auf überlappenden Blöcken wirken und eine Verschränkungsstruktur mit Bindungsdimension $\chi$ erzwingen.
   • Lokale verklebte Schaltkreise (Local Glued Circuits): Flache (shallow) lokale Schaltkreise, die das System in Patches unterteilen, wobei Gates auf benachbarte Paare wirken.
4. Dotierungsstrategie: Ressourcen werden über den Anfangszustand $|\Psi(r)\rangle = |\psi\rangle^{\otimes r} \otimes |0\rangle^{\otimes N-r}$ injiziert, wobei $|\psi\rangle$ für reelle Magie ($|H\rangle$), komplexe Magie ($|T\rangle$) oder imaginäre Zustände ($|\pm i\rangle$) steht.

Wesentliche Beiträge und Ergebnisse

1. Die Orthogonale Clifford-Porter-Thomas (OCPT) Verteilung
Die Autoren leiten die exakte Überlappungsverteilung für zufällige reelle Stabilisator-Zustände ab. Sie identifizieren eine neue Universalitätsklasse, die sich sowohl von unitären Clifford- als auch von orthogonalen Haar-Ensembles unterscheidet, bezeichnet als die Orthogonale Clifford-Porter-Thomas (OCPT) Verteilung.

• Die Verteilung wird durch die Partizipations-Entropie $g$ (oder $n = N-g$) bestimmt. Im thermodynamischen Limit wird die Wahrscheinlichkeitsverteilung $P(n)$ durch Gleichung (8) gegeben, welche $q$-Pochhammer-Symbole beinhaltet.
• Diese Verteilung definiert die Baseline für reelle Clifford-Schaltkreise, analog zur Standard-Porter-Thomas-Verteilung für unitäre Schaltkreise.

2. Konvergenz lokaler Architekturen
Die Studie beweist, dass lokale Architekturen diese globalen Statistiken effizient wiederherstellen:

• RMPS: Die inversen Partizipations-Verhältnisse (IPRs) für RMPS konvergieren gegen die OCPT-Verteilung mit einer polynomischen Bindungsdimension $\chi = \text{poly}(N)$. Die Verteilung wird als Faltung der OCPT und einer Poisson-Verteilung gezeigt, abhängig von der Skalierungsvariablen $x \approx N/\chi$.
• Lokale Schaltkreise: Flache lokale Schaltkreise (speziell Brickwork-Schaltkreise) erreichen vollständige Antikonzentration bei einer logarithmischen Tiefe $t \sim O(\log N)$. Dies bestätigt, dass lokale reelle Architekturen die globalen Zufallsstatistiken sättigen können, ohne tiefe Schaltkreise zu benötigen.

3. Hierarchie der Ressourcenanforderungen
Ein zentraler Befund ist die scharfe Trennung der Ressourcenkosten, die erforderlich sind, um zwischen verschiedenen statistischen Regimen zu wechseln:

• Reelle Magie ($|H\rangle$): Das Dotieren mit $r = O(\log N)$ reellen magischen Zuständen ist erforderlich, um das System in Richtung Orthogonal Haar Statistiken ($R\text{Haar}$) zu treiben.
• Komplexe Magie ($|T\rangle$): Ebenso sind $O(\log N)$ komplexe magische Zustände erforderlich, um Unitary Haar Statistiken ($C\text{Haar}$) zu erreichen.
• Imaginäre Ressourcen ($|\pm i\rangle$): Bemerkenswerterweise reicht eine einzelne imaginäre Ressource ($r=1$) aus, um die reelle Symmetrie zu brechen und strikt Unitary Clifford Statistiken ($C\text{Stab}$) wiederherzustellen. Dies liegt daran, dass ein einziger imaginärer Zustand in Kombination mit reellen Operationen die vollständige komplexe Basis erzeugt.

4. Zustandsdesign-Eigenschaften
Die Frame-Potential-Analyse bestätigt, dass die Design-Eigenschaften der durch die IPRs etablierten Hierarchie folgen.

• Logarithmisches Dotieren mit reeller oder komplexer Magie führt zur Konvergenz gegen die jeweiligen Haar-Limits.
• Ein einzelnes imaginäres Qubit genügt, um die unitären Clifford-Design-Eigenschaften wiederherzustellen, was die minimale Ressourcenkosten für den Zugriff auf komplexe unitäre Statistiken aus einem reellen Rückgrat etabliert.

Bedeutung
Das Paper etabliert eine umfassende Charakterisierung von Antikonzentration und Zustandsdesigns in reellen Clifford-Systemen. Durch die Definition der OCPT-Verteilung liefert es eine minimale Baseline für Quantenchaos in reellen Hilbert-Räumen. Die Ergebnisse zeigen eine „feingranulare“ Strategie für das Ressourcenmanagement: Man kann ein unitares Zustandsdesign effizient konstruieren, indem man ein reelles Clifford-Rückgrat mit reeller Magie und einem solitären imaginären Qubit dotiert, anstatt eine volle komplexe-magische Kontrolle zu benötigen.

Diese Ergebnisse haben unmittelbare Auswirkungen auf:

• Rebit-basiertes Quantencomputing: Quantifizierung der exakten Ressourcenkosten, um die Skalierbarkeit von auf reellen Hilbert-Räumen basierender Berechnungen zu gewährleisten.
• Randomized Benchmarking: Information von Protokollen für reelles Randomized Benchmarking durch Klärung der durch spezifische Ressourcen-Injektionen induzierten statistischen Übergänge.
• Ressourcentheorie: Demonstration einer scharfen Skalentrennung zwischen den Kosten von „Magie“ (Nicht-Stabilisierbarkeit) und „Imaginärität“ (Nicht-Realität) beim Antrieb von Quantenchaos.

Die Arbeit schlägt keine neue experimentelle Hardware vor, sondern liefert das theoretische Fundament für das Verständnis des statistischen Verhaltens dotierter reeller Schaltkreise, was entscheidend für Near-Term-Geräte und Fehlerkorrekturschemata ist, die auf reellen oder eingeschränkten Ressourcensätzen beruhen.