Additional constraints for the tensor bootstrap

Résumé technique : Contraintes additionnelles pour le bootstrap tensoriel

Énoncé du problème
Bien que les modèles tensoriels aient été largement étudiés dans la limite $N \to \infty$, où les observables satisfont l'« universalité gaussienne » (factorisation selon le théorème de Wick via la dominance mélonique), le comportement de ces modèles à $N$ fini reste mal compris. Dans le régime à $N$ fini, les contributions de sous-ordre ne sont pas supprimées, la description mélonique s'effondre et les solutions exactes des équations de Schwinger-Dyson sont généralement inconnues. Les méthodes numériques existantes peinent dans le régime de couplage fort, ce qui nécessite des outils analytiques non perturbatifs pour contraindre directement les observables tensorielles à $N$ fini. Bien que le « bootstrap de matrice » ait réussi à contraindre les modèles de matrice en utilisant des contraintes de positivité, l'extension de ces techniques à des intégrales de tenseurs unitaires arbitraires est un développement récent.

Méthodologie
Les auteurs étendent le programme du bootstrap tensoriel en introduisant deux nouvelles classes de contraintes de positivité dérivées de l'exigence que la mesure de probabilité soit positive. Ces contraintes sont construites comme des matrices de Gram qui doivent être semi-définies positives ($M \succeq 0$).

1. Bulles ouvertes (Open Bubbles) : Les auteurs définissent les « bulles ouvertes » comme des objets de type tenseur obtenus en retirant un seul sommet (blanc ou noir) d'une bulle invariante. Une matrice de Gram est construite en prenant les valeurs d'attente des produits scalaires de ces bulles ouvertes.
2. Matrices de couleur (Color Matrices) : Les auteurs définissent les « matrices de couleur » comme des quantités de type matrice obtenues en coupant un seul bord (contraction de couleur) d'une bulole invariante. Une matrice de Gram est construite à partir des valeurs d'attente de ces matrices, qui se transforment comme des matrices $U(N)$ pour la couleur spécifique du bord coupé.

Ces contraintes de positivité sont combinées avec les équations de Schwinger-Dyson (conditions de cohérence dérivées de l'invariance de la fonction de partition sous des transformations infinitésimales du champ). Les auteurs emploient une approche de programmation semi-définie (en utilisant l'algorithme SDPA) pour :

• Générer des matrices de Gram à partir d'invariants de bulles jusqu'à un niveau de troncature spécifique $n$ (nombre de paires de sommets).
• Générer des équations de Schwinger-Dyson impliquant des bulles ouvertes jusqu'à un nombre de sommets correspondant.
• Résoudre partiellement les équations de Schwinger-Dyson pour exprimer les attentes de bulles d'ordre supérieur en termes de celles d'ordre inférieur.
• Substituer ces relations dans les matrices de Gram.
• Optimiser la valeur d'attente d'une observable de bulle cible $\langle B \rangle$ en maximisant et en minimisant cette dernière sous la contrainte que toutes les matrices de Gram restent semi-définies positives.

Contributions clés

• Nouvelles contraintes de positivité : Le papier introduit et formalise l'utilisation de « bulles ouvertes » et de « matrices de couleur » pour générer des conditions de positivité semi-définie supplémentaires pour les modèles tensoriels, distinctes des approches matricielles précédentes.
• Bornes à $N$ fini : Les auteurs démontrent que ces contraintes produisent des bornes nettes sur les intégrales de tenseurs unitaires à $N$ fini, spécifiquement pour les tenseurs de rang 3 avec des interactions quartiques.
• Sonde quantitative de l'universalité : La méthode fournit un cadre quantitatif pour mesurer les écarts par rapport à l'universalité gaussienne en fonction de $N$ et de la force du couplage.

Résultats
Les auteurs ont appliqué leur méthode à deux modèles tensoriels de rang 3 spécifiques :

1. Interaction à trois oreillers (Three-Pillow Interaction) : Un modèle avec un potentiel invariant sous la permutation de trois interactions quartiques de type « oreiller ».
   • La méthode a produit des bornes nettes sur les valeurs d'attente du melon élémentaire et des trois oreillers quartiques pour diverses constantes de couplage $g$ à $N=1, 5,$ et $50$.
   • À mesure que $N$ augmente, les bornes à $N$ fini convergent vers la solution exacte de grande taille $N$ dérivée de l'universalité gaussienne.
   • Les bornes sur la relation entre l'attente des oreillers et le melon élémentaire se situent au-dessus de la courbe d'universalité gaussienne de grand $N$ à $N$ fini, convergeant vers celle-ci quand $N \to \infty$.
2. Interaction à un oreiller (One-Pillow Interaction) : Un modèle où le potentiel brise explicitement la symétrie de permutation entre les trois possibles oreillers quartiques, ne laissant que le deuxième et le troisième oreillers symétriques.
   • À $N$ fini, les bornes du bootstrap reflètent correctement la rupture de symétrie : les valeurs d'attente des deux oreillers symétriques sont identiques, tandis que le troisième (présent dans le potentiel) dévie.
   • La différence entre les valeurs d'attente des oreillers symétriques est nulle, tandis que la différence impliquant l'oreiller asymétrique est non nulle.
   • Ceci confirme que le bootstrap peut détecter la réémergence de symétries de permutation spécifiques à $N$ fini qui sont effacées par l'universalité gaussienne dans la limite de grand $N$.

Signification et affirmations
Le papier affirme que le bootstrap tensoriel, utilisant ces nouvelles contraintes de positivité, est un outil non perturbatif puissant pour l'étude des modèles tensoriels à $N$ fini. Les auteurs soulignent qu'ils n'ont pas supposé de propriétés de factorisation de grand $N$ ; au contraire, la limite de grand $N$ (et l'universalité gaussienne) émerge naturellement des contraintes à $N$ fini lorsque $N$ devient suffisamment grand (par exemple, $N=50$ dans leurs exemples).

Ce travail met en évidence que le bootstrap peut sonder la rupture de l'universalité gaussienne et la structure spécifique des symétries à $N$ fini. Cependant, les auteurs sont modestes concernant la scalabilité de leur approche. Ils notent que la taille des matrices de Gram et le nombre d'équations de Schwinger-Dyson croissent de manière combinatoire avec le rang du tenseur et le niveau de troncature. Bien que les contraintes de niveau 3 aient été suffisantes pour les modèles de rang 3, l'extension à des tenseurs de rang plus élevé ou à des interactions d'ordre supérieur nécessite des ressources computationnelles nettement plus importantes, et la recherche d'ensembles minimaux de contraintes reste un défi critique pour les travaux futurs. L'étude a été restreinte aux interactions et observables méloniques, laissant l'application aux observables non méloniques comme une direction ouverte.