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

Cet article propose un indice généralisé pour les symétries non inversibles en 1+1 dimensions, démontrant que leur réalisabilité sur un espace de Hilbert produit tensoriel restreint les règles de fusion aux catégories faiblement intégrales, tout en introduisant une classe d'opérateurs matriciels (MPO) injectifs topologiques pour construire les espaces de Hilbert de défauts et leurs représentations par circuits quantiques séquentiels.

L'essentiel

Imaginez que l'univers est comme un immense tapis de sol composé de millions de petites tuiles carrées. Sur chaque tuile, il y a un petit objet (un atome, un électron) qui peut être dans différents états. En physique, on appelle cela un espace de Hilbert (une sorte de boîte à outils mathématique pour décrire tous les états possibles).

Habituellement, les physiciens pensent que les règles qui gouvernent ces objets sont comme des symétries. Par exemple, si vous tournez une pièce de monnaie, elle reste une pièce. Si vous la retournez, c'est toujours la même pièce. C'est une symétrie "invertible" : vous pouvez faire l'opération et la défaire parfaitement.

Mais dans ce papier, l'auteur, Kansei Inamura, s'intéresse à des règles beaucoup plus étranges et fascinantes : les symétries non-inversibles.

1. Le mystère des symétries "magiques"

Imaginez que vous avez une baguette magique.

• Symétrie normale (Inversible) : Vous utilisez la baguette pour transformer un lapin en un chapeau. Vous pouvez ensuite utiliser une autre baguette pour transformer le chapeau en lapin. Tout est réversible.
• Symétrie non-inversible : Vous utilisez la baguette pour transformer un lapin en... un nuage de poussière. Vous ne pouvez pas revenir en arrière. Le lapin est parti, il ne reviendra jamais. C'est une transformation qui "efface" de l'information.

En physique moderne, on découvre que certaines règles fondamentales de l'univers fonctionnent comme cette baguette magique qui transforme le lapin en poussière. On les appelle des symétries non-inversibles. Le problème, c'est que sur un ordinateur (ou un réseau de tuiles comme dans notre exemple), il est très difficile de simuler ces transformations sans que quelque chose ne "casse" ou ne devienne bizarre.

2. Le défi du "Tapis de Sol" (Lattice)

L'auteur pose une question cruciale : Peut-on construire ces symétries magiques sur un tapis de sol fait de tuiles individuelles ?

Il y a deux façons de répondre :

1. La méthode des hypothèses (Axiomatique) : On imagine des règles de base sur la façon dont ces "défauts" (les endroits où la magie opère) se comportent. L'auteur montre que si vous essayez de faire ces symétries sur un tapis de sol standard, il y a une contrainte très forte : la "taille" totale de votre système de symétrie doit être un nombre entier parfait (comme 1, 2, 3...). Si la taille est un nombre bizarre (comme la racine carrée de 2), ça ne marche pas parfaitement, sauf si vous mélangez les tuiles entre elles d'une manière très spécifique (ce qu'on appelle des automates cellulaires quantiques, ou QCA).

2. La méthode des réseaux de neurones (Tensor Networks) : C'est ici que l'auteur propose une nouvelle idée géniale. Il imagine que chaque tuile du tapis est connectée à ses voisines par des "fils invisibles" (des cordes virtuelles). Il propose un type spécial de connexion qu'il appelle un MPO injectif topologique.

   • L'analogie : Imaginez un jeu de construction où chaque pièce a des connecteurs spéciaux. Si les connecteurs sont bien conçus (ce sont les "MPO topologiques"), alors vous pouvez construire des structures magiques qui respectent les lois de la physique, même si elles sont non-inversibles.

3. L'Index : Le "Compteur de Magie"

Pour savoir si une symétrie fonctionne bien sur ce tapis de sol, l'auteur invente un outil appelé l'Index.

• Imaginez que chaque symétrie a un "poids" ou un "coût" énergétique.
• L'auteur montre que pour que tout fonctionne bien, tous les chemins possibles de la magie doivent avoir le même poids.
• Si les poids sont différents, la magie se brise. Si les poids sont identiques (ce qu'il appelle l'homogénéité), alors la symétrie est stable.

Il démontre que si cette condition est remplie, alors la symétrie ne peut exister que si le système global est "entier" (ou presque entier). C'est comme dire : "Vous ne pouvez pas construire un château de cartes parfait si vous avez des cartes de tailles différentes, à moins de les coller les unes aux autres d'une manière très précise."

4. Les Exemples Concrets

L'auteur ne se contente pas de théorie. Il teste ses idées sur des exemples réels :

• Les symétries classiques : Comme tourner un objet (ça marche toujours).
• La dualité Kramers-Wannier : C'est une transformation célèbre en physique qui échange le chaud et le froid (ou l'ordre et le désordre) dans un matériau. C'est une symétrie non-inversible. L'auteur montre comment la construire sur un tapis de tuiles en utilisant ses nouvelles règles de connexion. Il découvre que cette symétrie a un "poids" spécial (la racine carrée de 2), ce qui explique pourquoi elle est si difficile à réaliser sans mélanger les tuiles.

