Central Limit Theorem for continuous $N$-particle systems in fixed- and high-temperature: single level

Résumé Technique : Théorème de la Limite Centrale pour les Systèmes à $N$ Particules Continus à Température Fixe et Haute Température

Énoncé du Problème
Cet article traite de la caractérisation des théorèmes de la limite centrale (TLC) pour les statistiques linéaires polynomiales de systèmes à $N$ particules continues sur $\mathbb{R}$. L'étude couvre deux régimes asymptotiques distincts :

1. Température fixe : Le paramètre d'inverse température $\theta = \beta/2 > 0$ est fixé alors que $N \to \infty$.
2. Haute température : L'interaction s'affaiblit à mesure que $N$ croît, de telle sorte que $\theta_N \to 0$ et $N\theta_N \to \gamma > 0$.

Les systèmes sont modélisés via une fonction génératrice de Bessel (BGF), $G_{N,\theta}(\vec{x}) = \mathbb{E}_{\mu_N}[B_{\vec{a}}(\vec{x}; \theta)]$, où $B_{\vec{a}}$ est la fonction de Bessel multivariée associée au paramètre de Jack $\theta$. L'objectif est de déterminer les conditions nécessaires et suffisantes pour que le TLC soit vérifié en termes de coefficients de la BGF logarithmique, et de dériver des formules combinatoires explicites pour la covariance limite.

Méthodologie
La stratégie de preuve combine l'extraction de moments par approche opérateur-théorique avec une expansion topologique de la fonction de Bessel multivariée.

1. Opérateurs de Dunkl et Extraction de Moments :
   L'auteur utilise les opérateurs de Dunkl $D_i$ pour extraire les moments de la BGF. En appliquant ces opérateurs au logarithme de la BGF, $\log G_{N,\theta}$, la covariance des observables polynomiales est exprimée comme une somme sur des configurations pondérées. Ces configurations sont modélisées comme des chemins de Lukasiewicz (marches aléatoires avec des contraintes de pas spécifiques) équipés de fonctions de blocs qui suivent la distribution des degrés parmi les variables.

   • Dans le régime à température fixe, les termes d'ordre principal s'annulent, et la covariance est déterminée par des contributions invisibles à la loi des grands nombres (LGN).
   • L'analyse consiste à classer ces configurations en "premier ordre" (impliquant uniquement des cumulants libres de premier ordre) et "second ordre" (impliquant des cumulants libres de second ordre) en fonction du nombre de types d'opérateurs spécifiques (Type II et Type V) agissant sur le chemin.

2. Expansion Topologique :
   Pour établir la direction "seulement si" (nécessité) et l'annulation des cumulants d'ordre supérieur, l'article emploie une expansion topologique de $\log B_{\vec{a}}(\vec{x}; \theta)$. Cette expansion, dérivée des identités de séries de Jack (Chapuy–Dołęga), exprime le logarithme comme une somme sur des constellations (graphes de rubans embarqués sur des surfaces).

   • Chaque terme est pondéré par un facteur impliquant le genre $g$ de la surface sous-jacente et une statistique de non-orientabilité $\nu_\rho$.
   • Température fixe : L'échelle implique que seules les constellations de genre zéro (planaires) contribuent à l'ordre principal.
   • Haute température : L'échelle $N\theta \to \gamma$ modifie le poids du facteur dépendant du genre, permettant aux contributions de genres arbitrairement élevés de survivre dans la limite.

3. Identification Combinatoire :
   L'article établit une bijection entre les configurations de chemins de Lukasiewicz et des objets combinatoires classiques de la probabilité libre, tels que les permutations annulaires non croisées et les partitions annulaires non croisées de second ordre, reliant ainsi les nouvelles formules à la littérature existante.

Contributions Clés et Résultats

