A generalization of a result of Minakshisundaram and Pleijel

2026-06-30T10:21:30Z

Minakshisundaram and Pleijel gave an asymptotic formula for the sum of squares of the pointwise values of the eigenfunctions of the Laplace-Beltrami operator on a compact Riemannian manifold, with eigenvalues less than a fixed number. Zelditch later extended this result by replacing the pointwise values with the Fourier coefficients of a smooth measure supported on a compact submanifold. Zelditch's result is very general, and his proof relies on the theory of Fourier integral operators. Here we give a proof based on methods of Riemannian geometry.

The $S$-resolvent estimates for the Spinor Dirac operator on manifolds with boundary conditions

2026-06-30T08:30:40Z

The aim of this paper is to show that the spectral theory based on the S-spectrum is particularly well suited for the Dirac operator on manifolds, even in cases where the operator is not self adjoint. Traditionally, for non-self adjoint operators in the Clifford setting, the literature has often referred to the right spectrum. However, a more comprehensive approach is provided by the theory of the $S$-spectrum, which is the appropriate notion for general operators on Clifford modules. In this work, we show that this theory is particularly well suited for bisectorial Clifford operators. By using the $S$-spectrum, which naturally contains the right eigenvalues, we prove bisectorial estimates for the $S$-resolvent associated with the spinor Dirac operator under various boundary conditions.

On Pleijel-type nodal domain bounds for the $p$-Laplacian

2026-06-30T08:17:36Z

We provide an upper estimate à la Pleijel on the asymptotic number of nodal domains for eigenfunctions corresponding to the cogenus eigenvalues $\{λ_k(p;Ω)\}$ of the $p$-Laplacian in a bounded domain $Ω$, and identify regimes when the number of nodal domains of the $k$-th eigenfunction is less than $k$ as $k \to +\infty$. As auxiliary results, which also have independent interest, we provide a useful characterization of the cogenus eigenvalues implying their continuity with respect to $p$, justify the Weyl law, and prove the inequality $λ_2(p;B) \leq \dots \leq λ_{N+1}(p;B) \leq λ_\ominus(p)$ in an $N$-dimensional ball $B$, where $λ_\ominus(p)$ is an eigenvalue whose eigenfunction has a central section of $B$ as its nodal set.

Capacity and measure approximations for Schrödinger operators

2026-06-30T02:37:34Z

We prove that logarithmic capacity convergence for phase-union spectra of quasi-periodic Schrödinger operators in the zero Lyapunov exponent regime is robust, requiring only continuity of the potential. Let $S^+(p/q)$ denote the union, over the phase, of the spectra at rational frequency $p/q$. We show that if the Lyapunov exponent vanishes on the spectrum $Σ(α)$ at an irrational frequency $α$, then for every sequence $p_n/q_n\toα$, the logarithmic capacities $Cap(S^+(p_n/q_n))\longrightarrow Cap(Σ(α)).$ We also prove convergence of the corresponding harmonic measures. As a consequence, the equilibrium measures of $S^+(p_n/q_n)$ converge in the weak$^*$ topology to the density of states measure of the quasi-periodic Schrödinger operator. We extend these results to multi-frequency Schrödinger operators and prove analogous convergence theorems, for logarithmic capacity, harmonic measure, and equilibrium measure, for ergodic Schrödinger operators in a general setting where the almost sure spectrum is approximated in the Hausdorff metric by union spectra of periodic operators. This abstract formulation applies, in particular, to uniformly almost periodic potentials along sequences of almost periods. We also provide counterexamples when the limiting frequency is rational.

Pointwise behavior of SU(1,1) nonlinear Fourier transform

2026-06-29T15:27:09Z

We show that SU(1,1) NLFT can diverge pointwise for square-summable coefficients. As a consequence, we prove that the classical pointwise asymptotics of polynomials orthogonal on the unit circle can fail for measures in the Szegö class. We also discuss some special cases when the pointwise convergence holds.

Eigenvalue collision and exotic preservers on semisimple operators

2026-06-29T13:42:12Z

We classify $n\times n$-matrix-valued continuous commutativity and spectrum preservers defined on spaces of (a) normal, (b) semisimple and (c) arbitrary $n\times n$ matrices with spectra contained in sufficiently connected subsets $\mathcal{X}\subseteq \mathbb{C}$, generalizing a number of results due to Šemrl, Gogić, Tomašević and the author among others. In case (a) these are always conjugations or transpose conjugations, while in cases (b) and (c) qualitatively distinct possibilities arise depending on the local regularity of the complex-conjugation map close to coincident-eigenvalue loci of $\mathcal{X}^n$.

