Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.32443

Improvements of Classical Eigenvalue Inequalities I: Quantitative Hersch-deficit and the Joint Spectral Range on the Two-Sphere

Zuoqin Wang·Qingwei Zeng
View original source ↗Read source document ↗Export metadata ↓

Abstract

For area-$4π$ metrics on the two-sphere, we obtain quantitative refinements of classical eigenvalue inequalities and study the joint behavior of the first two Laplace eigenvalues. We prove a sharp quadratic improvement of Hersch's reciprocal-sum inequality in terms of the first eigenvalue, together with a simultaneous quadratic estimate for the first three eigenvalues and a geometric stability result for admissible measures. We also establish a quantitative refinement of Nadirashvili's second-eigenvalue inequality with sharp exponential scale. Finally, using explicit spectral families due to Petrides, a degree argument, and a refined finite-dimensional matrix method, we obtain nontrivial inner and outer bounds for the joint range of $(λ_1,λ_2)$.

Explore related subjects

math.SP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zuoqin Wang, Qingwei Zeng. 2026-09-26. Improvements of Classical Eigenvalue Inequalities I: Quantitative Hersch-deficit and the Joint Spectral Range on the Two-Sphere. https://arxiv.org/abs/2609.32443

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

KEEP EXPLORING

Related papers

arXiv2026

Geometric rigidity from the Dirichlet-to-Neumann operator

The analytic properties of the Dirichlet-to-Neumann operator reflect the geometry of the underlying manifold. As a guiding example of this relationship, consider the Euclidean unit ball. There, the Dirichlet-to-Neumann operator has an explicitly computable spectrum, consisting of the nonnegative integers with multiplicity, and commutes with the boundary Laplacian. In this paper, we study the extent to which these properties distinguish the ball among various classes of manifolds. We show that, in every dimension, Euclidean balls are uniquely determined by their Steklov spectrum among bounded Euclidean domains with smooth and possibly disconnected boundary, answering a well-known open question. We then classify all smooth compact connected oriented surfaces with nonempty boundary whose Dirichlet-to-Neumann operator commutes with the boundary Laplacian. Finally, in dimensions three and above, we prove that, for smooth metrics conformal to the Euclidean ball, the Dirichlet-to-Neumann operator commutes with the Laplacian on the round sphere if and only if the conformal factor is radial.

math.SP↗
arXiv2026

Discrete Mixed Quantization for Cat Maps

In this paper, we develop a mixed quantization technique for graph vector bundles that combines semiclassical analysis and quantum cat maps. We apply it to study the Kesten--McKay law and quantum ergodicity.

math.SP↗
arXiv2026

Spectral dimensions of Krein-Feller operators in higher dimensions

We study the Dirichlet and Neumann spectral dimensions of Kreĭn-Feller operators associated with finite non-zero Borel measures $ν$ supported in the open $d$-dimensional unit cube, $d\geq2$. The central new ingredient is a monotone dyadic spectral set function $\mathfrak{J}_{ν,a,b}$, whose value on a cube is defined by taking a supremum over all of its dyadic subcubes. This supremum captures the worst local measure-Sobolev embedding scale. The resulting spectral partition function provides a higher-dimensional extension of the $L^{q}$-spectrum, which governs the one-dimensional theory developed in our earlier work. If the lower $L^{\infty}$-dimension of $ν$ is larger than $d-2$, the relevant measure-Sobolev embeddings are compact and the upper Dirichlet and Neumann spectral dimensions coincide with the zero of the spectral partition function. Under an explicit regularity condition on the partition function, both spectral dimensions exist and agree. Below the threshold the form construction fails; at the critical threshold,examples exhibit failure of continuity, continuity without compactness, and compactness with an existing spectral dimension. Applications include absolutely continuous measures, Ahlfors-David regular measures, and self-conformal measures without a separation assumption. In the self-conformal setting the spectral partition function, and hence the spectral dimension, is determined by the $L^{q}$-spectrum. We also derive two-sided eigenvalue-counting bounds for Ahlfors-David regular measures and construct an example for which the spectral dimension does not exist.

math.SP↗