En résumé

Ce papier est comme un manuel d'instructions pour les architectes de l'univers quantique.

• Le problème : Comment construire des règles magiques (symétries non-inversibles) sur un sol fait de briques individuelles sans que tout ne s'effondre ?
• La solution : L'auteur propose un nouveau type de "briques" (les MPO topologiques) et un nouveau "mètre" (l'Index) pour vérifier si la construction est solide.
• La conclusion : Pour que la magie fonctionne sur un sol de briques, il faut que les règles soient très précises et que la "taille" du système soit compatible avec les lois des nombres entiers. Si ce n'est pas le cas, il faut mélanger les briques entre elles (via des automates cellulaires) pour que ça marche.

C'est une avancée majeure pour comprendre comment les lois les plus exotiques de la physique quantique peuvent exister dans notre monde réel, fait de particules discrètes.

Résumé technique

Titre : Remarques sur les symétries non inversibles sur un espace de Hilbert produit tensoriel en 1+1 dimensions

1. Problématique et Contexte

La notion de symétrie en physique théorique a été généralisée au-delà des groupes de Lie classiques pour inclure les symétries non inversibles, générées par des opérateurs conservés qui ne possèdent pas d'inverse. Dans les théories de champ quantique (QFT) relativistes en 1+1 dimensions, ces symétries sont décrites par des catégories de fusion.

Cependant, la réalisation de ces symétries sur un réseau (lattice) pose un problème fondamental : l'espace d'états d'un système sur réseau est un produit tensoriel d'espaces de Hilbert locaux de dimension finie ($H = \bigotimes H_o$).

• Il a été démontré récemment que les catégories de fusion intégrales (où toutes les dimensions quantiques sont des entiers) peuvent être réalisées exactement sur un tel espace.
• Pour les catégories non intégrales (comme la catégorie d'Ising), la réalisation exacte est impossible sans mélange avec des symétries de translation ou des automorphismes cellulaires quantiques (QCA).
• Une conjecture récente ([32, 33]) suggère qu'une symétrie de catégorie de fusion peut être réalisée sur un espace produit tensoriel (en permettant un mélange avec des QCA) si et seulement si la catégorie est faiblement intégrale (le produit des dimensions quantiques des objets simples est un entier, ou équivalentement, la dimension totale de la catégorie est un entier).

Le défi principal réside dans l'absence d'une définition rigoureuse et générale des opérateurs de symétrie non inversibles sur un réseau, ce qui rend la preuve de cette conjecture difficile.

2. Méthodologie

L'auteur aborde ce problème via deux approches complémentaires :

A. Approche Axiomatique (Hypothèses Physiques)

Sans spécifier une définition précise des opérateurs, l'auteur postule l'existence d'espaces de Hilbert de défaut ($H^l_{D_X}$ et $H^r_{D_X}$) associés à chaque opérateur de symétrie $D_X$. Ces espaces sont obtenus par une modification locale de l'espace de Hilbert original autour du défaut.

• Hypothèses clés : Existence des espaces de défaut, comportement multiplicatif et additif des produits et sommes d'opérateurs, et compatibilité avec la structure unitaire (conjugaison hermitienne).
• Outil principal : Introduction d'un indice généralisant l'indice de Gross-Nesme-Vogts-Werner (GNVW) des QCA. Cet indice est défini à partir des dimensions gauche et droite des espaces de défaut.

B. Approche par Réseaux de Tenseurs (Tensor Networks)

L'auteur propose une formulation concrète des symétries non inversibles en utilisant des Opérateurs Produit Matriciel (MPO).

• Définition : Introduction d'une nouvelle classe d'opérateurs appelés MPO injectifs topologiques (Topological Injective MPOs). Ces opérateurs sont injectifs et satisfont des conditions topologiques spécifiques impliquant les points fixes de la matrice de transfert.
• Construction : Définition explicite des espaces de Hilbert de défaut, des opérateurs de déplacement de défaut (movement operators) et des circuits quantiques séquentiels associés.
• Analyse algébrique : Étude des conditions suffisantes pour que l'indice soit homogène (c'est-à-dire que tous les canaux de fusion d'une paire d'opérateurs aient le même indice).

