One- and two-particle spectral gap identities for the symmetric inclusion process and related models

Resumen Técnico: Identidades de la Brecha Espectral de Una y Dos Partículas para el Proceso de Inclusión Simétrica y Modelos Relacionados

Planteamiento del Problema
El artículo investiga la brecha espectral (el menor autovalor no nulo del generador infinitesimal negativo) del Proceso de Inclusión Simétrica (SIP), un sistema de partículas interactuantes que difunden en un grafo finito $G$ con atracción mutua. La cuestión central es determinar la tasa de convergencia precisa al equilibrio para este sistema. Específicamente, los autores analizan si la brecha espectral de un sistema interactuante con $k$ partículas, denotada como $\text{gap}_k(G, \alpha)$, puede reducirse a la brecha espectral de un proceso más simple y no interactuante.

Un trabajo previo [KS24] estableció que en el "régimen de concavidad logarítmica" (donde los pesos de los sitios $\alpha_x \ge 1$), la brecha espectral del SIP coincide con la de un paseo aleatorio (RW) simple, es decir, $\text{gap}_{\text{SIP}} = \text{gap}_{\text{RW}}$. Este artículo aborda el comportamiento de la brecha espectral fuera de este régimen, específicamente cuando $\alpha_{\min} \in (0, 1)$, y explora si se cumple una reducción al sistema de dos partículas en el límite de difusividad evanescente. Además, el artículo extiende estas investigaciones a SIPs no conservativos (sistemas en contacto con reservorios de partículas) y modelos relacionados de espín continuo como el Proceso de Energía Browniana (BEP).

Metodología
Los autores emplean una combinación de teoría espectral, comparaciones de formas de Dirichlet y análisis de sistemas lento-rápido:

1. Autoestructura y Elevación (Lifting): La demostración aprovecha la "autoestructura rígida" del SIP. El sistema es consistente, lo que significa que el sistema de $k$ partículas contiene el espectro del sistema de $k-1$ partículas. Los autores utilizan operadores de aniquilación ($a_k$) y creación ($a^\dagger_{\alpha, k-1}$) para descomponer el espacio $L^2$ en subespacios ortogonales, permitiendo la comparación de las brechas espectrales a través de diferentes números de partículas.
2. Comparaciones de Formas de Dirichlet: Para derivar cotas inferiores para la brecha espectral en el régimen $\alpha_{\min} < 1$, los autores comparan la forma de Dirichlet del SIP en un grafo arbitrario $G$ con la de un grafo completo $K$. Construyen caminos distintivos (y, en casos complejos, superficies bidimensionales de caminos) para acotar la disipación de energía, rastreando cuidadosamente la dependencia de $\alpha_{\min}$ y los parámetros geométricos como el diámetro y el tamaño del grafo.
3. Análisis de Sistemas Lento-Rápido: Para el régimen asintótico donde la difusividad desaparece ($\alpha = \varepsilon \hat{\alpha}$ con $\varepsilon \to 0$), los autores aplican teoremas de límite para sistemas lento-rápido (basados en [Kur73]). Descomponen el generador en una parte rápida (que impulsa a las partículas a fusionarse en pilas o stacks) y una parte lenta (que impulsa el movimiento de estas pilas). La brecha espectral se analiza entonces mediante el generador efectivo límite que actúa sobre el espacio de configuraciones de las "pilas".
4. Dualidad y Elevación para Sistemas No Conservativos: Para sistemas abiertos (SIP con reservorios), los autores utilizan la dualidad de polinomios ortogonales (polinomios de Meixner) para elevar los autofunciones del sistema puramente absorbente (donde las partículas son eliminadas pero no creadas) al sistema general con reservorios. Esto les permite relacionar el espectro del sistema no conservativo con el de una sola partícula con eliminación (killing).

Contribuciones Clave y Resultados

1. Fallo de la Identidad de Una Partícula en el Régimen de Concavidad Logarítmica:
   El artículo demuestra que la identidad $\text{gap}_{\text{SIP}} = \text{gap}_{\text{RW}}$ generalmente falla cuando $\alpha_{\min} < 1$. Los autores proporcionan ejemplos explícitos (por ejemplo, en toros de alta dimensión) donde $\text{gap}_{\text{SIP}} < \text{gap}_{\text{RW}}$. Esto contrasta con el régimen de concavidad logarítmica donde la identidad se mantiene.

