Positivity and log-Hölder Continuity of Lyapunov Exponents for Multi-Frequency Skew-Shift Schrödinger Operators

2026-06-22T13:31:47Z

We prove the positivity and continuity of the Lyapunov exponent for one-dimensional discrete Schrödinger operators with multi-frequency skew-shift potentials. For the operator $H_{λ,ω} = Δ+ λv(T_ω^n(x,y))$ on $\ell^2(\mathbb{Z})$, where $T_ω$ is a skew-shift on $\mathbb{T}^{d}\times\mathbb{T}^{d}$ $(d\geq1)$ and $v$ is a non-constant real-analytic function on $\mathbb{T}^{2d}$, we establish that for Diophantine frequency vectors $ω$ and large coupling $λ\gg 1$, the Lyapunov exponent satisfies $L(λ,E) \geq c\logλ> 0$ uniformly in $E$ (with $c>0$), and is log-Hölder continuous in $E$. This work extends the known results of Lyapunov exponents--previously developed for one-frequency or simpler quasi-periodic models--to the genuinely multi-frequency skew-shift setting.

Anisotropic 2D FUP and quantum open baker's map

2026-06-22T11:02:55Z

We prove an essential spectral gap for 2D anisotropic quantum open baker's map. This extends the 1D results of Dyatlov--Jin 2017 and the isotropic 2D results of Cohen 2025a. The key ingredient is the anisotropic discrete fractal uncertainty principle (FUP) associated with a 2D anisotropic fractal set called the Bedford--McMullen carpet. We also study the relation between our anisotropic discrete FUP and its continuous counterpart in the spirit of Dyatlov--Jin 2018 and Cohen 2025a. In particular, we prove {continuous FUP} for 2D {anisotropic porous} sets, extending the (high-dimensional) isotropic results of Cohen 2025b. To the best of our knowledge, the anisotropic (line) porosity condition -- a variant of Cohen's line porosity and stronger than ball porosity -- appears to be new to the literature.

Stable factorization of the Calderón problem via the Born approximation

2026-06-22T09:58:19Z

In this article, we prove the existence of the Born approximation in the context of the radial Calderón problem for Schrödinger operators. The Born approximation naturally appears as the linear component of a factorization of the Calderón problem; we show that the non-linear part, obtaining the potential from the Born approximation, enjoys several interesting properties. First, this map is local, in the sense that knowledge of the Born approximation in a neighborhood of the boundary is equivalent to knowledge of the potential in the same neighborhood, and, second, it is Hölder stable. This proves that the ill-posedness of the Calderón problem arises from the linear step, which consists in computing the Born approximation from the DtN map by solving a Hausdorff moment problem. Moreover, we present an effective algorithm to compute the potential from the Born approximation. Finally, we use the Born approximation to obtain a partial characterization of the set of DtN maps for radial potentials. The proofs of these results do not make use of Complex Geometrical Optics solutions or their analogs; they are based on results from inverse spectral theory for Schrödinger operators on the half-line, in particular on the concept of $A$-amplitude introduced by Barry Simon.

High-energy asymptotics for finite-interval Schrödinger operators with Gaussian white-noise potential

2026-06-21T10:24:54Z

We study the one-dimensional Schrödinger operator on a fixed interval with Gaussian white-noise potential, \[ H_ω=-\frac{\dd^2}{\dd x^2}+ρ\dot B_x(ω), \] under Dirichlet boundary conditions. The operator is defined pathwise through the quasi-derivative realization of Sturm--Liouville operators with distributional potentials. Let $λ_n$ be the Dirichlet eigenvalues, $λ_n^+=\max\{λ_n,0\}$, and $k_n=\sqrt{λ_n^+}$. For every finite $p$, we prove the high-energy expansion \[ k_n=\frac{nπ}{L} +\fracρ{nπ}\int_0^L \sin^2\left(\frac{nπs}{L}\right)\,\dd B_s +O_{L^p(Ω)}(n^{-2}). \] Consequently, almost surely, $λ_n>0$ for all sufficiently large $n$ and, for every $\varepsilon>0$, \[ k_n=\frac{nπ}{L}+O(n^{-1+\varepsilon}). \] We also obtain first-order eigenfunction asymptotics with explicit Brownian stochastic-integral corrections. In particular, for the $L^2(0,L)$-normalized Dirichlet eigenfunction $\varphi_n$, with a fixed sign convention, \[ \sup_{0\le x\le L} \left|\varphi_n(x)-\sqrt{\frac{2}{L}}\sin(k_n x)\right| =O(n^{-1+\varepsilon}) \] almost surely. The proofs use stochastic Prüfer coordinates, stochastic Volterra expansions, the Burkholder--Davis--Gundy inequality, and a Borel--Cantelli argument. The estimates provide a first step toward KAM-type small-divisor analysis for Hamiltonian PDEs with white-noise spatial potentials.

Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

