https://arxiv.org/api/RkDtKJdRm1yPYI9qLg2F+pRSZ8Q2026-07-17T19:57:15Z11317015http://arxiv.org/abs/2606.29233v2A Local-to-Global Propagation Principle for Dirichlet-to-Neumann Maps2026-07-16T16:08:08ZWe establish four local-to-global propagation results for
Dirichlet--to--Neumann maps. Our first two results are proved in the general setting of smooth
compact Riemannian manifolds with boundary. The first shows that if two
smooth Riemannian metrics coincide in a collar neighborhood of a
connected boundary component \(Γ\), then equality of the
corresponding local Dirichlet--to--Neumann maps on a nonempty open
subset of \(Γ\) propagates to equality of the associated global
Dirichlet--to--Neumann maps on all of \(Γ\). The proof combines
unique continuation and self-adjointness arguments. The second replaces
the geometric collar assumption by an exponential spectral assumption
on the difference of the corresponding global
Dirichlet--to--Neumann maps. The proof relies on the spectral unique
continuation theory of Jerison--Lebeau, through the formulation of
Le~Rousseau--Lebeau. Our third and fourth results establish local-to-global propagation
principles under Ingham-type quasi--analytic spectral assumptions.
Assuming that the boundary manifold is respectively a compact
Riemannian symmetric space or a compact quasi--analytic Riemannian
manifold, they rely on the propagation theorems of Ganguly--Thangavelu and of Bhowmik--Pradhan. As an application, we consider a class of conformally warped product
metrics. In this setting, the local Borg--Marchenko theorem and
Weyl--Titchmarsh theory relate the required Ingham-type spectral decay
to a suitable quasi--analytic boundary closeness of the conformal
factors, yielding new local-to-global uniqueness results for
Dirichlet--to--Neumann maps.2026-06-28T06:43:25ZThierry DaudéAlberto EncisoBernard HelfferNiky KamranFrançois Nicoleauhttp://arxiv.org/abs/2405.18233v3First Eigenvalue of Jacobi operator and Rigidity Results for Constant Mean Curvature Hypersurfaces2026-07-16T16:06:50ZIn this paper, we obtain geometric upper bounds for the first eigenvalue $λ_1(J)$ of the Jacobi operator for both closed hypersurfaces and compact hypersurfaces with boundary having constant mean curvature (CMC). As an application, we derive new rigidity results for the area of CMC hypersurfaces under suitable conditions on $λ_1(J)$ and the curvature of the ambient space. We also address the Jacobi--Steklov problem, proving geometric upper bounds for its first eigenvalue $σ_1(J)$ and deriving rigidity results related to the length of the boundary. Additionally, we present some results in higher dimensions related to the Yamabe invariants.2024-05-28T14:43:34Z21 pages. Final version, to appear in J. Geom. AnalMarcio BatistaMarcos P. CavalcanteLuiz R. Melohttp://arxiv.org/abs/2607.15145v1Semiclassical estimates near threshold energies and resonance counting on Schwarzschild black holes2026-07-16T15:49:12ZWe prove a Weyl law for the number of quasinormal modes (QNM) of a Schwarzschild black hole contained in a sector below the real axis. This requires introducing a new pseudodifferential operator calculus tailored to the study of semiclassical spectral problems near threshold energies. Elliptic theory in this calculus can be combined with the method of complex scaling to give uniform resolvent estimates near zero energy for operators that behave at infinity like a semiclassical Schrödinger operator with a repulsive inverse-square potential. Applied to the Regge-Wheeler potential, our methods imply the absence of high angular momentum QNM from a disc whose radius grows linearly with the angular momentum. Together with the asymptotic description of Schwarzschild QNM recently obtained by Hitrik and Zworski, this shows that the number of QNM contained in a small sector below the real axis and with modulus bounded by $λ$ grows as $Cλ^3$. We also study the effect of cutting off the Schwarzschild resolvent away from the event horizon and show that such a cutoff does not lead to any pole cancellations.2026-07-16T15:49:12Z38 pages, 1 figureThomas Stuckerhttp://arxiv.org/abs/2506.16378v2$L^p$ boundedness of wave operators for higher order schrödinger operators with threshold eigenvalues2026-07-16T13:57:26ZWe consider the higher order Schrödinger operator $H=(-Δ)^m+V(x)$ in $n$ dimensions with real-valued potential $V$ when $n>2m$, $m\in \mathbb N$ when $H$ has a threshold eigenvalue. We adapt our recent results for $m\geq 1$ when $n>4m$ to lower dimensions $2m<n\leq 4m$ to show that when $H$ has a threshold eigenvalue and no resonances, the wave operators are bounded on $L^p(\mathbb R^n)$ for the natural range $1\leq p<\frac{2n}{n-1}$ when $n$ is odd and $1\leq p<\frac{2n}{n-2}$ when $n$ is even. We further show that if the zero energy eigenfunctions are orthogonal to $x^αV(x)$ for all $|α|<k_0$, then the wave operators are bounded on $1\leq p<\frac{n}{2m-k_0}$ when $k_0<2m$ in all dimensions $n>2m$. The range is $p\in [1,\infty)$ and $p\in[1,\infty]$ when $k_0=2m$ and $k_0>2m$ respectively. The proofs apply in the classical $m=1$ case as well and streamlines existing arguments in the eigenvalue only case, in particular the $L^\infty(\mathbb R^n)$ boundedness is new when $n>3$.2025-06-19T14:58:07Z29 pages. Updated to address referee comments, to appear in Transactions of the AMS. arXiv admin note: text overlap with arXiv:2407.07069M. Burak ErdoganWilliam R. GreenKevin LaMasterhttp://arxiv.org/abs/2607.14981v1The divisor of the twisted Selberg zeta function2026-07-16T13:34:29ZFor the Selberg zeta function of geometrically finite infinite-area hyperbolic orbisurfaces with twists by finite-dimensional unitary representations, we establish a factorization formula in terms of a Weierstrass product of the Laplace resonances of the considered hyperbolic orbisurface, Barnes G-functions, gamma functions, and the singularity degrees of the representation. We thereby provide an interpretation of the zeros and poles of the Selberg zeta function by spectral and geometric entities of the orbisurface and the representation. This formula generalizes the factorization result by Borthwick, Judge and Perry to hyperbolic orbisurfaces with orbifold singularities as well as to unitary twists. Also in the untwisted case, the presence of orbifold singularities yields a separate, previously unobserved contribution to the factorization formula.2026-07-16T13:34:29Z56 pagesMoritz DollAnke Pohlhttp://arxiv.org/abs/2605.31368v2Generic simplicity for self-adjoint operators under bounded potential perturbations2026-07-16T13:25:50ZWe are interested in the generic simplicity of the spectrum of self-adjoint operators under bounded potential perturbations. More precisely, given a semibounded self-adjoint operator with compact resolvent and a suitable space of real-valued bounded perturbations, we study whether all eigenvalues of the perturbed operator are simple for a generic choice of the potential. In the first part of this paper we prove an abstract criterion which ensures that the set of perturbations giving only simple eigenvalues is residual. In the second part, we apply this criterion to several geometric and analytic settings, including sub-Laplacians and maximally hypoelliptic operators on compact manifolds, Laplacians on bounded domains with different boundary conditions, and Schrödinger-type operators on non-compact spaces.2026-05-29T14:40:11Z29 pagesMarianna ChatzakouBernard Helfferhttp://arxiv.org/abs/2607.14313v1Semiclassical measures through Coulomb collisions2026-07-15T19:20:05ZWe prove that $μ$ is a semiclassical measure associated to a sequence of eigenfunctions of energy $E<0$ of the attractive Coulomb operator if and only if $μ$ is a probability measure on the energy (hyper)surface $Σ_E$ invariant under the regularized Kepler flow due to Moser. The converse was shown in recent work by the author, and the present article proves the other direction (as well as an independent proof of the converse). We prove the main theorem for a general symbol class allowing certain non-decay at infinity, which implies that semiclassical measure mass entirely reflects off of the origin. In the special case of semiclassical measures of sequences of eigenfunctions of the exact Coulomb operator, this article solves an open problem posed by Keraani. The main tools include the celebrated Moser-Fock map along with a technical operator extension lemma in $Ψ_{\hbar}^0(\mathbb{S}^d)$, which utilizes standard eigenfunction concentration bounds.2026-07-15T19:20:05Z24 pages, 10 figuresNicholas Lohrhttp://arxiv.org/abs/2607.14312v1The role of expanders in the spectral geometry of metric graphs2026-07-15T19:19:39ZExpanders are families of graphs that are sparse in edges but dense in connectivity.
After reviewing combinatorial and spectral definitions of expanders, we use precise lower bounds on Ramanujan graphs to investigate upper bounds -- and, specifically, the lack thereof -- on the eigenvalues of the Laplacian on \emph{metric} graphs in terms of volume, diameter, girth, mean distance, and torsional rigidity, among others.2026-07-15T19:19:39ZDelio Mugnolohttp://arxiv.org/abs/2607.13890v1Heat Kernel and Closed Geodesic Asymptotics for Nilpotent Coverings2026-07-15T14:35:08ZWe establish all order long-time asymptotic expansions for heat kernels on nilpotent coverings and for prime closed geodesics in fixed central classes of nilpotent quotients of compact hyperbolic surfaces. The exact lattice-side input is the finite-dimensional rational Floquet-Bloch theory of the companion paper: rational Kirillov restrictions give exact finite-dimensional fibers, and a generalized Pytlik functional gives exact Fourier-inversion and normalized-trace identities.
At a rational parameter $p/q$ the decomposition is exact, and the fluctuation of the fiber integrand is controlled only by $q$. Hence the large-denominator comparison with the smooth Kirillov or Schrödinger normal form is uniform on the rational support of the Pytlik functional; irrational parameters do not enter the rigorous trace argument. For general nilpotent models, coefficient-weighted spectral sums are justified to every fixed order by positive Rockland estimates, the Plancherel-Mellin formula, and a trace-level order-balance argument.
In contrast with approaches which usually give leading terms or integrated Edgeworth-type asymptotics, the method gives genuinely local, pointwise higher-order heat-kernel expansions. The same representation-theoretic quantity governs the leading term in the closed-geodesic asymptotics, producing a nilpotent Chebotarev-type phenomenon. The Heisenberg model is computed to the first correction term, and the Engel model is represented through the resolvent and heat-kernel calculus of the quartic oscillato2026-07-15T14:35:08Z84 pages. Analytic companion to arXiv:2607.12069. Draws on and substantially revises the application part of the longer preprint arXiv:2509.16848Atsushi Katsudahttp://arxiv.org/abs/2601.23053v2On two-dimensional Dirac operators with critical delta-shell interactions2026-07-15T12:11:53ZWe study two-dimensional Dirac operators with singular interactions of electrostatic and Lorentzscalar type, supported either on a straight line or a circle. For certain critical values of the interaction strengths, the essential spectrum of such operators comprises an isolated point lying within the mass gap. We clarify the nature of this point in both geometries. For the straight line model, this point is known to be an eigenvalue of infinite multiplicity, and we provide a detailed analysis of the corresponding eigenfunctions. By contrast, in the case of a circle, we show that the said point is not itself an eigenvalue, but rather an accumulation point of a double sequence of simple eigenvalues. In view of the high degree of symmetry of the configurations under analysis, this behavior is unexpected and our findings lead us to formulate some conjectures concerning critical singular interactions supported on generic smooth curves.2026-01-30T15:02:23Z25 pages, 7 figures. Minor corrections to Theorem 1.11, some references added. Final version to appear on J.Math.Anal.ApplWilliam BorrelliPietro CarimatiDavide Fermi10.1016/j.jmaa.2026.130880http://arxiv.org/abs/2507.22200v2Cycle intersection form and oscillation of graph eigenfunctions2026-07-15T00:33:56ZFor a real symmetric matrix $H$ strictly supported on a finite simple graph, it is shown that the inertia of a weighted intersection form on the cycle space of the graph, with weights derived from a non-vanishing eigenvector of $H$, governs oscillation data on the graph. Specifically, the null space of the form controls eigenvalue multiplicity, while its Morse index determines the number of sign changes across edges. In the case of a simple eigenvalue, the Hessian at zero of the eigenvalue branch of the discrete magnetic Schrödinger operator is identified with the dual of the cycle intersection form. Applications are given to stability analysis of coupled oscillator networks, to the local behavior of dispersion relations for (decorated) strained graphene, and to nodal-domain counts.2025-07-29T19:55:23Z33 pages, 9 figuresGregory BerkolaikoJared C. BronskiMark Goreskyhttp://arxiv.org/abs/2607.13279v1Optimal geometric barriers for weighted observability of heat semigroups on metric measure spaces2026-07-14T21:30:39ZWeighted integrated observability inequalities for heat equations usually involve a small-time factor of the form $e^{-γ/t}$. We prove that this scale is not an artefact of Carleman or spectral methods: it is forced by the geometry of the observation set.
Let $A$ be a nonnegative self-adjoint operator on sections of a finite-rank Euclidean vector bundle over a doubling metric measure space, satisfying ultracontractivity, Davies-Gaffney estimates (equivalently, finite speed of propagation for the wave equation) and a pointwise local Weyl law. If a weighted integrated observability inequality holds on a measurable set $ω$, for a fixed horizon $T\in(0,+\infty]$ and an admissible weight $h$, then, for every $0<κ<\frac{1}{2}$, $$ h(t)\leq A_{T,κ}\exp\left(-κ\frac{\mathcal{L}(ω)^2}{t}\right),\qquad 0<t<T, $$ where $\mathcal{L}(ω)$ is the essential maximal distance to $ω$, replaced by any finite radius when $\mathcal{L}(ω)=+\infty$. Thus, for $h(t)=e^{-γ/t}$, necessarily $γ\geq\mathcal{L}(ω)^2/2$. This settles, with the optimal threshold, the maximal-distance lower bound for the infinite-time constant left open in earlier work. In the control-norm convention, the fast-control rate is at least $\mathcal{L}(ω)^2/4$, recovering Miller's bound.
The proof rests on the spectral packet $(\cosh(r\sqrt A)-1)e^{-tA}$. A pointwise Weyl law gives its sharp lower growth, while finite propagation speed and a weak-kernel Kannai transmutation formula make it exponentially small on $ω$. Without kernel continuity or compact resolvent, we develop pointwise spectral measures and weak wave kernels. The framework covers Laplace-type operators on compact Riemannian manifolds, coupled heat systems, Schrödinger operators on $\mathbb{R}^d$, equiregular sub-Laplacians and Grushin models, and $δ'$-coupled Laplacians on metric graphs.2026-07-14T21:30:39ZVincent BoulardAmaury HayatEmmanuel Trélathttp://arxiv.org/abs/2605.08481v2A mathematical study of periodic band inversion2026-07-14T18:16:56ZWe give a mathematical analysis of the periodic band inversion phenomenon observed by Tan--Devakul for an electron in a two-dimensional periodic potential coupled to a circularly polarized photon cavity mode. In the strong-coupling limit, we derive an effective Bloch Hamiltonian and prove convergence of the low-lying bands. For a cosine potential, we explain the periodic closing and reopening of the first spectral gap, prove the existence and generic persistence of Dirac cones at the gap-closing points, and compute the Chern numbers associated to isolated band clusters. We also show that higher isolated band clusters cannot persist in the small-coupling regime. Finally, we resolve an apparent sign discrepancy between Berry curvature computations and Chern numbers by tracking the descent from the covering space to the Brillouin torus.2026-05-08T20:58:06Zminor mistakes corrected; convention changed to agree with the physics literatureTyler GuoMaciej Zworskihttp://arxiv.org/abs/2607.12600v1Bound states for the magnetic Neumann Laplacian in planar sectors2026-07-14T10:19:18ZWe study the magnetic Neumann Laplacian in an infinite planar sector of opening $α\in(0,π)$ under a constant magnetic field. Building on earlier work by Bonnaillie-Noël and collaborators and by Exner, Lotoreichik, and Pérez-Obiol, we prove that the bottom of the spectrum lies strictly below the half-plane threshold for every convex sector. Consequently, $H_α$ has a discrete ground-state eigenvalue for every $0<α<π$. This resolves the bound-state problem for convex sectors, a model problem arising in the analysis of magnetic localization near corners and of the third critical field in type-II superconductivity.2026-07-14T10:19:18ZAyman KachmarMikael Sundqvisthttp://arxiv.org/abs/2607.11695v1On two counterexamples in the geometry of numbers2026-07-13T15:28:34ZWe give counterexamples to two optimization problems in dimensions eight and nine.
1. The Cartesian-product problem posed by Cassels for critical determinants and later formulated by Zong for lattice packings and for packings allowing translations but not rotations: whether the corresponding product inequalities are always equalities.
2. A question raised by Sarnak and formulated as a conjecture in Chiu: whether, among unit-volume flat tori, height is minimized by a lattice maximizing the length of its shortest nonzero vector.
The first counterexample is exact and also disproves the natural product formula for unrestricted congruent packings. The second is numerical but within reasonable floating-point accuracy.2026-07-13T15:28:34ZAncillary files contains reproduction of computationsNihar Gargava