an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
New this week
27 papers in math.SP from 6 November to 12 November 2026.
Includes papers cross-listed here; the counts on the field chips are by primary category.
showing 1–25 of 27, newest first RSS
We prove zero $1$-capacity of first-gap collisions for the minimal Liouville spectral Green-response form and its canonical extension. The minimal-form diffusion avoids collisions for every initial law absolutely continuous with respect to the spectral law.
Let $\mathcal{P}$ be a bounded Kleinian circle packing with symmetry group $Γ$, and let $N_{\mathcal{P}}(T)$ denote the number of circles in $\mathcal{P}$ of radius at least $T^{-1}$. We obtain an asymptotic formula for $N_{\mathcal{P}}(T)$ in which the eigenvalues of the Laplace operator below the continuous spectrum contribute a finite sum of main terms, with an error term having the same exponent as in the counting theorem of Lax--Phillips for $Γ$-orbits in $\mathbb H^3$.
We prove that for generic elements in three natural families of Laplace-type differential operators on smooth manifolds, which are equivariant with respect to a finite symmetry group, all the eigenspaces are irreducible representations. In other words, the spectrum of these operators is generically equivariantly simple. The three families of operators with symmetry are Schrödinger operators parametrized by the potential, going back to the work of Wigner, Laplace-Beltrami operators parametrized by invariant Riemannian metrics and conformal Laplacians parametrized by invariant metrics in a given conformal class. The latter two results extend prior work of Zelditch for certain free group actions and resolve, for finite group actions, a well-known open question raised by Guillemin and Yau. Our approach stems from methods developed by Wendl and Doan-Walpuski to address equivariant…
Marwa Nasrallah, Iman Almoustafa
We study a charged quantum particle confined to an annulus and subject to a strong uniform magnetic field. A Dirichlet condition is imposed on the inner boundary and a Robin condition on the outer boundary. We are interested in the number of bound states whose energy lies below the lowest Landau level, the threshold set by the magnetic field in the whole plane. In the semiclassical regime, we derive an asymptotic formula for this number. It shows how the count depends on the geometry of the annulus, through the length and curvature of the outer boundary, and on the strength of the Robin parameter. We treat both the repulsive and the attractive cases of the Robin condition and describe how the attractive case changes the boundary behavior that produces these low-lying states. The proof reduces the problem to an effective one-dimensional model near the outer boundary and relies on…
Zixuan Qiu, Pengshuai Shi, Ruijun Wu
We study how curvature bounds control the Dirac eigenvalues of closed spin manifolds, comparing the positive and negative eigenvalues separately. Within a fixed conformal class and spin structure, pointwise ordering of scalar curvature relative to a metric of negative scalar curvature implies comparison at every nonzero index. On the two-sphere, a holomorphic ladder on the half-canonical bundle proves the corresponding comparison in both directions under a Gaussian curvature bound. On surfaces of higher genus, the same bundle identities propagate comparison from the scalar and spinor levels to higher canonical powers. In the round conformal class on the higher dimensional sphere, a prescribed scalar curvature bound yields an upper bound in absolute value for the first $2^{[n/2]}$ Dirac eigenvalues. When the conformal class varies, we can show that the corresponding comparisons on…
Guowei Dai, Yingxin Sun, Yong Zhang
We prove the Pólya--Szegő buckling conjecture in dimensions $2\le n\le47$: among open sets of prescribed finite volume, a ball minimizes the first clamped buckling eigenvalue. More precisely, we establish the sharp comparison $Λ_1\left(Ω\right)\ge \left(j_{n/2,1}/j_{n/2-1,1}\right)^2 λ_1^{\mathrm D}\left(Ω\right)$, where $λ_1^{\mathrm D}$ is the first Dirichlet eigenvalue and $j_{ν,1}$ is the first positive zero of the Bessel function $J_ν$ of the first kind. The proof extends a radial calibration to all Hessian directions; positive coefficient expansions and logarithmically convex Laplace integrals control the resulting matrix. A Lipschitz construction handles sign changes and arbitrary boundaries. Equality in the volume bound holds precisely for balls modulo sets of zero $H^2$ capacity. We prove that this calibration fails in every dimension $n\ge48$.
We establish an upper bound to the norm of the resolvent of a relativistic version of the non-self-adjoint operator obtained by a dilation analytic transformation of the quantum harmonic oscillator. The estimate implies a decay for large complex energies along rays with angles larger than that of the dilation. In this way we positively answer a question left open in [Proceedings of the Royal Society A 2025].
We consider an $N\times N$ complex Gaussian random band matrix in one dimension with band width of order $W$, in the periodic block form of Yau and Yin. The $N$ sites are split into $n=N/W$ blocks of size $W$ on a ring, and the entries are nonzero only within a block and between adjacent blocks. The conjectured localization--delocalization transition occurs at $W\sim\sqrt N$. We prove quantum unique ergodicity for bulk eigenvectors at every deterministic rank whenever $W^2/N\to\infty$, with no power or logarithmic separation between $W^2$ and $N$. At the threshold $N/W^2\toτ\in(0,\infty)$, we show that the rescaled bulk eigenvalues and the block-mass profiles of their eigenvectors (the probability measures on the circle placing at $k/n$ the squared norm of the eigenvector on block $k$) converge jointly to a unique law. This law is encoded by a random entire function whose zeros give the…
For $d\ge2$, consider the region between two nested spheres of fixed radii, with the inner sphere translated a distance $\varepsilon$ from the outer center. We prove that the first positive eigenvalue of the Steklov problem, with the spectral boundary condition imposed on both spheres, decreases strictly with $\varepsilon$ throughout the noncontact interval. This settles the planar monotonicity conjecture formulated by Nigam and establishes its higher-dimensional counterparts. In dimension two we use a double-center holomorphic expansion and a pair of positive compact coefficient operators. For every $d\ge3$, solid Gegenbauer harmonics yield analogous axisymmetric and transverse operators, with a positive rank-one monopole correction. Weighted angular-mode comparison for $d\ge3$ and a direct matrix comparison for $d=2$ identify the first positive eigenvalue as the unique level-one…
We prove that the acceleration-dependent Hölder exponent $1/(2ω)$ for the integrated density of states is sharp in the supercritical regime. For every positive integer $k$ and every Diophantine frequency, we construct a real even trigonometric polynomial potential of degree $k$ such that, at a spectral edge, the Lyapunov exponent is positive, the acceleration is $k$, and the exact local Hölder exponent is $1/(2k)$. In particular, the $1/2$-Hölder regularity of the subcritical regime for Diophantine frequencies does not hold in general in the supercritical regime. The proof uses Aubry duality and a KAM iteration that adjusts the potential coefficients to make the dual cocycle reducible to a principal unipotent matrix. A comparison with an explicit reference family and symplectic block diagonalization then reduce the IDS estimate to a two-dimensional rotation-number estimate.
Alex Czemerinski, Jonathan Nunes, Sergei V. Shabanov
We consider a class of regularizations $\{δ_\varepsilon\}$ of the Dirac delta defined by a uniform $L^1$ bound, the normalization $\intδ_\varepsilon\to1$, and a truncated first-moment condition, with no restriction on sign, shape, support, or scaling. For this class we prove that the transmission and reflection coefficients for the Hamiltonian operator $H_\varepsilon=-\frac{d^2}{dx^2}-λδ_\varepsilon$ at fixed energy converge to those of the delta interaction. Under the additional assumption that each $δ_\varepsilon$ is bounded, we show that any family of negative eigenvalues of $H_\varepsilon$ bounded away from zero converges to $-λ^2/4$ when $λ>0$, and that no such family exists when $λ<0$. Both convergences are obtained with an explicit rate, expressed through two integrals of $δ_\varepsilon$, directly computable for a given regularization. The bound-state convergence follows from the…
We study how detuning and absorption determine the strength and spatial extent of anomalous localised resonance in a two-dimensional quasistatic coated structure with shell permittivity $-1+c\ell^p+i\ell$, where $\ell>0$ is the loss and $c\ne0$, $p>0$ are fixed. Detuning can carry the material path through narrow resonances, producing intermittent rather than sustained power growth. For an explicit family of noncircular shells and a smooth exterior dipole source, both fixed, we classify the dissipated power under a quantitative smallness condition on the deformation. Depending on the detuning exponent and conformal source distance, the power diverges along the entire path, exhibits divergent peaks with vanishing gaps, or decays, including the threshold cases. We also identify the sharp conformal boundary beyond which the field, normalized by the square root of the dissipated power…
We prove the strict shifted Dirichlet Pólya inequality \[ λ_k(B_R)>\frac{(d-1)^2κ^2}{4}+4π^2\left(\frac{k}{ω_d\operatorname{Vol}_κ(B_R)}\right)^{2/d},\qquad k\ge1, \] for every geodesic ball $B_R$ in hyperbolic space of constant sectional curvature $-κ^2$, in every dimension $d\ge2$. As a consequence, we obtain the shifted Berezin--Li--Yau type inequality for hyperbolic balls, thereby providing a concrete family of domains satisfying both conjectures proposed by Laptev in 2023. For arbitrary nonempty open subsets $Ω\subset\mathbb{H}^d_κ$ of finite volume, we establish the weak Berezin--Li--Yau type inequality \[ \sum_{j=1}^{m}λ_j(Ω)\ge a_{d,κ}m+\frac{d}{d+2}\,4π^2\left(\frac{m}{ω_d\operatorname{Vol}_κ(Ω)}\right)^{2/d}m,\qquad m\ge1, \] with the optimal leading coefficient, where $a_{2,κ}=κ^2/4$ and $a_{d,κ}=d(d-1)κ^2/6$ for $d\ge3$. We also establish the global two-sided estimate for…
Eunseong Bae, Wolfgang Polonik
Under i.i.d. uniform sampling from a closed Riemannian manifold embedded in Euclidean space, we derive first-order asymptotic expansions for the eigenvalues and eigenvectors of symmetrically normalized graph Laplacians constructed via Gaussian kernels and provide concentration inequalities for the remainder terms. As a direct consequence, we establish the corresponding weak convergence results. Unlike most related works, our analysis does not impose a multiplicity-one assumption on the eigenvalues, thereby extending the applicability of the framework to general manifolds with potentially nontrivial eigenvalue multiplicities.
Xin-Jian Xu, Chuan-Fu Yang, Natalia Bondarenko +1 more
For the regular Sturm-Liouville operator $-\frac{{\rm d}^2}{{\rm d}x^2}+q$ acting in $L^2(0,1)$, the Hochstadt-Lieberman theorem states that one full spectrum together with the potential on either the left half-interval $q|_{(0,1/2)}$ or the right half-interval $q|_{(1/2,1)}$ uniquely determines the full potential $q$. The inverse-square singular term $\tfrac{l(l+1)}{x^2}$ in the perturbed Bessel operator $-\frac{{\rm d}^2}{{\rm d}x^2}+\frac{l(l+1)}{x^2}+q$, acting in $L^2(0,1)$, breaks the left-right symmetry. It is known that, when the right half of the potential $q|_{(1/2,1)}$ is given, the uniqueness of the potential can be established even if a finite number of eigenvalues (depending on $l$) are omitted. In this paper we study the opposite setting--where the left half potential $q|_{(0,1/2)}$ is known--and show that one full spectrum together with finitely many norming constants…
Lingrui Ge, Svetlana Jitomirskaya, Jiangong You
We solve the ten martini problem for the positive-Lyapunov part of the spectrum of any nonconstant real analytic one-frequency Schrödinger operator. The proof uses the intrinsic symplectic structure of the dual center of Ge--Jitomirskaya [28] and extends the Kotani--almost-reducibility strategy of Ge--Jitomirskaya--You [30] from two-dimensional centers to arbitrary finite center dimension.
Guowei Dai, Yingxin Sun, Yong Zhang
In 1999, Ashbaugh formulated the conjecture that the ball maximizes the ratio of the first two clamped buckling eigenvalues among bounded domains in Euclidean space. We disprove this conjecture in every dimension $d\ge2$ by constructing smooth connected domains with finitely many interior holes. The key observation is that a zero-value constraint on a concentric sphere close to the boundary of a ball increases the first two eigenvalues by the same relative amount to first order, whereas their ratio increases strictly at second order. A quantitative surface penalty and logarithmic cutoffs transfer this strict inequality to smooth perforated domains. The construction gives explicit geometric parameters depending only on the dimension \(d\).
We study the subellipticity of the analytically deformed Kramers-Fokker-Planck operator and give two definitions of resonances, one based on analytic dilation and the other on analytic distortion in the $x$-variables. Due to the failure of global subellipticity of the distorted operator in dimensions $n \geq 2$, the second method can only be used in dimension one. We show that, whenever both methods are applicable, they give rise to the same set of resonances. We also prove that, when $|\na V(x)| = O(\w x^{-ρ})$ with $ρ>1$, positive resonances are embedded eigenvalues and/or scattering resonances whose resonant states belong to weighted $L^2$-spaces and satisfy an outgoing radiation condition.
We prove Rayleigh's conjecture for the clamped plate in dimensions four and five. In fact, we obtain a sharp comparison with the first Dirichlet eigenvalue: on every open set of finite positive measure, the first plate eigenvalue is at least the square of the Dirichlet eigenvalue multiplied by the ratio attained on a ball. The proof uses a homogeneous transformation of a trial function and its gradient. Two divergence identities reduce the comparison to positivity of a quadratic form in the Hessian. We establish the required Bessel inequalities by rational estimates for entire profiles and their remainders. An exact defect identity accounts for regular nodal sets, so the argument allows trial functions of either sign and imposes no boundary regularity. The domains may be disconnected or unbounded. We characterize equality up to sets of zero Sobolev capacity. We also obtain quantitative…
We analyze the spectrum of quantum square lattice graph exposed to a homogeneous magnetic field with a rational flux through plaquette, assuming all nontrivial cases of the vertex coupling which is circulant and scale-invariant, with a particular attention to those of them that give rise to a dynamics violating the time reversal invariance. Except for two cases with partially decoupled edges, the remaining twelve split into two spectral classes; the second one offers a hitherto unknown butterfly pattern.
The Fast Tree Transform is a locally-aggregated transform defined for arbitrary graph geometries that generalizes both the Hadamard frequency transform and the Haar wavelet transform on the circle. The pure frequency part of the transform approximately diagonalizes the graph Laplacian; this fact makes it useful as a preconditioner in geometric optimization problems. The full transform provides an only slightly-redundant representation of signals on the graph that allows sparse representation of signals that include both edges and textures.
We study the one-dimensional block Anderson model with independent $W\times W$ Gaussian unitary ensemble potentials and deterministic nearest-neighbor hopping, with hopping-to-disorder ratio $g$. The system consists of $L$ blocks, with total dimension $N=WL$. As $W\to\infty$, we identify the bulk localization length, up to an arbitrarily small power of $W$, with $\min\{N,\max\{W,W^2g^2\}\}$, uniformly for deterministic couplings $g\ge0$ and cycle lengths $L\ge3$. For every fixed $D>0$ and all sufficiently large $W$, the expected fraction of eigenvectors in the selected energy interval satisfying these bounds is at least $1-W^{-D}$. In polynomial volume the bounds hold simultaneously for all eigenvectors in that interval with probability at least $1-W^{-D}$. The localization length is the number of coordinates in the shortest cyclic interval containing at least half of an eigenvector's…
Magnus Goffeng, Johan Helsing, Mikael Sundqvist
Motivated by a question of Grigori Rozenblum, we study how the geometry of the boundary of a convex domain $Ω\subset\mathbb{R}^3$ affects whether the Neumann--Poincaré operator on $\partialΩ$ has negative eigenvalues. First, we show that a flat face on the boundary of a bounded, convex Lipschitz domain produces an infinite-dimensional negative spectral subspace. For convex domains with $C^{1,α}$ boundary, we bound the number of negative eigenvalues from below by the Dirichlet eigenvalue counting function of a projected patch over which the chords are sufficiently short. A Rellich identity gives a sufficient condition on a defining function to exclude negative eigenvalues. We also report numerical computations, which led us to the theoretical results.
Joris Kirchner, Martina Vittorietti
Persistent homology (PH) summarizes the topological features of data that persist across scales, but it is insensitive to many geometric properties. Persistent Laplacians (PLs) address this limitation: for a pair of simplicial complexes in a filtration, the kernel of the persistent Laplacian recovers the persistent Betti number, while its non-zero spectrum carries additional geometric information. However, PLs are defined for individual pairs of filtration values, so analysing a whole filtration requires evaluating many operators that largely contain the same information, and the result is hard to summarize and interpret. In this paper, we show that this redundancy has a precise structure. For each pair of filtration values, we decompose the space of chains underlying the persistent up-Laplacian into the contributions inherited from the neighboring pairs and a remaining part, which we…
Stieltjes's conjecture on Legendre polynomials asserts that no two distinct Legendre polynomials can share a nonzero root. This question is, surprisingly, connected to a number of disparate mathematical areas. From the point of view of spectral geometry, this question concerns zero-sets of spherical harmonics. A disk counterpart to the conjecture is a famous theorem of Siegel on nonexistence of nonzero common roots of Bessel functions, proved using transcendence theory. A weak version of the conjecture is implied by the dynamical Mordell--Lang conjecture. We prove, using a $2$-adic analytic approach à la Skolem, that for a root $α\neq 0$ of $P_l$ the set $\{n\in \mathbb{N}:\ P_n(α)=0\}$ has cardinality at most $2l$. In particular, this set is finite.