2026-06-20T15:21:11Z

A new approach to the study of spectral asymmetry for systems of partial differential equations (PDEs) on closed manifolds was proposed in a recent series of papers by the first author and collaborator. They showed that information on spectral asymmetry can be encoded within and recovered from a negative order pseudodifferential operator -- the asymmetry operator -- constructed from appropriately defined pseudodifferential (spectral) projections. In this manuscript we apply these techniques to the study of the massless Dirac operator; in particular, we compute the principal symbol of the asymmetry operator, accounting for the underlying gauge invariance.

Krahn--Szegő type inequalities and nodal domain methods on graphs

2026-06-20T09:23:49Z

We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The classical Krahn--Szegő inequality states that, among bounded open subsets of $\mathbb{R}^n$ with fixed volume, the minimum of $λ_2(Ω)$ is attained by the union of two congruent balls. Firstly, we establish a Krahn--Szegő type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving an adjacency version of the nodal domain theorem for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $ρ_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|ρ_2| \cdot ω\leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|ρ_2| \cdot ω- m$ is maximized exactly when $G$ is obtained by adding one edge between the two copies of $K_{n/2}$ by an edge. The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.

Physics-Informed Neural Networks for Computing the Morse Index of the Critical Catenoid

2026-06-19T20:23:17Z

The Morse index of a free boundary minimal surface is encoded in its Jacobi-Steklov spectrum, and we test how faithfully a physics-informed neural network (PINN) reproduces that spectrum on a problem whose answer is already known in closed form. The benchmark is the critical catenoid in the unit ball $\mathbb{B}^3$, where it is well known that the Morse index equals $4$ and the nullity equals $2$. Separating the angular variable reduces the eigenvalue problem to a family of one-dimensional Robin problems on $[-T,T]$, one for each Fourier mode. A network that enforces the parity of each mode by construction, and carries the eigenvalue as a trainable parameter, returns the three eigenvalues below the stability threshold to within $10^{-6}$ to $10^{-4}$ of their exact values, with PDE residuals of order $10^{-4}$; assembling them recovers the index $4$ and the nullity $2$. We then track the spectrum along a one-parameter homotopy joining a flat reference operator to the catenoid Jacobi operator and identify the crossings at which the index changes. Since the critical catenoid is rigid, a fact we prove, this homotopy deforms operators rather than surfaces. We close by explaining how the same pipeline, with its one-dimensional solver replaced by a two-dimensional one, is poised to address genuinely geometric families in ellipsoidal balls, where the boundary curvature is no longer constant, and the Morse index is not yet known.

Ambarzumian-type theorems for Hermitian matrices with applications

2026-06-19T16:46:16Z

A foundational result in inverse spectral theory due to Ambarzumian (1929) states that the Neumann Laplacian on an interval is not isospectral to the Neumann Laplacian with an additional non-zero potential. In this note, our aim is to investigate Ambarzumian-type theorems for certain classes of Hermitian matrices, including well-known matrices such as the discrete Laplacian on finite graphs. In addition, using different methods, we establish an Ambarzumian-type theorem for matrices with vanishing diagonal, in particular, the adjacency matrix on finite graphs. In this way, we generalize existing results on Ambarzumian-type theorems to general finite discrete graphs.

Spectral Analysis for Finite-Time Singularities of Lagrangian Mean Curvature Flow

2026-06-19T15:39:48Z

Let $\mathcal C$ be a $G$-invariant special Lagrangian cone admitting a scaled family of $G$-invariant special Lagrangian desingularizations $a \overline L$ which converge to $\mathcal C$ as $a\searrow 0$. We study the linearized self-shrinker operator on $a\overline L$ in a Gaussian weighted $L^2$ space of $G$-equivariant functions. For $0

Logarithmic improvements in the Weyl law and exponential bounds on the number of closed geodesics are predominant

2026-06-19T15:25:45Z

