Regular hyperbolic tilings have no $\ell^2$ eigenfunctions

2026-09-10T17:39:08Z

We show that the adjacency operator of the $1$-skeleton of any regular tiling of the hyperbolic plane has no nonzero square-integrable eigenfunctions. As a consequence, the same holds for every infinite connected regular graph admitting a proper planar embedding with regular dual.

Rigidity and flexibility under positive isotropic curvature

2026-09-10T15:25:32Z

For every $n\ge4$ and $L>0$, we construct a smooth $4$-PIC metric on $S^n$ with Urysohn $1$-width at least $L$ and an embedded stable minimal disk of intrinsic inradius at least $L$. These examples disprove the proposed width and stable-disk radius bounds under a positive lower bound for isotropic curvature. On closed even-dimensional manifolds, we prove the sharp estimate $λ_1^{(2)}\ge(n-1)σ/2$ under $σ$-PIC and show that equality forces roundness if a closed eigenform attaining the bound has rank at least four at some point.

Multiple operator integrals, pseudodifferential calculus, and asymptotic expansions

2026-09-10T12:34:47Z

We push the definition of multiple operator integrals (MOIs) into the realm of unbounded operators, using the pseudodifferential calculus from the works of Connes and Moscovici, Higson, and Guillemin. This in particular provides a natural language for operator integrals in noncommutative geometry. For this purpose, we develop a functional calculus for these pseudodifferential operators. To illustrate the power of this framework, we provide a pertubative expansion of the spectral action for regular $s$-summable spectral triples $(\mathcal{A}, \mathcal{H}, D)$, and an asymptotic expansion of $\mathrm{Tr}(P e^{-t(D+V)^2})$ as $t \downarrow 0$, where $P$ and $V$ belong to the algebra generated by $\mathcal{A}$ and $D$, and $V$ is bounded and self-adjoint.

Precise spectral asymptotics, exponential localization, and spectral gap estimates for the three-boson lattice Schrödinger operator

2026-09-10T12:34:00Z

We present a corrected strong-coupling Birman-Schwinger analysis of the three-boson lattice Schroedinger operator on Z^2 at the exceptional quasimomentum K=pi. First, we give an exact closed-form benchmark for the fiber Fredholm determinant at a flat momentum, valid for every K, obtained via a uniform elliptic reduction. Second, we formulate and prove a general order-matching criterion that decides whether a leading-order Fredholm determinant asymptotic suffices to fix the constant-order additive energy correction. Third, applying the criterion to the formal branch z=-2mu+d at K=pi, we identify an algebraic crossing -2mu+6+8/mu+O(mu^{-2}) from the finite-rank principal part. However, we demonstrate that this crossing does not correspond to a true eigenvalue of the full Hamiltonian: the actual ground state obeys the rigorous variational bounds -3mu <= z_1^{pi,s}(mu) <= -3mu+6, and so lies in the same leading branch -3mu+O(1) as at K=0. Direct finite-volume diagonalisation of the full three-particle Hamiltonian confirms the refined asymptotic -3mu+6+O(mu^{-1}) and the spectral gap 2mu-2+O(mu^{-1}) to the two-particle threshold. The reduction from two bound states at K=0 to at least one at K=pi (the trimer) preserves the total spectral flow, and the binding is not weakened at the corner of the Brillouin zone. We independently confirm that the K=0 constant C approximately 3.96458 requires no analogous refinement.

Uniform Eigenfunction Observability under Mixed Reflection Monodromy

2026-09-10T10:09:59Z

We study uniform observability for Laplace eigenfunctions with mixed boundary conditions whose reflection signs do not define a scalar character. For the DDN/NND sectors of the equilateral rhombus, the resulting $\mathbb Z_2$ monodromy is resolved by a degree-two branched arithmetic translation surface of genus two. On an explicit class of admissible open sets, every exact mixed-sector eigenfunction satisfies a local $L^2$ lower bound uniform in the eigenvalue, multiplicity, and choice within the eigenspace. The proof combines exact unfolding, semiclassical defect measures, and the Veech dichotomy to exclude concentration near the saddle/conic network and inside periodic cylinders. We also obtain a reflection-overlap observability result for the full rhombus and isolate the remaining saddle-network obstruction for arbitrary open observation sets.

