Observable sets for Schrödinger equations on combinatorial graphs

Resumen Técnico: Conjuntos Observables para Ecuaciones de Schrödinger en Grafos Combinatorios

Enunciado del Problema
Este trabajo investiga la observabilidad de las ecuaciones de Schrödinger en grafos combinatorios, centrándose específicamente en el contexto discreto donde el espacio subyacente es un grafo $G = (V, E)$. La dinámica está gobernada por la ecuación $i\partial_t u = Hu$, donde $H = -\Delta_{\text{disc}} + V$ es un operador de Schrödinger discreto, y $\Delta_{\text{disc}}$ es el laplaciano del grafo. La pregunta central es caracterizar los subconjuntos $E \subset V$ (conjuntos observables) desde los cuales el estado inicial $u_0$ puede determinarse de manera única (salvo una constante) mediante mediciones de la solución restringida a $E$ durante un intervalo de tiempo $[0, T]$.

Los autores contrastan este problema discreto con la teoría bien establecida en espacios euclídeos continuos ($\mathbb{R}^d$ y $\mathbb{T}^d$). En el contexto continuo, la observabilidad está gobernada principalmente por condiciones de densidad geométrica, específicamente el "espesor" del conjunto de observación (una versión cuantitativa del principio de incertidumbre de Logvinenko–Sereda). El artículo busca determinar si criterios geométricos similares son suficientes en el contexto discreto o si surgen nuevas obstrucciones aritméticas.

Metodología
Los autores emplean una combinación de teoría espectral, análisis funcional y combinatoria aritmética. Los componentes metodológicos clave incluyen:

1. Criterio de Resolvente Tipo Hautus: Los autores utilizan la equivalencia entre la observabilidad y una estimación de resolvente (Teorema 2.1, basado en Miller [27]). Específicamente, la observabilidad en algún momento es equivalente a la existencia de constantes $M, m > 0$ tales que para todo $\lambda \in \mathbb{R}$ y $f \in \ell^2(V)$:
   $$\|f\|^2 \leq M \|(H - \lambda)f\|^2 + m \|f|_E\|^2.$$
   Esto reduce el problema dinámico a un problema espectral estático que involucra al operador $H$ y al conjunto de observación $E$.

2. Análisis de Obstrucción Aritmética (Red Unidimensional): Para la red unidimensional $\mathbb{Z}$, los autores introducen la Condición Aritmética Local (LAC). Analizan el máximo común divisor (mcd) de las diferencias entre puntos en vecindades locales de $E$.

   • Suficiencia: Demuestran que si $E$ satisface la LAC, ninguna autofunción no nula (o autofunción aproximada) puede anularse en $E$. Esto se establece mediante una estimación local uniforme (Lema 2.1) y un argumento de recurrencia para la ecuación de Schrödinger discreta.
   • Necesidad: Si la LAC falla, los autores construyen "cuasimodos aritméticos" (Lema 2.3) —secuencias de funciones que están localizadas en el complemento de $E$ y aproximan autofunciones del operador—. Estos cuasimodos demuestran que la estimación de resolvente falla, lo que implica no observabilidad.

3. Comparación de Dinámicas de Schrödinger y Calor: El artículo establece un vínculo entre la observabilidad de la ecuación de Schrödinger y la ecuación del calor ($\partial_t u = -Hu$). Utilizando desigualdades de interpolación y propiedades analíticas del semigrupo generado por operadores autoadjuntos acotados, muestran que para potenciales asintóticamente constantes, los criterios de observabilidad para ambas ecuaciones son idénticos.

4. Análisis de Grafos Finitos y Toros: Para grafos finitos (específicamente toros discretos $\mathbb{T}^d_N$), el problema se reduce a la no existencia de autofunciones que se anulen en $E$. Los autores utilizan la estructura espectral del laplaciano discreto en toros (caracteres) y homomorfismos de grupos para construir conjuntos de alta densidad que fallan en la observabilidad debido a simetrías aritméticas.

5. Observabilidad Exterior: Para redes de dimensiones superiores $\mathbb{Z}^d$, los autores utilizan un argumento de norma de operador $TT^*$ combinado con el rango finito de la proyección sobre el complemento de $E$ para probar la observabilidad cuando el conjunto no observado es finito.

