Geometric obstructions to Lipschitz transport between weighted Hessian $\mathrm{CD}(κ,\infty)$ manifolds

2026-06-17T16:31:13Z

We construct a weighted Riemannian manifold $(\mathbb R^2,g,μ)$ satisfying $\mathrm{CD}(1/2,\infty)$, the curvature-dimension condition, with the following property: if $γ$ denotes a centered Gaussian measure on $\mathbb R^2$, then there is no Lipschitz map $T:(\mathbb R^2,\|\cdot\|) \to (\mathbb R^2,g)$ satisfying $T_\#γ=μ$. Building on this, we prove a Weyl-type asymptotic law for the eigenvalues of the weighted Laplacian $-Δ_{g,μ}$ and show that they are asymptotically negligible when compared to the eigenvalues of $-Δ_γ$. These results give strong counterexamples to two questions of E. Milman and complement the recent counterexample of Aryan.

Optimal spectral rigidity of the hypercube via Bakry--Émery curvature

2026-06-17T16:04:37Z

Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. We establish the following spectral rigidity theorem. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K>0$. Denote by $Δ$ the maximum degree of $G$, and let $0=λ_0<λ_1\leq\cdots$ be the eigenvalues of the non-normalized Laplacian. Then $$ λ_{Δ-1}=K \quad\Longrightarrow\quad G\cong H_Δ, $$ where $H_Δ$ is the $Δ$-dimensional hypercube graph. Thus, in the unweighted setting, the multiplicity condition $λ_Δ=K$ appearing in the hypercube rigidity theorem of Liu, Münch, and Peyerimhoff can be weakened to $λ_{Δ-1}=K$. This improvement is optimal. The restriction to unweighted graphs is essential: the strengthened rigidity statement fails in the weighted setting. Our argument is built upon an interplay between the global spectral embedding induced by the first eigenspace and a local analysis of curvature matrices.

Third-order inverse spectral problem with the three-point boundary conditions

2026-06-17T07:04:37Z

In this paper, we study a new inverse spectral problem that consists in the recovery of the third-order differential equation from two spectra corresponding to the boundary conditions $y(0) = y(1) = y(2) = 0$ and $y(0) = y'(0) = y(1) = 0$. The uniqueness and existence theorems for the solution are obtained. To prove the results, we treat the inverse problem using a general approach that reconstructs higher-order differential operators from the Weyl-Yurko matrix.

Generalization of Selberg's $3/16$ theorem for geometrically finite thin subgroups of $\operatorname{SO}(n, 1)$

2026-06-17T04:20:23Z

Let $Γ$ be a geometrically finite thin subgroup of an arithmetic lattice $Γ_0 < G := \operatorname{SO}(n, 1)$ and consider the congruence covers of $Γ\backslash G$. In the breakthrough work of Bourgain-Gamburd-Sarnak, the expansion machinery was used to establish a uniform spectral gap in the setting $(G, Γ_0) = (\operatorname{SL}_2(\mathbb{R}), \operatorname{SL}_2(\mathbb{Z}))$ when the critical exponent satisfies $δ_Γ> \frac{1}{2}$. The main applications are affine sieve for $Γ$-orbits and uniform resonance-free half-planes for the resolvent of the Laplacian. These results were generalized in subsequent works by Mohammadi-Oh, Oh-Winter, the author, and Edwards-Oh. Yet, the region $δ_Γ\in \bigl(\frac{1}{2}, n - 2\bigr]$ for $n \geq 3$ remains to be treated when there are cusps. The purpose of this paper is to fill in this gap in the literature. The difficulty lies in working with a countably infinite coding due to the presence of cusps. In particular, we incorporate new tools to prove the Zariski density and full trace field properties of the return trajectory subgroups.

Three counterexamples to a conjecture of Colin de Verdière on multiplicity

2026-06-16T16:12:53Z

We exhibit closed hyperbolic surfaces of genus $10$, $17$, and $37$ such that the multiplicity of the first nonzero eigenvalue of their Laplacian is larger than the maximum conjectured by Yves Colin de Verdière in 1986. In order to determine these multiplicities, we apply the twisted Selberg trace formula to the representations induced by the isometry groups of these surfaces on corresponding triangle groups.

Localization of eigenfunctions in amenable unimodular random networks

2026-06-15T18:25:08Z

For an amenable unimodular random rooted network, we show that the presence of a positive point mass in the expected spectral measure implies that, with positive probability, there exists an eigenfunction with finite support.

Analytic local resolution of Medvedev's Morse index conjecture for the critical spherical catenoid in $\mathbb{H}^3$