Existence and absence of Bose-Einstein condensation in the interacting random Kac-Luttinger model

2026-06-29T13:22:22Z

In this paper, we study interacting bosons at zero temperature in a random and higher-dimensional continuum model introduced by Kac and Luttinger. For weak interactions we prove that there is condensation in the lowest eigenstate of the one-particle Hamiltonian (type-I BEC). For strong interactions, however, we show that condensation in a localized state cannot occur. We also prove generalized condensation, where a family of eigenstates of the one-particle Hamiltonian is macroscopically occupied as a whole. Combining these results yields a scenario where there is generalized condensation into a family of eigenstates of the one-particle Hamiltonian, but none of them is macroscopically occupied itself (type-III BEC). This proves a transition in the type of condensation. To the best of our knowledge, this is the first rigorous result in this direction for a random continuum model in higher dimensions.

Inequalities between Dirichlet and Neumann eigenvalues in large dimensions

2026-06-29T10:55:17Z

Let $Ω$ be a bounded domain in $R^d$. Denote by $λ_k$ (resp. $μ_k$) the eigenvalues of the Laplace operator in $Ω$ with Dirichlet (resp. Neumann) boundary conditions. Denote by $Ψ= Ψ(d,k,Ω)$ the shift of indices in the inequality $μ_{k+Ψ} \le λ_k$. We are interested to describe the behaviour of $Ψ$ for large $d$. We prove that a) $Ψ(d,1,Ω) \ge C (e/2)^d$ for all domains $Ω$; and b) $Ψ(d,k,Ω) \ge C (e/2)^d$ for all $k$ and all convex domains $Ω$.

Principal $p-$frequency estimates on non-compact manifolds with negative Ricci curvature

2026-06-28T10:48:15Z

We establish a lower bound for the principal $p-$frequency $λ_{1,p}(Ω)$ on a bounded domain $Ω$ in a non-compact Riemannian manifold of dimension $n.$ Under the assumption that the Ricci curvature satisfies $\operatorname{Ric} \geq (n-1)K$ with $K<0,$ we prove that $λ_{1,p}(Ω) > \barλ_{D,K,n}$, where $D$ is the diameter of $Ω$ and $\barλ_{D,K,n}$ is explicitly defined as the first eigenvalue of an associated one-dimensional ordinary differential equation model that incorporates both $D$ and $K.$ Moreover, the estimate is sharp. This work extends previous results for the case $K=0$ to the geometrically more complex setting of negative Ricci curvature, and providing a new quantitative connection between the eigenvalue, the diameter of domains, and the curvature lower bound.

On The Morse Ensemble Polynomial Of Simplicial Complexes

2026-06-28T08:39:34Z

We introduce the \emph{Morse ensemble polynomial} $\ME_K(z_0,\ldots,z_d)$ of a finite simplicial complex $K$, defined as the generating function $\ME_K = \sum_M \prod_i z_i^{c_i(M)}$ over all acyclic matchings $M$ on the face poset of $K$, where $c_i(M)$ counts critical $i$-simplices. This polynomial records the complete critical-vector distribution over all acyclic matchings, equivalently over all discrete gradient vector fields arising from discrete Morse functions on $K$, and is an isomorphism invariant of simplicial complexes. In dimension one, this invariant recovers the Chari--Joswig graph formula for the $f$-vector of the discrete Morse complex in a two-variable Morse-vector normalization: $\ME_G=z_1^{m-n}\det(z_0z_1\,I_n+L_G)$ for a connected graph $G$. The main new contributions are higher-dimensional and structural. First, we prove a Top-Face Recursion for adding a top-dimensional simplex, with a non-liftable correction term $F(K,σ,τ)$. The vanishing and leading obstruction of this correction term are controlled by the top incidence graph: an incidence-separation criterion detects exactly when $F=0$, a leading obstruction layer is governed by shortest obstruction paths, and a tree-like (incidence-forest) regime of the top incidence structure gives a correction-free higher-dimensional recursion, including stacked balls as a concrete class. Second, we introduce the independence ME polynomial $Φ(G):=\ME_{\mathrm{Ind}(G)}$, a graph invariant which strictly refines the graph-level Morse ensemble, separates examples not distinguished by $T_G$ and $I(G;t)$, and records collapse-level information of $\mathrm{Ind}(G)$ through coefficients such as $[z_0]Φ(G)$.

