https://arxiv.org/api/qJQs/PlP4BIXQBPRXEznnZHXaCA 2026-07-21T20:16:55Z 11325 105 15 http://arxiv.org/abs/2506.23720v2 2026-06-24T10:55:49Z

In connection with the Fuglede conjecture, we study the existence of commuting self-adjoint extensions of the partial differential operators on arbitrary, possibly disconnected domains in $\br^d$, the associated unitary group, the spectral measure and some geometric properties.

2025-06-30T10:49:51Z v2 minor corrections Piyali Chakraborty Dorin Ervin Dutkay http://arxiv.org/abs/2506.18625v2 2026-06-24T10:50:23Z

In connection to the Fuglede conjecture, and to Fuglede's original work \cite{Fug74}, we study one-parameter unitary groups associated to self-adjoint extensions of the differential operator $Df=\frac1{2πi}f'$ on a union of finite intervals. We present a formula for such unitary groups and we use it to discover some geometric properties of such sets in $\br$ which admit orthogonal bases of exponential functions (also called spectral sets).

2025-06-23T13:32:50Z v2 minor correction after the referee's suggestions Bryan Ducasse Dorin Ervin Dutkay Colby Fernandez http://arxiv.org/abs/2606.25252v1 2026-06-24T00:17:04Z

We develop a unified methodology that integrates spectral theory, Riemann-Hilbert problems, and inverse scattering theory for the construction and numerical evaluation of transform pairs associated with linear variable-coefficient partial differential equations. The approach combines analytical formulae with numerical methods for ordinary differential equations and Riemann-Hilbert problems, yielding a hybrid analytical-numerical strategy for working with these transforms. Results are presented for transforms arising in the Dirac equation, demonstrating accurate computations, even in the presence of discontinuous coefficients.

2026-06-24T00:17:04Z 43 pages, 25 figures Kaitlynn Lilly Department of Applied Mathematics, University of Washington Thomas Trogdon Department of Applied Mathematics, University of Washington http://arxiv.org/abs/2509.11931v2 2026-06-24T00:06:06Z

In this paper we provide spectral inclusion and mapping theorems for strongly continuous locally equicontinuous semigroups on Hausdorff locally convex spaces. Our results extend the classical spectral inclusion and mapping theorems for strongly continuous semigroups on Banach spaces.

2025-09-15T13:47:05Z Journal of Mathematical Analysis and Applications 564 (2026), 1-39 Karsten Kruse 10.1016/j.jmaa.2026.130889 http://arxiv.org/abs/2505.07292v3 2026-06-23T19:47:43Z

We study the number of exponentially small singular values of the semiclassical $\overline{\partial}$ operator on exponentially weighted $L^2$ spaces on a compact Riemann surface. Accurate upper and lower bounds on the number of such singular values are established in terms of auxiliary notions of upper and lower bound weights. Assuming that the Laplacian of the exponential weight changes sign along a curve, we construct optimal such weights by solving a free boundary problem, which yields Weyl asymptotics for the counting function of the singular values in an interval of the form $[0,\mathrm{e}^{-τ/h}]$, for $τ>0$ smaller than the oscillation of the weight. We also provide a precise description of the leading term in the Weyl asymptotics, in the regime of small $τ> 0$.

2025-05-12T07:25:34Z The paper has undergone a significant revision, and the results have been extended to the setting of general compact Riemann surfaces Michael Hitrik Johannes Sjöstrand Martin Vogel http://arxiv.org/abs/2510.16866v3 2026-06-23T17:30:29Z

We study the minimisation of the positive principal eigenvalue for an indefinite-weight problem with asymmetric Robin parameters. The model is motivated by diffusive logistic equations in spatially heterogeneous environments, where the weight describes allocatable favourable resources and the Robin parameters measure boundary loss. After recalling the variational setting and the bang-bang reduction, we analyse the one-dimensional optimisation problem: the optimal favourable set is an interval, and the placement problem is reduced to a branchwise criterion. The key analytical tool is a shape-derivative formula for $a\mapstoλ(a)$, which shows that interior candidates are characterised by equality of the endpoint values of the positive eigenfunction, equivalently by the coupled transfer-matrix equations $f=0$ and $g=0$. We also introduce a Schrödinger-type extension with a fixed nonnegative background potential. In the coercive case we establish the corresponding principal-eigenvalue and bang-bang results, and in one dimension with constant potential we prove a compactness-type stability result showing that minimisers for small background potential converge, along subsequences, to minimisers of the unperturbed problem. No placement classification is claimed for general positive background potential. The computations are presented as numerical illustrations generated with an adaptive root-search protocol.

2025-10-19T14:57:10Z 27 pages, 8 figures Baruch Schneider Diana Schneiderová Yifan Zhang http://arxiv.org/abs/2511.09490v3 2026-06-23T13:24:46Z

