Bootstrapping Euclidean Lattices

2026-06-11T18:00:00Z

We derive spectral identities involving the Laplace spectrum and the integrals of products of eigenfunctions on flat tori and orbifolds. Using semidefinite programming, we derive upper bounds on sums of squares of triple products from these spectral identities, following the approach of the conformal bootstrap. Physically, these upper bounds give constraints on sums of squares of cubic coupling constants in toroidal compactifications of higher-dimensional field theories. For Euclidean lattices, one of the bootstrap bounds leads to an upper bound on the mean square number of minimal vectors that are minimal distance from each minimal vector, divided by the kissing number of the lattice. By finding exact functionals for the semidefinite programming problems, we prove that this bound is saturated in 2, 4, 8, and 24 dimensions by the hexagonal lattice, the $D_4$ lattice, the $E_8$ lattice, and the Leech lattice, respectively.

Finite-Query Collapse and Modal Exact Bases in the SCI Hierarchy

2026-06-11T12:05:51Z

We study the exact-basis problem for Solvability Complexity Index (SCI) computational problem families through finite-query transports. A raw finite-query reduction permits arbitrary encodings and finite transcript reconstructions, with only a continuous output decoder. For the Colbrook-Hansen (CH23) singleton-window spectral/pseudospectral block, this raw preorder collapses the expected two-source structure: the diagonal exact spectral and fixed-$\varepsilon$ pseudospectral sources are raw- and continuous-finite-query equivalent, and, for computable $\varepsilon$ under the evaluation-name representations, TTE-finite-query equivalent, so the six-problem ambient is raw-principal. We then introduce modal finite-query preorders, whose admissibility conditions may restrict encodings, decoders, reconstructions, uniformity, and geometric naturality. We also characterize TTE finite-query transport as computable point transport with a uniform finite interface trace; after forgetting the trace this gives strong Weihrauch reducibility, and the implication is strict. Under a CH23 geometric modality generated by representation inclusions, unitary and graph relabelings, and neutral stabilizations, the same ambient has exactly two minimal exact sources. This gives a calibrated reformulation of the exact-basis problem: natural SCI families should be classified by modality-indexed exact bases and refinement maps, not by one raw preorder alone.

Orthonormal Spectral Cluster Bounds on Manifolds with Nonpositive Curvature

2026-06-11T06:49:26Z

Let $(M,g)$ be a closed $n$-dimensional Riemannian manifold with nonpositive sectional curvature. We prove sharp, logarithmically improved spectral cluster bounds for orthonormal systems in the supercritical range. More precisely, for spectral windows of size $(\log λ)^{-1}$, we obtain the orthonormal analogue of the logarithmically improved $L^q$ estimates of Hassell-Tacy. Our argument combines the universal orthonormal spectral cluster bounds of Frank-Sabin with Bérard-type kernel estimates and a generalization of the Bourgain-Shao-Sogge-Yao multiplier estimate to the orthonormal setting.

A Large-Diameter Fundamental-Gap Lower Bound for Horoconvex Domains

2026-06-10T23:20:31Z

We prove a large-diameter fundamental-gap lower bound for compact horoconvex domains in real hyperbolic space of curvature $-1$. The geometric part reduces large horoconvex domains to a fixed-width radial-height problem in all dimensions. The analytic part proves the needed radial-height theorem by comparing the low-energy Dirichlet form with a limiting angular operator on the sphere, while the radial complement is separated by a one-dimensional branch gap and endpoint Green estimates. The result gives the polynomial $D^{-3}$ scale matching the Nguyen--Stancu--Wei large-diameter upper bound.

On the open TS/ST correspondence

2026-06-10T17:57:42Z

The topological string/spectral theory correspondence establishes a precise, non-perturbative duality between topological strings on local Calabi-Yau threefolds and the spectral theory of quantized mirror curves. While this duality has been rigorously formulated for the closed topological string sector, the open string sector remains less understood. Building on the results of [1-3], we make further progress in this direction by constructing entire, off-shell eigenfunctions for the quantized mirror curve from open topological string partition functions. We focus on local $\mathbb{F}_0$, whose mirror curve corresponds to the Baxter equation of the two-particle, relativistic Toda lattice. We then study the standard and dual four-dimensional limits, where the quantum mirror curve for local $\mathbb{F}_0$ degenerates into the modified Mathieu and McCoy-Tracy-Wu operators, respectively. In these limits, our framework provides a way to construct entire, off-shell eigenfunctions for the difference equations associated with these operators. Furthermore, we find a simple relation between the on-shell eigenfunctions of the modified Mathieu and McCoy-Tracy-Wu operators, leading to a functional relation between the operators themselves.

