Search arXivSearch

arXiv · 2606.28650

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

Abstract

We study the exponential rate $r(α,λ)$ of the energy $\mathcal{E}_N$ needed to steer a far site, at distance $N$, of an Aubry--André chain $H_λ$ via one boundary actuator with closed-loop margin $α$. An exact eigenbasis reduction writes $\mathcal{E}_N$ as a Cauchy quadratic form $\tilde b^\top C^{-1}\tilde b$ in the boundary-amplitude ratios, whose rate is the off-spectral Lyapunov exponent of the transfer cocycle at the reflected band edge $z^\star=2E_{\min}-2α-E_{\max}$, giving $r(α,λ)=γ_λ(z^\star)$. The rate lies in a bracket of width $\log_+(λ/2)$ whose ends coincide for $λ\le2$, the spectrum having logarithmic capacity $\max(1,λ/2)$. We prove the identity unconditionally, for every phase, on the whole metallic--critical range $0<λ\le2$: for $λ<2$ through subcritical almost reducibility as the sole external input, and at $λ=2$ because the Green's function there equals the Lyapunov exponent. For $λ>2$ the upper bound is unconditional, and the lower bound takes localization as its only external input: an inverse-free cocycle form makes $\mathcal{E}_N$ a cancellation-free positive sum, and a Christoffel--Darboux identity collapses its coefficients to $|c_k|=Q(δ_k)(\hatψ^{(k)}_N)^2$, where band-edge near-degeneracies cancel. With a three-distance lemma this yields $r=γ_λ(z^\star)$ at every Diophantine frequency and almost every phase, with gap $O(N^{-2/(2+τ)})$ for type $τ$ ($N^{-2/3}$ at bounded type), unconditionally for $λ\geλ_1$ and under a polynomial-prefactor localization hypothesis for $2<λ<λ_1$. The relative gap $1-r/γ_λ(z^\star)$ vanishes at both ends of the localized phase, with $g_{\mathbb{C}\setminusΣ_λ}(z^\star)\to\operatorname{arccosh}3$ as $λ\to\infty$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nassim Athmouni, Nejib Brahmia, Ahmed Hachani. 2026-07-11. 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. https://arxiv.org/abs/2606.28650

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Dirichlet--Neumann bracketing for nonlocal operators

We establish Dirichlet--Neumann bracketing for the Dirichlet eigenvalues of $ψ(-Δ)$ on bounded Lipschitz domains, where $ψ$ is an arbitrary complete Bernstein function. The eigenvalues lie between $ψ$ applied to the corresponding Neumann and Dirichlet eigenvalues of the Laplacian. Both inequalities are strict whenever $ψ$ admits no meromorphic continuation to $\mathbb C \setminus \{0\}$. The proof uses quadratic forms, operator monotonicity, and an analysis of equality in resolvent comparisons. Applying the bracketing to intervals and balls gives a unified proof of simplicity of interval eigenvalues and antisymmetry of second eigenfunctions in balls under the same condition on $ψ$. For fractional powers, these recover results of Fall, Ghimenti, Micheletti and Pistoia for the interval, and of Fall, Feulefack, Temgoua and Weth and, independently, Benedikt, Bobkov, Dhara and Girg for the ball. The argument extends these conclusions to a broader class of nonlocal operators.

math.SP

New matrix perturbation bounds with relative strength: Perturbation of eigenspaces

Matrix perturbation bounds (such as Weyl and Davis--Kahan) are used abundantly in many areas of mathematics and data science. Many bounds (such as the above two) involve the spectral norm of the noise matrix and are sharp in worst-case analysis. In order to refine these classical bounds, we introduce a new parameter, which we refer to as the relative strength. This parameter measures the strength of the action of the noise matrix on the relevant eigenvectors of the ground matrix. It has turned out that in a number of situations, we can use the relative strength as a replacement for the spectral norm (which can be seen as the absolute strength). This has led to a number of notable improvements under certain sets of assumptions, which are frequently met in practice. A representative example is the case when the noise matrix is random. For the purpose of our study, we introduce a new method of analysis, which combines the classical contour integral argument with new (combinatorial) ideas. This method is robust and of independent interest. In the current paper, we focus on the perturbation of eigenspaces (Davis--Kahan type results). Perturbation bounds for eigenspaces are essential in statistics and theoretical computer science, and thus deserve a special treatment. Furthermore, this will lay the ground for the more technical treatment of general matrix functionals, which appears in a future paper.

math.SP

One-dimensional optimisation of indefinite-weight principal eigenvalues with asymmetric Robin parameters and a Schrödinger-type perturbation

We study the minimisation of the positive principal eigenvalue for an indefinite-weight problem with asymmetric Robin parameters. The model is motivated by diffusive logistic equations in spatially heterogeneous environments, where the weight describes allocatable favourable resources and the Robin parameters measure boundary loss. After recalling the variational setting and the bang--bang reduction, we analyse the one-dimensional optimisation problem: the optimal favourable set is an interval, and the placement problem is reduced to a branchwise criterion. The key analytical tool is a shape-derivative formula for $a\mapstoλ(a)$, which shows that interior candidates are characterised by equality of the endpoint values of the positive eigenfunction, equivalently by the coupled transfer-matrix equations $f=0$ and $g=0$. We also introduce a Schrödinger-type extension with a fixed nonnegative background potential. In the coercive case we establish the corresponding principal-eigenvalue and bang--bang results, and in one dimension with constant potential we prove a compactness-type stability result showing that minimisers for small background potential converge, along subsequences, to minimisers of the unperturbed problem. No placement classification is claimed for general positive background potential. The computations are presented as numerical illustrations generated with an adaptive root-search protocol.

math.SP