The cost rate of nonlinear remote stabilization on the Aubry--André lattice: a reflected off-spectral exponent and the sharp identity for almost every phase

Resumen Técnico: La Tasa de Costo de la Estabilización Remota No Lineal en la Red de Aubry–André

Planteamiento del Problema
El artículo investiga la tasa de costo exponencial $r(\alpha, \lambda)$ requerida para dirigir un sitio distante (a una distancia $N$) de una cadena cuasiperiódica unidimensional desde un actuador en el límite. El sistema se modela mediante el operador de Aubry–André (Almost Mathieu) $H_\lambda$ con un potencial cuasiperiódico $\lambda \cos(2\pi\beta j + \phi)$, donde $\beta$ es una frecuencia de tipo Diofantino. El objetivo de control es estabilizar el sistema con un margen de bucle cerrado $\alpha > 0$. El costo se define como la mínima energía $E_N$ necesaria para dirigir el sitio lejano, dada por la forma cuadrática $E_N = e_N^\top W_\alpha^{-1} e_N$, donde $W_\alpha$ es el gramiano de controlabilidad del operador desplazado $A_\alpha = E_0 I - H_\lambda$. La pregunta principal es identificar la magnitud espectral que gobierna la tasa de crecimiento exponencial $r(\alpha, \lambda) = \liminf_{N\to\infty} \frac{1}{2N} \log E_N$.

Metodología
Los autores emplean una combinación de teoría espectral, teoría de control y técnicas de sistemas dinámicos:

1. Reducción de la Base de Eigenvectores: El costo $E_N$ se reduce a una forma cuadrática de Cauchy $\tilde{b}^\top C^{-1} \tilde{b}$ en las razones de amplitud de frontera $\tilde{b}_k = \psi^{(k)}_N / \psi^{(k)}_1$, donde $C$ es una matriz de Cauchy construida a partir de los autovalores desplazados.
2. Formulación Libre de Inversas: Utilizando una identidad de Christoffel–Darboux y las propiedades del cociclo de transferencia, se elimina la matriz Gram inversa. El costo se expresa como una suma de términos no negativos que involucran entradas de la matriz de transferencia y polinomios característicos, específicamente $E_N = \sum_{k,l} |c_k||c_l|/(\delta_k + \delta_l)$.
3. Análisis de Cociclo y de Grandes Desviaciones: Las tasas de crecimiento se analizan mediante el exponente de Lyapunov $\gamma_\lambda(z)$ del cociclo de transferencia. Los autores utilizan el teorema de grandes desviaciones de Bourgain–Goldstein para el régimen localizado y los límites uniformes de Avila–Jitomirskaya para el régimen subcrítico (metálico).
4. Teoría del Potencial: El condicionamiento de la matriz de Cauchy se vincula con la capacidad logarítmica del espectro y la función de Green exterior $g_{\mathbb{C}\setminus\Sigma_\lambda}(z)$.
5. Resonancia Aritmética: Se establece la existencia de modos específicos que están simultáneamente cerca del borde espectral y localizados cerca de la frontera utilizando el teorema de las tres distancias para frecuencias de tipo Diofantino.

Contribuciones Clave y Resultados

1. Identificación de la Tasa de Costo
El artículo identifica la tasa de costo no como la tasa de localización estándar o la caída del resolvente en el borde de la banda, sino como el exponente de Lyapunov fuera del espectro en un borde de banda reflejado $z^\star$.

• Borde Reflejado: Definido como $z^\star = 2E_{\min} - 2\alpha - E_{\max}$.
• Identidad Principal: La tasa de costo está dada por $r(\alpha, \lambda) = \gamma_\lambda(z^\star)$.
• Acotación: Generalmente, la tasa se encuentra atrapada en un intervalo:
  $$g_{\mathbb{C}\setminus\Sigma_\lambda}(z^\star) \leq r(\alpha, \lambda) \leq \gamma_\lambda(z^\star)$$
  El ancho de este intervalo es $\log^+(\lambda/2)$. Para $\lambda \leq 2$, el espectro tiene una capacidad logarítmica $\max(1, \lambda/2)$, lo que hace que los extremos del intervalo coincidan, haciendo que la identidad sea incondicional.