An isoperimetric inequality for twisted eigenvalues with one orthogonality constraint

2026-06-10T17:40:01Z

We consider twisted eigenvalues $λ_{1}^{g}(Ω)$, defined as the minimum of the Rayleigh quotient of functions in $H^1_{0}(Ω)$ that are orthogonal to a given function $g\in L^2_\text{loc}(\mathbb R^d)$. We prove an isoperimetric inequality for $λ_1^g(Ω)$, which provides a uniform bound on twisted eigenvalues -- not only with respect to the set $Ω$ (an open bounded set of $\mathbb R^d$) -- but also in relation to the orthogonality function $g$. Remarkably, the lower bound is uniquely attained when $Ω$ is the union of two disjoint balls of specific radii, and when the function $g$ in the orthogonality constraint is of bang-bang type, i.e., constant on each ball. As a consequence, we obtain a continuous 1-parameter family of optimal sets -- each being the union of two disjoint balls -- that interpolates between the optimal shapes of the first two Dirichlet eigenvalues of the Laplacian. This new isoperimetric inequality offers fresh perspectives on well-established results, such as the Hong-Krahn-Szeg{o} and the Freitas-Henrot inequalities. Notably, only for these two particular inequalities our proof avoids reliance on Bessel functions, suggesting potential extensions to nonlinear settings. However, extending the inequalities to the general case requires proof strategies that rely on properties of Bessel functions.

Pure Point Spectrum is Generic

2026-06-10T14:18:07Z

We consider Schrödinger operators in $\ell^2(\mathbb{Z})$ with real-valued potentials in $\ell^\infty(\mathbb{Z})$ and show that the generic spectral type is pure point. More specifically, we show that for a generic bounded potential, the essential spectrum of the associated Schrödinger operator is a Cantor set and has zero weight with respect to all spectral measures.

Generalizing Perron--Frobenius theory and eigenvector-based centralities to networks with complex edge weights

2026-06-10T12:49:05Z

A fundamental concept in linear algebra and its applications to network analysis is the Perron--Frobenius (PF) theorem, which underpins eigenvector-based centrality measures such as eigenvector centrality, PageRank, and hubs and authorities. By invoking the PF theorem, we know for strongly connected networks with positive edge weights that the eigenvector corresponding to the largest eigenvalue of the weight matrix yields a well-defined centrality measure (namely, eigenvector centrality). Traditional formulations of the PF theorem and associated centrality measures assume that networks have real-valued weights. However, many networks in areas such as quantum information, quantum chemistry, electrodynamics, and machine learning have complex-valued edge weights. In this paper, we study generalizations of the PF theorem to complex-valued matrices, establish connections between these generalizations, and propose generalized eigenvector-based centrality measures to analyzing node importances in networks with complex edge weights. We also prove results about the existence of complex-weighted networks that satisfy generalized PF properties and calculate associated centrality measures for several examples, which we draw from application areas such as electron transport, circuit analysis, mathematical chemistry, and communication networks.

Dirichlet--Neumann duality for the Basic Spectrum of Riemannian Submersions: A Supersymmetric Perspective

2026-06-10T12:32:44Z

This manuscript investigates the spectral geometry of Riemannian submersions whose fibers have a basic mean curvature. By restricting the Laplace--Beltrami operator to the space of basic functions, we reduce the spectral problem on $M$ to the spectral problem for a weighted Laplacian on the base manifold, where the weight is determined by the fiber-volume function $S$. We derive a summation formula for the reciprocal of the basic Dirichlet eigenvalues (Basel-type series). Furthermore, using the framework of Supersymmetric Quantum Mechanics (SUSYQM), we establish a supersym\-me\-tric duality relating the basic Dirichlet and Neumann spectra under the trans\-for\-ma\-tion $S \mapsto 1/S$.

Sub-Riemannian Selberg Trace Formulae for Compact Quotients of SL(2,R) and Determinants of Sub-Laplacians

2026-06-10T08:47:02Z

We prove sub-Riemannian Selberg trace formulae for compact quotients of SL(2, R). Using the Fourier decomposition along the SO(2)-fibers, we reduce the heat trace computation to the Selberg trace formula for Maass Laplacians on the hyperbolic plane. The resulting formula has an identity contribution and a hyperbolic contribution, the latter involving a character-dependent theta factor over closed geodesics. We then use this trace formula to compute the zeta-regularized determinant of the sub-Laplacian. The determinant formula is remarkably compact and is expressed in terms of a determinant depending only on the base hyperbolic surface and an explicit relative Selberg product.

