Technische Zusammenfassung: Nicht-invertible Symmetrien auf Tensorprodukt-Hilberträumen und Quanten-Zellulären Automaten

1. Problemstellung

Die Arbeit behandelt die Realisierung von $(1+1)$-dimensionalen fusion-kategorischen Symmetrien auf Tensorprodukt-Hilberträumen. Während kontinuierliche Feldtheorien endliche verallgemeinerte interne Symmetrien durch unitäre Fusionkategorien beschreiben, stoßen Gitterrealisierungen auf ein fundamentales Hindernis: Es wurde kürzlich bewiesen, dass eine fusion-kategorische Symmetrie genau dann strikt (d. h. mit Symmetrieoperatoren, die eine direkte Darstellung der Fusionsregeln bilden) auf einem Tensorprodukt-Hilbertraum realisiert werden kann, wenn die Kategorie integral ist (alle einfachen Objekte haben ganzzahlige Quantendimensionen).

Viele physikalisch relevante Kategorien, wie die Ising-Kategorie oder Tambara-Yamagami-Kategorien mit nicht-quadratischen Gruppenordnungen, sind nicht-integral. Empirische Befunde deuten jedoch darauf hin, dass diese Symmetrien auf Tensorprodukt-Gittern realisiert werden können, wenn die Symmetrieoperatoren die Möglichkeit haben, sich mit Quanten-Zellulären Automaten (QCA) zu „mischen" (unitäre Operatoren mit endlicher Ausbreitungsgeschwindigkeit, wie Gittertranslationen). Dies führt zu einer modifizierten Fusionsregel:
$$D_x D_y = \sum_{z} U^z_{xy} D_z$$
wobei $U^z_{xy}$ QCAs sind, die zur Identität werden, wenn die QCA-Verfeinerung ignoriert wird.

Die Arbeit untersucht zwei zentrale Fragen:

1. Einschränkungen: Gegeben eine QCA-verfeinerte Realisierung, welche Einschränkungen legen die kategorischen Daten den Indizes der QCAs $U^z_{xy}$ auf?
2. Existenz: Ist die Bedingung der schwachen Integrität (das Quadrat der Quantendimension jedes einfachen Objekts ist eine ganze Zahl) hinreichend dafür, dass eine Fusionkategorie eine QCA-verfeinerte Realisierung auf einem Tensorprodukt-Hilbertraum zulässt?

2. Methodik

Die Autoren verwenden eine Kombination aus physikalischen Annahmen bezüglich Defekt-Hilberträumen, Indextheorie für QCAs und der expliziten Konstruktion von Gittermodellen.

2.1 Physikalische Annahmen und Indextheorie

Die Autoren übernehmen eine Reihe physikalischer Annahmen (Annahmen 1–5) bezüglich der Struktur von Defekt-Hilberträumen und des Verhaltens von Symmetrieoperatoren, basierend auf dem in [51] etablierten Rahmenwerk.

• Defekt-Hilberträume: Für jeden Symmetrieoperator $D_x$ existieren linke ($H^l_x$) und rechte ($H^r_x$) Defekt-Hilberträume, die durch Modifizierung des lokalen Hilbertraums in einem endlichen Bereich erhalten werden.
• Dimensionen und Indizes: Sie definieren linke und rechte Dimensionen ($ldim, rdim$) und leiten die Gitter-Quantendimension ($qdim_{lat}$) und den Index ($ind$) für Operatoren her. Für einen QCA $U$ entspricht der Index dem Gross-Nesme-Vogts-Werner (GNVW)-Index.
• Homogenität: Eine zentrale Annahme ist, dass der Index über Fusionskanäle hinweg homogen ist; wenn $D_x D_y = \sum D_z$, dann ist $ind(D_z)$ konstant für alle $z$ in der Summe.

Unter Verwendung dieser Annahmen liefern die Autoren einen physikalischen Beweis der Vermutung der schwachen Integrität: Jede Fusionkategorie, die eine QCA-verfeinerte Realisierung zulässt, muss schwach integral sein. Sie zeigen, dass die Gitter-Quantendimension mit der kategorischen Quantendimension übereinstimmen muss, was impliziert, dass das Quadrat der Quantendimension eine ganze Zahl sein muss.

2.2 Konstruktion von Gittermodellen

Um die Umkehrung zu beweisen (dass jede schwach integrale Kategorie eine solche Realisierung zulässt), konstruieren die Autoren ein spezifisches Gittermodell.

• Verallgemeinerung von Anyon-Ketten: Sie nutzen das Anyon-Ketten-Modell, das typischerweise durch ein Tripel $(\mathcal{C}, \mathcal{M}, \rho)$ definiert ist. Für integrale Kategorien führt die Wahl des regulären Objekts $\rho = R = \bigoplus d_x x$ zu einem Tensorprodukt-Hilbertraum.
• Anpassung für schwach integrale Kategorien: Für schwach integrale Kategorien $\mathcal{C} = \bigoplus_{g \in E} \mathcal{C}_g$ (graduiert durch eine Gruppe $E \simeq \mathbb{Z}_2^r$) liefert das Standard-reguläre Objekt keinen einzelnen Tensorprodutraum. Stattdessen zerfällt die Kette in Sektoren $H_g$.
• Sequentielle Schaltkreise: Die Autoren führen sequentielle Schaltkreise (unitäre Operatoren, die unterhalb der Kette wirken) $U_g: H_g \to H_0$ ein, die den Hilbertraum eines graduierten Sektors $g$ zurück zum trivialen Sektor $H_0$ abbilden.
• Modifizierte Symmetrieoperatoren: Die physikalischen Symmetrieoperatoren werden als $\tilde{D}_x = U_g \circ D_x$ definiert (wobei $x \in \mathcal{C}_g$). Diese Modifikation stellt sicher, dass die Operatoren innerhalb eines einzigen Tensorprodukt-Hilbertraums $H_0$ wirken.
• QCA-Verfeinerung: Die Komposition dieser Operatoren erzeugt auf natürliche Weise die QCA-Verfeinerung $U_{(g,h)} = U_g U_h U_{gh}^{-1}$ in den Fusionsregeln.

