Continuity of higher-order derivatives for integrated density of states of the discrete Anderson model with respect to the disorder parameter

2026-03-16T09:33:20Z

We derive quantitative continuity estimates for the higher-order derivatives of the integrated density of states (IDS) with respect to the disorder parameter for the Anderson model on $\ell^2(\mathbb{G})$. Here $\mathbb{G}=\mathbb{Z}^d$ or $\mathbb{B}$, where $\mathbb{B}$ denotes the Bethe lattice. Our results hold in the regime of strong disorder, where entire spectrum is localized. We assume sufficient smoothness of the density of the single site distribution so that the IDS admits higher-order derivatives. More precisely, we establish bounds on the difference between higher-order derivatives of the IDS in terms of the differences in the disorder parameters.

The heat trace for domains with curved corners

2026-03-16T08:21:12Z

We derive the short-time expansion of the heat trace on planar curvilinear polygons through order $t^{1/2}$, with both Dirichlet and Neumann boundary conditions. For such domains we show that the coefficient of $t^{1/2}$ in the expansion splits into a boundary integral of $κ^2$ and a sum of local corner contributions, one for each vertex. Each curved corner contribution depends only on the interior angle $α$ and on the limiting curvatures $κ_{\pm}$ on the adjacent sides. For Dirichlet boundary conditions, using a conformal model and a parametrix construction on the sector heat space, we express this contribution in the form \[ \mathcal C_{1/2}(α,κ_+,κ_-) = c_{1/2}(α)\,\frac{κ_+ + κ_-}{4\sin(α/2)}, \] where $c_{1/2}(α)$ is given by the Hadamard finite part of an explicit trace over the exact sector. For right angles we compute $c_{1/2}(π/2)=\sqrt{2}/(16\sqrtπ)$, which yields the closed formula \[ \mathcal C_{1/2}(π/2,κ_+,κ_-)=\frac{κ_+ + κ_-}{32\sqrtπ}. \] Combined with previous work on the coefficients of $t^{-1}$, $t^{-1/2}$ and $t^0$ for such domains, this determines the remaining local heat trace coefficient for planar curvilinear polygons up to order $t^{1/2}$. As an inverse spectral application we extend a result in the literature by showing that any admissible curvilinear polygon that is Dirichlet isospectral to a polygon must itself be a polygon with straight sides.

Eigenvalue optimization in higher dimensions and $p$-harmonic maps

2026-03-16T03:23:26Z

We prove existence results for optimization problems for the $k$th Laplace eigenvalue on closed Riemannian manifolds of dimension $m \geq 3$, depending on the choice of normalization. One such normalization leads to eigenvalue optimization within a conformal class, for which existence of maximizers was previously known only in dimension two. We also prove that all absolutely continuous maximizers of the normalized eigenvalue functionals are always induced by $p$-harmonic maps into spheres, where $p \in [2,m]$. For $p$ sufficiently close to $m$, the maximizers are always Hölder-continuous, whereas for $p

Numerical approximation of the first $p$-Laplace eigenpair

2026-03-16T02:47:54Z

We approximate the first Dirichlet eigenpair of the $p$-Laplace operator for $2 \leq p < \infty$ on both Euclidean and surface domains. We emphasize large $p$ values and discuss how the $p \to \infty$ limit connects to the underlying geometry of our domain. Working with large $p$ values introduces significant numerical challenges. We present a surface finite element numerical scheme that combines a Newton inverse-power iteration with a new domain rescaling strategy, which enables stable computations for large $p$. Numerical experiments in $1$D, planar domains, and surfaces embedded in $\mathbb{R}^3$ demonstrate the accuracy and robustness of our approach and show convergence towards the $p \to \infty$ limiting behavior.

Multiplicities of eigenvalues and quadratic representations of integers

2026-03-16T02:34:59Z

We study the set $M$ of all multiplicities of non-zero eigenvalues for the Laplace operator on a two-dimensional rectangle or torus. We show that for a rectangle with the side length ratio $r$, $M=\mathbb{N}$, the set of all positive integers, if and only if $r^2$ is rational. For a torus whose generating vectors have a length ratio $r$ and the angle between them $θ$, we show that $M$ is an infinite set if and only if both $r\cosθ$ and $r^2$ are rational. In this case, $M=2\mathbb{N}$, $4\mathbb{N}$, or $6\mathbb{N}$, and we obtain a characterization for each of these cases in term of $r\cosθ$ and $r^2$. In the case when at least one of $r\cosθ$ or $r^2$ is irrational, we show that $M=\{2\}$ or $\{2, 4\}$, and obtain a characterization for these cases. We prove these results by studying the number of integral lattice points on dilated ellipses.

New perturbation bounds for low rank approximation of matrices: Beyond Eckart-Young-Mirsky

2026-03-16T02:25:40Z

