Remarks on non-invertible symmetries on a tensor product Hilbert space in 1+1 dimensions

Die Arbeit schlägt einen Index für nicht-invertierbare Symmetrieoperatoren in 1+1 Dimensionen vor, der die Realisierbarkeit solcher Symmetrien auf tensorproduktierten Gitter-Hilberträumen einschränkt und eine Indextheorie für topologisch injektive Matrixproduktoperatoren (MPOs) entwickelt, die Defekt-Hilberträume und sequentielle Quantenschaltkreise ermöglichen.

Das Wesentliche

Das große Puzzle: Symmetrien in der Quantenwelt

Stell dir vor, du hast ein riesiges, komplexes Puzzle aus kleinen Kacheln (den Atomen oder Qubits in einem Computer). In der Physik gibt es Regeln, wie sich diese Kacheln verhalten dürfen. Diese Regeln nennen wir Symmetrien.

Früher dachten Physiker, alle Symmetrien seien wie ein Spiegel: Wenn du das Bild spiegelst, siehst du es genau andersherum, aber du kannst es wieder zurückdrehen. Das ist eine "invertierbare" Symmetrie (man kann den Vorgang rückgängig machen).

In den letzten Jahren haben wir jedoch entdeckt, dass es auch nicht-invertierbare Symmetrien gibt. Das ist, als würdest du ein Puzzle zerlegen und die Teile neu zusammenfügen, aber es gibt keinen einfachen Weg, sie wieder genau in die alte Form zu bringen. Es ist wie ein Zaubertrick, bei dem aus zwei Teilen plötzlich drei werden, oder aus einem Teil zwei verschmelzen. Diese neuen Symmetrien sind sehr mächtig, aber auch sehr schwer zu verstehen.

Das Problem: Der "Gitter"-Käfig

Die Forscher wollen diese neuen Symmetrien auf einem Computer simulieren oder in einem echten Kristallgitter (einem "Gitter") nachbauen. Das Problem dabei ist: Ein Computer oder ein Kristall besteht aus einem festen Raster von Plätzen (einem Tensor-Produkt-Raum). Stell dir das wie ein Schachbrett vor, auf dem jede Kachel fest mit ihren Nachbarn verbunden ist.

Die große Frage war: Welche dieser magischen, nicht-invertierbaren Symmetrien passen überhaupt auf ein solches Schachbrett?

Die Antwort ist nicht einfach. Es gibt eine Art "mathematisches Gewicht" (Quantendimension) für jede Symmetrie.

• Wenn das Gewicht eine ganze Zahl ist (z. B. 1, 2, 3), passt die Symmetrie perfekt auf das Schachbrett.
• Wenn das Gewicht eine Wurzel ist (z. B. $\sqrt{2}$), passt sie nicht perfekt, es sei denn, man erlaubt ein wenig "Trickserei".

Die Lösung: Ein neuer Maßstab (Der Index)

Inamura entwickelt in diesem Papier einen neuen Messstab, den er "Index" nennt. Stell dir das wie ein Thermometer vor, das misst, wie sehr eine Symmetrie das Schachbrett "verdreht".

1. Der alte Maßstab: Früher kannte man diesen Index nur für einfache, invertierbare Symmetrien (wie das Verschieben des ganzen Schachbretts um eine Kachel).
2. Der neue Maßstab: Inamura erweitert diesen Index auf die magischen, nicht-invertierbaren Symmetrien. Er fragt: "Wenn ich zwei dieser Symmetrien zusammenwerfe, bleibt der Index gleich?"

Er nennt dies die Homogenität des Index. Das ist wie eine Regel in einem Kartenspiel: "Wenn ich zwei Karten lege, muss der Wert der neuen Karte immer die Summe der alten Werte sein." Wenn diese Regel gilt, dann ist die Symmetrie "gutartig".

Die große Entdeckung: Nur "schwache" Integrale sind erlaubt

Das wichtigste Ergebnis des Papiers ist eine Art Warnung für die Natur:

Wenn man annimmt, dass dieser Index immer konsistent ist (also die Regel oben gilt), dann können nur Symmetrien auf einem festen Schachbrett existieren, deren Gesamtgewicht eine ganze Zahl ist (oder eine Wurzel aus einer ganzen Zahl).