2026-06-15T15:40:34Z

Let $Σ_a\subset B^3(r(a))\subset\mathbb{H}^3$ ($a>1/2$) be the critical spherical catenoid of the Mori family, a free boundary minimal surface in the geodesic ball. The Medvedev conjecture [15] states ind$(Σ_a)=4$ for all $a>1/2$. We study its strong form: ind$(Σ_a)=4$ and nul$(Σ_a)=2$. The nullity condition nul$(Σ_a)=2$ combines the mode-$|k|=1$ result $\text{nul}_R(Σ_a)|_{|k|=1}=2$ of [17, Cor. 4.4] with vanishing kernel in modes $|k|=0,|k|\ge2$; the latter, not in [17], is established here for $a\in(1/2,1/2+δ_0)$. The main result is the analytic local resolution of the strong Medvedev conjecture: $\existsδ_0>0$ s.t. ind$(Σ_a)=4$, nul$(Σ_a)=2$ for all $a\in(1/2,1/2+δ_0)$. This follows from the expansion $H(a):=\sinh r(a)/K(a)=σ_*\coshσ_*+C_0(a-\frac12)+O((a-\frac12)^2)$ as $a\to(1/2)^+$, with $C_0=\frac{σ_*\coshσ_*(\sinh^2σ_*-1)(3\sinh^2σ_*-2)}{12\sinh^2σ_*}$, where $σ_*>0$ the unique positive root of $σ=\cothσ$, and $C_0>0$ by $σ_*>\log(1+\sqrt2)$. The proof proceeds via three reductions: $(i)$ the strong Medvedev conjecture is equivalent to $μ_0^{\mathrm{even}}(2)>0$ $(E)$ and $μ_2(0)>0$ with non-degeneracy in mode $0$ $(F)$; $(ii)$ $μ_2(0)>0$ reduces, via a Sturm shooting-count argument, to $φ_a>0$ of the parametric Jacobi field on the principal branch; $(iii)$ $φ_a>0$ reduces, under $B(s_0(a))^2>2K(a)^2$ $(G)$, to $H'(a)>0$ via a const. Wronskian and Sturm separation. Aux results: Picone identity (base $f_*$) closing unconditionally the odd radial sector for $|k|\ge2$; a second Picone identity (base $B$) proving $(E)$ unconditionally on $(1/2,1]$ and, via Hardy estimates, on $(1/2,A_*]$ ($A_*>1$); analytic closure of $(G)$ on $(1/2,1]$ via strict concavity of a transcendental function; an alternative proof of ind$(Σ_a)\ge4$ via Lorentz ambient coordinates.

Uniform stability of higher-order inverse spectral problems

2026-06-15T13:47:06Z

In this paper, the reconstruction of a linear differential operator of arbitrary order $n \ge 2$ is studied by using two types of spectral characteristics: (i) eigenvalues and weight numbers, (ii) $(2n-2)$ spectra. We prove the unconditional uniform stability of these inverse problems, generalizing the results of Savchuk and Shkalikov [Funct. Anal. Appl. 44 (2010), no. 4, 270--285] to $n > 2$. Furthermore, we for the first time obtain sufficient conditions of solvability for the higher-order inverse problem by $(2n-2)$ spectra. By applying our main results, we get new theorems on the necessary and sufficient conditions of solvability and on the uniform stability of the inverse problems for $n = 3$ and $n = 4$. Our approach is based on the method of spectral mappings, which provides a constructive solution of the inverse problems.

Jost solutions and direct scattering for the continuum Calogero-Moser equation

2026-06-15T12:58:47Z

We propose an inverse scattering transform for the continuum Calogero-Moser equation. We give a rigorous treatment of the direct scattering problem by constructing the associated Jost solutions and introducing a distorted Fourier transform, as well as deriving trace formulas for the eigenvalues of the Lax operator.

$m$-sectorial discrete Laplacians and recurrence of complex-weighted graphs

2026-06-15T10:56:27Z

We consider complex-weighted graphs, whose edge weights belong to a sector in the complex plane. We show that the corresponding Dirichlet Laplacian is $m$-sectorial, and, hence, generates a contractive holomorphic $C_0$-semigroup. Further, it is shown that every sectorial complex-weighted graph can be extended to an electrical network, where by electrical networks we mean graphs, whose edge weights are holomorphic functions, arising from physical admittances. This result allows us to establish convergence results for the infinite complex-weighted graphs, e.g. convergence of solutions of Dirichlet problems and convergence of complex-valued capacities on a finite exhaustion. Finally, we define a recurrence for complex-weighted graphs, and, using the convergence results, give its characterizations in terms of functional spaces, capacity, Green's function, resolvents of the Dirichlet Laplacian and properties of the Neumann Laplacian.