Zwei Konstruktionen werden bereitgestellt:

1. Konstruktion 1: Gilt für Kategorien, in denen bestimmte Objekte mit ganzzahligen Teilen der Quantendimension gleich 1 existieren (z. B. metaplektische Kategorien mit quadratfreiem $M$, Tambara-Yamagami mit quadratfreiem $|A|$).
2. Konstruktion 2: Eine einheitliche Konstruktion, die auf jede schwach integrale Kategorie anwendbar ist und ein modifiziertes Eingabeobjekt $\rho = \dim(\mathcal{C}_0) R_0$ verwendet.

3. Hauptbeiträge und Ergebnisse

Ergebnis 1: Einschränkungen für Indizes

Die Autoren beweisen, dass unter den genannten physikalischen Annahmen die Indizes der QCAs $U^z_{xy}$ in jeder QCA-verfeinerten Realisierung eindeutig bestimmt sind durch die kategorischen Daten, bis auf die Neudefinition von Symmetrieoperatoren (Stapeln mit Ancilla-QCAs).

• Spezifisch gilt für $x \in \mathcal{C}_g$ und $y \in \mathcal{C}_h$ ist der Index des in der Fusionsregel auftretenden QCA $U_{(g,h)}$:
  $$ind(U_{(g,h)}) = \frac{m_g m_h}{m_{gh}} \sqrt{\frac{n_g n_h}{n_{gh}}}$$
  wobei $n_g$ die quadratfreien ganzen Zahlen sind, die mit der Graduierung assoziiert sind, und $m_g$ rationale Zahlen sind, die durch die Neudefinitionsfreiheit bestimmt werden.
• Dies etabliert, dass das „Mischen" mit QCAs nicht willkürlich ist, sondern durch die Struktur der Kategorie festgelegt wird.

Ergebnis 2: Existenzsatz

Die Autoren konstruieren ein explizites Gittermodell, das beweist, dass jede schwach integrale Fusionkategorie eine QCA-verfeinerte Realisierung auf einem Tensorprodukt-Hilbertraum zulässt.

• Satz 1.1: Jede schwach integrale fusion-kategorische Symmetrie erlaubt eine QCA-verfeinerte Realisierung auf einem Tensorprodukt-Hilbertraum.
• Das konstruierte Modell liefert „kanonische" Realisierungen, bei denen die QCA-Verfeinerung nur von den Graduierungsspektren $g, h$ abhängt.
• Die Autoren berechnen explizit die Indizes der QCAs in ihrem Gittermodell und verifizieren, dass sie den Vorhersagen von Ergebnis 1 entsprechen, was einen Konsistenzcheck für die physikalischen Annahmen darstellt.

Anwendung: Tambara-Yamagami-Kategorien

Die allgemeine Konstruktion wird auf Tambara-Yamagami (TY)-Kategorien angewendet.

• Für eine TY-Kategorie $TY(A, \chi, \epsilon)$ mit $|A|$, das keine perfekte Quadratzahl ist, liefern die Autoren eine explizite QCA-verfeinerte Realisierung.
• Die Fusionsregel für das nicht-invertible Objekt $m$ wird hergeleitet als:
  $$D_m^2 = T \sum_{a \in A} D_a$$
  wobei $T$ eine Gittertranslation ist (ein nicht-trivialer QCA). Dies stellt den bekannten Ising-Fall ($A=\mathbb{Z}_2$) wieder her und verallgemeinert ihn auf beliebige abelsche Gruppen.

4. Bedeutung und Behauptungen

Die Arbeit behauptet, eine vollständige Antwort auf die Realisierbarkeit nicht-invertibler Symmetrien auf Tensorprodukt-Gittern, bis hin zu QCAs, zu liefern.

• Notwendigkeit: Sie untermauert die Vermutung der schwachen Integrität und zeigt, dass, falls eine Realisierung existiert, die Kategorie schwach integral sein muss.
• Hinreichend: Sie beweist die Umkehrung und demonstriert, dass schwache Integrität das einzige Hindernis für solche Realisierungen ist.
• Kanonsche Struktur: Die Arbeit identifiziert eine „kanonische" Form für diese Realisierungen, bei der die QCA-Indizes durch die Kategorie festgelegt sind, analog dazu, wie projektive Darstellungen von Gruppen durch die Gruppenkohomologie klassifiziert werden.
• Physikalische Einsicht: Die Arbeit bietet eine neue Perspektive auf die Kramers-Wannier-Dualität und ähnliche Symmetrien, indem sie diese als Produkt eines standardmäßigen Anyon-Fusionsoperators und eines sequentiellen Schaltkreises (QCA) interpretiert, der den resultierenden Zustand zurück in den Tensorprodukt-Raum abbildet.

Die Autoren weisen darauf hin, dass, obwohl die Vermutung der schwachen Integrität unter spezifischen physikalischen Annahmen bewiesen wurde, eine Herleitung dieser Annahmen aus ersten Prinzipien (z. B. eine rigorose Definition von Symmetrieoperatoren als Quantenkanäle) eine offene Richtung für zukünftige Arbeiten bleibt. Innerhalb des etablierten Rahmens etabliert die Arbeit jedoch eine „wenn und nur wenn"-Beziehung zwischen schwacher Integrität und QCA-verfeinerter Realisierbarkeit.