Towers of Operators in CFTs and Convexity Bounds at Large Charge

Résumé Technique : Tours d'Opérateurs dans les CFT et Bornes de Convexité à Grande Charge

Énoncé du Problème
Cet article étudie les dimensions d'échelle des opérateurs dans les théories de champs conformes (CFT) portant de grandes charges globales. Plus précisément, il se concentre sur les CFT en 3 dimensions possédant des espaces de modules où une symétrie globale continue est spontanément brisée. Dans ces théories, la dimension d'échelle minimale $\Delta_{\min}(Q)$ dans un secteur de charge $Q$ suit une expansion à grande charge :
$$\Delta_{\min}(Q) = \alpha_1 Q + \alpha_0 + O(1/Q)$$
Les auteurs cherchent à déterminer si les coefficients $\alpha_1$ et $\alpha_0$ sont soumis à des bornes universelles motivées par le programme du swampland holographique, particulièrement la Conjecture de la Gravité Faible (WGC). Bien que la WGC suggère une condition de « convexité » pour les opérateurs chargés, les contraintes précises sur le coefficient de sous-ordre $\alpha_0$ et le coefficient de pente $\alpha_1$ pour les CFT générales (particulièrement celles ayant moins de quatre supercharges) n'ont pas encore été rigoureusement établies.

Méthodologie
L'article emploie deux approches méthodologiques principales :

1. Théorie des Champs Effective (EFT) de l'Espace de Modules et Expansion à Grande Charge : Les auteurs utilisent la correspondance état-opérateur pour mapper le problème sur une géométrie de cylindre ($\mathbb{R} \times S^2$). Ils effectuent un développement autour d'un point de selle homogène et hélicoïdal représentant l'état à grande charge. Le coefficient de premier ordre $\alpha_1$ est dérivé de l'énergie du point de selle classique, tandis que $\alpha_0$ provient de l'énergie Casimir à une boucle des fluctuations quadratiques autour de ce point de selle.
2. Calculs Explicites dans les Limites de Double Échelle : Pour tester les bornes générales et calculer des valeurs spécifiques, les auteurs analysent plusieurs théories $\mathcal{N}=1$ en 3d en utilisant :
   • L'expansion $\epsilon$ au voisinage de la dimension $d=4$.
   • Les limites de grand-$N_f$ et de grand-$N$.
   • Des modèles spécifiques incluant les modèles $SO(N) \times SO(N)$, les modèles de Wess-Zumino $SO(3)$, l'$SQED$, et la $SU(2)$ $SQCD$.
3. Preuves Variationnelles : Pour la preuve générale des bornes, les auteurs analysent l'Hamiltonien des fluctuations quadratiques de l'EFT. Ils utilisent des principes variationnels pour comparer l'énergie du véritable état fondamental par rapport à un Hamiltonien de référence afin d'établir le signe de la contribution de l'énergie Casimir.

Contributions Clés et Résultats

1. Calculs de $\alpha_1$ et $\alpha_0$
Les auteurs fournissent les premiers calculs directs du coefficient de sous-ordre $\alpha_0$ dans plusieurs théories $\mathcal{N}=1$ en 3d (plutôt que de s'appuyer uniquement sur la continuation de l'expansion $\epsilon$).

• Modèle $SO(N) \times SO(N)$ : Dans la limite de grand-$N$, $\alpha_1 = \sqrt{(Q_x^2 + Q_y^2)/2}$ et $\alpha_0$ est exprimé en termes d'une fonction de déterminant régularisée $\xi(x)$, qui s'avère être non-positive.
• **Modèle $SO(3)$:**$\alpha_1 = 1 - \epsilon/2$ et $\alpha_0 = -1/16$.
• $SQED$ (Grand $N_f$) : Le résultat d'ordre premier donne $\alpha_0 = 0$, ce qui est cohérent avec la limite de la théorie libre où l'énergie Casimir s'annule.
• $SU(2)$ $SQCD$ : Les auteurs calculent les contributions scalaires et fermioniques à $\alpha_0$ en termes d'un coefficient de Wilson $c$. Ils trouvent que pour la limite de grand-$N_f$ ($c \approx 1$), la contribution fermionique s'annule, et la contribution scalaire est négative ($\alpha_0 \approx -0,556$).

