https://arxiv.org/api/4jFcTHO5TWeXXgl6flEwhI2xKaY2026-07-18T22:06:49Z113171515http://arxiv.org/abs/2603.04236v4On the isoperimetric inequality for the first positive Neumann eigenvalue on the sphere2026-07-13T15:11:10ZWe prove that geodesic disks are the unique maximizers of the first positive Neumann eigenvalue among all simply connected domains in $\mathbb S^2$ with prescribed area. We then show that geodesic disks are no longer maximisers for the class of spherical annuli.2026-03-04T16:18:39ZThe paper is an improvement of the previous versionLuigi ProvenzanoAlessandro Savohttp://arxiv.org/abs/2607.11544v1Eigenvalues on spheres2026-07-13T13:32:25ZFor every smooth Riemannian metric on the two sphere whose Gaussian curvature is bounded below by one, we prove that each positive Laplace eigenvalue, counted with multiplicity, is no smaller than the corresponding eigenvalue of the unit round sphere. Equality at any positive position in the ordered spectrum forces the metric to be isometric to the unit round metric.
We further establish a sharp finite spectral counting comparison for Alexandrov two spheres with curvature bounded below by one. At every positive spectral threshold of the unit round sphere, the number of Laplace eigenvalues below or at that threshold, counted with multiplicity, does not exceed the corresponding number for the round sphere. Equality at any such threshold forces the Alexandrov sphere to be isometric to the unit round sphere.
As an application, we obtain the sharp Euclidean dimension bound for spaces of polynomial growth harmonic functions on complete three dimensional manifolds with nonnegative sectional curvature and positive asymptotic volume ratio, together with rigidity in the equality case.2026-07-13T13:32:25ZShengjie LinHaibin WangGuoyi Xuhttp://arxiv.org/abs/2607.11333v1Finding Nearly-Periodic Components in Digraphs and Markov Chains from the Spectrum of Rotated Laplacian Matrices2026-07-13T09:50:54ZInspired by recent advances in notions of spectral approximation of digraphs [Ahm+20], we study spectral algorithms for finding periodic structures in digraphs via the spectrum of a class of rotated Laplacian matrices. This class of Laplacian matrices was previously studied by Lange, Liu, Peyerimhoff, and Post [Lan+15]. We consider a notion of periodicity ratio that generalizes the bipartiteness ratio of Trevisan [Tre09], and show that it is closely related to the spectrum of rotated Laplacian matrices. In particular, if the digraph is strongly connected and represents a Markov chain, this periodicity ratio for a given $p \in \mathbb{N}$ is a quantitative measure of how close this Markov chain is to having periodicity $p$.
We propose and analyze a periodicity-ratio variant of the spectral algorithm by Louis, Raghavendra, Tetali and Vempala [Lou+12]. We show that the algorithm runs in randomized polynomial time and can find many nearly periodic components (i.e, components with small periodicity ratio). This also implies a new higher-order Cheeger-type inequality for periodicity in the spirit of that in [Lou+12; LOT14].
As part of our analysis, we prove a new theorem that upper bounds the probability that the largest magnitudes of two sequences of coordinate-wise correlated complex Gaussian random variables occur at different indices, which may be of independent interest. Previously, an analogous result was known only for real Gaussian random variables.2026-07-13T09:50:54ZSalil VadhanJiyu Zhanghttp://arxiv.org/abs/2606.21965v3Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter2026-07-13T06:47:19ZWe consider a Sturm--Liouville problem in which the spectral parameter appears linearly in one of the boundary conditions. The study focuses on the root functions of the problem, including eigenfunctions and associated functions corresponding to multiple eigenvalues. By employing the characteristic function of the boundary value problem, explicit representations are obtained for the biorthogonal system and for several special associated functions that play a crucial role in the spectral analysis. These representations allow previously established criteria for the basis and minimality properties of the system of root functions to be reformulated directly in terms of the characteristic function and its derivatives at the eigenvalues. As a consequence, the investigation of particular boundary value problems becomes considerably simpler. Several illustrative examples are analyzed to demonstrate the effectiveness of the proposed approach and to show its agreement with known results in the literature.2026-06-20T09:42:03ZYagub N. AliyevNarmin N. Aliyevahttp://arxiv.org/abs/2607.11148v1Spectra of averages of unitary representations of LCA groups2026-07-13T06:40:40ZLet $G$ be a locally compact Abelian (LCA) group with dual group $Γ$, and let $μ$ be a probability measure on (the Borel sets of) $G$. Given a unitary representation $\{U(t): t \in G\}$ in a complex Hilbert space $H$, we study the spectrum of the $μ$-average $V:=\int_G U(t)dμ(t)$ (defined in the strong topology of $H$). We prove that $σ(V) \subset \overline{\hatμ(Γ)}$ and give a sufficient condition for equality.
Using the spectral measure $E(\cdot)$ given by the general Stone theorem, we prove a (weak) spectral mapping theorem for the operators $U(ν):=\int_GU(t)dν(t)$, where $ν$ is any bounded complex measure on $G$.
For a unitary representation of $\mathbb Z$, defined by the powers of a unitary operator $U$, we prove that $σ(V)={\widehatμ}(σ(U))$. For a unitary representation of $\mathbb R$, given as $U(t)={\rm e}^{itB}$ ($t\in\mathbb R$), we show that $σ(V)=\overline{{\widehatμ}(σ(B))}$.2026-07-13T06:40:40ZGuy CohenMichael Linhttp://arxiv.org/abs/2607.10922v1Properties of the Tropical Characteristic Polynomial of Symmetric Matrices2026-07-12T20:55:46ZWe investigate the combinatorial structure of the tropical characteristic polynomial of symmetric matrices using the tropical permanents of their principal submatrices. We establish new inequalities for the leading coefficients of the tropical characteristic polynomial, revealing concavity properties of the coefficient sequence and yielding necessary conditions for a sequence to arise as the coefficient sequence of the tropical characteristic polynomial of a symmetric matrix. These results provide a deeper understanding of the structure of tropical characteristic polynomials associated with symmetric matrices.2026-07-12T20:55:46ZDariush KianiHanieh Tavakolipourhttp://arxiv.org/abs/2607.10769v1Sharp Poincaré Interpolation Along Wasserstein Geodesics2026-07-12T13:51:42ZWe prove a sharp interpolation inequality for the Poincaré constant along quadratic Wasserstein geodesics. Let $μ_i$, $i=0,1$, be $κ_i$-strongly log-concave probability measures on $\mathbb R^n$, and let $(μ_t)_{t\in[0,1]}$ be their optimal displacement interpolation. Then \[ \sqrt{C_P(μ_t)} \leq \frac{1-t}{\sqrt{κ_0}} + \frac{t}{\sqrt{κ_1}}. \] This estimate is optimal for every $t,κ_0,κ_1$, holds for all test functions without symmetry assumptions, and remains valid for extended-valued potentials.
We also characterize equality at an interior time: it holds if and only if the two endpoints split off curvature-saturating Gaussian factors in a common direction. The equality directions form the maximal subspace on which both endpoints have the corresponding Gaussian factors. As a special case, we resolve a question of Aishwarya and Rotem concerning odd functions along optimal interpolations between even strongly log-concave measures.
The proof uses a two-endpoint Bochner method, which is also one of the most important contribution at the methodological level: it converts curvature information available only at the endpoints directly into a sharp spectral estimate along the connecting geodesic, bypassing the generally inaccessible curvature of the intermediate measures.2026-07-12T13:51:42ZBang-Xian HanZhuo-Nan Zhuhttp://arxiv.org/abs/2607.10717v1Separatrix structure and the geometry of reset distributions2026-07-12T11:16:56ZWe study the geometry of reset distributions for absorbed Markov processes with geometric resetting, working at an abstract level that isolates the structural mechanism underlying reset-neutral invariance. We show that the spectral duality endows the simplex of reset distributions with a non-trivial spectral response geometry: the simplex $Δ_{m-1}$ carries a foliation by level sets of the coupling functional $C$, organized around a critical manifold $Σ$ that acts as a global orientation boundary for the reset response. Under four structural conditions (S1)--(S4) on the coupling functional, we establish the existence and explicit characterization of the separatrix $Σ$, derive the invariant value $C^* = 1/(1+\sqrt{K})$, identify a projective structure in the spectral coefficients, and prove a global sign principle in the two-site case. The linear functional $ψ(γ)$ emerges as a global orientation field: numerical evidence suggests $\operatorname{sgn}(\partial_γC) = \operatorname{sgn}\langleπ-π^*,ψ(γ)\rangle$ for all $π\in Δ_{m-1}^\circ$. The biased random walk with multi-site geometric resetting provides a canonical realization. This is the third paper in a program connecting stochastic resetting with spectral theory and information geometry.2026-07-12T11:16:56Z14 pages, 5 figures, 1 tableJuan Antonio Vega cosohttp://arxiv.org/abs/2606.04951v2Pleijel's theorem for a class of degenerate elliptic operators2026-07-12T07:55:24ZWe prove an asymptotic upper bound on the number of nodal domains of eigenfunctions of a class of degenerate elliptic operators. Our proof yields the same constant as in Pleijel's bound for the Dirichlet Laplacian. The operators considered include the Baouendi-Grushin operator and operators with ellipticity degenerating on the boundary.2026-06-03T14:39:25Z34 pages; v2: added assumption n\geq 2 in Theorem 2.1Rupert L. FrankBernard Helfferhttp://arxiv.org/abs/2607.10556v1(Not) hearing where certain triangular drums are struck2026-07-12T04:05:44ZWe investigate whether or not one can hear at what point (up to symmetry) a drum is struck for some special planar triangles. We prove that one can hear where the equilateral and isosceles right triangles are struck. We also prove that the 30-60-90 triangle, surprisingly, has two audibly indistinguishable points. This is the first known topologically connected such example.2026-07-12T04:05:44Z29 pages, 8 figuresTyler DixonAlif MiahNikita SafronovSean SnyderAnatolii VakaryukEmmett Wymanhttp://arxiv.org/abs/2605.29485v2Robustness of Valley-Hall Interface Modes Against Sharp Bending2026-07-11T16:07:33ZIt is well known that band inversion across a straight interface in a periodic medium gives rise to interface modes that are localized near the interface and propagate along it inside the bulk spectral gap. This phenomenon constitutes the key mechanism underlying the valley-Hall effect. In this paper, we address the long-standing problem of the robustness of such interface modes. We prove that, when the interface is bent through an angle of $\frac{2π}{3}$, the interface modes persist for every frequency in the bulk spectral gap where the group velocity is non-vanishing, except for a finite exceptional set. We also show that corner-localized modes, if they occur, can appear only at these exceptional frequencies and have finite multiplicity. To the best of our knowledge, this is the first rigorous mathematical theory of the bending immunity of valley-Hall interface modes.2026-05-28T07:13:34ZHabib AmmariJiayu Qiuhttp://arxiv.org/abs/2607.10108v1Steklov Spectral Geometry for Annular Surfaces: Inverse spectral results and isospectral compactness2026-07-11T04:03:00ZWe 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.2026-07-11T04:03:00ZYujun JinZuoqin Wanghttp://arxiv.org/abs/2606.28650v2The cost rate of nonlinear remote stabilization on the Aubry--André lattice: a reflected off-spectral exponent and the sharp identity for almost every phase2026-07-11T00:26:25ZWe 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$.2026-06-26T23:33:45ZNassim AthmouniNejib BrahmiaAhmed Hachanihttp://arxiv.org/abs/2511.11016v3Bifurcations in Interior Transmission Eigenvalues: Theory and Computation2026-07-10T09:42:39ZThe 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.2025-11-14T07:08:28ZDavide PradoveraAlessandro BorghiLukas PieronekAndreas Kleefeldhttp://arxiv.org/abs/2607.09034v1Upper Bounds for Hessian Matrices of Positive Solutions to Heat Equations on Kähler Manifolds2026-07-10T01:44:22ZWe 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.2026-07-10T01:44:22ZWenshuo ZhaoAnqiang Zhu