SearcharxivSearch

arXiv subjects

Nejib Brahmia

Publications and source records attributed to Nejib Brahmia.

2 recordsLinked to original sources

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

We study the exponential rate $r(\alpha,\lambda)$ of the energy $\mathcal{E}_N$ needed to steer a far site, at distance $N$, of an Aubry--Andr\'e chain $H_\lambda$ via one boundary actuator with closed-loop margin $\alpha$. 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\alpha-E_{\max}$, giving $r(\alpha,\lambda)=\gamma_\lambda(z^\star)$. The rate lies in a bracket of width $\log_+(\lambda/2)$ whose ends coincide for $\lambda\le2$, the spectrum having logarithmic capacity $\max(1,\lambda/2)$. We prove the identity unconditionally, for every phase, on the whole metallic--critical range $0<\lambda\le2$: for $\lambda<2$ through subcritical almost reducibility as the sole external input, and at $\lambda=2$ because the Green's function there equals the Lyapunov exponent. For $\lambda>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(\delta_k)(\hat\psi^{(k)}_N)^2$, where band-edge near-degeneracies cancel. With a three-distance lemma this yields $r=\gamma_\lambda(z^\star)$ at every Diophantine frequency and almost every phase, with gap $O(N^{-2/(2+\tau)})$ for type $\tau$ ($N^{-2/3}$ at bounded type), unconditionally for $\lambda\ge\lambda_1$ and under a polynomial-prefactor localization hypothesis for $2<\lambda<\lambda_1$. The relative gap $1-r/\gamma_\lambda(z^\star)$ vanishes at both ends of the localized phase, with $g_{\mathbb{C}\setminus\Sigma_\lambda}(z^\star)\to\operatorname{arccosh}3$ as $\lambda\to\infty$.

math.SP

Operator-Norm Transfer and Cohomological Rigidity for Quaternionic Quasi-Lie Structures with Application to Sliding Mode $\beta$-Exponential Stability

We develop operator-theoretic and cohomological tools for quaternionic quasi-Lie structures, with sliding mode control as a motivating application. Three main results are established. First, an exact operator-norm transfer under the quaternionic anti-isomorphism $a \mapsto \bar{a}$, which enables quantitative bounds from~\cite{Athmouni2026} to transfer between left- and right-module conventions with no constant factor. Second, a transcription of the cohomological rigidity result of~\cite{Athmouni2026} into a form usable here: in the homogeneous case, under a local cohomological non-obstruction hypothesis, an explicit bilinear correction $\Omega$ produces a bracket satisfying the Jacobi identity exactly on a ball of admissible radius, with all quantitative constants expressed through $C_{2}$ and the admissible radius. Third, the projected Jacobi defect is shown to satisfy a generalized one-sided Lipschitz condition with computable constants, obtained via a uniform-selection argument handling state-dependence of the measurable selection. As an application, we develop a robust control framework with a cohomological matching condition replacing pointwise verification: an integral sliding surface yields $\beta$-exponential stability via an iterative linear matrix inequality (LMI) scheme. The work is purely analytical; closed-loop numerical simulations for multidimensional systems are deferred to a companion paper. The framework is restricted to the homogeneous quasi-Lie case; the Sobolev extension is conjectural, and algorithm termination is established conditionally on sufficient continuity assumptions on the LMI solution map.

math.OC