• Die Analogie: Stell dir vor, du versuchst, eine Kugel mit einem Durchmesser von $\sqrt{2}$ cm in eine Schachtel zu packen, die nur ganzzahlige Zentimetermaße hat. Es passt nicht genau. Aber wenn du erlaubst, dass die Schachtel sich ein wenig dehnt oder verschiebt (was in der Physik "Quanten-Zelluläre Automaten" oder QCAs genannt wird), dann kann es passen – aber nur, wenn die Kugel nicht "zu wild" ist.
• Inamura zeigt: Wenn der Index homogen ist, dann müssen diese Symmetrien "schwach ganzzahlig" sein. Das bedeutet, sie sind nicht völlig chaotisch; sie folgen immer noch einer strengen mathematischen Ordnung.

Die Brücke: Tensor-Netzwerke als Baukasten

Um das zu beweisen, benutzt Inamura eine Methode namens Tensor-Netzwerke. Stell dir das wie einen Baukasten aus Lego vor.

• Er baut eine spezielle Art von Lego-Steinen, die er "Topologische injektive MPOs" nennt. Das sind die Bausteine, die diese magischen Symmetrien auf dem Schachbrett darstellen.
• Er zeigt, dass diese Bausteine sich wie eine sequenzielle Schaltung verhalten: Man kann sie Schritt für Schritt aufbauen, wie eine Kette von Dominosteinen.
• Er beweist, dass wenn diese Lego-Steine bestimmte "Verzahnungsregeln" (die "Zipper-Bedingungen") erfüllen, dann funktioniert der Index-Messstab perfekt.

Das Fazit für den Alltag

Was bedeutet das für uns?

1. Ordnung im Chaos: Auch wenn die Quantenwelt voller magischer, nicht-invertierbarer Symmetrien ist, gibt es harte Grenzen, wenn wir versuchen, sie in einem festen System (wie einem Computerchip) zu bauen.
2. Die Regel der ganzen Zahlen: Die Natur erlaubt nur bestimmte Arten von Symmetrien auf einem Gitter. Wenn eine Symmetrie zu "fremdartig" ist (ihre mathematische Dimension passt nicht in das Gitter), kann sie dort nicht existieren, es sei denn, sie verhält sich sehr speziell.
3. Ein Werkzeug für die Zukunft: Inamura hat ein Werkzeug (den Index) und eine Bauanleitung (Tensor-Netzwerke) entwickelt, mit denen Physiker in Zukunft leichter prüfen können, welche neuen Quantenmaterialien sie bauen können und welche mathematisch unmöglich sind.

Zusammenfassend: Das Papier ist wie ein Baumeister, der sagt: "Wir können diese magischen, nicht-invertierbaren Symmetrien in unsere Quanten-Computer einbauen, aber nur, wenn sie sich an die Regel der 'ganzen Zahlen' halten. Hier ist der Messstab, mit dem wir das überprüfen können."

Technische Zusammenfassung

Titel und Kontext

Titel: Remarks on non-invertible symmetries on a tensor product Hilbert space in 1+1 dimensions (Bemerkungen zu nicht-invertierbaren Symmetrien auf einem Tensorprodukt-Hilbertraum in 1+1 Dimensionen).
Autor: Kansei Inamura (University of Oxford).
Kontext: Das Paper untersucht die Realisierbarkeit von nicht-invertierbaren Symmetrien (die durch Fusionskategorien beschrieben werden) auf Gittermodellen mit einem Tensorprodukt-Hilbertraum (d.h. lokalen Hilberträumen endlicher Dimension pro Gitterplatz). Es adressiert die Frage, welche Klassen von Fusionskategorien auf solchen Gittern realisiert werden können, insbesondere wenn eine Mischung mit Quanten-Zellulären Automaten (QCAs) erlaubt ist.

---

1. Das Problem

In relativistischen Quantenfeldtheorien (QFTs) werden nicht-invertierbare Symmetrien durch topologische Defekte beschrieben und allgemein durch Fusionskategorien charakterisiert. Auf dem Gitter ist die Situation jedoch subtiler, da der Zustandsraum als Tensorprodukt lokaler Hilberträume gegeben ist.