Edge modes generated by intersection between 3 energy bands

2026-06-15T08:57:02Z

In this contribution, we investigate 2-dimensional model problems of three coupled equations. We assume that the underlying Hamiltonian presents a symmetric intersection between three eigenvalues of Dirac's type with a mass function that vanish along a curve. We investigate the existence of edge modes for these models: such functions are solutions of the semiclassical associated evolution problem that are asymptotic to a coherent state with zero energy and break the correspondence principle by propagating inside the crossing set and not along a classical trajectory.

Higher-order spectral perturbation expansions II: Kernel matrices and manifold learning

2026-06-15T08:10:43Z

We study spectral concentration bounds for kernel matrices as approximation of the corresponding kernel integral operator. Results are established under weak assumptions on the data setting and the reproducing kernel relying only on a Mercer condition and a local Weyl law. This allows us to deal with key features of kernel matrices, such as large multiplicities, large effective dimension, and heavy-tailed distributions. Our results apply to infinite dimensional principal component analysis, manifold learning, and Bayesian nonparametric statistics. We illustrate this via two prototypical examples: The heat kernel on the sphere and a wavelet prior from Bayesian nonparametrics.

Selection of the ground state on a compact metric graph

2026-06-14T23:32:25Z

We show that the ground state in the Fisher--KPP model on a compact metric graph with Dirichlet conditions on boundary vertices is either trivial (zero) or nontrivial and strictly positive. For positive initial data, we prove that the trivial ground state is globally asymptotically stable if the edges of the metric graph are uniformly short and the nontrivial ground state is globally asymptotically stable if at least one edge is sufficiently long. For the intermediate case, we find a sharp criterion for the existence, uniqueness and global asymptotic stability of the trivial versus nontrivial ground state. Besides standard methods based on the comparison theory, energy minimizers, and the lowest eigenvalue of the graph Laplacian, we develop a novel method based on the period function for differential equations to fully characterize the nontrivial ground state in the particular case of flower graphs.

Resolvent estimates for one-dimensional Dirac operators with imaginary potentials

2026-06-14T22:46:33Z

We investigate massive one-dimensional Dirac operators perturbed by diagonal matrix potentials of the form $i V$ where the function $V$ is real-valued and unbounded at infinity. For such operators we find an $L^2$-realization with non-empty resolvent set using generalized coercivity and Schur complement dominance techniques. In the prototypical Airy-Dirac case $V(x)=x$, $x \in \mathbb{R}$, we derive the precise asymptotic behavior of the resolvent as the spectral parameter tends to infinity and also as the mass $m$ tends to $0$. Finally, we find the asymptotics of the resolvent norm for general potentials $V$ in terms of the Airy-Dirac resolvent, which in particular yields an asymptotic shape of $\varepsilon$-pseudospectral curves and establishes the optimality of the pseudospectral region found in [32].

Finite-Dimensional Type I von Neumann Algebras in PyTorch: A GPU-Accelerated Framework for Random Block-Diagonal Operators

2026-06-14T16:06:26Z

We present \texttt{torch\_vn\_algebra}, an open-source Python library built on PyTorch for numerical experiments with finite-dimensional Type I von Neumann algebras (direct sums of matrix algebras). The library provides: $\bullet$ a compact batched tensor representation $(B,C,k_{\max},k_{\max})$ that handles both Monte Carlo samples and multiple direct summands; $\bullet$ lazy evaluation of operators to avoid unnecessary memory allocation; $\bullet$ generation of random operators with arbitrary eigenvalue distributions (user-provided samplers) and various unitary ensembles (Haar, $\mathrm{SU}(n)$, COE, CSE, diagonal phases); $\bullet$ functional calculus via SVD (absolute value, square root, inverse, entropy) and a hybrid method for extreme eigenvalues (exact diagonalisation for $k_{\max}\le256$, otherwise power iteration); $\bullet$ three trace functionals (blunt, normalised subspace trace, and the von Neumann tracial state); $\bullet$ GPU-accelerated batched linear algebra for moderate-scale Monte Carlo studies (e.g., $2\times10^4$ samples of $100\times100$ operators). The library is validated against analytical expectations (Haar moments, trace properties). Performance benchmarks on a Tesla P100 GPU are presented and discussed. Limitations and future work are outlined. The code is open-source.