Clock spacing for two-sided Jacobi matrices

2026-06-28T04:17:33Z

We study local eigenvalue spacing for finite truncations of a two-sided Jacobi matrix with two movable endpoints. In particular, we show that a suitable analog of clock spacing follows from a pointwise reflectionlessness condition. We obtain this as a consequence of a new scaling limit for Christoffel--Darboux kernels with a movable starting point. Without reflectionlessness, we obtain a new class of limit kernels, which combine distinct contributions from $\pm\infty$. We also show that clock spacing in the two-sided setting is a fragile phenomenon, which can be destroyed by the change of a single Jacobi coefficient; in particular, it is not merely a consequence of absolutely continuous spectrum.

Transfer Operators, Canonical Center Dynamics, and Spectral Applications for Long-Range Operators

2026-06-28T02:23:01Z

We introduce an operator-theoretic framework for long-range operators over general dynamical systems with analytic hopping and small potential. By establishing a partially hyperbolic splitting on the fibered solution bundle, we define the Canonical Center Bundle (CCB) as the center subbundle of this splitting, which is shown to be globally trivial. The center bundle admits a representation via Riesz spectral projections of the transfer operator. Furthermore, we show that, in the local regime, the center bundle arising in this framework essentially coincides, in the sense of gap convergence, with the Intrinsic Center Bundles (ICB) obtained from finite-range approximations in \cite{GJ}. The partially hyperbolic structure thereby reduces the spectral problem to the center bundle, leading to a Johnson-type characterization of the spectrum in terms of the associated center cocycle. We then apply this framework to quasi-periodic Schrödinger operators with analytic hopping, large analytic potentials and Diophantine frequency. In this setting, the center cocycle is analytic and satisfies a Center Thouless formula. As consequences, we establish the absolute continuity of the integrated density of states (IDS), resolving a problem of Eliasson; prove quantitative Hölder continuity of the IDS, partially answering a question of You; and obtain Anderson localization for the original Schrödinger operators.

Spectral invariants for discrete Schrödinger operators on periodic graphs

2026-06-27T15:33:23Z

The aim of this article is to present a complete system of Floquet spectral invariants for the discrete Schrödinger operators with periodic potentials on periodic graphs. These invariants are polynomials in the potential and determined by cycles in the quotient graph from some specific cycle sets. We discuss some properties of these invariants and give an explicit expression for the linear and quadratic (in the potential) Floquet spectral invariants. The constructed system of spectral invariants can be used to study the sets of isospectral periodic potentials for the Schrödinger operators on periodic graphs. In particular, we deduce that under certain assumptions, if a real potential is isospectral to the zero (respectively, "degree") potential, then it must be the zero (respectively, "degree") potential.

Commutator-based Solutions to $AXA = XAX$ when $A^n = tA^2$

2026-06-27T12:24:30Z

This paper offers a novel analytical method for obtaining new non-commuting solutions for the Yang-Baxter-like matrix equation $AXA=XAX$, when the coefficient matrix $A$ satisfies the square-cyclic condition $A^n=tA^2$. All the consistency criteria are proved and the obtained results are demonstrated on worked examples. The findings provided by this article simultaneously generalize several existing special cases regarding this topic. Consequently, by employing the obtained results, the previously unstudied inhomogeneous Yang-Baxter matrix equation $AXA=XAX+B$ is solved when $A$ is either invertible, or satisfies $A^2=0$.

A Discrete Prüfer Transformation Approach to Sturm--Liouville Difference Equations and Eigenvalue Estimation

2026-06-27T10:25:39Z

In this paper, we study regular second-order Sturm--Liouville difference equations using the discrete Prüfer transformation. By representing solutions in amplitude and phase coordinates, we analyze an exact algebraic phase system that guarantees unique, monotonic phase tracking and preserves classical oscillation properties. Using this theoretical foundation, we develop a Prüfer-based numerical shooting method to compute eigenvalues for discrete boundary value problems. To initialize the root-finding algorithm, we apply Gershgorin's theorem to the difference operator to establish mathematically guaranteed starting search intervals. Numerical experiments on classical benchmark problems demonstrate that the proposed method effectively isolates the discrete spectrum and converges to the exact continuous eigenvalues with second-order $\mathcal{O}(h^2)$ accuracy.