Geometric bounds for Steklov and weighted Neumann eigenvalues on Euclidean domains

2026-07-04T00:36:28Z

We obtain sharp upper bounds for the first two nonzero Steklov eigenvalues among bounded domains in Euclidean spaces of dimension $d \geq 7$ under a natural normalization involving volume and boundary measure. These bounds are derived from a characterization of optimal domains and weights for the first two nonzero weighted Neumann eigenvalues. In dimensions $3 \leq d \leq 6$, we obtain strict upper bounds. We further establish strict upper bounds for all higher Steklov eigenvalues on planar simply connected domains with continuous boundary, extending previous results which, beyond the second nonzero eigenvalue, were known only for smooth planar domains.

Localization and unique continuation for the Anderson-Bernoulli model with long-range hopping on $\mathbb{Z}$

2026-07-03T16:33:01Z

In this paper, we study Anderson localization near the spectral edge for the Anderson-Bernoulli model on $\mathbb{Z}$ with long-range hopping. When the hopping has a rational Laurent symbol, a quantitative version of the unique continuation principle can be proved, and localization occurs. For the unique continuation in the general case, we give some counterexamples and prove a weaker result for hopping that decays faster than exponential rate. To the best of our knowledge, this is the first localization result for the long-range Anderson model with pure Bernoulli potentials.

A Sharp Kato-Rosenblum Type Theorem for Unbounded n-Tuples

2026-07-03T16:16:29Z

We prove a generalization for commuting $n$-tuples of unbounded self-adjoint operators and the Lorentz $(n,1)$ ideal,$n \ge 3$, of the Kato-Rosenblum theorem. The result is derived from earlier work for bounded operators [8]. Also, a very weak result for $n=2$ unbounded operators and other additional results are obtained.

First eigenvalue estimates on complete balanced Hermitian manifolds

2026-07-03T13:38:44Z

We establish lower bounds for the first positive eigenvalue of the Laplace--de Rham operator on complete balanced Hermitian manifolds in terms of curvature of the Strominger--Bismut connection. Under a positive lower bound for its holomorphic Ricci curvature, we prove a Lichnerowicz--Obata type estimate and characterize the equality case in the Kähler setting. We also derive Li--Yau and Zhong--Yang type estimates from lower bounds on the same holomorphic Ricci curvature, including estimates under weaker assumptions only along a first eigendirection in the compact case. Finally, under a positive lower bound for the holomorphic sectional curvature of the Strominger--Bismut connection and a torsion-commutator condition along a first eigendirection, we obtain a lower bound for the first eigenvalue. In the compact case, the commutator condition follows from vanishing of the Strominger--Bismut torsion in that eigendirection. These results extend several classical Kähler and Riemannian spectral estimates to the balanced non-Kähler setting.

Higher order Weyl coefficients for the operator curl

2026-07-03T12:41:21Z

We establish refined spectral asymptotics for the operator curl acting on a connected oriented closed Riemannian 3-manifold. We treat positive and negative eigenvalues separately and obtain explicit formulae for the first six global Weyl coefficients. With local Weyl coefficients we compute the first four coefficients as well as the sixth one, and we determine the fifth up to a universal constant. As a consequence, we prove that the eta function of curl (both in its local and global versions) is holomorphic in the complex half-plane $\operatorname{Re}s>-2$. Finally, under appropriate assumptions on the geodesic flow, we improve Bär's asymptotic formulae for the positive and negative counting functions, refining the remainder to $o(λ^2)$.

Generalized Hermite Polynomials and Spectral Degeneracies of a Singular Sextic Oscillator

2026-07-03T07:19:12Z

We study a quasi-exactly solvable singular sextic oscillator and its algebraic spectrum. For a distinguished range of parameters, we prove that the discriminant of the characteristic polynomial of the matrix determining the algebraic spectrum admits a natural factorization into three factors. One of these factors is the square of a generalized Hermite polynomial $H_{m,n}$, whose zeros are poles of a rational solution of the fourth Painlevé equation. Hence, the spectral degeneracies (level crossing points) corresponding to a component of the discriminant locus are in exact correspondence with the zeros of generalized Hermite polynomials, providing an exact Painlevé IV analogue of the Shapiro--Tater asymptotic correspondence originally conjectured for the quartic oscillator and Painlevé II. We also characterize the values of the parameters for which the sextic oscillator admits simultaneously two quasi-polynomial eigenfunctions with opposite exponential behaviour at infinity, and show that this phenomenon is also governed by generalized Hermite polynomials. Our result also yields a new determinantal representation of $H_{m,n}$ as the resultant of the characteristic polynomials of two complementary blocks of the matrix determining the algebraic spectrum.

Trace bounds for limiting operators on rough domains

2026-07-03T06:23:22Z