2. Los Regímenes Metálico y Crítico ($0 < \lambda \leq 2$)

• Identidad Incondicional: Para $0 < \lambda < 2$ (espectro puramente absolutamente continuo) y $\lambda = 2$ (punto de autodualidad crítica), la identidad $r(\alpha, \lambda) = \gamma_\lambda(z^\star)$ se cumple incondicionalmente para cada fase $\phi$ y cada frecuencia de tipo Diofantino.
• Mecanismo: La prueba se basa en la casi-reducibilidad subcrítica del cociclo (Avila–Jitomirskaya) y en el hecho de que en $\lambda=2$, la función de Green coincide con el exponente de Lyapunov, asegurando la regularidad automática del borde de la banda.

3. El Régimen Localizado ($\lambda > 2$)

• Casi Toda Fase: Para $\lambda > 2$ (espectro de punto puro con localización de Anderson), la identidad se cumple para casi toda fase $\phi$ y cada frecuencia de tipo Diofantino.
• Condiciones:
  • Para acoplamiento fuerte ($\lambda \geq \lambda_1$), el resultado es incondicional.
  • Para $2 < \lambda < \lambda_1$, el resultado se sostiene bajo una hipótesis de localización de prefactor polinómico (PL), que fortalece los límites de localización semi-uniformes conocidos.
• Mecanismo: La prueba utiliza una forma de coeficientes de costo de "peso de frontera", mostrando que el costo está dominado por un único modo que está tanto cerca del borde espectral ($E_k \to E_{\max}$) como localizado cerca de la frontera ($j_k \approx N$). La existencia de tales modos está garantizada por el teorema de las tres distancias aplicado a rotaciones de tipo Diofantino.
• Tasa de Convergencia: La brecha entre la tasa de tamaño finito y el límite asintótico está acotada por $O(N^{-2/(2+\tau)})$, donde $\tau$ es el tipo de la frecuencia de tipo Diofantino (por ejemplo, $O(N^{-2/3})$ para el tipo acotado como la proporción áurea).

4. Generalización a Potenciales Analíticos
El artículo extiende el límite superior $r(\alpha, V) \leq \gamma_V(z^\star)$ a potenciales cuasiperiódicos reales-analíticos generales $V$.

• Para potenciales simétricos respecto a su máximo (funciones pares), la identidad completa se demuestra incondicionalmente en el régimen localizado.
• Para potenciales asimétricos, la identidad es conjeturada y verificada numéricamente, aunque la prueba requiere superar la falta de un punto crítico estable para el autovalor del borde de la ventana finita.

Significado y Reivindicaciones
El artículo afirma proporcionar una respuesta nítida y exacta a la pregunta de cómo escala el costo de energía con la distancia en la estabilización remota cuasiperiódica.

• Corrección de la Intuición: Demuestra que la tasa de costo no es simplemente la tasa de localización o la caída del resolvente en el punto de operación, sino que está determinada por el exponente de Lyapunov en un punto espectral reflejado. Esto refleja la interacción entre el actuador de frontera y el sitio lejano a través de todo el espectro.
• Rigor Incondicional: Un logro principal es la prueba incondicional para todos los regímenes metálicos y críticos ($0 < \lambda \leq 2$) para todas las fases, eliminando dependencias previas de supuestos de regularidad del borde.
• Perspectiva Estructural: La reducción del costo a una suma positiva de contribuciones de un solo modo libre de cancelaciones revela que el costo de control es un problema extremal impulsado por el modo más favorable localizado en la frontera.
• Verificación Numérica: Los autores proporcionan encierros certificados de escala finita (usando aritmética de intervalos) que confirman las tasas teóricas y la convergencia monotónica a lo largo de escalas de Fibonacci para la proporción áurea.

El artículo concluye que, si bien la identidad se establece plenamente para casi toda fase en el régimen localizado y para todas las fases en los regímenes metálico/crítico, la extensión a cada fase en el régimen localizado sigue siendo un problema abierto, supeditado a demostrar la no ortogonalidad de los datos de frontera al peor eigenvector de la matriz Gram con el condicionamiento más alto para fases excepcionales.