Random Schrödinger operators on manifolds and abstract bounds for multiplier-type operators

Résumé technique : Opérateurs de Schrödinger aléatoires sur des variétés et bornes abstraites pour les opérateurs de type multiplicateur

Énoncé du problème
Le papier étudie les propriétés spectrales des opérateurs de Schrödinger aléatoires $H_{\omega, \lambda} = -\Delta_g + V_{\omega, \lambda}$ définis sur une variété riemannienne fermée (compacte, sans bord) $(M, g)$ de dimension $d \geq 2$. Le potentiel $V_{\omega, \lambda}$ est de type Anderson, construit à partir d'une somme de « bosses » localisées à l'échelle $\lambda^{-1}$ avec des coefficients aléatoires $\omega_j$ (variables de Bernoulli symétriques ou gaussiennes centrées normalisées i.i.d.).

L'objectif principal est d'établir des bornes de haute probabilité sur la localisation des valeurs propres de $H_{\omega, \lambda}$ jusqu'à l'énergie $\lambda^2$. Plus précisément, les auteurs cherchent à quantifier la proximité avec laquelle le spectre de l'opérateur perturbé reste par rapport au spectre du laplacien non perturbé $-\Delta_g$. L'étude vise à démontrer que la randomisation produit un gain de « annulation racine carrée » par rapport aux bornes d'inclusion spectrale déterministes, qui dépendent typiquement des normes $L^\infty$ ou $L^q$ du potentiel sans amélioration probabiliste.

Méthodologie
La stratégie de preuve repose sur une approche en deux étapes : d'abord, l'établissement d'un principe abstrait général concernant la norme d'opérateur des multiplicateurs randomisés, puis l'application de ce principe à des opérateurs spectraux et de résolvante spécifiques sur des variétés.

1. Principe opérateur-théorique abstrait :
   L'innovation centrale est un cadre général montrant que la randomisation améliore les bornes de norme pour les opérateurs de la forme $T_1^* V_\omega T_2$, où $V_\omega$ est un opérateur de multiplication randomisé et $T_1, T_2$ sont des opérateurs linéaires structurés (par exemple, des projecteurs spectraux, des résolvantes).

   • Cadre discret : Les auteurs formulent une estimation discrète (Théorème 1.2) où une fonction sur un ensemble fini est randomisée sur une partition. La preuve utilise un argument de chaînage inspiré des bornes d'entropie de Bourgain, exploitant les estimations de queue sub-gaussienne (inégalité de Dudley) et la géométrie de la partition.
   • Cadre continu : Cela est étendu aux espaces de mesure métriques d'Ahlfors $d$-réguliers (Théorème 1.4). La randomisation est effectuée sur des cellules de Voronoi associées à un ensemble maximal $r$-séparé. Les auteurs introduisent des conditions techniques telles que la « constance locale » et la « reparamétrisation uniforme » pour gérer la géométrie continue, permettant le transfert des estimations probabilistes discrètes vers le cadre de la variété.

2. Application à la théorie spectrale :
   Les bornes abstraites sont appliquées à deux cas spécifiques pertinents pour l'opérateur de Schrödinger :

   • Projecteurs spectraux : En utilisant les bornes de grappes spectrales de Sogge pour l'opérateur $\Pi_\lambda = \mathbb{1}_{[\lambda, \lambda+1]}(\sqrt{-\Delta_g})$. La randomisation améliore la borne sur $\|\Pi_\lambda^* V_\omega \Pi_\lambda\|$, remplaçant la dépendance déterministe en $L^q$ par une dépendance $\ell^{2q}$ probabiliste sur les coefficients, gagnant un facteur de $\lambda^{-\mu(q)}$.
   • Demi-résolvantes : Les auteurs dérivent des estimations déterministes pour la racine carrée de la résolvante $|-\Delta_g - z|^{-1/2}$. Celles-ci sont combinées avec les bornes de multiplicateurs randomisés pour estimer l'opérateur de Birman-Schwinger $K_{\omega, \lambda}(z) = |-\Delta_g - z|^{-1/2} V_{\omega, \lambda} (-\Delta_g - z)^{-1/2}$.