This work concerns a quantitative form of Landau's eigenvalue theorem for spatio-spectral limiting operators. We isolate a simple mechanism that converts the problem of estimating the distribution of eigenvalues of a limiting operator into the problem of bounding the trace of the difference between the operator and its square. This mechanism allows us to analyze limiting operators for domains with fractal boundaries. When the boundaries have finite perimeter, we recover the expected optimal dependence on the scaling parameter.

A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form

2026-07-02T23:39:38Z

The Connes-van Suijlekom and Connes-Consani-Moscovici truncations of the Weil quadratic form, at a prime cutoff c>1 and frequency band N, produce finite Galerkin matrices whose spectra are the finite-rank window on Weil positivity. We prove two exact finite theorems about this truncation. First, every real even Galerkin coefficient vector v determines, in closed form, a band-limited Guinand-Weil test function g_v whose zero sum over the nontrivial zeros of zeta equals the quadratic value exactly: every value of the truncated form is an exact sum over the zeros. The construction factors through an exact source quotient of dimension 2N+1 and admits a non-collapsing pole-neutral subfamily. Second, beyond the Galerkin band the omitted archimedean tail is a totally positive Cauchy-Stieltjes increment. This yields a two-sided certification rule with an explicit budget B_T ~ (2N+1) rho log(T) / (pi^2 T), where T is the archimedean cutoff and rho = 2 pi / log c: finite-cutoff positivity certifies cutoff-free positivity, a finite-cutoff eigenvalue below -B_T certifies a cutoff-free negative, and a negative eigenvalue in the band [-B_T, 0) certifies nothing. Resolving a spectral scale of 10^-59 at c=100 by brute cutoff would require T of order 10^63; a cutoff-free interval LDL^T factorization resolves it directly. The dictionary is verified over the first 512 zeros of zeta and by three independent computational routes; all scripts and artifacts ship with the paper. The paper makes no Riemann Hypothesis, prime-counting, next-prime, or factoring claim.

The heat trace for domains with curved corners

2026-07-01T22:03:37Z

The heat trace of a planar polygon contains corner terms depending only on the opening angles, while the heat trace of a smooth planar domain contains curvature terms along the boundary. We show that, for curvilinear polygons, these two phenomena first interact at order $t^{1/2}$. We compute this first corner-curvature heat invariant and prove a sharp sign law for its Dirichlet angular factor: its sign is determined solely by whether the corner is convex or reflex. More precisely, we derive the local heat trace expansion through order $t^{1/2}$, for both Dirichlet and Neumann boundary conditions. The new coefficient decomposes into the usual smooth-boundary contribution and a sum of local curved-corner terms, each depending only on the interior angle $α$ and the one-sided limiting curvatures $κ_{\pm}$ of the adjacent arcs. In the Dirichlet case, the curved-corner contribution has the form $C_{1/2}(α,κ_+,κ_-) = c_{1/2}(α)\frac{κ_+ + κ_-}{4\sin(α/2)}$, with $c_{1/2}(α)$ given by an explicit sector heat kernel integral. We determine its sign for every $0<α<2π$. The sign law has a spectral consequence: it gives a new obstruction to a curvilinear polygon being Dirichlet-isospectral to a straight-sided polygon. In particular, every convex curvilinear polygon Dirichlet-isospectral to a straight-sided polygon must itself be straight-sided, removing the assumption of straight corners from the theorem of Enciso and Gómez-Serrano.

Fourier decay of equilibrium states and the Fibonacci Hamiltonian

2026-07-01T17:16:30Z

We show power Fourier decay for equilibrium states of nonlinear, area preserving, smooth Axiom-A diffeomorphisms on surfaces. This implies positivity of the lower Fourier dimension for self-conformal measures under $C^{1+}$ iterated function systems that are factors of hyperbolic diffeomorphisms, which is the first result of this kind in this low-regularity setting. To do so, we use the sum-product phenomenon to reduce Fourier decay to the study of a temporal distance function for a well chosen suspension flow, behaving like a 3-dimensional Axiom A flow, whose mixing properties reflects the nonlinearity of our base dynamics. We then generalize in an Axiom A setting the methods of Tsujii-Zhang, dealing with exponential mixing of three-dimensional Anosov flows arXiv:2006.04293. The nonlinearity condition is generic and can be checked in concrete contexts. To illustrate the applications, we prove two corollaries. We first establish a spectral gap, proving exponential mixing for generic circle extensions over hyperbolic maps on surfaces. As a second application, we prove power Fourier decay for the density of states measure of the Fibonacci Hamiltonian. This implies phase-averaged escape-of-mass estimates, which is the first result of this type in a quasicrystal.

The Ashbaugh--Benguria reciprocal-gap conjecture for Dirichlet eigenvalues

2026-07-01T16:21:39Z