Let $A$ be an $m \times n$ matrix with rank $r$ and spectral decomposition $A = \sum_{i=1}^r σ_i u_i v_i^\top,$ where $σ_i$ are its singular values, ordered decreasingly, and $u_i, v_i$ are the corresponding left and right singular vectors. For a parameter $1 \le p \le r$, $A_p := \sum_{i=1}^p σ_i u_i v_i^\top$ is the best rank $p$ approximation of $A$. In practice, one often chooses $p$ to be small, leading to the commonly used phrase "low-rank approximation". Low-rank approximation plays a central role in data science because it can substantially reduce the dimensionality of the original data, the matrix $A$. For a large data matrix $A$, one typically computes a rank-$p$ approximation $A_p$ for a suitably chosen small $p$, stores $A_p$, and uses it as input for further computations. The reduced dimension of $A_p$ enables faster computations and significant data compression. In practice, noise is inevitable. We often have access only to noisy data $\tilde A = A + E$, where $E$ represents the noise. Consequently, the low-rank approximation used as input in many downstream tasks is $\tilde A_p$, the best rank $p$ approximation of $\tilde A$, rather than $A_p$. Therefore, it is natural and important to estimate the error $ \| \tilde A_p - A_p \|$. This error plays a critical role in estimating the accuracy of the output of any process involving a low-rank approximation of noisy input. In this paper, we develop a new method (based on contour analysis) to bound $\| \tilde A_p - A_p \|$. With this method, we can exploit new parameters that measure the skewness between the noise matrix $E$ and the singular vectors of $A$, avoiding the worst-case analysis used in traditional approaches. In many settings, we obtain notable quantitative improvements compared to classical approaches (using the Eckart-Young-Mirsky theorem or the Davis-Kahan theorem).

Barta Theorem for the $p$-Laplacian and Geometric Applications

2026-03-14T22:31:56Z

In this article, we develop a Barta-type formulation for the $p$-Laplacian on Riemannian manifolds, extending the approach of Cheung-Leung and Bessa-Montenegro from the linear to the nonlinear setting. This framework yields sharp lower bounds for the $p$-fundamental tone without any assumptions on boundary regularity. As applications, we obtain nonlinear extensions of Cheng's eigenvalue comparison theorem and the Cheng-Li-Yau estimate for $p \geq 2$ in the context of minimal immersions. In particular, under the above assumptions, the domain $Ω$ is $p$-stable for the Schrödinger-type operator associated with the potential $\mathcal{V} = \|A\|^{p}$, where $A$ denotes the second fundamental form of the minimal immersion. In addition, we establish a lower bound for the $p$-fundamental tone in the setting where the immersion has locally bounded mean curvature. Finally, we provide a Kazdan-Kramer type characterization of the $p$-fundamental tone, offering a unified and geometric perspective on spectral bounds for the operator $p$-Laplacian.

Spectral Analysis of a Quantum Waveguide with Elliptical Window

2026-03-14T21:12:37Z

We investigate the Dirichlet Laplacian in two spatial waveguides coupled through an elliptic window. The elliptic geometry breaks rotational symmetry and introduces anisotropy through the semi-axes of the aperture, which modifies the coupling of transverse modes and the low-lying spectrum. We prove that the operator has a finite number of discrete eigenvalues below the threshold of the essential spectrum and study their dependence on the geometric parameters of the ellipse. In contrast to the circular case, the elliptic setting gives rise to spectral effects such as eigenvalue splitting. Numerical simulations illustrate the variation of the first eigenvalues and the ground state with the window geometry.

Spinning top in quadratic potential and matrix dressing chain

2026-03-14T09:33:53Z

We show that the equations of motion of the rigid body about centre of mass in the Newtonian field with a quadratic potential are special reductions of period-one closure of the Darboux dressing chain for the Schrödinger operators with matrix potentials. We show that the corresponding matrix Schrödinger operators are maximally finite-gap (in the sense that for all sufficiently large energies all solutions of the corresponding Schrödinger equation are bounded) and describe their spectrum explicitly. The general $2\times 2$-matrix case of the dressing chain, providing also some exotic matrix versions of the harmonic oscillator, is discussed in more detail.

Problems in spectral analysis of canonical Hamiltonian systems

2026-03-13T20:54:58Z

This note focuses on recent results in spectral analysis of canonical systems of differential equations obtained via the approach developed in our previous papers \cite{MIF1, MP3, etudes, etudes2, PZ, Direct}. Many of our results are motivated by the pioneering research of Barry Simon and his co-authors; see, for instance, the papers cited in the main text. We discuss solutions to the inverse spectral problem (ISP) for canonical Hamiltonian systems and mixed spectral problems for Schrödinger operators. One of our goals is to show connections of ISP with classical tools of analysis, such as the Hilbert transform, orthogonal polynomials, the gap problem and solutions to the Riemann-Hilbert problem. We illustrate our results with examples and discuss further questions.

A Semi-Classical Szegő-type Limit Theorem for Toeplitz Operators

2026-03-13T18:01:22Z