1. Conditions Nécessaires et Suffisantes :
   L'article fournit des critères précis pour le TLC dans les deux régimes basés sur le comportement asymptotique des coefficients $c_\lambda$ de $\log G_{N,\theta}(\vec{x}) = \sum c_\lambda p_\lambda(\vec{x})$ :

   • Température fixe : $c_\lambda \to 0$ pour $\ell(\lambda) \ge 3$ ; les coefficients à une ligne passent à l'échelle $N^{-1}c_{(d)} \to \theta^{1-d}\kappa_d$ ; les coefficients à deux lignes passent à l'échelle $c_{(r,s)} \to \theta^{1-r-s}\kappa_{r,s}$.
   • Haute température : $N^{\ell(\lambda)/2}c_\lambda \to 0$ pour $\ell(\lambda) \ge 3$ ; les coefficients à une ligne passent à l'échelle $d \cdot c_{(d)} \to \kappa^\gamma_d$ ; les coefficients à deux lignes passent à l'échelle $N(1 + 1_{r=s})rs \cdot c_{(r,s)} \to \kappa^\gamma_{r,s}$.
     Ici, $\kappa$ et $\kappa^\gamma$ représentent respectivement les cumulants libres de premier ordre et les cumulants libres de second ordre (ou $\gamma$-cumulants).

2. Formules de Covariance Explicites :
   La covariance limite est exprimée explicitement en termes de ces cumulants via des sommes sur les chemins de Lukasiewicz :

   • Température fixe : La covariance est une somme de deux parties : un terme impliquant des produits de cumulants de premier ordre pondérés par des statistiques de chemin ($A(E)B(E)C(E)$), et un terme impliquant des cumulants de second ordre. La formule retrouve la relation classique moment-cumulant libre de second ordre (Collins–Mingo–Śniady–Speicher) à un facteur $1/\theta$ près.
   • Haute température : Une nouvelle formule est dérivée impliquant des $\gamma$-cumulants libres de second ordre. La covariance est une somme sur des configurations pondérées par des puissances de $\gamma$ et le nombre de pas descendants dans le chemin.

3. Interprétation Topologique :
   Le travail révèle une structure topologique distincte pour les deux régimes :

   • À température fixe, la limite est gouvernée strictement par les contributions de genre zéro (planaires).
   • À haute température, la limite incorpore des contributions de genres arbitrairement élevés, fournissant une interprétation topologique pour les nouveaux $\gamma$-cumulants.

4. Applications :

   • Addition-$\beta$ : L'article prouve que l'addition-$\beta$ (une opération binaire sur les systèmes à $N$ particules définie par le produit des BGF) préserve le TLC dans les deux régimes. Les cumulants limites de la somme sont les sommes des cumulants d'entrée.
   • Ensembles Spécifiques : La théorie est appliquée aux ensembles $\beta$ de Gauss et de Laguerre, produisant des TLC de haute température et des covariances limites explicites.
   • Transition : Une transition redimensionnée de la covariance de haute température vers son équivalent de température fixe est établie lorsque $\gamma \to \infty$.

Signification
L'article prétend unifier la théorie des fluctuations des ensembles de matrices aléatoires à travers les régimes de température en passant d'un cadre spécifique de densités de gaz logarithmiques à un cadre général basé sur les fonctions génératrices de Bessel.

• Il étend le concept de liberté de second ordre à la haute température, introduisant les $\gamma$-cumulants libres de second ordre qui linéarisent la $\gamma$-convolution.
• Il fournit une description combinatoire de la covariance qui ne repose pas sur les partitions annulaires non croisées mais sur les chemins de Lukasiewicz, offrant une perspective différente qui accommode naturellement l'échelle de haute température.
• L'expansion topologique offre une vue unifiée où la distinction entre température fixe et haute température est une question de dominance des genres dans l'expansion asymptotique, comblant le fossé entre les modèles de matrices classiques et les systèmes généraux de particules continues.

Les résultats sont présentés comme des caractérisations rigoureuses du TLC, établissant l'équivalence entre la convergence de coefficients spécifiques de la BGF et la fluctuation gaussienne des observables globales, sans supposer que les particules soient les valeurs propres d'un modèle de matrice aléatoire spécifique.