Technische Samenvatting: Niet-inverteerbare Symmetrieën op Tensorproduct-Hilbertruimten en Quantum Cellular Automata

1. Probleemstelling

Het artikel behandelt de realisatie van $(1+1)$-dimensionale fusie-categorische symmetrieën op tensorproduct-Hilbertruimten. Waar continue veldtheorieën eindige gegeneraliseerde interne symmetrieën beschrijven via unitaire fusie-categorieën, staan lattice-realiseringen voor een fundamentele belemmering: onlangs is bewezen dat een fusie-categorische symmetrie strikt (d.w.z. met symmetrie-operatoren die een directe representatie van de fusieregels vormen) op een tensorproduct-Hilbertruimte gerealiseerd kan worden dan en slechts dan als de categorie integraal is (alle eenvoudige objecten hebben gehele kwantumdimensies).

Veel fysisch relevante categorieën, zoals de Ising-categorie of Tambara-Yamagami-categorieën met niet-kwadratische groepsordes, zijn niet-integraal. Empirisch bewijs suggereert echter dat deze symmetrieën op tensorproduct-lattices gerealiseerd kunnen worden indien de symmetrie-operatoren mogen "mixen" met Quantum Cellular Automata (QCA's) (unitaire operatoren met een eindige propagatiesnelheid, zoals lattice-translaties). Dit leidt tot een gewijzigde fusieregel:
$$D_x D_y = \sum_{z} U^z_{xy} D_z$$
waarbij $U^z_{xy}$ QCA's zijn die reduceren tot de identiteit wanneer de QCA-verfijning wordt genegeerd.

Het artikel onderzoekt twee centrale vragen:

1. Beperkingen: Gegeven een QCA-verfijnde realisatie, welke beperkingen leggen de categorische data op aan de indices van de QCA's $U^z_{xy}$?
2. Existentie: Is de voorwaarde van zwakke integraliteit (het kwadraat van de kwantumdimensie van elk eenvoudig object is een geheel getal) voldoende voor een fusiecategorie om een QCA-verfijnde realisatie op een tensorproduct-Hilbertruimte toe te staan?

2. Methodologie

De auteurs maken gebruik van een combinatie van fysische aannames met betrekking tot defect-Hilbertruimten, indextheorie voor QCA's en expliciete constructie van lattice-modellen.

2.1 Fysische Aannames en Indextheorie

De auteurs hanteren een reeks fysische aannames (Aannames 1–5) met betrekking tot de structuur van defect-Hilbertruimten en het gedrag van symmetrie-operatoren, volgens het raamwerk dat is vastgesteld in [51].

• Defect-Hilbertruimten: Voor elke symmetrie-operator $D_x$ bestaan er linker ($H^l_x$) en rechter ($H^r_x$) defect-Hilbertruimten, verkregen door de lokale Hilbertruimte in een eindig gebied te modificeren.
• Dimensies en Indices: Zij definiëren linker- en rechterdimensies ($ldim, rdim$) en leiden de lattice-kwantumdimensie ($qdim_{lat}$) en de index ($ind$) voor operatoren af. Voor een QCA $U$ komt de index overeen met de Gross-Nesme-Vogts-Werner (GNVW)-index.
• Homogeniteit: Een belangrijke aanname is dat de index homogeen is over fusiekanalen; als $D_x D_y = \sum D_z$, dan is $ind(D_z)$ constant voor alle $z$ in de som.

Met behulp van deze aannames leveren de auteurs een fysiek bewijs van de Zwakke Integraliteitsconjectuur: elke fusiecategorie die een QCA-verfijnde realisatie toestaat, moet zwak integraal zijn. Zij tonen aan dat de lattice-kwantumdimensie moet overeenkomen met de categorische kwantumdimensie, wat impliceert dat het kwadraat van de kwantumdimensie een geheel getal moet zijn.

2.2 Constructie van Lattice-modellen

Om het omgekeerde te bewijzen (dat elke zwak integraal categorie een dergelijke realisatie toestaat), construeren de auteurs een specifiek lattice-model.

• Generalisatie van Anyon-ketens: Zij maken gebruik van het anyon-ketenmodel, typisch gedefinieerd door een drietal $(\mathcal{C}, \mathcal{M}, \rho)$. Voor integrale categorieën levert het kiezen van het reguliere object $\rho = R = \bigoplus d_x x$ een tensorproduct-Hilbertruimte op.
• Aanpassing voor Zwak Integrale Categorieën: Voor zwak integrale categorieën $\mathcal{C} = \bigoplus_{g \in E} \mathcal{C}_g$ (gegradeerd door een groep $E \simeq \mathbb{Z}_2^r$), levert het standaard reguliere object geen enkele tensorproduct-ruimte op. In plaats daarvan decomposeert de keten in sectoren $H_g$.
• Sequentiële Schakelingen: De auteurs introduceren sequentiële schakelingen (unitaire operatoren die onder de keten werken) $U_g: H_g \to H_0$ die de Hilbertruimte van een gegradeerde sector $g$ terug afbeelden naar de triviale sector $H_0$.
• Gewijzigde Symmetrie-operatoren: De fysische symmetrie-operatoren worden gedefinieerd als $\tilde{D}_x = U_g \circ D_x$ (waarbij $x \in \mathcal{C}_g$). Deze modificatie zorgt ervoor dat de operatoren binnen een enkele tensorproduct-Hilbertruimte $H_0$ werken.
• QCA-verfijning: De samenstelling van deze operatoren genereert op natuurlijke wijze de QCA-verfijning $U_{(g,h)} = U_g U_h U_{gh}^{-1}$ in de fusieregels.

Twee constructies worden geboden:

1. Constructie 1: Van toepassing op categorieën waar specifieke objecten bestaan met gehele delen van kwantumdimensie gelijk aan 1 (bijvoorbeeld Metaplectische categorieën met kwadraatvrije $M$, Tambara-Yamagami met kwadraatvrije $|A|$).
2. Constructie 2: Een uniforme constructie van toepassing op elke zwak integrale categorie, gebruikmakend van een gewijzigd invoerobject $\rho = \dim(\mathcal{C}_0) R_0$.

3. Belangrijkste Bijdragen en Resultaten

Resultaat 1: Beperkingen aan Indices

De auteurs bewijzen dat onder de gestelde fysische aannames de indices van de QCA's $U^z_{xy}$ in elke QCA-verfijnde realisatie uniek bepaald zijn door de categorische data, op de herdefinitie van symmetrie-operatoren na (stapelen met ancilla-QCA's).