• Integrale vs. nicht-integrale Kategorien: Es wurde gezeigt, dass eine unitäre Fusionskategorie exakt (ohne Mischung mit Translationen) nur dann auf einem Tensorprodukt-Hilbertraum realisiert werden kann, wenn sie integral ist (alle Quantendimensionen sind ganze Zahlen).
• Die Vermutung: Es gibt eine Vermutung (basierend auf [32, 33]), dass selbst wenn man eine Mischung mit nicht-trivialen QCAs (wie Gittertranslationen) erlaubt, nur schwach integrale (weakly integral) Fusionskategorien realisiert werden können. Eine Kategorie ist schwach integral, wenn ihre totale Dimension eine ganze Zahl ist (was äquivalent dazu ist, dass die Quantendimensionen aller einfachen Objekte Quadratwurzeln ganzer Zahlen sind).
• Die Lücke: Um diese Vermutung zu beweisen oder zu widerlegen, fehlt eine präzise Definition nicht-invertierbarer Symmetrieoperatoren auf einem Tensorprodukt-Hilbertraum und eine damit verbundene Index-Theorie.

---

2. Methodik

Der Autor verfolgt zwei komplementäre Ansätze:

A. Axiomatischer Ansatz (Physikalische Annahmen)

In den Abschnitten II und III werden keine spezifischen mathematischen Konstruktionen (wie Tensor-Netzwerke) vorausgesetzt, sondern physikalische Annahmen über Defekt-Hilberträume getroffen:

1. Existenz von Defekt-Hilberträumen: Zu jedem Symmetrieoperator $D_X$ existieren modifizierte Hilberträume $H^l_{D_X}$ und $H^r_{D_X}$ (für nach oben bzw. unten orientierte Defekte).
2. Produkt- und Summenregel: Das Produkt und die Summe von Symmetrieoperatoren entsprechen den entsprechenden Operationen auf den Defekt-Hilberträumen.
3. Kompatibilität mit Unitärität: Der hermitesch konjugierte Operator entspricht dem inversen Defekt.

Auf Basis dieser Annahmen werden linke und rechte Dimensionen ($ldim, rdim$) definiert als das Verhältnis der Dimension des Defekt-Hilbertraums zur des ursprünglichen Hilbertraums. Daraus werden der Gitter-Quantendimension ($qdim_{lat}$) und ein Index ($ind$) abgeleitet, die den Gross-Nesme-Vogts-Werner (GNVW) Index für QCAs verallgemeinern.

B. Tensor-Netzwerk-Ansatz (Konstruktiver Ansatz)

In den Abschnitten IV bis VI wird eine konkrete mathematische Formulierung mittels Matrix Product Operators (MPOs) entwickelt:

• Topologische injektive MPOs: Der Autor definiert eine Klasse von injektiven MPO-Tensoren, die als "topologische injektive MPOs" bezeichnet werden. Diese umfassen invertierbare Symmetrien (MPUs), nicht-anomale Fusionskategorien und Kramers-Wannier-Dualitäten.
• Defekt-Hilberträume im Tensor-Netzwerk: Diese werden konstruiert, indem lokale Hilberträume durch Projektoren ersetzt werden, die aus den Fixpunkten der Transfermatrix abgeleitet sind.
• Sequenzielle Quantenschaltkreise: Es wird gezeigt, dass diese MPOs als sequenzielle Quantenschaltkreise (mit lokalen unitären Gattern und Defekt-Erzeugungs-/Vernichtungsoperatoren) dargestellt werden können.

---

3. Wichtige Beiträge und Ergebnisse

A. Der Index und die Homogenität

Ein zentrales Ergebnis ist die Definition des Index $ind(D_X) = \sqrt{ldim(D_X) / rdim(D_X)}$.

• Homogenität des Index: Der Autor definiert, dass der Index für ein Produkt von Symmetrieoperatoren homogen ist, wenn alle Fusionskanäle (die im Produkt entstehen) denselben Index haben.
• Hauptresultat (Axiomatischer Ansatz): Unter der Annahme, dass der Index homogen ist, zeigt das Paper, dass die Fusionsregeln von Symmetrieoperatoren auf einem Tensorprodukt-Hilbertraum (selbst unter Zulassung von QCAs) nur mit denen einer schwach integralen Fusionskategorie übereinstimmen können.
  • Wenn keine QCAs erlaubt sind, muss die Kategorie integral sein (Quantendimensionen sind ganze Zahlen).
  • Wenn QCAs erlaubt sind, muss sie schwach integral sein (Quantendimensionen sind Quadratwurzeln ganzer Zahlen).