We investigate the Steklov eigenvalue problem in an exterior Euclidean domain. First, we present several formulations of this problem and establish the equivalences between them. Next, we examine various properties of the exterior Steklov eigenvalues and eigenfunctions. One of our main findings is an Escobar-type lower bound for the first exterior Steklov eigenvalue on convex domains in dimensions three and higher. This bound is expressed in terms of the principal curvatures of the boundary and is sharp, with equality attained for a ball. Moreover, it implies the existence of a sequence of convex domains with fixed volume and the first exterior Steklov eigenvalues tending to infinity. This contrasts with the interior case, as well as with the two-dimensional exterior case, for which we show that an analogue of the Weinstock isoperimetric inequality holds.

2025-11-12T17:02:28Z v3: minor revisions and bibliography additions; 60 pages; 9 figures; 1 table Lukas Bundrock Alexandre Girouard Denis S. Grebenkov Michael Levitin Iosif Polterovich http://arxiv.org/abs/2606.24508v1 2026-06-23T12:40:44Z

The CR Paneitz operator is closely related to several important problems in CR geometry. In this paper, we study the CR Paneitz operator on non-embeddable three-dimensional tori. Under mild assumptions, we show that it possesses infinitely many negative eigenvalues. We also provide concrete examples satisfying the assumptions.

2026-06-23T12:40:44Z 24 pages Pak Tung Ho Yuya Takeuchi http://arxiv.org/abs/2606.21122v2 2026-06-23T10:43:22Z

We study negative eigenvalues of $n\times n$ stochastic matrices whose off-diagonal support is constrained by a sparse graph. The main tool is a matching-based inertia principle: if $G$ is bipartite with matching number $μ(G)$, $S$ is a real symmetric matrix supported on $G$ with nonnegative diagonal entries and whose negative index (i.e. number of negative eigenvalues counted with their multiplicities) is denoted by $ν_{-}(S) $, then \[ ν_{-}(S)\leq μ(G). \] In particular, every $n\times n$ nonnegative tridiagonal stochastic matrix $P$ satisfies $ ν_{-}(P)\leq \left\lfloor \frac{n}{2}\right\rfloor. $ Consequently, after ordering the eigenvalues of $P$ in the decreasing order, we have $ λ_{\lceil n/2\rceil}(P)\geq0, \ \text{and hence} \ λ_2(P)\geq0, \mbox{ for } n\geq3. $ This gives an all-dimensional strengthening of the previously known $4\times4$ tridiagonal stochastic result. Next, we show that this tridiagonal bound is sharp in every dimension in both reducible and irreducible cases. Finally, we explore some possible extension and raise some open questions.

2026-06-19T05:51:01Z Bassam Mourad Issam Kaddoura Hassan Issa http://arxiv.org/abs/2606.24341v1 2026-06-23T09:31:56Z

We establish Bareket's conjecture from 1977 for convex domains in all dimensions in the regime of weak boundary coupling. In other words, we consider the Laplace operator, subject to negative boundary conditions, and show that the ball maximises the first eigenvalue among all bounded convex domains of fixed volume, provided that the boundary parameter is sufficiently close to zero. The smallness depends on the volume and dimension only. The proof relies on a comparison with spherical shells with combined Neumann--Robin boundary conditions obtained via the method of parallel coordinates, which we manage to extend to all dimensions, and on a careful analysis of the corresponding radial problem.

2026-06-23T09:31:56Z 8 pages Nunzia Gavitone David Krejcirik Gloria Paoli http://arxiv.org/abs/2407.06312v2 2026-06-23T08:39:48Z

Many systems resist analytical modeling, making data-driven inference of dynamics important. Yet data-driven methods can fail to converge or generalize, leaving open a central question: When can system behavior be learned reliably from data, and when is such learning impossible? We answer this question using adversarial dynamical systems to identify the boundary between accessible and inaccessible regimes. In Koopman operator learning, a leading framework for representing nonlinear dynamics through linear spectral objects, we design optimal data-driven spectral algorithms with convergence and certification guarantees under conditions arising broadly in physical systems. This yields a convergence theory for Koopman-operator approximations and resolves a longstanding open problem in Koopman spectral analysis. Conversely, by constructing adversarial systems, we prove matching impossibility results: without these conditions, no single-sequence limiting procedure can guarantee learning, regardless of data quality. These results sharply characterize when data-driven spectral learning can succeed and when it must fail. We validate the framework on oscillators, chaotic fluid flows and Arctic sea ice concentration forecasting. In the latter, we uncover hidden modes of Arctic sea ice decline, deliver long-range forecasts with geographic error bounds, and outperform state-of-the-art dynamical and deep learning models at substantially lower computational cost, enabling real-time deployment on standard CPUs.

2024-07-08T18:24:48Z 16 pages + SM Appendix, final version accepted in Nature Communications Matthew J. Colbrook Igor Mezić Alexei Stepanenko http://arxiv.org/abs/2407.20353v2 2026-06-23T08:24:22Z

