Independent stabilizer Rényi entropy and entanglement fluctuations in random unitary circuits

Technische Zusammenfassung: Unabhängige Stabilisator-Rényi-Entropie und Verschränkungsfluktuationen in zufälligen unitären Schaltkreisen

Problemstellung
Quantenkomplexität ist ein zentrales Thema im Quantencomputing und unterscheidet „einfache“ Zustände (nah an klassisch) von „komplizierten“ Zuständen, die durch starke Nichtlokalität und Quantenkorrelationen charakterisiert sind. Während die Verschränkungsentropie ein etabliertes Maß für Quantenressourcen und Komplexität ist, bildet sie nicht das vollständige Bild ab. Speziell können hochgradig verschränkte Zustände nicht komplex sein, wenn sie durch klassisch simulierbare Clifford-Schaltkreise erzeugt wurden. Um dies zu adressieren, wurde das Konzept der „Magie“ (oder der Nicht-Stabilisator-Leistung), quantifiziert durch die Stabilisator-Rényi-Entropie (SRE), eingeführt, um die Schwierigkeit der klassischen Simulation eines Quantenzustands zu messen.

Eine kritische offene Frage bleibt hinsichtlich der Beziehung zwischen diesen zwei unterschiedlichen Komplexitätsmaßen: Magie und Verschränkung. Während Verschränkung instrumentell bei der Erzeugung von Zuständen mit hoher Magie ist, deutet die Existenz von Zuständen mit vernachlässigbarer Magie bei gleichzeitig hoher Verschränkung (und umgekehrt) auf ein komplexes Zusammenspiel hin. Vorherige Studien haben distinkte Regime im Hilbert-Raum identifiziert, aber die statistische Beziehung zwischen Magie und Verschränkung in generischen, Haar-zufälligen Quantenzuständen wurde bisher nicht vollständig charakterisiert. Diese Arbeit untersucht, ob Magie und Verschränkung in der thermodynamischen Grenze von zufälligen Quantenschaltkreisen korreliert oder unabhängig sind.

Methodik
Die Autoren führen eine numerische Untersuchung der gemeinsamen Verteilung von Magie ($M_2$) und Verschränkungsentropie ($S$) in $N$-Qubit-Haar-zufälligen Quantenzuständen durch.

• Systemgenerierung: Zufällige Zustände werden erzeugt, indem zufällige unitäre Operatoren $U \in U_N$ auf einen Referenz-Produkttestzustand $|0\rangle = \bigotimes_{j=1}^N |0\rangle_j$ angewendet werden. Die Studie betrachtet auch Brick-Wall-Schaltkreise der Tiefe $D$ und zeigt, dass die Verteilungen für $D \gtrsim 2N$ gegen die Verteilungen generischer Haar-zufälliger Operatoren konvergieren.
• Quantifizierung der Magie: Die Stabilisator-2-Rényi-Entropie (SRE), bezeichnet als $M_2$, wird unter Verwendung der Wahrscheinlichkeitsverteilung von Pauli-Strings berechnet. Für einen Zustand $|\psi\rangle$ ist die Pauli-String-Wahrscheinlichkeit $\Xi_\psi(\sigma) = \frac{1}{d} |\langle \psi | \sigma | \psi \rangle|^2$, wobei $d=2^N$. Die Magie ist definiert als $M_2(|\psi\rangle) \equiv -\log_2 \sum_{\sigma \in P_N} \Xi_\psi^2(\sigma) - \log_2(d)$.
• Quantifizierung der Verschränkung: Die von-Neumann-Entropie $S$ wird durch Partitionierung des Systems in zwei Subsysteme gleicher Größe (oder nahezu gleicher Größe für ungerades $N$) berechnet.
• Statistische Analyse: Die Autoren analysieren die Randverteilungen $P_N(M_2)$ und $P_N(S)$ sowie die gemeinsame Verteilung $P_N(M_2, S)$. Sie untersuchen die Skalierung der Mittelwerte, Varianzen und der Kovarianz zwischen den beiden Größen mit zunehmender Systemgröße $N$.

Zentrale Beiträge und Ergebnisse

