$m$-sectorial discrete Laplacians and recurrence of complex-weighted graphs

Resumen Técnico: Laplacianos Discretos m-Sectoriales y Recurrencia de Grafos con Pesos Complejos

Planteamiento del Problema
El artículo aborda las propiedades espectrales y probabilísticas de los Laplacianos discretos en grafos donde los pesos de las aristas son números complejos, específicamente aquellos que pertenecen a un sector en el plano complejo. Si bien la teoría de los Laplacianos discretos para grafos con pesos reales está bien establecida —vinculándolos con paseos aleatorios, redes eléctricas y recurrencia—, la extensión de estos resultados a pesos complejos presenta desafíos significativos. Las técnicas estándar para grafos reales, como el teorema de la convergencia monótona, son inaplicables a funciones de valores complejos. El problema principal es establecer un marco riguroso para grafos con pesos complejos que permita la definición de Laplacianos de Dirichlet y Neumann, la generación de semigrupos holomorfos y la caracterización de la recurrencia sin depender de la positividad de los pesos.

Metodología
El autor emplea un enfoque de análisis funcional basado en la teoría de formas y operadores sectoriales. La metodología avanza a través de varios pasos clave:

1. Formulación Sectorial: El artículo define grafos con pesos complejos donde los pesos de las aristas $b(x, y)$ satisfacen una condición de sectorialidad: $|\text{Im } b(x, y)| \leq c \cdot \text{Re } b(x, y)$. Esto asegura que la forma de energía asociada $Q$ es sectorial, permitiendo la aplicación del teorema de Lumer-Phillips para demostrar que el Laplaciano de Dirichlet genera un semigrupo $C_0$ holomorfo contractivo.
2. Aproximaciones Finitas: Para manejar grafos infinitos, el autor utiliza exhaustiones finitas (secuencias de subgrafos conexos finitos). La convergencia de los resolventes de los Laplacianos de Dirichlet en estos subgrafos finitos hacia el resolvente del grafo infinito se establece utilizando el teorema de convergencia de resolventes fuertes para formas sectoriales (Vogt y Voigt).
3. Extensión a Redes Eléctricas (El Mecanismo Central): Una contribución metodológica fundamental es la demostración de que cualquier grafo con pesos complejos que satisfaga la condición de sectorialidad puede ser "extendido" a una red eléctrica. Específicamente, para cualquier grafo de este tipo, existe un parámetro $s_0$ en el semiplano derecho y una red eléctrica (con pesos definidos por funciones racionales de $s$ que involucran resistencia, inductancia y capacitancia) tal que los pesos complejos del grafo coinciden con la admitancia de la red en $s_0$.
4. Convergencia Holomorfa: Aprovechando la extensión a redes eléctricas, el autor utiliza la convergencia uniforme de funciones holomorfas (vía el teorema de Montel) para reemplazar los argumentos de convergencia monótona utilizados en el caso real. Esto permite definir rigurosamente los límites para las capacidades y las funciones de Green en el entorno complejo.

Contribuciones Clave y Resultados

• m-Sectorialidad y Generación de Semigrupos: El artículo demuestra que el Laplaciano de Dirichlet en un grafo con pesos complejos es un operador m-sectorial. En consecuencia, genera un semigrupo $C_0$ holomorfo contractivo. Esto establece la buena definición de las ecuaciones de evolución asociadas.
• Extensión a Redes Eléctricas (Teorema 4.3): El resultado central demuestra que cada grafo con pesos complejos sectoriales corresponde a una red eléctrica específica en una frecuencia $s_0$ determinada. Esto generaliza la correspondencia clásica entre grafos con pesos reales y redes de resistencias.
• Caracterización de la Recurrencia: El artículo introduce una definición de recurrencia para grafos con pesos complejos, definida por la anulación del ínfimo de la forma de energía sobre funciones de soporte finito con valor 1 en un vértice. Establece la equivalencia de esta definición con:
  • La recurrencia del grafo subyacente con pesos reales formado por las partes reales de los pesos de las aristas.
  • La condición de que la función constante $1$ pertenece al dominio de la forma $D_0$ (el cierre de las funciones de soporte compacto).
  • La anulación de la capacidad efectiva del grafo.
  • La divergencia de la función de Green hacia el infinito.
• Función de Green y Resolventes: La función de Green se define mediante el límite del resolvente cuando el parámetro espectral tiende a cero. Utilizando las propiedades holomorfas derivadas de la extensión a redes eléctricas, el autor demuestra que la función de Green está bien definida y caracteriza la recurrencia: el grafo es recurrente si y solo si la función de Green es infinita.
• Laplaciano de Neumann y Recurrencia: El artículo define el Laplaciano de Neumann y demuestra que el grafo es recurrente si y solo si los dominios de los Laplacianos de Dirichlet y Neumann coinciden (es decir, $D(Q^{(D)}) = D(Q^{(N)})$). Esto refleja el resultado conocido para grafos con pesos reales, pero se logra a través del marco sectorial complejo.

Significancia y Reivindicaciones
El artículo sostiene que su principal significancia radica en cerrar la brecha entre la teoría bien comprendida de los grafos con pesos reales y el entorno más complejo de los pesos complejos. Al demostrar que los grafos con pesos complejos pueden integrarse en el marco de las redes eléctricas, el autor proporciona un mecanismo para transferir los resultados de convergencia del dominio real al dominio complejo.

Específicamente, el artículo afirma que este enfoque permite establecer resultados de convergencia para grafos infinitos con pesos complejos —tales como la convergencia de las soluciones a problemas de Dirichlet y la convergencia de las capacidades— sin depender de la monotonicidad, la cual no está disponible para valores complejos. Los resultados proporcionan una caracterización completa de la recurrencia para estos grafos en términos de espacios funcionales, capacidad, funciones de Green y las propiedades del Laplaciano de Neumann, extendiendo efectivamente la teoría clásica de paseos aleatorios y redes eléctricas al entorno sectorial complejo.