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

Resumen Técnico: Operadores de Schrödinger Aleatorios en Variedades y Cotas Abstractas para Operadores de Tipo Multiplicador

Planteamiento del Problema
El artículo investiga las propiedades espectrales de los operadores de Schrödinger aleatorios $H_{\omega, \lambda} = -\Delta_g + V_{\omega, \lambda}$ definidos en una variedad riemanniana cerrada (compacta, sin frontera) $(M, g)$ de dimensión $d \geq 2$. El potencial $V_{\omega, \lambda}$ es de tipo Anderson, construido a partir de una suma de "protuberancias" localizadas a escala $\lambda^{-1}$ con coeficientes aleatorios $\omega_j$ (Bernoulli simétricas o gaussianas centradas normalizadas i.i.d.).

El objetivo principal es establecer cotas de alta probabilidad sobre la localización de los autovalores de $H_{\omega, \lambda}$ hasta la energía $\lambda^2$. Específicamente, los autores pretenden cuantificar qué tan cerca permanece el espectro del operador perturbado respecto al espectro del Laplaciano no perturbado $-\Delta_g$. El estudio busca demostrar que la aleatorización produce una ganancia de "cancelación de raíz cuadrada" en comparación con las cotas deterministas de inclusión espectral, las cuales típicamente dependen de las normas $L^\infty$ o $L^q$ del potencial sin mejora probabilística.

Metodología
La estrategia de la prueba se basa en un enfoque de dos pasos: primero, establecer un principio abstracto general respecto a la norma de operador de multiplicadores aleatorizados, y segundo, aplicar este principio a operadores espectrales y de resolvente específicos en variedades.

1. Principio Operador-Teórico Abstracto:
   La innovación central es un marco general que muestra cómo la aleatorización mejora las cotas de norma para operadores de la forma $T_1^* V_\omega T_2$, donde $V_\omega$ es un operador de multiplicación aleatorizado y $T_1, T_2$ son operadores lineales estructurados (por ejemplo, proyectores espectrales, resolventes).

   • Entorno Discreto: Los autores formulan una estimación discreta (Teorema 1.2) donde una función sobre un conjunto finito es aleatorizada sobre una partición. La prueba utiliza un argumento de encadenamiento (chaining) inspirado en las cotas de entropía de Bourgain, aprovechando las estimaciones de cola sub-gaussianas (desigualdad de Dudley) y la geometría de la partición.
   • Entorno Continuo: Esto se extiende a espacios de medida métrica de Ahlfors $d$-regulares (Teorema 1.4). La aleatorización se realiza sobre celdas de Voronoi asociadas a un conjunto máximo $r$-separado. Los autores introducen condiciones técnicas como la "constancia local" y la "reparametrización uniforme" para manejar la geometría continua, permitiendo la transferencia de las estimaciones probabilísticas discretas al entorno de la variedad.

2. Aplicación a la Teoría Espectral:
   Las cotas abstractas se aplican a dos casos específicos relevantes para el operador de Schrödinger:

   • Proyectores Espectrales: Utilizando las cotas de cúmulos espectrales de Sogge para el operador $\Pi_\lambda = \mathbb{1}_{[\lambda, \lambda+1]}(\sqrt{-\Delta_g})$. La aleatorización mejora la cota en $\|\Pi_\lambda^* V_\omega \Pi_\lambda\|$, reemplazando la dependencia determinista $L^q$ por una dependencia $\ell^{2q}$ probabilística de los coeficientes, ganando un factor de $\lambda^{-\mu(q)}$.
   • Semi-Resolventes: Los autores derivan estimaciones deterministas para la raíz cuadrada del resolvente $|-\Delta_g - z|^{-1/2}$. Estas se combinan con las cotas de multiplicadores aleatorizados para estimar el operador de Birman-Schwinger $K_{\omega, \lambda}(z) = |-\Delta_g - z|^{-1/2} V_{\omega, \lambda} (-\Delta_g - z)^{-1/2}$.