Contribuciones y Resultados Clave

• Caracterización en $\mathbb{Z}$ (Teorema 1.1): Para la red unidimensional con potenciales asintóticamente constantes, un conjunto $E$ es observable en algún momento (y por tanto en cualquier momento) si y solo si satisface la Condición Aritmética Local (LAC).

  • Definición: $E$ satisface la LAC si existe $L \in \mathbb{N}^+$ tal que para todo $m \in \mathbb{Z}$, el conjunto de diferencias $\{s - s' : s, s' \in E \cap [m-L, m+L]\}$ tiene un máximo común divisor de 1.
  • Significado: Esto revela una obstrucción aritmética ausente en la teoría euclídea. Aunque el espesor es necesario, no es suficiente. Por ejemplo, el conjunto $9\mathbb{Z} \cup (9\mathbb{Z} + 3)$ tiene el mismo espesor que $9\mathbb{Z} \cup (9\mathbb{Z} + 1)$ pero no es observable porque sus diferencias locales generan un subgrupo propio de $\mathbb{Z}$.

• Equivalencia con la Ecuación del Calor (Teorema 1.2): El mismo criterio LAC caracteriza la observabilidad para la ecuación del calor en $\mathbb{Z}$. Esto contrasta con los entornos continuos donde la observabilidad del calor a menudo se vincula a propiedades geométricas diferentes, aunque aquí la acotación del generador permite transferir el resultado de Schrödinger.

• Redes de Dimensiones Superiores (Teorema 1.3 y Ejemplo 1.1):

  • En dimensiones $d > 1$, no se establece una caracterización aritmética completa análoga a la LAC.
  • Los autores muestran que un alto espesor no implica observabilidad en dimensiones superiores. Construyen un conjunto $E = \mathbb{Z}^2 \setminus \{(m, n) : m=n\}$ que es $\gamma$-espeso para cualquier $\gamma < 1$ pero que no es observable para la ecuación de Schrödinger libre.
  • Sin embargo, demuestran que el complemento de cualquier conjunto finito es observable en cualquier momento en $\mathbb{Z}^d$ (Teorema 1.3).

• Toros Discretos (Teorema 1.4):

  • En el toro discreto unidimensional $\mathbb{T}^1_N$, la observabilidad se caracteriza por una condición de mcd que involucra el módulo $N$ y las diferencias de puntos en $E$.
  • En dimensiones superiores, los autores construyen subconjuntos de densidad positiva (específicamente, densidad que se aproxima a $1 - 2^{-d}$) que no son observables en ningún momento. Esto contrasta marcadamente con los toros continuos, donde todo conjunto abierto no vacío es observable.

Significado y Afirmaciones
El artículo afirma revelar una distinción cualitativa fundamental entre la observabilidad en entornos continuos y discretos. Mientras que la observabilidad continua está gobernada por la densidad geométrica (espesor), la observabilidad discreta está fuertemente restringida por la estructura aritmética local del conjunto de observación.

• Aritmética vs. Geometría: Los autores enfatizan que en el contexto discreto, "la densidad positiva por sí sola no garantiza la observabilidad". El fallo de la observabilidad puede ocurrir incluso para conjuntos con alta densidad si la estructura del conjunto se alinea con las simetrías aritméticas del espectro del laplaciano del grafo.
• Limitaciones de la Intuición Euclídea: Los resultados demuestran que las técnicas que dependen exclusivamente de principios de incertidumbre geométricos (como el principio de Logvinenko–Sereda) son insuficientes para grafos discretos. El contexto discreto requiere herramientas que tengan en cuenta la estructura de recurrencia del operador y las propiedades teóricas de los números del conjunto de observación.
• Alcance: El artículo proporciona una caracterización completa para redes unidimensionales y toros discretos en 1D, resultados parciales para redes de dimensiones superiores (observabilidad exterior) y contraejemplos que muestran el fallo de criterios simples basados en la densidad en dimensiones superiores.

Los autores no proponen nuevas aplicaciones o configuraciones experimentales, sino que enmarcan su trabajo como un avance teórico en la teoría de control de sistemas discretos, destacando el papel único de la aritmética en el análisis espectral discreto.