Steklov Spectral Geometry for Annular Surfaces: Inverse spectral results and isospectral compactness

2026-07-11T04:03:00Z

We study the inverse spectral problems for the Steklov spectrum on compact surfaces with boundary. We prove that among flat annular surfaces, the lateral surface of a conical frustum is uniquely determined by its Steklov spectrum. As a consequence, each circular annulus is uniquely determined among all planar domains, providing the first example of a non-simply connected Euclidean domain with this property. Furthermore, we show that any family of Steklov isospectral flat annular surfaces is compact in the $C^\infty$ topology, extending previous results for simply connected planar domains. These results are established through a detailed analysis of the spectral zeta function and the zeta-regularized determinant associated with the Dirichlet-to-Neumann operator for annular surfaces.

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

2026-07-11T00:26:25Z

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$.

Bifurcations in Interior Transmission Eigenvalues: Theory and Computation

2026-07-10T09:42:39Z

The interior transmission eigenvalue problem (ITP) plays a central role in inverse scattering theory and in the spectral analysis of inhomogeneous media. Despite its smooth dependence on the refractive index at the PDE level, the corresponding spectral map from material parameters to eigenpairs may exhibit non-smooth or bifurcating behavior. In this work, we develop a theoretical framework identifying sufficient conditions for such non-smooth spectral behavior in the ITP on general domains. We further specialize our analysis to some radially symmetric geometries, enabling a more precise characterization of bifurcations in the spectrum. Computationally, we formulate the ITP as a parametric, discrete, nonlinear eigenproblem and use a match-based adaptive contour eigensolver to accurately and efficiently track eigenvalue trajectories under parameter variation. Numerical experiments confirm the theoretical predictions and reveal novel non-smooth spectral effects.

Upper Bounds for Hessian Matrices of Positive Solutions to Heat Equations on Kähler Manifolds

2026-07-10T01:44:22Z

We prove global and local upper bounds for the Hessian matrices of positive solutions to the heat equation on Kähler manifolds whose bisectional curvature is bounded from below. We also improve a result of Han and Zhang by weakening the curvature assumptions in their Hessian estimates on Riemannian manifolds. More precisely, we extend their global and local upper bounds, originally obtained under two-sided curvature bounds, to Riemannian manifolds with sectional curvature bounded from below.

Spectral Stability of Pseudoinverse-Based Extreme Learning Machine

2026-07-09T15:15:25Z

Extreme Learning Machine (ELM) computes output weights analytically using the Moore-Penrose pseudoinverse. Although this leads to fast training, its numerical stability depends strongly on the conditioning of the hidden layer matrix. This paper studies pseudoinverse-based ELM from a spectral perspective. We show that the smallest singular value governs perturbation amplification in the output weights, while the condition number provides a quantitative measure of hidden-layer instability. We compare SVD-based pseudoinverse computation with iterative hyperpower methods and discuss width-dependent conditioning through a random feature interpretation. Experiments on synthetic matrices and ELM benchmarks show that SVD-based methods remain the most reliable under ill conditioning, while iterative methods are more sensitive to spectral properties. The results suggest that ELM stability is fundamentally governed by the singular value structure of the hidden layer matrix.

Multifractality of Semiclassical Measures on Star Graphs

2026-07-09T13:55:27Z

We study eigenfunctions of quantum star graphs in the large edge number limit through the edge-mass distributions associated with their semiclassical measures. For generic edge lengths, we show that these distributions can realize every admissible multifractal scaling law along suitable subsequences of eigenvalues. We also prove a constructive result for quasi-equilateral star graphs. Starting from prescribed probability measures, we construct graphs and locate eigenvalues inside spectral clusters whose eigenfunctions reproduce the same scaling behavior. These results show that quantum star graphs form an explicit model realizing the full range of admissible multifractal behavior between localization and equidistribution.

The Dry Ten Martini Problem for Sturmian Hamiltonians

2026-07-09T13:09:20Z

The dry ten Martini problem for Sturmian Hamiltonians is solved. Concretely, we prove that all the predicted spectral gaps "are there" for all the Schrödinger operators with Sturmian potentials and non-vanishing coupling constant. A key approach towards the solution is a representation of the spectrum as the boundary of an infinite tree. This tree is constructed using periodic approximations and encodes substantial spectral characteristics.

Approximate eigenfunctions for some aperiodic crystals

2026-07-09T10:03:51Z