Let $M$ be a smooth compact manifold of dimension $d$ without boundary. We introduce the concept of predominance for Riemannian metrics on $M$, a notion analogous to full Lebesgue measure which, in particular, implies density. We show that for a predominant metric, the number of closed geodesics of length smaller than $T$ has a stretched exponential upper bound in $T$. In addition, we study remainders in the Weyl law for predominant metrics. The Weyl law states that the number of Laplace-Beltrami eigenvalues smaller than $λ^2$ is asymptotic to $Cλ^d$ with an $O(λ^{d-1})$ error. We show that, for a predominant metric, the estimate on the error can by improved by a power of $\log λ$. After an application of recent results of the authors in the case of the Weyl law, these estimates follow from a study of the non-degeneracy properties of nearly closed orbits for predominant sets of metrics.

Global Extrema of the Zeta Regularized Determinant on Orthogonal Flat Tori

2026-06-19T14:02:24Z

The search for extremal geometries is a central theme in several areas of mathematics. Here, we address the following question: among all n-dimensional orthogonal tori of unit volume, which one maximizes the zeta regularized determinant of the Laplacian? We prove that the equilateral torus is the unique maximizer in each dimension n, for all n greater than or equal to 2, validating Sarnak's conjecture in this context. We also investigate the analogous question for the Laplacian on Euclidean boxes with the Neumann and Dirichlet boundary conditions. For orthogonal flat tori of unit volume and dimension n, we show further that the determinant is strictly decreasing with the dimension and tends to zero as the dimension n tends to infinity.

Spectral asymptotics for two-term even-order differential operators with homogeneous delay

2026-06-19T09:39:49Z

We consider two-term even-order operators on the unit interval with homogeneous delay and with Dirichlet and Neumann boundary conditions. The main result provides to the eigenvalue asymptotics of this operator with respect to all indices enumerating the eigenvalues. This asymptotic formula is uniform in the parameter of the homogeneous delay. We also discuss the nontrivial high-frequency phenomenon demonstrated by the uniform spectral asymptotics.

Localization and eigenvalue asymptotics for long-range discrete Dirac operators with Stark potential

2026-06-18T22:02:15Z

We study long-range discrete Dirac operators with Stark potential, extending the theory of Stark localization from scalar lattice models to systems with internal spinorial structure. We initially investigate the local setting, where two distinct localization mechanisms arise. The standard local Dirac-Stark operator yields two Stark-type spectral ladders and exponentially localized spinorial eigenfunctions. Conversely, a related pure-shift local model exhibits an invariant block structure that leads to explicitly computable eigenvalues and exact localization, with eigenfunctions compactly supported on only two spinorial sites. This extreme confinement surpasses the factorial decay characteristic of the classical scalar Stark model. For the general long-range Dirac model, we observe that the eigenvalues remain asymptotically close to the Stark ladder and prove that the corresponding eigenfunctions satisfy power-law localization estimates. Consequently, we establish power-law localization in the sense of finite moments of the position operator for the spinorial evolution. Our results demonstrate that deterministic Stark localization is robust and persists in genuinely matrix-valued lattice systems.

The central heat trace on large compact classical groups

2026-06-18T14:46:06Z

We study the large-$N$ asymptotics of the central trace of the heat kernel on compact classical groups. For every classical family $G_N\subset \mathrm{GL}_N(\C)$, we prove a full large-$N$ asymptotic expansion, using a highest weights/partitions correspondence adapted to the large-rank regime, under which the eigenvalues of the Laplace--Beltrami operator stabilize as observables in the algebra of shifted symmetric functions. Then, we prove a random surface representation of the trace in terms of ramified coverings of the torus. We provide two independent applications: an explicit large-rank counting law for the Casimir spectrum, with exponential Hardy--Ramanujan-type growth in contrast with the polynomial behavior of Weyl's law at fixed rank, and a rigorous probabilistic formulation of the Yang--Mills/Hurwitz duality on a two-dimensional torus initiated by Gross and Taylor, completing a previous work of the authors. We also extend this duality to a Yang--Mills/Gromov--Witten duality by expressing the coefficients of the central heat trace as explicit functionals of the generating function of Gromov--Witten invariants.

Random Schrödinger operators on manifolds and abstract bounds for multiplier-type operators

2026-06-18T10:37:56Z

We study random Schrödinger operators on closed Riemannian manifolds with Anderson-type potentials. We prove high-probability spectral inclusion bounds showing that eigenvalues remain close to those of the Laplacian, with deviations controlled by a norm of the potential coefficients. Compared with deterministic bounds, this yields a square-root cancellation gain. The proof is based on a general principle showing that randomisation improves operator norm bounds for multiplier-type operators, which we formulate in both discrete and continuous settings.