Admissible Fourier Lengths, KAM Reducibility, and Spectral Applications

2026-09-10T03:04:12Z

We develop a perturbative KAM reducibility theory for one-frequency $\mathrm{SL}(2,\mathbb{R})$ cocycles based on an admissible Fourier length $\ell$. The regularity relevant to the iteration is measured by positive adapted Fourier width rather than ordinary smoothness in the Euclidean length $|n|$. The same length governs Fourier decay, truncation and resonance scales, and the arithmetic condition controlling the small divisors. This framework contains the classical analytic and Gevrey settings, while non-monotone choices of $\ell$ allow classical nowhere differentiable Weierstrass-type perturbations and continuous perturbations outside every positive Hölder class. As spectral applications, we obtain purely absolutely continuous spectrum for every phase and $1/2$-Hölder continuity of the integrated density of states for the associated quasiperiodic Schrödinger operators. The Aubry dual has pure point spectrum for Lebesgue almost every dual phase, with eigenfunctions exponentially localized in the metric induced by $\ell$. We also construct nowhere differentiable quasiperiodic potentials with purely absolutely continuous Cantor spectrum.

Operator Michelson Contrast: Logarithmic Parametrisation, Subadditivity, and a Sharp Noncommutativity Threshold

2026-09-10T00:29:34Z

We study the operator Michelson contrast Delta(A) = (kappa(A)-1)/(kappa(A)+1), with kappa(A)=||A|| ||A^{-1}||, for positive invertible operators, and introduce its logarithmic parametrization via arctanh(Delta(A)) = (1/2) ln kappa(A). This defines the Operator Logarithmic Contrast (OLC), extended to all invertible operators via polar decomposition. We prove OLC is subadditive under multiplication: OLC(AB) <= OLC(A)+OLC(B). For positive invertible A, we identify OLC(A) exactly as the projective Thompson distance from the identity ray to the ray of A. We establish a sharp dimensional threshold for equality in subadditivity: for dimensions 2 and 3, equality forces commutativity, while n=4 is the smallest dimension admitting noncommuting equality examples. Moreover, equality still forces commutativity in any total dimension if the operators factor as pure Kronecker products X = tensor X_i and Y = tensor Y_i with each factor dimension <= 3. We derive contraction inequalities, sum bounds, trace estimates for density operators, Lipschitz continuity (including singular limits), and limiting behavior for Cesaro means and infinite products. For density operators, we obtain an exact closed-form bijection between OLC and von Neumann entropy for qubits; prove this bijection does not exist for d >= 3; and establish upper/lower entropy envelopes at fixed condition number, showing the admissible range [S_min(kappa), S_max(kappa)] satisfies ln 2 <= S_max(kappa) < ln 3 for every kappa > 1. The qubit case recovers, as an operator lift, the classical Michelson-Jensen-Shannon equivalence of Bruni, Rossi, and Vitulano, while a counterexample shows this equivalence fails for d > 2 as a direct consequence of the non-bijectivity.

An Improved Bound for the Ovals Problem

2026-09-09T19:23:30Z

Let $γ\subset\mathbb R^{m},\,m\geq2,$ be a closed curve of length $2π$ with its curvature $κ$, parametrized by arc length, and let $λ_γ$ be the first eigenvalue of the periodic curvature Schrödinger operator $-d^2/d s^2+κ(s)^2$. We obtain \[ λ_γ\geq \frac{\sqrtπ}{2} \left(\frac{Γ(7/6)}{Γ(5/3)}\right)^3. \] This is a near-sharp lower bound for the Ovals problem. Our proof introduces a new geometric approach. We derive a convolution identity from the closure condition and combine it with projection averaging over tangent directions and sharp Poincaré inequalities on antipodal arcs. As applications, we provide an improved two-state kinetic Lieb-Thirring inequality and the corresponding two-eigenvalue constant.