We prove the Ashbaugh--Benguria reciprocal-gap conjecture for the Dirichlet Laplacian in every dimension $N\ge2$. Specifically, if $Ω\subset\mathbb R^N$ is a bounded domain and $$ 0<λ_1(Ω)<λ_2(Ω)\leλ_3(Ω)\le\cdots $$ are its Dirichlet eigenvalues, then $$ \sum_{i=1}^{N} \frac{λ_1(Ω)} {λ_{i+1}(Ω)-λ_1(Ω)} \ge \frac{N}{j_{N/2,1}^2/j_{N/2-1,1}^2-1}, $$ where $j_{μ,1}$ denotes the first positive zero of the Bessel function $J_μ$ of the first kind of order $μ$. We also characterize the equality case: equality holds precisely when $Ω$ agrees with a Euclidean ball up to a set of Sobolev $H^1$-capacity zero. In particular, among bounded Lipschitz domains, equality holds if and only if $Ω$ is a Euclidean ball.

The restricted discrete Fourier transform

2026-06-30T19:55:34Z

We investigate the restriction of the discrete Fourier transform $F_N : L^2(\mathbb{Z}/N \mathbb{Z}) \to L^2(\mathbb{Z}/N \mathbb{Z})$ to the space $\mathcal C_a$ of functions with support on the discrete interval $[-a,a]$, whose transforms are supported inside the same interval. A periodically tridiagonal matrix $J$ on $L^2(\mathbb{Z}/N \mathbb{Z})$ is constructed having the three properties that it commutes with $F_N$, has eigenspaces of dimensions 1 and 2 only, and the span of its eigenspaces of dimension 1 is precisely $\mathcal C_a$. The simple eigenspaces of $J$ provide an orthonormal eigenbasis of the restriction of $F_N$ to $\mathcal C_a$. The dimension 2 eigenspaces of $J$ have canonical basis elements supported on $[-a,a]$ and its complement. These bases give an interpolation formula for reconstructing $f(x)\in L^2(\mathbb{Z}/N\mathbb{Z})$ from the values of $f(x)$ and $\widehat f(x)$ on $[-a,a]$, i.e., an explicit Fourier uniqueness pair interpolation formula. The coefficients of the interpolation formula are expressed in terms of theta functions. The collections of simple eigenvalues of $J$ are proved to be strictly greater than the double eigenvalues. Lastly, we construct an explicit basis of $\mathcal C_a$ having extremal support and leverage it to obtain explicit formulas for eigenfunctions of $F_N$ in $\mathcal C_a$ when $\dim \mathcal C_a \leq 4$.

Random covariance matrices: Universality of local statistics of eigenvalues

2026-06-30T17:43:09Z

We study the eigenvalues of the covariance matrix $\frac{1}{n}M^*M$ of a large rectangular matrix $M=M_{n,p}=(ζ_{ij})_{1\leq i\leq p;1\leq j\leq n}$ whose entries are i.i.d. random variables of mean zero, variance one, and having finite $C_0$th moment for some sufficiently large constant $C_0$. The main result of this paper is a Four Moment theorem for i.i.d. covariance matrices (analogous to the Four Moment theorem for Wigner matrices established by the authors in [Acta Math. (2011) Random matrices: Universality of local eigenvalue statistics] (see also [Comm. Math. Phys. 298 (2010) 549--572])). We can use this theorem together with existing results to establish universality of local statistics of eigenvalues under mild conditions. As a byproduct of our arguments, we also extend our previous results on random Hermitian matrices to the case in which the entries have finite $C_0$th moment rather than exponential decay.

Eigenvalue optimization via a first-variation formula

2026-06-30T15:55:54Z

We compute the Clarke subdifferential of the $k$th eigenvalue functional on the space of self-adjoint operators, obtaining a first-variation formula that remains valid even when the eigenvalue lies at the edge of the essential spectrum. This formula provides an effective tool for describing the structure of critical points in eigenvalue optimization problems and can also yield simple proofs of the existence of optimizers. We illustrate these advantages through applications to the optimization of weighted Laplace and Steklov eigenvalues. In particular, we characterize all optimal weights, thereby answering some open questions posed by Kokarev, and give a short proof that such weights exist.

Ornstein--Uhlenbeck semigroup on rooted trees

2026-06-30T14:20:25Z

We study Ornstein--Uhlenbeck operators on rooted metric trees equipped with a Gaussian-type measure. Using form methods, we construct Dirichlet and Neumann realisations corresponding, respectively, to killing and reflection at the root. The associated semigroups are symmetric, analytic and positivity preserving; the Dirichlet semigroup is sub-Markovian, while the Neumann semigroup is Markovian and admits the Gaussian measure as its unique invariant measure up to scalar multiples. We prove compactness of the resolvent and derive linear eigenvalue asymptotics. For regular rooted trees, we adapt the Naimark--Solomyak decomposition to the Gaussian weighted setting, reducing the operators to one-dimensional half-line problems and obtaining refined spectral localisation and lower bounds.