2. Cotas Inferiores Precisas para $\alpha_{\min}$ Pequeño:
   Los autores derivan una cota inferior no asintótica para la brecha espectral que captura la correcta dependencia lineal en $\alpha_{\min}$ cuando $\alpha_{\min} \in (0, 1)$. Específicamente, muestran:
   $$\text{gap}_{\text{SIP}}(G, \alpha) \ge C \alpha_{\min}$$
   donde $C$ depende de la estructura del grafo y la relación de los pesos. Esto corrige una dependencia cuadrática ingenua sugerida por argumentos simples de escalamiento.

3. Identidad de la Brecha Espectral de Dos Partículas en el Límite de Difusividad Evanescente:
   En el límite $\alpha \to 0$ (a lo largo de límites direccionales fijos), el artículo prueba que la brecha espectral del SIP de muchas partículas está determinada asintóticamente por el sistema de dos partículas:
   $$\lim_{\varepsilon \to 0} \frac{\text{gap}_k(G, \varepsilon \hat{\alpha})}{\text{gap}_2(G, \varepsilon \hat{\alpha})} = 1, \quad \forall k \ge 2.$$
   Esto confirma una conjetura (atribuida a Pietro Caputo para procesos de división relacionados) de que la brecha espectral está gobernada por la dinámica de dos partículas en el régimen metaestable, en lugar de una sola partícula.

4. Identidad de la Brecha Espectral para el SIP No Conservativo:
   Para el SIP abierto (con reservorios), los autores establecen una identidad robusta: independientemente del valor de $\alpha_{\min}$ o la geometría del grafo, la brecha espectral del sistema con reservorios (en el caso reversible) coincide exactamente con la brecha espectral de un paseo aleatorio con eliminación:
   $$\text{gap}_{\text{SIP}}(G, \alpha, \omega, \varrho) = \text{gap}_{\text{RW}}(G, \alpha, \omega).$$
   Este resultado se mantiene para cualquier densidad de reservorio constante $\varrho > 0$ y se basa en el hecho de que los autofunciones del sistema absorbente se elevan al sistema general.

5. Extensiones a Modelos Relacionados:
   Los hallazgos se extienden al Proceso de Energía Browniana (BEP) y otros modelos de redistribución de masa (ej. división Beta-Binomial, modelos KMP). Debido a la isospectralidad y las relaciones de entrelazamiento de Poisson, las identidades de la brecha espectral y los comportamientos asintóticos derivados para el SIP se aplican directamente a estos modelos de espín continuo y otros modelos discretos.

Significancia y Reivindicaciones
El artículo afirma resolver el comportamiento de la brecha espectral para el SIP en regímenes donde las conjeturas previas de "reducción a una partícula" fallan. Al establecer que la brecha espectral está gobernada por una identidad de dos partículas en el límite de baja difusividad, el trabajo proporciona una caracterización más precisa de las tasas de convergencia para sistemas de partículas interactuantes con fuerzas atractivas.

Los autores destacan una dicotomía entre entornos conservativos y no conservativos: mientras que la brecha del SIP conservativo es sensible al número de partículas y a la fuerza de interacción (requiriendo una reducción a dos partículas en el límite), la brecha del SIP no conservativo está universalmente gobernada por un proceso de una sola partícula con eliminación, independiente de la fuerza de interacción.

Los resultados arrojan luz sobre las propiedades espectrales de sistemas reversibles de Dirichlet en geometrías generales, no de campo medio, ofreciendo cotas precisas e identidades asintóticas que eran previamente desconocidas para estos complejos sistemas de partículas interactuantes. El artículo concluye que estas técnicas son aplicables a una clase más amplia de modelos con medidas reversibles de tipo Gamma, aunque obtener cotas inferiores precisas para las variantes conservativas de otros modelos de redistribución de masa en geometrías generales sigue siendo un problema abierto.