An isoperimetric problem for Fourier zeros of centrally symmetric convex bodies

2026-09-09T17:49:53Z

Given a centrally symmetric convex body, consider the zero set of the Fourier transform of its characteristic function. We study how large the distance from this set to the origin can be when the volume of the body is fixed. A 2009 conjecture of Benguria, Levitin, and Parnovski asserts that the maximum is attained by a Euclidean ball. We disprove it in all dimensions greater than one. In the plane, every regular centrally symmetric polygon with at least twelve sides outperforms the disk, albeit by a tiny margin, and the regular dodecagon is best among them. In dimensions three and higher, no maximiser exists.

The sharp one-dimensional Lieb-Thirring inequality for the sum of eigenvalues

2026-09-09T17:18:09Z

We prove that the best constant in the one-dimensional Lieb-Thirring inequality with exponent one is $4/(3\sqrt{3}π)$, confirming the Lieb-Thirring conjecture in this case.

Aldous' spectral gap phenomena in stochastic exchange models

2026-09-09T16:59:40Z

We consider a broad class of exchange dynamics with arbitrary weighted graph or hypergraph update structures, which includes the Kipnis--Marchioro--Presutti (KMP) model and the energies of Kac's walk on the sphere. These are conservative continuous-spin systems whose reversible measures are Dirichlet distributions. We prove that their spectral gap is always attained by a polynomial of degree at most two in the energy variables. Equivalently, through an intertwining with the associated discrete particle systems, the dominant mode is always represented by either a one-particle or a two-particle observable. We interpret this as a manifestation of an Aldous-type spectral gap phenomenon. In particular, the resulting two-particle spectral gap identity settles a recent conjecture of Alon and Puder. We also characterize sharply when one particle suffices and when a genuinely two-particle mode dominates. Under a common rescaling of the Dirichlet parameters, segment-like geometries are precisely those for which the gap is always of one-particle type, mean-field geometries are precisely those for which it is always of two-particle type, and all other geometries exhibit a nontrivial transition. The proof relies on the analysis of the so-called hidden model, a dual representation of the original process. The mechanism underlying the degree-two reduction is remarkably robust and extends to a much broader class of stochastic exchange models and their associated particle systems, including the harmonic process, the immediate exchange model, averaging-type processes, and nonreversible variants. Finally, we analyze boundary-driven versions of the KMP model, in which the bulk exchange dynamics interacts with reservoirs, generally resulting in nonreversible processes. In contrast to the conservative setting, we prove that the spectral gap of a boundary-driven model is always of one-particle type.

Resolvent bounds and eigenvalue estimates of generalized Schrödinger operators with complex potentials on compact manifolds

2026-09-09T13:03:53Z

We extend Cuenin's compact-manifold spectral bounds for Schrödinger operators with complex potentials to a general pseudodifferential setting. More precisely, we study operators $P+V$, where $P$ is a positive self-adjoint elliptic classical pseudodifferential operator of positive order and $V$ is complex-valued. The main analytic input is a resolvent principle showing that spectral cluster estimates for $P$ imply $L^p$-$L^{p'}$ resolvent estimates along suitable complex curves. Combined with Sogge's spectral cluster bounds, this yields exterior-region resolvent estimates extending those of Krupchyk and Uhlmann; we also prove direct resolvent bounds in the interior region. On Zoll manifolds, we discuss the sharpness of the resulting spectral bounds.

Inverse Heat Source Problems from Boundary Flux and Interior Observations on Sets of Low Hausdorff Dimension

2026-09-09T11:53:04Z