1. Exponentielle Lokalisierung der Randverteilungen:

   • Magie: Die Verteilung der Magie $P_N(M_2)$ wird exponentiell scharf und lokalisiert um einen typischen Wert $\tilde{M}_2 \approx N - 2$ für $N \to \infty$. Die Varianz skaliert als $\text{var}(M_2) \propto 4^{-N}$, was exponentiell schneller ist als die Standard-Thermodynamik-Skalierung ($\sim N$). Diese Konzentration wird der Summe schwach korrelierter Terme in der Definition der SRE zugeschrieben.
   • Verschränkung: Ähnlich konzentriert sich die Verschränkungsentropie-Verteilung $P_N(S)$ exponentiell um $\tilde{S} \approx N/2$ (konsistent mit der Page-Formel). Die Varianz skaliert als $\text{var}(S) \propto 2^{-N}$.
   • Verteilungsform: Für große $N$ konvergieren beide Verteilungen gegen eine Gauß-Verteilung mit verschwindender Varianz.

2. Asymptotische Unabhängigkeit der Fluktuationen:

   • Der Kernbefund der Arbeit ist das Verhalten der gemeinsamen Verteilung $P_N(M_2, S)$. Während die typischen Werte von Magie und Verschränkung stark korreliert sind (beide skalieren linear mit $N$), werden ihre Fluktuationen exponentiell unkorreliert.
   • Die Kovarianz zwischen Magie und Verschränkung, $\text{cov}(M_2, S)$, sinkt exponentiell mit der Systemgröße als $\propto 2^{-3N}$.
   • Entscheidend ist, dass dieser Abfall schneller erfolgt als das geometrische Mittel der einzelnen Varianzen ($\sqrt{\text{var}(M_2)\text{var}(S)}$). Dies impliziert, dass der Korrelationskoeffizient in der thermodynamischen Grenze verschwindet, was darauf hindeutet, dass Magie- und Verschränkungsfluktuationen asymptotisch unabhängig sind.

3. Seltenheit atypischer Zustände:

   • Die Studie bestätigt, dass zwar Zustände mit verschwindender Magie bei hoher Verschränkung (oder hoher Magie bei niedriger Verschränkung) existieren, diese jedoch einen exponentiell kleinen Bruchteil des Hilbert-Raums im Vergleich zu typischen Zuständen darstellen, die sowohl große Magie als auch große Verschränkungsentropie besitzen.

Bedeutung und Ansprüche
Das Paper behauptet, die Mehrdeutigkeit bezüglich der Beziehung zwischen Magie und Verschränkung in generischen Quantenzuständen aufgelöst zu haben. Durch den Nachweis, dass ihre Fluktuationen in der thermodynamischen Grenze exponentiell unkorreliert sind, etablieren die Autoren eine fundamentale statistische Unabhängigkeit zwischen diesen beiden Maßen der Quantenkomplexität.

• Theoretische Implikation: Die Ergebnisse erweitern frühere analytische Befunde (die eine Null-Kovarianz für lineare Magie zeigten) auf die nicht-lineare Stabilisator-2-Rényi-Entropie und die von-Neumann-Entropie. Dies legt nahe, dass in großen Zufallssystemen die „Schwierigkeit“ der Simulation (Magie) und das „Ausmaß“ der Nichtlokalität (Verschränkung) unterschiedliche Ressourcen sind, die unabhängig voneinander fluktuieren.
• Ressourientheorie: Die Arbeit hebt die Vorherrschaft hochkomplexer Quantenzustände im Hilbert-Raum hervor, die durch große Werte beider Ressourcen charakterisiert sind. Sie verstärkt die Nützlichkeit von zufälligen unitären Schaltkreisen als Rahmenwerk zur Untersuchung von Quantenressourcentheorien und zum Verständnis der statistischen Eigenschaften zentraler Komplexitätsmaße.
• Bescheidenheit der Ansprüche: Die Autoren schlagen keine neuen experimentellen Protokolle oder spezifischen Anwendungen für Quantenalgorithmen vor. Stattdessen liefern sie eine rigorose statistische Charakterisierung der Landschaft der Quantenzustände und klären, dass während Magie und Verschränkung beide für hohe Komplexität notwendig sind, sie in ihren Abweichungen von typischen Werten in zufälligen Schaltkreisen statistisch nicht gekoppelt sind.