• Specifiek, voor $x \in \mathcal{C}_g$ en $y \in \mathcal{C}_h$, is de index van de QCA $U_{(g,h)}$ die in de fusieregel voorkomt:
  $$ind(U_{(g,h)}) = \frac{m_g m_h}{m_{gh}} \sqrt{\frac{n_g n_h}{n_{gh}}}$$
  waarbij $n_g$ de kwadraatvrije gehele getallen zijn geassocieerd met de gradering, en $m_g$ rationale getallen zijn bepaald door de vrijheid van herdefinitie.
• Dit stelt vast dat de "mixing" met QCA's niet willekeurig is, maar vastligt door de structuur van de categorie.

Resultaat 2: Existentiestelling

De auteurs construeren een expliciet lattice-model dat bewijst dat elke zwak integrale fusiecategorie een QCA-verfijnde realisatie op een tensorproduct-Hilbertruimte toestaat.

• Stelling 1.1: Elke zwak integrale fusie-categorische symmetrie staat een QCA-verfijnde realisatie op een tensorproduct-Hilbertruimte toe.
• Het geconstrueerde model levert "canonieke" realisaties op waarbij de QCA-verfijning alleen afhangt van de graderingssectoren $g, h$.
• De auteurs berekenen expliciet de indices van de QCA's in hun lattice-model en verifiëren dat deze overeenkomen met de voorspellingen van Resultaat 1, wat een consistentiecontrole biedt voor de fysische aannames.

Toepassing: Tambara-Yamagami Categorieën

De algemene constructie wordt toegepast op Tambara-Yamagami (TY)-categorieën.

• Voor een TY-categorie $TY(A, \chi, \epsilon)$ met $|A|$ geen perfect kwadraat, bieden de auteurs een expliciete QCA-verfijnde realisatie.
• De fusieregel voor het niet-inverteerbare object $m$ wordt afgeleid als:
  $$D_m^2 = T \sum_{a \in A} D_a$$
  waarbij $T$ een lattice-translatie is (een niet-triviale QCA). Dit herstelt het bekende Ising-geval ($A=\mathbb{Z}_2$) en generaliseert dit naar willekeurige abelse groepen.

4. Betekenis en Claims

Het artikel claimt een volledig antwoord te geven op de realiseerbaarheid van niet-inverteerbare symmetrieën op tensorproduct-lattices, tot op QCA's.

• Noodzaak: Het versterkt de zwakke integraliteitsconjectuur, en toont aan dat als een realisatie bestaat, de categorie zwak integraal moet zijn.
• Voldoende: Het bewijst het omgekeerde, en demonstreert dat zwakke integraliteit de enige belemmering is voor dergelijke realisaties.
• Canonieke Structuur: Het werk identificeert een "canonieke" vorm voor deze realisaties waarbij de QCA-indices vastliggen door de categorie, analoog aan hoe projectieve representaties van groepen worden geclassificeerd door groepscocohomologie.
• Fysisch Inzicht: Het artikel biedt een nieuw perspectief op Kramers-Wannier-dualiteit en soortgelijke symmetrieën, en interpreteert deze als een product van een standaard anyon-fusie-operator en een sequentiële schakeling (QCA) die de resulterende toestand terug afbeeldt naar de tensorproduct-ruimte.

De auteurs merken op dat hoewel de zwakke integraliteitsconjectuur is bewezen onder specifieke fysische aannames, een afleiding van deze aannames uit eerste principes (bijvoorbeeld een rigoureuze definitie van symmetrie-operatoren als quantumkanalen) een open richting blijft voor toekomstig werk. Binnen het gevestigde raamwerk stelt het artikel echter een "als en slechts als"-relatie vast tussen zwakke integraliteit en QCA-verfijnde realiseerbaarheid.