Searcharxiv⌕ Search

arXiv · 2609.33957

Off-diagonal bounds for spectral projector kernels

Abstract

We study the growth of the spectral function of the Laplace-Beltrami operator on a Riemannian manifold $M$ of dimension $n$. For $n\geq 3$ we show that for any $x\in M$ there is a full measure subset $Z_x\subset M$ such that for all $y\in Z_x$ \[E_Λ(x,y) = O_{M,x,y,\varepsilon}(Λ^{n/2}(\logΛ)^{3/2}(\log\logΛ)^{1/2+\varepsilon}). \] For $n=2$ we prove a stronger statement. For any $x\in M$ there is a full measure subset $Z_x\subset M$ such that for all $y\in Z_x$ \[E_Λ(x,y) = O_{M,x,y,\varepsilon}(Λ^{5/6}(\logΛ)^{1/6}(\log\logΛ)^{1/6+\varepsilon}) .\]

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Panagiotis Dimakis. 2026-09-27. Off-diagonal bounds for spectral projector kernels. https://arxiv.org/abs/2609.33957

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

KEEP EXPLORING

Related papers

Eigenvalue optimization in higher dimensions and $p$-harmonic maps

We prove existence results for optimization problems for the $k$th Laplace eigenvalue on closed Riemannian manifolds of dimension $m \geq 3$, depending on the choice of normalization. One such normalization leads to eigenvalue optimization within a conformal class, for which existence of maximizers was previously known only in dimension two. We also prove that all absolutely continuous maximizers of the normalized eigenvalue functionals are always induced by $p$-harmonic maps into spheres, where $p \in [2,m]$. For $p$ sufficiently close to $m$, the maximizers are always Hölder-continuous, whereas for $p<m$ no bubbling occurs. A key tool in our analysis is the application of techniques from the theory of topological tensor products, which appear to be well suited for studying eigenvalue-related optimization problems.

math.SP↗

Dry Ten Martini Problem in the Subcritical Type I Regime

We establish a resolvent factorization of the hyperbolic projection associated with the finite-range dual operators, by a kernel with exponential off-diagonal decay. As an application, we prove that, for every irrational frequency and every analytic potential, each subcritical Type I energy satisfying the gap-labelling condition is an endpoint of an open spectral gap. This confirms the conjecture of Ge--Jitomirskaya--You [GJY,You] in the subcritical regime.

math.SP↗

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↗