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

Technische Samenvatting: De Kostenrate van Nietlineaire Afstandsstabilisatie op het Aubry–André Rooster

Probleemstelling
Het artikel onderzoekt de exponentiële kostenrate $r(\alpha, \lambda)$ die vereist is om een verre locatie (op afstand $N$) van een eendimensionale quasiperiodieke keten aan te sturen vanaf een enkele actuator aan de rand. Het systeem wordt gemodelleerd door de Aubry–André (bijna Mathieu) operator $H_\lambda$ met een quasiperiodiek potentiaal $\lambda \cos(2\pi\beta j + \phi)$, waarbij $\beta$ een Diophantische frequentie is. Het controleerdoel is het stabiliseren van het systeem met een closed-loop marge $\alpha > 0$. De kosten worden gedefinieerd als de minimale energie $E_N$ die nodig is om de verre locatie aan te sturen, gegeven door de kwadratische vorm $E_N = e_N^\top W_\alpha^{-1} e_N$, waarbij $W_\alpha$ de controleerbaarheid-Gramiaan is van de verschoven operator $A_\alpha = E_0 I - H_\lambda$. De primaire vraag is het identificeren van de spectrale grootheid die de exponentiële groeirate $r(\alpha, \lambda) = \liminf_{N\to\infty} \frac{1}{2N} \log E_N$ bepaalt.

Methodologie
De auteurs maken gebruik van een combinatie van spectrale theorie, controletheorie en dynamische systemen technieken:

1. Eigenbasis Reductie: De kosten $E_N$ worden gereduceerd tot een Cauchy kwadratische vorm $\tilde{b}^\top C^{-1} \tilde{b}$ in de rand-amplitude ratio's $\tilde{b}_k = \psi^{(k)}_N / \psi^{(k)}_1$, waarbij $C$ een Cauchy-matrix is geconstrueerd uit verschoven eigenwaarden.
2. Inverse-vrije Formulering: Met behulp van een Christoffel–Darboux identiteit en eigenschappen van de transfer-cocycle wordt de inverse Gram-matrix geëlimineerd. De kosten worden uitgedrukt als een som van niet-negatieve termen die betrokken zijn bij transfer-matrix elementen en karakteristieke polynomen, specifiek $E_N = \sum_{k,l} |c_k||c_l|/(\delta_k + \delta_l)$.
3. Cocycle en Large-Deviation Analyse: De groeirates worden geanalyseerd via de Lyapunov-exponent $\gamma_\lambda(z)$ van de transfer-cocycle. De auteurs maken gebruik van de Bourgain–Goldstein large-deviation stelling voor het gelokaliseerde regime en de Avila–Jitomirskaya uniforme bounds voor het subkritische (metallische) regime.
4. Potentiaaltheorie: De conditionering van de Cauchy-matrix wordt gekoppeld aan de logaritmische capaciteit van het spectrum en de externe Green-functie $g_{\mathbb{C}\setminus\Sigma_\lambda}(z)$.
5. Arithmetische Resonantie: Het bestaan van specifieke modi die tegelijkertijd nabij de spectrale rand en gelokaliseerd nabij de rand liggen, wordt vastgesteld met behulp van de drie-afstandsstelling voor Diophantische frequenties.

Belangrijkste Bijdragen en Resultaten

1. Identificatie van de Kostenrate
Het artikel identificeert de kostenrate niet als de standaard lokalisatiesrate of de resolvent-verval bij de bandrand, maar als de off-spectrale Lyapunov-exponent bij een gereflecteerde bandrand $z^\star$.

• Gereflecteerde Rand: Gedefinieerd als $z^\star = 2E_{\min} - 2\alpha - E_{\max}$.
• Hoofdigaliteit: De kostenrate wordt gegeven door $r(\alpha, \lambda) = \gamma_\lambda(z^\star)$.
• Bracketing: Over het algemeen wordt de rate vastgezet in een bracket:
  $$g_{\mathbb{C}\setminus\Sigma_\lambda}(z^\star) \leq r(\alpha, \lambda) \leq \gamma_\lambda(z^\star)$$
  De breedte van deze bracket is $\log^+(\lambda/2)$. Voor $\lambda \leq 2$ heeft het spectrum een logaritmische capaciteit $\max(1, \lambda/2)$, waardoor de uiteinden van de bracket samenvallen en de identiteit onvoorwaardelijk wordt.

2. De Metallische en Kritische Regimes ($0 < \lambda \leq 2$)