3. Discrétisation et Borne d'Union :
   Pour étendre les bornes probabilistes ponctuelles sur l'opérateur de Birman-Schwinger à une borne uniforme sur le paramètre spectral continu $z$, les auteurs emploient un schéma de discrétisation. Ils partitionnent le plan complexe en fonction de la magnitude du poids de la résolvante $B(z)$, construisent un $\epsilon$-réseau, et appliquent une borne d'union sur les points du réseau, en utilisant la continuité lipschitzienne de l'opérateur de Birman-Schwinger par rapport à $z$.

Contributions clés et Résultats

• Théorème 1.1 (Inclusion Spectrale) : Le résultat principal fournit une borne de haute probabilité sur le spectre de $H_{\omega, \lambda}$. Il stipule qu'avec une probabilité d'au moins $1 - \exp(-K^2)$, toute valeur propre $z$ telle que $|z| \leq \lambda^2$ et la distance au spectre non perturbé $\geq \lambda^{-N}$ se situe dans une union de disques centrés sur les valeurs propres du Laplacien $\lambda_k^2$. Le rayon de ces disques, $r_k$, et la région d'exclusion $\Omega$ dépendent de la norme $\ell^{2q}$ des coefficients du potentiel, de la dimension $d$, et du paramètre $q$.

  • Annulation Racine Carrée : La borne présente un gain par rapport aux résultats déterministes (spécifiquement ceux de [Cue26]). La borne déterministe évolue avec $\|V\|_{L^q}$, tandis que la borne randomisée évolue avec $\|v\|_{\ell^{2q}}$ avec une puissance de $\lambda$ améliorée. Les auteurs notent que pour $q > (d+1)/4$, la borne probabiliste est strictement meilleure que la déterministe, réalisant efficacement une annulation racine carrée dans la norme du potentiel.

• Théorèmes 1.2 et 1.4 (Estimations Abstraites) : Ces théorèmes fournissent la machinerie technique pour le résultat principal. Ils établissent que pour des opérateurs $T_1^* V_\omega T_2$, l'espérance de la norme d'opérateur est bornée par un terme impliquant $(\log \#E)^{5/2}$ (discret) ou $(\log \#\Lambda)^{5/2}$ (continu) et la norme $\ell^{2q}$ (ou $L^{2q}$) des coefficients, plutôt que la norme $L^\infty$.

• Propositions 4.1 et 4.6 : Ces résultats intermédiaires quantifient l'amélioration des estimations de grappes spectrales et des bornes de Birman-Schwinger, montrant explicitement la dépendance à l'échelle de randomisation et le gain probabiliste.

Signification et Revendications
Le papier affirme que sa contribution primaire est un « cadre abstrait général » qui sépare l'entrée probabiliste (randomisation des coefficients) de l'entrée analytique (bornes spectrales déterministes).

• Indépendance de la Géométrie : Les résultats abstraits sont formulés pour des espaces de mesure métriques d'Ahlfors réguliers généraux, suggérant une applicabilité au-delà du cadre spécifique des variétés compactes.
• Amélioration par rapport aux Bornes Déterministes : Les auteurs affirment explicitement que leurs résultats produisent un « gain d'annulation racine carrée » par rapport aux bornes d'inclusion spectrale déterministes. C'est une amélioration significative dans le régime de haute énergie, où les bornes déterministes sont connues pour être sharp (par exemple, sur les sphères ou les variétés de Zoll).
• Large Applicabilité : Les auteurs identifient le mécanisme comme applicable à divers contextes, incluant :
  • Les variétés avec bord et les espaces non compacts (asymptotiquement coniques ou hyperboliques).
  • Les opérateurs de Schrödinger aléatoires sur $\mathbb{R}^d$ avec des potentiels piégeants ou des champs magnétiques.
  • Les modèles discrets sur des réseaux ($\mathbb{Z}^d$) et des graphes.
  • Les questions concernant l'existence et la complétude des opérateurs d'onde et l'absence de valeurs propres enchâssées dans des contextes aléatoires.

Le papier conclut que bien que les bornes spécifiques pour les variétés compactes soient l'objet principal, le mécanisme sous-jacent de la randomisation améliorant les bornes de norme d'opérateur est un principe robuste avec des extensions potentielles à une large classe de problèmes spectraux en physique mathématique.