2. Preuve de la Borne de Convexité Projetée ($\alpha_0 \leq 0$)
Motivée par la Conjecture de Convexité des CFT (CCC), qui exige que $\Delta_{\min}(Q_1 + Q_2) \geq \Delta_{\min}(Q_1) + \Delta_{\min}(Q_2)$, la forme asymptotique implique $\alpha_0 \leq 0$.

• Observable Projeté : Les auteurs définissent une dimension minimale « projetée » $\Delta^{(n)}_{\min}(Q)$ où seule la charge le long d'un générateur de Cartan spécifique $T_n$ est fixée, tandis que les charges dans les directions orthogonales sont minimisées.
• Théorème Principal : Ils prouvent que pour cet observable projeté, le coefficient de sous-ordre un-boucle satisfait $\alpha^{(n)}_0 \leq 0$.
  • La preuve repose sur la démonstration que, pour le point de selle minimisant la dimension projetée, la matrice de masse $M$ des fluctuations transverses est semi-définie positive ($M \geq 0$).
  • En utilisant un argument variationnel, ils démontrent que si $M \geq 0$, la contribution scalaire à l'énergie Casimir est non-positive. Combiné aux contributions connues non-positives des fermions et des champs de jauge, cela établit la borne.
• Limitation : Les auteurs montrent explicitement que cette preuve ne s'étend pas au problème du « rayon de charge fixe » (où le vecteur de charge complet est fixé). Ils construisent un contre-exemple d'EFT à deux dérivées où un rayon de charge fixe donne $\alpha_0 > 0$, indiquant que l'énoncé de convexité plus fort ne peut pas être prouvé en utilisant uniquement l'EFT de l'espace de modules sans apport supplémentaire de l'UV.

3. Absence de Bornes Universelles sur $\alpha_1$
L'article soutient qu'il n'existe pas de borne universelle sur le coefficient de premier ordre $\alpha_1$ (hormis la borne triviale $\alpha_1 \geq 0$).

• Sensibilité à la Normalisation de la Charge : La valeur de $\alpha_1$ est montrée comme étant très sensible au choix du réseau de charges et à la normalisation du générateur $U(1)$.
• Contre-exemples :
  • Le gauchage d'un sous-groupe fini $\mathbb{Z}_N \subset U(1)$ peut augmenter arbitrairement $\alpha_1$ par un facteur $N$.
  • Choisir une direction primitive dans un réseau multi-$U(1)$ (par exemple, $Q = aQ_x + bQ_y$ avec de grands $a, b$) peut diminuer arbitrairement $\alpha_1$.
• Pente Normalisée : Les auteurs considèrent une pente normalisée $\hat{\alpha}_1 = \alpha_1 \sqrt{C_J/C_T}$ (impliquant les fonctions de corrélation à deux points du courant et du tenseur énergie-impulsion) pour atténuer les problèmes de normalisation. Bien que cela élimine les effets de réseau discrets, ils ne trouvent aucune preuve d'une borne supérieure universelle pour $\hat{\alpha}_1$, et notent que cette normalisation occulte l'interprétation géométrique directe de la séparation d'échelle.

Signification
L'article affirme fournir une borne de CFT concrète et prouvable, motivée par le programme du swampland holographique. Plus précisément, il établit que la dimension d'échelle projetée des tours de grande charge dans les CFT en 3d possédant des espaces de modules doit satisfaire $\alpha_0 \leq 0$. Ce résultat est significatif car il est dérivé directement en utilisant des outils de CFT (EFT de grande charge et méthodes variationnelles) plutôt que de s'appuyer sur des hypothèses de dualité holographique.

Cependant, les auteurs font preuve de modestie quant à la portée de ce résultat. Ils soulignent que la borne s'applique à l'observable projeté, et non nécessairement à chaque rayon de charge fixe, et que la conjecture de convexité plus forte pour un rayon fixe reste non prouvée et potentiellement fausse dans les EFT générales. De plus, l'article précise que la pente de premier ordre $\alpha_1$ n'est pas un diagnostic robuste de la séparation d'échelle au sens du swampland en raison de sa dépendance aux choix de réseaux de charges discrets. Le travail délimite ainsi les limites précises de ce qui peut être prouvé sur les tours de grande charge en utilisant les méthodes actuelles d'EFT.