Many structures in mathematical physics and dynamics exhibit intricate fractal geometry. Such behavior appears prominently in quantum mechanics and materials science through spectra of aperiodic and quasicrystalline operators, where questions of ``size'' (Lebesgue measure, fractal dimension, spectral gaps, etc.) are central. Yet the lack of rigorous computational tools for analyzing these quantities limits both theory and application. Naïve truncation often fails, and there is no overarching framework to explain what can, and cannot, be computed. We develop a unified program for the rigorous computation of spectral size for bounded self-adjoint operators, based on local spectral exclusions and adaptive covers. This constructive framework yields algorithmically optimal methods (under natural computational assumptions) that bridge spectral theory with computation to address problems previously deemed intractable. Their complexity is classified within the Solvability Complexity Index (SCI) hierarchy, extending Smale's program on the limits of computation. Sharp computational lower bounds are established through impossibility results for limit-periodic Schrödinger operators constructed from adversarial potentials. The methods enable state-of-the-art rigorous computations for one- and two-dimensional aperiodic systems, and pinpoint problems where numerics can feed directly into computer-assisted proofs. Beyond spectral analysis, they apply broadly to computing measures of size for general closed sets, opening new directions in the computational study of complex geometric structures.

2024-07-29T18:06:42Z final version accepted in Communications of the AMS Matthew J. Colbrook Mark Embree Jake Fillman http://arxiv.org/abs/2406.19734v3 2026-06-23T06:43:00Z

This paper is motivated by recent works on inverse problems for acoustic wave propagation in the interior of gas giant planets. In such planets, the speed of sound is isotropic and tends to zero at the surface. Geometrically, this corresponds to a Riemannian manifold with boundary whose metric blows up near the boundary. Here, the spectral analysis of the corresponding Laplace-Beltrami operator is presented and the Weyl law is derived. The involved exponents depend on the Hausdorff dimension which, in the supercritical case, is larger than the topological dimension.

2024-06-28T08:23:42Z Annales de l'Institut Henri Poincaré (A). Physique Theorique, 2026 Yves Colin de Verdìère IF Charlotte Dietze LMU Maarten V. de Hoop LJLL Emmanuel Trélat LJLL http://arxiv.org/abs/2606.24016v1 2026-06-22T23:44:35Z

We study how fixed-volume spanning-tree extremality changes when product-grid boundary factors are free, periodic, or mixed. In two dimensions, extremality depends sharply on the boundary type. The free/free and periodic/periodic products both obey a closest-to-square principle: among fixed-area rectangles, $P_r\square P_s$ and $C_r\square C_s$ are maximized by the closest-to-square admissible side lengths. The mixed free/periodic cylinder $P_r\square C_s$ is different: closest-to-square fails, and in the divisor-rich case the optimizing cyclic circumference has scale $N^{1/3}$ when the area is $N=rs$. In arbitrary dimension we prove pairwise balancing theorems for pure free products and pure periodic products, and then strengthen them by a heat-trace Schur-concavity theorem in logarithmic side lengths. At perfect-power volume this gives the unique maximizers $P_n^{\square d}$ and, for $n\ge3$, $C_n^{\square d}$. These product-grid comparisons motivate perfect-power conjectures for connected induced lattice subgraphs and periodic analogues.

2026-06-22T23:44:35Z 28 pages Jiechen Zhang http://arxiv.org/abs/2606.23821v1 2026-06-22T18:03:59Z

Accurate numerical eigenvalues are often difficult to certify, especially in singular or non-normal settings. This article reports a human--AI collaboration on two such computations. For a singular self-adjoint Schrödinger operator, a verified zero count and Dirichlet--Neumann bracketing certify the complete negative spectrum to ten decimal places. For a delicate non-normal atom--molecule benchmark, a previously unresolved resonance pair is separated, with each member enclosed to ten digits. The second result is achieved not by increasing the precision of one-way shooting, but by reformulating the problem as a global matching system for projective solution lines. The infinite tail is encoded as uncertainty in the terminal projective data, and a componentwise, tail-robust Krawczyk--Brouwer inclusion supplies the certificate. This gives a reusable architecture for analytic boundary-value systems with ill-conditioned propagation and uncertain asymptotic data. The collaboration also exposes the strengths and limits of AI assistance. AI rapidly produced accurate candidates and plausible proof strategies, but several failed, including one apparently complete tail argument that omitted the componentwise check required by a nonuniform polydisc. Validated computation is a stringent test of AI-assisted mathematics: the output is not merely a number, but a number with a proof. These examples show why the proof object matters, and why human mathematical judgment remained decisive. More broadly, as AI makes code, exposition, and plausible numerical claims inexpensive, standards for verification, attribution, peer review, and training must adapt. The implications are unsettling; the opportunity is extraordinary.

2026-06-22T18:03:59Z Matthew J. Colbrook