arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.31464

Pólya's conjecture for Neumann eigenvalues of spherical shells

Yutian Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove the strict Pólya inequality for Neumann eigenvalues of spherical shells in every dimension $d\ge2$, for every radius ratio and every positive energy. The proof also covers balls. For shells, the excess over the leading Weyl term has a positive lower bound depending only on dimension. Above explicit frequency thresholds independent of the radius ratio, we obtain a surplus of boundary order. These estimates remain uniform as the hole shrinks or the shell becomes thin. We compare weighted sampling errors for inverse radial actions while retaining the removed volume exactly. The proof is entirely analytic and requires no computer-assisted verification.

Explore related subjects

math.SPmath.AP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yutian Li. 2026-10-22. Pólya's conjecture for Neumann eigenvalues of spherical shells. https://arxiv.org/abs/2610.31464

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

KEEP EXPLORING

Related papers

arXiv2026

Optimal Hardy weights for the fractional discrete Dirichlet Laplacian on the half-line

For positive powers of the discrete Dirichlet Laplacian $(-Δ_{\mathrm{D}})^σ$, non-trivial Hardy weights exist if and only if $0<σ<3/2$. For $0<σ\leq 1$, an explicit optimal Hardy weight for $(-Δ_{\mathrm{D}})^σ$ was obtained by Das and de la Fuente-Fernández. Their ground state argument does not apply when $1<σ<3/2$, because the off-diagonal matrix entries of $(-Δ_{\mathrm{D}})^σ$ are no longer all non-positive. Nevertheless, we show that their result is true for the entire subcriticality range $0<σ<3/2$. For $1<σ<3/2$, our argument combines the factorisation $$(-Δ_{\mathrm{D}})^σ=\nabla_{\mathrm{D}}^{*}(-Δ_{\mathrm{N}})^{σ-1}\nabla_{\mathrm{D}},$$ where $\nabla_{\mathrm{D}}$ and $-Δ_{\mathrm{N}}$ are the discrete Dirichlet gradient and the discrete Neumann Laplacian, respectively, with a suitable two-term ground state representation. In addition, we use these arguments to derive another explicit family of optimal Hardy weights for any $σ\in(0,3/2)$.

math.SP↗
arXiv2026

Lower bounds on Steklov eigenfunctions for a class of curvilinear polygons

Steklov eigenfunctions, $\{ϕ_{σ_j}\}_{j=0}^\infty$, are the eigenfunctions of the Dirichlet to Neumann map on a bounded domain with eigenvalue $σ_j$. This paper considers Steklov eigenfunctions and eigenvalues on a family of curvilinear polygons, $Ω_α$ whose boundaries are smooth away from a single corner of angle $α$. We (i) prove optimal lower bounds on the decay of the harmonic extension, $u_{σ_j}$, of $ϕ_{σ_j}$ away from the boundary of $Ω_α$ and (ii) give optimal lower bounds on the degree to which the high energy Steklov spectrum of $Ω_α\setminus H_1$ may differ from that of $Ω_α\setminus H_0$ when $H_1$ and $H_0$ are isometric. This shows that the corresponding estimates in recent work by the authors together with Malagutti are optimal. The proof in this paper was obtained through an interaction with ChatGPT 6 Astra: While writing the work with Malagutti, the authors became curious about optimal error bounds for the difference between the Steklov spectra on a curvilinear polygon, $P$, and the spectrum of any operator which knows only local information about $\partial P$. The authors suggested to ChatGPT to remove two isometric, smooth domains from a curvilinear polygon. ChatGPT suggested the ideas for a proof based on a regularized trace and the singularity in the kernel of the DtN map near a corner. The authors then suggested a simpler, conformal approach, the method for handling small angles, and the idea to obtain lower bounds on Steklov eigenfunctions. The paper is entirely written by the authors and the argument has been significantly modified, clarified, and simplified from the ChatGPT ideas.

math.SP↗
arXiv2026

Lenses make many points: Pure point spectrum disproves Simon's $L^2$ conjecture

For every $d\ge2$ and $0\leσ<1/3$, we construct with LLM-assistance a smooth bounded nonnegative lens-type potential $V$ with arbitrarily small $\|V\|_\infty+\int_{\mathbb{R}^d}|x|^{1-d+σ}|V(x)|^2 dx$, such that $-Δ+V$ has only pure point spectrum in $(0,\infty)$. Thus, we show that Barry Simon's $L^2$ conjecture, Problem 8 in "Schrödinger operators in the twenty-first century", is false.

math.SP↗