3. Contributions Clés et Résultats

A. L'Indice et l'Intégralité Faible

L'auteur définit l'indice d'un opérateur de symétrie $D_X$ comme :
$$\text{ind}(D_X) = \sqrt{\frac{\text{ldim}(D_X)}{\text{rdim}(D_X)}}$$
où $\text{ldim}$ et $\text{rdim}$ sont les dimensions gauche et droite normalisées.

• Résultat principal : Si l'indice est homogène (tous les canaux de fusion d'une paire d'opérateurs ont le même indice), alors les règles de fusion des opérateurs sur un espace produit tensoriel ne peuvent correspondre, à un QCA près, qu'à celles d'une catégorie de fusion faiblement intégrale.
• Cela valide la conjecture de [32, 33] sous l'hypothèse d'homogénéité de l'indice.

B. Caractérisation des MPO Injectifs Topologiques

• L'auteur montre que les MPO injectifs topologiques incluent :
  • Les symétries inversibles (représentées par des MPUs/QCA).
  • Les symétries de catégories de fusion non anomales.
  • Les symétries de dualité Kramers-Wannier pour les groupes abéliens finis ($\mathbb{Z}_N$).
• Pour ces opérateurs, il construit des représentations par circuits quantiques séquentiels, où les portes locales correspondent aux opérateurs de déplacement de défaut.

C. Conditions Sufficientes pour l'Homogénéité

L'auteur introduit deux conditions algébriques sur les tenseurs de fusion et de scission (fusion and splitting tensors) :

1. Condition de fermeture brisée (Broken Zipper Condition).
2. Condition de fermeture à double face (Two-sided Zipper Condition).
   Il démontre que si ces conditions sont satisfaites pour tous les canaux de fusion, alors l'indice est homogène.

D. Exemples Concrets

L'article vérifie explicitement que les conditions ci-dessus sont satisfaites pour :

• Les symétries inversibles (MPUs).
• Les symétries de catégories de fusion non anomales (représentations d'algèbres de Hopf).
• La dualité Kramers-Wannier pour $\mathbb{Z}_2$ et $\mathbb{Z}_N$.
  Dans tous ces cas, l'indice calculé est cohérent avec la dimension quantique de la catégorie sous-jacente, confirmant que ces réalisations respectent la contrainte de faible intégralité.

4. Signification et Implications

• Lien entre Algèbre et Physique du Réseau : L'article établit un pont rigoureux entre les propriétés algébriques des catégories de fusion (intégralité) et les contraintes physiques imposées par la structure locale des systèmes sur réseau (produit tensoriel).
• Validation de la Conjecture : Bien que l'homogénéité de l'indice n'ait pas été prouvée pour tous les opérateurs non inversibles possibles, le fait que tous les exemples connus (y compris les cas non triviaux comme Kramers-Wannier) satisfassent les conditions suffisantes suggère fortement que la conjecture est vraie.
• Outils pour l'Étude des Phases : La formulation en termes de MPO injectifs topologiques et de circuits séquentiels fournit un cadre pratique pour construire et analyser des modèles de réseau avec des symétries non inversibles, ouvrant la voie à l'étude de phases topologiques protégées par ces symétries.
• Limites et Ouvertures : Le papier souligne que la preuve générale de l'homogénéité de l'indice reste un problème ouvert. De plus, il distingue clairement les modèles sur produit tensoriel des modèles de chaînes d'anyons (qui n'admettent pas de décomposition produit tensoriel), où des catégories de fusion arbitraires peuvent être réalisées sans contrainte d'intégralité.

En résumé, ce travail fournit une théorie d'indice robuste pour les symétries non inversibles sur réseau et démontre que la contrainte de faible intégralité est une condition nécessaire pour la réalisation de telles symétries dans les systèmes quantiques à un corps de dimension finie, même en présence de symétries de translation ou d'automorphismes cellulaires quantiques.