B. Ausreichende Bedingungen im Tensor-Netzwerk-Rahmen

Im Tensor-Netzwerk-Rahmen (Abschnitt V) werden hinreichende Bedingungen für die Homogenität des Index hergeleitet:

• Es werden Fusions- und Spalt-Tensoren (fusion and splitting tensors) für die Fusionskanäle definiert.
• Zwei Bedingungen werden eingeführt: die "broken zipper condition" und die "two-sided zipper condition".
• Satz: Wenn diese Bedingungen für alle Fusionskanäle erfüllt sind, dann ist der Index homogen, und die Realisierbarkeit ist auf schwach integrale Kategorien beschränkt.

C. Beispiele und Verifikation

In Abschnitt VI wird gezeigt, dass alle diskutierten Beispiele topologischer injektiver MPOs die oben genannten Bedingungen erfüllen:

1. Invertierbare Symmetrien (QCAs/MPUs): Hier ist der Index der GNVW-Index. Die Bedingungen sind erfüllt.
2. Nicht-anomale Fusionskategorien (z.B. Darstellungen von Hopf-Algebren): Hier ist der Index 1, und die Quantendimensionen sind ganzzahlig (integral).
3. Kramers-Wannier-Dualität ($Z_2$ und $Z_N$): Dies sind nicht-invertierbare Symmetrien, die mit Translationen mischen.
   • Für $Z_2$: Der Index ist $\sqrt{2}$. Die Quantendimension des nicht-invertierbaren Objekts ist $\sqrt{2}$.
   • Für $Z_N$: Der Index ist $\sqrt{N}$.
   • In allen Fällen wird explizit nachgewiesen, dass die Fusions- und Spalt-Tensoren die "broken zipper" und "two-sided zipper" Bedingungen erfüllen.

---

4. Signifikanz und Ausblick

• Verbindung von Theorie und Gitter: Das Paper stellt eine Brücke zwischen der abstrakten Theorie der Fusionskategorien in QFTs und der konkreten Realisierbarkeit auf Gittern her. Es liefert starke Evidenz für die Vermutung, dass nicht-invertierbare Symmetrien auf Gittern (mit Tensorprodukt-Struktur) stark durch die algebraischen Eigenschaften der Quantendimensionen eingeschränkt sind.
• Index-Theorie: Es wird eine robuste Index-Theorie für nicht-invertierbare Symmetrien etabliert, die den bekannten GNVW-Index für invertierbare Symmetrien verallgemeinert.
• Offene Fragen:
  • Die Homogenität des Index wurde nicht für alle möglichen topologischen injektiven MPOs bewiesen, sondern nur für die untersuchten Beispiele und unter der Annahme der Existenz von Fusions-/Spalt-Tensoren, die die Zipper-Bedingungen erfüllen.
  • Die Frage, ob jede schwach integrale Fusionskategorie auf einem Tensorprodukt-Hilbertraum realisiert werden kann (unter Mischung mit QCAs), bleibt offen, wird aber durch die Ergebnisse gestützt.
• Zukunftsperspektiven: Der Autor schlägt vor, zu untersuchen, ob die "Zipper-Bedingungen" für alle topologischen injektiven MPOs gelten (Frage 1 im Paper). Eine positive Beantwortung würde die Vermutung aus [32, 33] beweisen.

Fazit: Das Paper liefert einen tiefen Einblick in die strukturellen Beschränkungen nicht-invertierbarer Symmetrien auf Gittern. Es zeigt, dass die Möglichkeit der Realisierung auf einem Tensorprodukt-Hilbertraum (selbst mit QCAs) eine starke algebraische Bedingung (schwache Integrität) an die zugrundeliegende Fusionskategorie stellt, sofern der Index homogen ist. Die Einführung der "topologischen injektiven MPOs" bietet ein mächtiges Werkzeug für zukünftige Untersuchungen in der kondensierten Materie und Quanteninformation.