• Onvoorwaardelijke Identiteit: Voor $0 < \lambda < 2$ (puur absoluut continu spectrum) en $\lambda = 2$ (kritisch zelf-duaal punt) geldt de identiteit $r(\alpha, \lambda) = \gamma_\lambda(z^\star)$ onvoorwaardelijk voor elke fase $\phi$ en elke Diophantische frequentie.
• Mechanisme: Het bewijs berust op de subkritische bijna-reducibiliteit van de cocycle (Avila–Jitomirskaya) en het feit dat bij $\lambda=2$ de Green-functie samenvalt met de Lyapunov-exponent, wat automatische regulariteit van de bandrand garandeert.

3. Het Gelokaliseerde Regime ($\lambda > 2$)

• Bijna Elke Fase: Voor $\lambda > 2$ (pure punt-spectrum met Anderson lokalisatie) geldt de identiteit voor bijna elke fase $\phi$ en elke Diophantische frequentie.
• Condities:
  • Voor sterke koppeling ($\lambda \geq \lambda_1$) is het resultaat onvoorwaardelijk.
  • Voor $2 < \lambda < \lambda_1$ geldt het resultaat onder een polynomiale-prefactor lokalisatie hypothese (PL), die de bekende semi-uniforme lokalisatie bounds versterkt.
• Mechanisme: Het bewijs maakt gebruik van een "boundary-weight" vorm van de kosten-coëfficiënten, waarbij wordt aangetoond dat de kosten worden gedomineerd door een enkele modus die zowel nabij de spectrale rand ($E_k \to E_{\max}$) als gelokaliseerd nabij de rand ($j_k \approx N$) is. Het bestaan van dergelijke modi wordt gegarandeerd door de drie-afstandsstelling toegepast op Diophantische rotaties.
• Convergentierate: De kloof tussen de eindige-omvang rate en de asymptotische limiet wordt begrensd door $O(N^{-2/(2+\tau)})$, waarbij $\tau$ het type van de Diophantische frequentie is (bijv. $O(N^{-2/3})$ voor bounded type zoals de gouden ratio).

4. Generalisatie naar Analytische Potentialen
Het artikel breidt de bovenwaartse bound $r(\alpha, V) \leq \gamma_V(z^\star)$ uit naar algemene reëel-analytische quasiperiodieke potentialen $V$.

• Voor potentialen die symmetrisch zijn rond hun maximum (even functies), wordt de volledige identiteit onvoorwaardelijk bewezen in het gelokaliseerde regime.
• Voor asymmetrische potentialen wordt de identiteit geconjectureerd en numeriek geverifieerd, hoewel het bewijs vereist dat men de afwezigheid van een stabiel kritisch punt voor de finite-window edge eigenvalue overwint.

Betekenis en Claims
Het artikel claimt een scherp, exact antwoord te bieden op de vraag hoe de energiekosten schalen met de afstand in quasiperiodieke remote stabilisatie.

• Correctie van Intuïtie: Het toont aan dat de kostenrate niet simpelweg de lokalisatiesrate of de resolvent-verval bij het operationele punt is, maar wordt bepaald door de Lyapunov-exponent bij een gereflecteerd spectraal punt. Dit weerspiegelt de interactie tussen de actuator aan de rand en de verre locatie door het gehele spectrum heen.
• Onvoorwaardelijke Rigor: Een belangrijke prestatie is het onvoorwaardelijke bewijs voor het gehele metallische en kritische regime ($0 < \lambda \leq 2$) voor alle fasen, waarmee de afhankelijkheid van edge-regularity aannames wordt opgeheven.
• Structureel Inzicht: De reductie van de kosten naar een "cancellation-free" positieve som van single-mode bijdragen onthult dat de controlekosten een extreem probleem zijn dat wordt gedreven door de meest gunstige boundary-gelokaliseerde modus.
• Numerieke Verificatie: De auteurs leveren gecertificeerde finite-scale enclosures (met behulp van interval arithmetic) die de theoretische rates en de monotone convergentie langs Fibonacci-schalen voor de gouden ratio bevestigen.

Het artikel concludeert dat hoewel de identiteit volledig is vastgesteld voor bijna elke fase in het gelokaliseerde regime en voor alle fasen in de metallische/kritische regimes, de uitbreiding naar elke fase in het gelokaliseerde regime een openstaand probleem blijft, afhankelijk van het bewijzen van de niet-orthogonaliteit van de boundary data aan de slechtst geconditioneerde Gram eigenvector voor uitzonderlijke fasen.