Résumé technique : Symétries non inversibles sur les espaces de Hilbert produits tensoriels et automates cellulaires quantiques

1. Énoncé du problème

L'article traite de la réalisation de symétries catégorielles de fusion en dimension $(1+1)$ sur des espaces de Hilbert produits tensoriels. Alors que les théories de champs continues décrivent les symétries internes généralisées finies via des catégories de fusion unitaires, les réalisations sur réseau font face à une obstruction fondamentale : il a été prouvé récemment qu'une symétrie catégorielle de fusion peut être réalisée strictement (c'est-à-dire avec des opérateurs de symétrie formant une représentation directe des règles de fusion) sur un espace de Hilbert produit tensoriel si et seulement si la catégorie est intégrale (tous les objets simples ont des dimensions quantiques entières).

De nombreuses catégories physiquement pertinentes, telles que la catégorie d'Ising ou les catégories de Tambara-Yamagami avec des ordres de groupes non carrés, sont non intégrales. Cependant, des preuves empiriques suggèrent que ces symétries peuvent être réalisées sur des réseaux produits tensoriels si les opérateurs de symétrie sont autorisés à « se mélanger » avec des automates cellulaires quantiques (ACQ) (opérateurs unitaires à vitesse de propagation finie, tels que les translations sur réseau). Cela conduit à une règle de fusion modifiée :
$$D_x D_y = \sum_{z} U^z_{xy} D_z$$
où $U^z_{xy}$ sont des ACQ qui se réduisent à l'identité lorsque le raffinement par ACQ est ignoré.

L'article examine deux questions centrales :

1. Contraintes : Étant donné une réalisation raffinée par ACQ, quelles contraintes les données catégorielles imposent-elles aux indices des ACQ $U^z_{xy}$ ?
2. Existence : La condition de faible intégralité (le carré de la dimension quantique de chaque objet simple est un entier) est-elle suffisante pour qu'une catégorie de fusion admette une réalisation raffinée par ACQ sur un espace de Hilbert produit tensoriel ?

2. Méthodologie

Les auteurs emploient une combinaison d'hypothèses physiques concernant les espaces de Hilbert de défaut, la théorie des indices pour les ACQ, et la construction explicite de modèles sur réseau.

2.1 Hypothèses physiques et théorie des indices

Les auteurs adoptent un ensemble d'hypothèses physiques (Hypothèses 1–5) concernant la structure des espaces de Hilbert de défaut et le comportement des opérateurs de symétrie, suivant le cadre établi dans [51].

• Espaces de Hilbert de défaut : Pour tout opérateur de symétrie $D_x$, il existe des espaces de Hilbert de défaut gauche ($H^l_x$) et droit ($H^r_x$) obtenus en modifiant l'espace de Hilbert local dans une région finie.
• Dimensions et indices : Ils définissent les dimensions gauche et droite ($ldim, rdim$) et dérivent la dimension quantique sur réseau ($qdim_{lat}$) et l'indice ($ind$) pour les opérateurs. Pour un ACQ $U$, l'indice correspond à l'indice de Gross-Nesme-Vogts-Werner (GNVW).
• Homogénéité : Une hypothèse clé est que l'indice est homogène à travers les canaux de fusion ; si $D_x D_y = \sum D_z$, alors $ind(D_z)$ est constant pour tout $z$ dans la somme.

En utilisant ces hypothèses, les auteurs fournissent une preuve physique de la conjecture de faible intégralité : toute catégorie de fusion admettant une réalisation raffinée par ACQ doit être faiblement intégrale. Ils montrent que la dimension quantique sur réseau doit correspondre à la dimension quantique catégorielle, impliquant que le carré de la dimension quantique doit être un entier.

2.2 Construction de modèles sur réseau

Pour prouver la réciproque (que toute catégorie faiblement intégrale admet une telle réalisation), les auteurs construisent un modèle sur réseau spécifique.

• Généralisation des chaînes d'anyons : Ils utilisent le modèle de chaîne d'anyons, généralement défini par un triplet $(\mathcal{C}, \mathcal{M}, \rho)$. Pour les catégories intégrales, le choix de l'objet régulier $\rho = R = \bigoplus d_x x$ donne un espace de Hilbert produit tensoriel.
• Adaptation aux catégories faiblement intégrales : Pour les catégories faiblement intégrales $\mathcal{C} = \bigoplus_{g \in E} \mathcal{C}_g$ (graduées par un groupe $E \simeq \mathbb{Z}_2^r$), l'objet régulier standard ne donne pas un unique espace produit tensoriel. Au lieu de cela, la chaîne se décompose en secteurs $H_g$.
• Circuits séquentiels : Les auteurs introduisent des circuits séquentiels (opérateurs unitaires agissant depuis le bas de la chaîne) $U_g: H_g \to H_0$ qui mappent l'espace de Hilbert d'un secteur gradué $g$ vers le secteur trivial $H_0$.
• Opérateurs de symétrie modifiés : Les opérateurs de symétrie physiques sont définis comme $\tilde{D}_x = U_g \circ D_x$ (où $x \in \mathcal{C}_g$). Cette modification assure que les opérateurs agissent au sein d'un unique espace de Hilbert produit tensoriel $H_0$.
• Raffinement par ACQ : La composition de ces opérateurs génère naturellement le raffinement par ACQ $U_{(g,h)} = U_g U_h U_{gh}^{-1}$ dans les règles de fusion.

Deux constructions sont fournies :

1. Construction 1 : S'applique aux catégories où existent des objets spécifiques dont la partie entière de la dimension quantique est égale à 1 (par exemple, les catégories métopoliques avec $M$ sans facteur carré, les catégories de Tambara-Yamagami avec $|A|$ sans facteur carré).
2. Construction 2 : Une construction uniforme applicable à toute catégorie faiblement intégrale, utilisant un objet d'entrée modifié $\rho = \dim(\mathcal{C}_0) R_0$.

3. Contributions et résultats clés

Résultat 1 : Contraintes sur les indices

Les auteurs prouvent que, sous les hypothèses physiques énoncées, les indices des ACQ $U^z_{xy}$ dans toute réalisation raffinée par ACQ sont uniquement déterminés par les données catégorielles, à la redéfinition des opérateurs de symétrie (empilement avec des ACQ auxiliaires) près.

• Plus précisément, pour $x \in \mathcal{C}_g$ et $y \in \mathcal{C}_h$, l'indice de l'ACQ $U_{(g,h)}$ apparaissant dans la règle de fusion est :
  $$ind(U_{(g,h)}) = \frac{m_g m_h}{m_{gh}} \sqrt{\frac{n_g n_h}{n_{gh}}}$$
  où $n_g$ sont les entiers sans facteur carré associés à la graduation, et $m_g$ sont des nombres rationnels déterminés par la liberté de redéfinition.
• Cela établit que le « mélange » avec des ACQ n'est pas arbitraire mais fixé par la structure de la catégorie.

Résultat 2 : Théorème d'existence

Les auteurs construisent un modèle sur réseau explicite prouvant que toute catégorie de fusion faiblement intégrale admet une réalisation raffinée par ACQ sur un espace de Hilbert produit tensoriel.

• Théorème 1.1 : Toute symétrie catégorielle de fusion faiblement intégrale admet une réalisation raffinée par ACQ sur un espace de Hilbert produit tensoriel.
• Le modèle construit donne des réalisations « canoniques » où le raffinement par ACQ ne dépend que des secteurs de graduation $g, h$.
• Les auteurs calculent explicitement les indices des ACQ dans leur modèle sur réseau et vérifient qu'ils correspondent aux prédictions du Résultat 1, fournissant une vérification de cohérence pour les hypothèses physiques.

Application : Catégories de Tambara-Yamagami

La construction générale est appliquée aux catégories Tambara-Yamagami (TY).

• Pour une catégorie TY $TY(A, \chi, \epsilon)$ avec $|A|$ non un carré parfait, les auteurs fournissent une réalisation explicite raffinée par ACQ.
• La règle de fusion pour l'objet non inversible $m$ est dérivée comme suit :
  $$D_m^2 = T \sum_{a \in A} D_a$$
  où $T$ est une translation sur réseau (un ACQ non trivial). Cela retrouve le cas d'Ising connu ($A=\mathbb{Z}_2$) et le généralise à des groupes abéliens arbitraires.

4. Importance et affirmations

L'article prétend fournir une réponse complète à la réalisabilité des symétries non inversibles sur des réseaux produits tensoriels, à des ACQ près.

• Nécessité : Il renforce la conjecture de faible intégralité, montrant que si une réalisation existe, la catégorie doit être faiblement intégrale.
• Suffisance : Il prouve la réciproque, démontrant que la faible intégralité est le seul obstacle à de telles réalisations.
• Structure canonique : Le travail identifie une forme « canonique » pour ces réalisations où les indices des ACQ sont fixés par la catégorie, analogue à la façon dont les représentations projectives de groupes sont classées par la cohomologie de groupe.
• Insight physique : L'article offre une nouvelle perspective sur la dualité de Kramers-Wannier et des symétries similaires, les interprétant comme un produit d'un opérateur de fusion d'anyons standard et d'un circuit séquentiel (ACQ) qui ramène l'état résultant dans l'espace produit tensoriel.

Les auteurs notent que, bien que la conjecture de faible intégralité soit prouvée sous des hypothèses physiques spécifiques, une dérivation de ces hypothèses à partir de premiers principes (par exemple, une définition rigoureuse des opérateurs de symétrie en tant que canaux quantiques) reste une direction ouverte pour les travaux futurs. Cependant, dans le cadre établi, l'article établit une relation « si et seulement si » entre la faible intégralité et la réalisabilité raffinée par ACQ.