We obtain Szeg\H o-type limit theorems for Toeplitz operators on the weighted Bergman spaces $A^{2}_α(\mathbb{B}^{n})$, and on $L^{2}(G)$, presenting separate formulations for compact and locally compact Abelian groups. Furthermore, we establish a broad class of abstract Szegő limit theorems that unify and extend many classical results.

Extremal Steklov-Neumann Eigenvalues

2026-03-13T16:16:23Z

Let $Ω$ be a bounded open planar domain with smooth connected boundary, $Γ$, that has been partitioned into two disjoint components, $Γ= Γ_S \sqcup Γ_N$. We consider the Steklov-Neumann eigenproblem on $Ω$, where a harmonic function is sought that satisfies the Steklov boundary condition on $Γ_S$ and the Neumann boundary condition on $Γ_N$. We pose the extremal eigenvalue problems (EEPs) of minimizing/maximizing the $k$-th non-trivial Steklov-Neumann eigenvalue among boundary partitions of prescribed measure. We formulate a relaxation of these EEPs in terms of weighted Steklov eigenvalues where an $L^\infty(Γ)$ density replaces the boundary partition. For these relaxed EEPs, we establish existence and prove optimality conditions. We also prove a homogenization result that allows us to use solutions to the relaxed EEPs to infer properties of solutions to the original EEPs. For a disk, we provide numerical and asymptotic evidence that the minimizing arrangement of $Γ_S\sqcup Γ_N$ for the $k$-th eigenvalue consists of $k+1$ connected components that are symmetrically arranged on the boundary. For a disk, for $k = 1$, the constant density is a maximizer for the relaxed problem; we also provide numerical and asymptotic evidence that for $k\ge 2$, the maximizing density for the relaxed problem is a non-trivial function; a sequence of rapidly oscillating Steklov/Neumann boundary conditions approach the supremum value.

Adaptive FEM with optimal convergence rate for non-self-adjoint eigenvalue problems

2026-03-13T13:17:09Z

In this paper, we first discuss the optimal convergence of the adaptive finite element methods for non-self-adjoint eigenvalue problems. We present new theoretical error estimators and computable error estimators for multiple and clustered eigenvalues with the help of the error estimators of finite element solutions for the corresponding source problems, and prove the equivalence between these two estimators. We propose an adaptive algorithm for the eigenvalue cluster and demonstrate that it achieves the optimal convergence rate.We also provide numerical experiments to support our theoretical findings.

On the {$L^\infty $} norms of spectral projectors on shrinking intervals: the cases of some spheres of revolution and of the Euclidean disk

2026-03-13T08:46:18Z

Given a compact Riemannian surface $M$, with Laplace-Beltrami operator $Δ$, for $λ> 0$, let $P_{λ,λ^{-\frac{1}{3}}}$ be the spectral projector on the bandwidth $[λ-λ^{-\frac{1}{3}}, λ+ λ^{\frac{1}{3}}]$ associated to $\sqrt{-Δ}$. We prove a polynomial improvement on the $L^2 \to L^{\infty}$ norm of $P_{λ,λ^{-\frac{1}{3}}}$ for generic simple spheres of revolution (away from the poles and the equator) and for the Euclidean disk away from its center but up to the boundary. We use the Quantum Integrability of those surfaces to express the norm in terms of a joint basis of eigenfunctions for $\left(\sqrt{-Δ}, \frac{1}{i}\frac{\partial}{\partial θ}\right)$. Then, we use that those eigenfunctions are asymptotically Lagrangian oscillatory functions, each supported on a Lagrangian torus with fold-type caustic. Thus, studying the distribution of the caustics, and using BKW decay away from the caustics, we are able to reduce the problem to counting estimates.

Data-Driven Matrix Recovery via Optimal Shrinkage and Spatially Resolved Singular Vector Denoising under High-Dimensional Separable Noise

2026-03-13T00:46:22Z

This paper develops a spatially resolved perturbation theory for singular vectors under high-dimensional separable noise and applies it to data-driven matrix recovery. In the asymptotic regime where the matrix dimensions are proportional and significantly larger than the signal rank, we derive exact leading-order variance formulas for the singular vector perturbation projected onto any spatial patch. The variance decomposes into a spatially non-uniform component governed by the local noise covariance and a spatially uniform component governed by the global noise level. These formulas provide the foundation for the \emph{extended optimal shrinkage and wavelet shrinkage} (e$\mathcal{OWS}$) algorithm, which recovers low-rank matrices satisfying a mixed Hölder condition. The pipeline begins with optimal shrinkage of singular values, then constructs coupled multiscale partition trees on the row and column spaces from the denoised estimate, generating a tensor Haar-Walsh wavelet basis. Spatially adaptive wavelet shrinkage is applied using data-driven, coefficient-level thresholds derived from the perturbation theory. We establish convergence rates that strictly improve upon both optimal shrinkage and wavelet shrinkage applied in isolation. Numerical simulations demonstrate reliable matrix recovery and accurate reconstruction of the underlying singular subspaces, including an application to fetal ECG extraction.