3. Discretización y Cota de Unión (Union Bound):
   Para extender las cotas probabilísticas puntuales del operador de Birman-Schwinger a una cota uniforme sobre el parámetro espectral continuo $z$, los autores emplean un esquema de discretización. Particionan el plano complejo basándose en la magnitud del peso del resolvente $B(z)$, construyen una $\epsilon$-red y aplican una cota de unión sobre los puntos de la red, utilizando la continuidad de Lipschitz del operador de Birman-Schwinger con respecto a $z$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Inclusión Espectral): El resultado principal proporciona una cota de alta probabilidad sobre el espectro de $H_{\omega, \lambda}$. Establece que con una probabilidad de al menos $1 - \exp(-K^2)$, cualquier autovalor $z$ con $|z| \leq \lambda^2$ y distancia al espectro no perturbado $\geq \lambda^{-N}$ se encuentra dentro de una unión de discos centrados en los autovalores del Laplaciano $\lambda_k^2$. El radio de estos discos, $r_k$, y la región de exclusión $\Omega$ dependen de la norma $\ell^{2q}$ de los coeficientes del potencial, la dimensión $d$ y el parámetro $q$.

  • Cancelación de Raíz Cuadrada: La cota exhibe una ganancia sobre los resultados deterministas (específicamente aquellos en [Cue26]). La cota determinista escala con $\|V\|_{L^q}$, mientras que la cota aleatorizada escala con $\|v\|_{\ell^{2q}}$ con un exponente mejorado de $\lambda$. Los autores señalan que para $q > (d+1)/4$, la cota probabilística es estrictamente mejor que la determinista, logrando efectivamente una cancelación de raíz cuadrada en la norma del potencial.

• Teorema 1.2 y 1.4 (Estimaciones Abstractas): Estos teoremas proporcionan la maquinaria técnica para el resultado principal. Establecen que para operadores $T_1^* V_\omega T_2$, la norma de operador esperada está acotada por un término que involucra $(\log \#E)^{5/2}$ (discreto) o $(\log \#\Lambda)^{5/2}$ (continuo) y la norma $\ell^{2q}$ (o $L^{2q}$) de los coeficientes, en lugar de la norma $L^\infty$.

• Proposición 4.1 y 4.6: Estos resultados intermedios cuantifican la mejora en las estimaciones de los cúmulos espectrales y en las cotas de Birman-Schwinger, mostrando explícitamente la dependencia de la escala de aleatorización y la ganancia probabilística.

Significación y Reivindicaciones
El artículo afirma que su contribución principal es un "marco abstracto general" que separa la entrada probabilística (aleatorización de coeficientes) de la entrada analítica (cotas espectrales deterministas).

• Independencia de la Geometría: Los resultados abstractos se formulan para espacios de medida métrica de Ahlfors regulares en general, lo que sugiere aplicabilidad más allá del entorno específico de la variedad compacta.
• Mejora sobre las Cotas Deterministas: Los autores afirman explícitamente que sus resultados proporcionan una "ganancia de cancelación de raíz cuadrada" en comparación con las cotas de inclusión espectral deterministas. Esta es una mejora significativa en el régimen de alta energía, donde las cotas deterministas son conocidas por ser agudas (por ejemplo, en esferas o variedades de Zoll).
• Amplia Aplicabilidad: Los autores identifican el mecanismo como aplicable a diversos entornos, incluyendo:
  • Variedades con frontera y espacios no compactos (asintóticamente cónicos o hiperbólicos).
  • Operadores de Schrödinger aleatorios en $\mathbb{R}^d$ con potenciales de atrapamiento o campos magnéticos.
  • Modelos discretos en redes ($\mathbb{Z}^d$) y grafos.
  • Cuestiones relativas a la existencia y completitud de los operadores de onda y la ausencia de autovalores embebidos en entornos aleatorios.

El artículo concluye que, si bien el enfoque principal son las cotas específicas para variedades compactas, el mecanismo subyacente de la aleatorización para mejorar las cotas de norma de operador es un principio robusto con potenciales extensiones a una amplia clase de problemas espectrales en la física matemática.