This paper investigates conditional stability for inverse source problems for the heat equation with a known temporal factor and an unknown spatial component in a bounded $C^{1,1}$ domain. We focus on observations supported on sets of low Hausdorff dimension and establish conditional stability in this setting. For boundary observations on compact sets of positive $q$-dimensional Hausdorff content, we establish logarithmic stability from full-time boundary flux observations and double-logarithmic stability from delayed-time boundary flux observations. The admissible dimensional ranges are $q>d-2$ when the observation set is contained in a flat boundary patch and $q>d-1-c_{d+1}$ on a general $C^{1,1}$ boundary, where $c_{d+1}>0$ depends only on the dimension. A key ingredient in deriving these results is a new boundary spectral inequality for the Dirichlet Laplacian, which controls a finite Dirichlet spectral sum through observations of the normal derivative of its elliptic extension on such a boundary set. Our results also cover inverse heat source problems with interior observations on sets of positive $q$-dimensional Hausdorff content for some $q>d-1$, yielding logarithmic stability from full-time observations for general sources in $H_0^1(Ω)$ and Hölder stability from terminal-time observations for sources in a suitable spectral Gevrey class.

Arithmetic Scar Accessibility and Generic Schrodinger Control on Metric Graphs

2026-09-09T05:59:20Z

We study internal exact controllability of the free Schrödinger equation on finite compact metric graphs with Kirchhoff conditions at interior vertices and a fixed Dirichlet-Neumann assignment at exterior vertices. For a prescribed primitive cycle or exterior-to-exterior path, we identify an arithmetic criterion ensuring that the corresponding scar is accessible by exact high-frequency eigenfunctions of a fixed target metric. The criterion is formulated by intersecting the regular scar stratum of the secular set with the orbit-closure torus of the target length vector, and it can hold for resonant metrics beyond the rationally independent class. Under an intrinsic Diophantine condition on the orbit-closure flow, the construction is quantitative: along an exact eigensequence the mass outside the prescribed support decays polynomially, yielding a polynomial degeneration law for finite-frequency observation when that support is uncontrolled. Rationally independent metrics have full phase-orbit closure and therefore make every primitive obstruction accessible. Combining this spectral result with the known graph-theoretic characterization and sufficiency of the Graph Geometric Control Condition (GGCC), we prove that, for every rationally independent and hence for Lebesgue-almost every metric, GGCC is necessary and sufficient for exact controllability at every positive time in the free setting.

The anisotropic local law for sample covariance matrices under quadratic-form concentration

2026-09-08T20:48:56Z

We study sample covariance matrices $K = \frac{1}{N} \sum_{i=1}^N \x_i \x_i^* \in \R^{n \times n}$ in the proportional regime $n \asymp N$. The columns $\x_1, \ldots, \x_N \in \R^n$ are independent and centered, with common covariance $\E \x_i \x_i^* = Σ$, but may otherwise have strongly and nonlinearly dependent coordinates. Assuming only that quadratic forms of the columns concentrate uniformly at the optimal rate $| \x_i^* A \x_i - \Tr ΣA | \prec \| A \|_F$, together with polynomial norm moments and a standard nondegeneracy condition on $Σ$, we prove the optimal anisotropic local law: on regular spectral domains, uniformly down to spectral scales $η:= \Im z \geq N^{-1 + τ}$, \[ \big| \< \u , \big( (K-z)^{-1} - (-zI_n-z\widetilde m_0(z)Σ\big)^{-1} \bv \> \big| \prec \sqrt{\frac{\Im \widetilde m_0 (z)}{Nη}} + \frac{1}{Nη} \] for all deterministic unit vectors $\u,\bv \in \C^n$, where $\widetilde m_0(z)$ is the Stieltjes transform of the deformed Marchenko-Pastur law. This removes the higher-cumulant tensor assumption of Fan, Ma, Paquette, and Wang (2026), thereby answering the question raised in their work. The result applies, among other examples, to every centered log-concave column distribution with bounded, nondegenerate covariance, nonlinear tilts of Gaussian vectors, deep random features, and a high-temperature spherical 4-spin model for which the cumulant assumption is known to fail.