In this paper, we consider Hamiltonians for aperiodic crystals of the form \begin{align*} H_\varepsilon:=T(-i\nabla_x+{\mathbf A}(x,\varepsilon x))+V(x,\varepsilon x),\qquad x\in {\mathbb R}^d \end{align*} where $T$ represents either a Dirac operators or a Schrödinger operator, and $x\mapsto {\mathbf A}(x,X)$ and $x\mapsto V(x,X)$ are $\mathbb L$-periodic with respect to some lattice $\mathbb L\subset{\mathbb R}^d$. Let \begin{align*} (k,X)\ni {\mathbb R}^d\times {\mathbb R}^d\mapsto h(k,X):=T(-i\nabla_x+k+{\mathbf A}(x,X))+V(x,X) \end{align*} be a family of operators acting on $L^2_{\rm per}(\mathbb{R}^d/\mathbb{L})$ with periodic boundary conditions. We show that, under some suitable assumptions on the family of operators $ (h(k,X))_{k,X}$ around an energy level $e_0\in {\mathbb R}$ and some points $(k_0,X_0)\in {\mathbb R}^d\times {\mathbb R}^d$, one can construct localized approximate eigenfunctions $Φ_\varepsilon\in L^2({\mathbb R}^d)$ of the operator $H_\varepsilon$ such that for $\varepsilon$ small enough and for some $m\in \{1,2\}$ and $μ\in {\mathbb R}$, \begin{align}\label{eq:abstract} \|(H_\varepsilon-e_0-\varepsilon^{\frac{m}{2}}μ)Φ_\varepsilon\|_{L^2({\mathbb R}^d)}={\mathcal O}(\varepsilon^{\frac{m}{2}+\frac{1}{4}}). \end{align} with \begin{align*} \|Φ_\varepsilon\|_{L^2({\mathbb R}^d)}=\frac{1}{|{\mathbb R}^d/\mathbb L|^{1/2}}+{\mathcal O}(\sqrt{\varepsilon}). \end{align*}

Essential spectrum for Brox-type diffusion processes

2026-07-08T13:42:27Z

This paper investigates the essential spectrum and compactness property of Markov semigroups generated by multi-dimensional Brox diffusion processes under two types of random media: stationary Gaussian random fields and semi-selfsimilar Lévy random fields. For Gaussian environments satisfying general stationary covariance growth conditions, we prove that the associated semigroup is almost surely noncompact; if the covariance function grows sublinearly at infinity, then the bottom of the essential spectrum vanishes almost surely, with fractional Brownian fields as a concrete example. For multi-dimensional semi-selfsimilar Lévy environments with scaling index $α\in(1,2)$, we show that the essential spectral bottom equals zero almost surely for arbitrary space dimension $d\ge1$, and the same conclusion holds for one-dimensional symmetric $α$-stable Lévy processes with any $α\in(0,2)$. Furthermore, we study one-dimensional diffusion operators perturbed by random Lévy drift. When $0<δ\le 1/α$, random environmental fluctuations can destroy the compactness of semigroups induced by deterministic power-law potentials $\pm|x|^δ$, even if the unperturbed semigroup is compact. The analysis relies on almost sure volume growth estimates for the random reference measure induced by environmental potentials, sample path asymptotics of random fields, ergodic theory of scaling transforms, and spectral criteria for regular Dirichlet forms. A unified framework linking sample path behaviors of random potentials to spectral characteristics of diffusion semigroups is established, and several open problems for large potential exponents are stated.

Semiclassical Schrödinger operators with purely imaginary potential

2026-07-08T11:43:00Z

We consider Schrödinger operators with purely imaginary potential $P = - h^{2} Δ+ i V ( x )$ on a bounded domain. Assuming that near its critical points the potential $V$ can be approximated by an homogeneous polynomial, we show that in the limit $h \to 0$ the leftmost eigenvalues of $P$ are asymptotically given by the local model associated to the most degenerated critical points of $V$. We give applications of this result to the associated evolution problem including shear flows in fluid mechanics.

A note on the first variation of the total mass

2026-07-08T07:27:40Z

In this paper, we establish a proof for the first variation formula of the total mass within the $L_p$ framework. Our main result removes an extra restrictive determinant condition imposed in a theorem originally proved by Fang,Xing and Ye

Faber Krahn inequality of Robin eigenvalue of the Weighted Laplacian

2026-07-08T03:16:39Z

In this paper, we prove two Faber-Krahn-type inequalities for the first eigenvalue of the weighted Laplacian with Robin boundary conditions on $\mathbb{R}^{n}$ and $\mathbb{H}^{n}$. In both settings, the optimal domain is shown to be a ball centered at the origin.

Complete hierarchical structure of the spectral bands in the Kohmoto model

2026-07-07T14:57:31Z

We study the Kohmoto model, a family of discrete Schrödinger operators with Sturmian potentials depending on a frequency and a coupling constant. We prove that, for all non-vanishing coupling constants, all spectral bands admit a hierarchical structure. This structure offers a variety of applications, including a detailed description of the Kohmoto butterfly and a central step towards the resolution of the dry ten Martini problem for Sturmian Hamiltonians, which we carry out in a subsequent work.

Bass notes of random hyperbolic surfaces of large genus

2026-07-07T14:27:15Z

This is a Séminaire Bourbaki survey on spectral gaps of random hyperbolic surfaces. The first part of the text is a brief survey on the geometry and spectra of random hyperbolic surfaces. After this, we discuss the results by Hide-Magee, Anantharaman-Monk and Hide-Macera-Thomas on near optimal spectral gaps for random surfaces.

Spectral-gauge cuts for semidefinite programming

2026-07-07T07:37:52Z

We use symmetric gauge theory to develop a general class of cutting-plane algorithms for semidefinite programming. We formulate a separation problem based on spectral normalizations induced by gauges and derive a closed-form separation oracle. This oracle yields an implementable cut-generation procedure that, by varying the gauge, recovers standard cut families and generates new ones with tunable spectral structure. We embed the oracle within Kelley's method and characterize convergence as a function of the chosen gauge and initial conic relaxation. Numerical experiments on small and large instances of box-constrained quadratic programming and sparse principal component analysis illustrate the versatility and performance of the proposed framework.