Spectral Theory for Borel PMP Graphs

2026-06-09T18:51:18Z

We initiate a systematic study of spectral theory for bounded-degree Borel pmp graphs. Specifically, we study spectral properties of the associated adjacency and Laplacian operators. We start with proving a spectral characterization of approximate measurable bipartiteness. Next, we adapt classical theorems of Wilf and Hoffman to give novel upper and lower bounds on the approximate measurable chromatic number. Using similar techniques, we then show that the approximate measurable chromatic number of a pmp graph generated by $n$ bounded-to-one functions is at most $2n + 1$. Next, concerning matchings, we introduce a measurable version of Tutte's condition and show that a spectral assumption analogous to the one from a classical theorem of Brouwer and Haemers implies this measurable Tutte condition. Finally, we show that the spectrum is continuous under local-global convergence.

Schroedinger operators with generic potentials achieve maximal resonance density

2026-06-09T18:51:07Z

We show that for a generic real or complex-valued compactly supported potential, the corresponding Schroedinger operator achieves maximal resonance density, in the sense that its integrated resonance counting function achieves the optimal asymptotic upper bound. For odd dimensions this follows from results of Dinh-Vu once we adapt an argument of Christiansen Hislop. The proof for even dimensions constitutes the bulk of the paper, and we prove several new results on resonances which have analogues in the odd dimensional case. This includes a sharp upper bound on the integrated resonance counting function for any compactly support potential, a proof that the characteristic function of a ball has resonance counting function which achieves the optimal upper bound, and an even-dimensional analogue of the result of Dinh-Vu on asymptotics of the resonance counting functions for complements of pluripolar subsets of analytic families of potentials. We use the characterization of resonances as zeros of certain Fredholm determinant functions related to the scattering matrix, allowing us to apply techniques and results from the theories of one and several complex variables. Our proof that the characteristic function of a ball has counting function achieving the optimal upper bound uses the uniform asymptotics of Bessel functions and follows ideas of Zworski, Christiansen-Hislop, and Dinh-Vu.

On the Spectral Region of 4-Cycle Stochastic Matrices

2026-06-09T14:53:09Z

We study the spectrum of 4-cycle row-stochastic matrices. For real eigenvalues the spectral region is [-1,1]. For nonreal eigenvalues a+ib we derive necessary conditions in terms of the real and imaginary parts, including the inequality a+|b| <= 1 and the condition (b^2+a^2+a)^2+2a^2-b^2 >= 0. We also prove conversely that every point in the corresponding interior region occurs as an eigenvalue of a 4-cycle matrix. The proof is organized through a reformulation of the characteristic equation, an argument parametrization, a convex-analytic criterion, and explicit boundary constructions. Hence, the spectral region for the 4-cycle row-stochastic matrices is exactly and explicitly determined.

Nearly optimal spectral gaps for random Belyi surfaces

2026-06-09T14:16:14Z

In this paper, we show that a random hyperbolic surface in the Brooks-Makover model has a spectral gap greater than $\left(\frac{1}{4}-\frac{c}{\log n}\right)$ for some universal constant $c>0$ , confirming the nearly optimal spectral gap conjecture in this model.

High-energy eigenfunctions of point perturbations of the Laplacian on the spheres $\mathbb{S}^{2}$ and $\mathbb{S}^{3}$

2026-06-09T13:49:52Z

We study the set of Quantum Limits, and more generally, of semiclassical measures of sequences of eigenfunctions of perturbations of the Laplacian on the spheres $\mathbb{S}^{2}$ and $\mathbb{S}^{3}$ by point-scatterers. In the unperturbed case, it is known that the set of semiclassical measures coincides with the set of measures that are invariant under the geodesic flow; on the other hand, when the Laplacian is perturbed by a generic smooth potential, the set of semiclassical measures turns out to be strictly contained within that of invariant measures. In this article, we prove that the addition of a perturbation by a finite set of point-scatterers has a different effect: (i) all invariant measures are semiclassical measures for some sequence of eigenstates of the perturbed operator, and (ii) as soon as the set of scatterers contains a pair of antipodal points, it is possible to construct a sequence of eigenfunctions whose semiclassical measure is not invariant under the geodesic flow. We also show that this geometric condition is sharp: if the set of scatterers does not contain a pair of antipodal points, then the sets of invariant and semiclassical measures coincide.