https://arxiv.org/api/gQDOANMvy4P9pqTGCbFgFR26fX82026-03-22T15:43:55Z109767515http://arxiv.org/abs/2411.18244v2Spectral radius and second largest eigenvalues of power graphs of finite groups2026-02-28T19:30:52ZConsider a group $\mathbb{G}$ and construct its power graph, whose vertex set consists of the elements of $\mathbb{G}$. Two distinct vertices (elements) are adjacent in the graph if and only if one element can be expressed as an integral power of the other. In this article, we improved the bounds of the spectral radius of the power graphs of the cyclic group $C_{n}$, the dihedral group $\mathcal{D}_{2n}$, and the dicyclic group $\mathcal{Q}_{4n}$. For $n\neq p^{m},$ the power graph of the cyclic group $C_{n}$ is not a complete multipartite graph. We find the second largest eigenvalue bounds of the same with the clique number. In some cases, we find the bounds are exact if and only if they belong to a particular family of graphs. Lastly, we work on the distance spectral radius of the power graphs of the same groups2024-11-27T11:35:56ZPriti Prasanna MondalBasit Auyoob MirFouzul Atikhttp://arxiv.org/abs/2603.00299v1Remling's Theorem for vector-valued discrete Schrodinger operators2026-02-27T20:28:25ZThis paper extends Remling's Theorem to vector-valued discrete Schrodinger operators, showing that the ω limit points of the matrix potentials, under the shift map, are reflectionless on the absolutely continuous spectrum with full multiplicity.2026-02-27T20:28:25ZKeshav Raj Acharyahttp://arxiv.org/abs/2511.14448v5CLT for the trace functional of the IDS of magnetic random Schrödinger operators2026-02-27T18:35:48ZWe consider the existence of the integrated density of states (IDS) of the magnetic Schrödinger operator with a random potential on the Hilbert space \( L^2(\mathbb{R}^d) \), as an analogue of the law of large numbers (LLN) for trace functionals. In this work, we establish an analogue of the central limit theorem (CLT), which describes the fluctuations of the trace functionals of the IDS, for a class of test functions denoted by \( C^1_{d,0}(\mathbb{R}) \). This class consists of real-valued, continuously differentiable functions on \( \mathbb{R} \) that decay at the rate \( O(|x|^{-m}) \) as \( |x| \to \infty \), where \( m > d + 1 \).2025-11-18T12:44:22ZDhriti Ranjan DolaiNaveen Kumarhttp://arxiv.org/abs/2602.23818v1Asymptotic behavior and spectral distortion for biharmonic Steklov problems on thin domains2026-02-27T08:58:48ZIn this paper, we investigate the asymptotic behavior of the eigenvalues and eigenfunctions of a biharmonic Steklov problem defined on a thin domain in the $n$ dimensional Euclidean space degenerating to a segment. For $n=2$ the problem models the vibrations of a thin elastic plate with cross section represented by the given domain and mass concentrated on a free boundary. The problem under consideration depends on a parameter $σ$ that in the theory of elastic plates represents the Poisson ratio of the material. Our analysis points out a distortion in the limiting problem depending on $σ$ and the space dimension $n$.2026-02-27T08:58:48ZThis is the preprint version of a paper accepted for publication in the journal Applicable AnalysisBauyrzhan DerbissalyPier Domenico Lambertihttp://arxiv.org/abs/2511.02517v2Nearly optimal spectral gaps for random Belyi surfaces2026-02-26T14:12:23ZIn this paper, we show that a random hyperbolic surface in the Brooks-Makover model has a spectral gap greater than $\left(\frac{1}{4}-\left(\frac{1}{n}\right)^{\frac{1}{221}}\right)$, confirming the nearly optimal spectral gap conjecture in this model.2025-11-04T12:08:28Z46 pages, 9 figures, extend $ε$ to $\left(\frac{1}{n}\right)^{\frac{1}{221}}\right)$ and provide certain new Ramanujan surfacesYang ShenYunhui Wuhttp://arxiv.org/abs/2602.22757v1Are sparse graphs typically determined by their spectrum?2026-02-26T08:46:47ZWe investigate whether it is typical for a sparse graph to be uniquely characterized by its adjacency spectrum up to isomorphism. Our first result shows that the giant component of an Erdős-Rényi graph is cospectral when the average degree is sufficiently small. The proof relies on the existence of a specific pendant tree, combined with a method by Schwenk that swaps trees to construct a cospectral mate.
It seems possible that pendant trees are essentially the only obstruction, meaning that the giant should become characterized by spectrum with high probability if one prunes these by considering the 2-core. The majority of the paper is devoted to theoretical and numerical evidence supporting this concept. Our main theorem in this direction establishes that local switching methods can not cause the 2-core to be cospectral. We also discuss R-cospectrality and rational cospectrality at fixed level.2026-02-26T08:46:47Z17 pages, 6 figuresNils Van de BergAlexander Van Werdehttp://arxiv.org/abs/2502.03351v3Regularized $ζ_Δ(1)$ for Polyhedra2026-02-25T20:24:55ZLet $X$ be a compact polyhedral surface (a compact Riemann surface with flat conformal metric $\mathfrak{T}$ having conical singularities). The $ζ$-function $ζ_Δ(s)$ of the Friedrichs Laplacian on $X$ is meromorphic in ${\mathbb C}$ with a single simple pole at $s=1$. We define $\operatorname{reg}ζ_Δ(1)$ as $\lim\limits_{s\to 1} \bigl( ζ_Δ(s)-\frac{ {\rm Area}(X,\mathfrak{T}) }{4π(s-1)}\bigr)$. We derive an explicit expression for this spectral invariant through the holomorphic invariants of the Riemann surface $X$ and the (generalized) divisor of the conical points of the metric $\mathfrak{T}$. We study the asymptotics of $\operatorname{reg}ζ_Δ(1)$ for the polyhedron obtained by sewing two other polyhedra along segments of small length. In addition, we calculate $\operatorname{reg}ζ(1)$ for a family of (non-Friedrichs) self-adjoint extensions of the Laplacian on the tetrahedron with all the conical angles equal to $π$.2025-02-05T16:46:17ZSIGMA 22 (2026), 018, 31 pagesAlexey Yu. KokotovDmitrii V. Korikov10.3842/SIGMA.2026.018http://arxiv.org/abs/2602.22348v1IDS for subordinate Brownian motions in Poisson random environment on nested fractals2026-02-25T19:13:24ZWe establish the Lifshitz singularity of the integrated density of states (IDS) for random Schrödinger operators \[ H^ω = φ(-\mathcal{L}) + V^ω \] on planar unbounded nested fractals with the Good Labeling Property. Here, $\mathcal{L}$ is the Laplacian on the fractal, $φ$ is an operator monotone function with mild regularity, and $V^ω$ is a Poissonian random potential with a sufficiently regular profile. The main novelty of our work lies in showing that the study of $V^ω$ can be effectively reduced to the analysis of certain alloy-type potential, where the sites are no longer lattice points as in the classical $\mathbb{Z}^d$ case, but fractal complexes. This observation enables us to apply an approach, new in the setting of Poissonian random fields, which allows us to treat a broad class of Bernstein functions $φ$. In particular, it covers the case $φ(λ)=(λ+m^{d_w/\vartheta})^{\vartheta/d_w}-m$, $\vartheta \in (0,d_w)$, $m>0$, corresponding to relativistic models, which were previously unattainable on fractals by known methods.2026-02-25T19:13:24Z27 pagesHubert BalsamKamil KaletaMariusz OlszewskiKatarzyna Pietruska-Pałubahttp://arxiv.org/abs/2602.22084v1Matrix Perturbation Theory in the Tangent Space of Isospectral Matrices2026-02-25T16:32:18ZEigenvalue and eigenvector perturbation theory is a fundamental topic in several disciplines, including numerical linear algebra, quantum physics, and related fields. The central problem is to understand how the eigenvalues and eigenvectors of a matrix $A \in \mathbb{C}^{n \times n}$ change under the addition of a perturbation matrix $E \in \mathbb{C}^{n \times n}$. Much of the existing literature focuses on structured perturbations. For example, in [C.-K. Li and R.-C. Li, Linear Algebra Appl. 2005], the matrix $A$ is assumed to be Hermitian and block diagonal, while the perturbation $E$ is Hermitian and block off-diagonal. In this work, we investigate a different structured setting in which the perturbation has the commutator form $E = AB - BA$ for some matrix $B$, which we show to be a generalization of the block diagonal structure considered by Li and Li. First, we extend their main result by showing that the perturbation of the $i$-th eigenvalue of $A$, denoted by $λ_i$, is of order $\|E\|^2 / η_i$, where $η_i = \min_{j \neq i} |λ_i - λ_j|$ is the spectral gap associated with $λ_i$. Second, we provide a detailed analysis of the role played by the matrix $B$ in the perturbation of the eigenvectors. This analysis is further generalized to the case of block-diagonal matrices with multiple eigenvalues, as well as to perturbed singular values and eigenvalues of Jordan blocks.2026-02-25T16:32:18Z27 pages, 6 figuresFrancesco HrobatYuji Nakatsukasahttp://arxiv.org/abs/2403.07160v2Essential self-adjointness of strongly singular homogeneous polyharmonic operators2026-02-25T01:33:59ZWe consider essential self-adjointness of strongly singular, homogeneous, polyharmonic operators of the form \[ T_m = \left((-Δ)^m + c|x|^{-2m}\right)\big|_{C_0^{\infty}(\mathbb{R}^n \setminus \{0\})}, \quad m,n\in\mathbb{N},\ n\ge 2,\ c\in\mathbb{R}, \] in $L^2(\mathbb{R}^n; d^n x)$, with special emphasis on the biharmonic case $m=2$ and the case $m=3$. In the biharmonic case $m=2$ we prove the sharp result that $T_2$ is essentially self-adjoint if and only if \[ c \ge \begin{cases} 3(n+2)(6-n), & 2\le n\le 5,\\[4pt] -\dfrac{(n+4)n(n-4)(n-8)}{16}, & n\ge 6. \end{cases} \] In particular, in the special (nonsingular) case $c=0$, $(-Δ)^2\big|_{C_0^{\infty}(\mathbb{R}^n \setminus \{0\})}$ is essentially self-adjoint in $L^2(\mathbb{R}^n; d^n x)$ if and only if $n\ge 8$. Similarly, we derive the analogous sharp essential self-adjointness result for $T_3$ for all $n\ge 2$.
Our methods extend to homogeneous polyharmonic differential operators, but certain nontrivial subtleties arise. In particular, the natural expectation that for each $m,n\in\mathbb{N}$, $n\ge 2$, there exists $c_{m,n}\in\mathbb{R}$ such that $\left((-Δ)^m + c|x|^{-2m}\right)\big|_{C_0^{\infty}(\mathbb{R}^n \setminus \{0\})}$ is essentially self-adjoint in $L^2(\mathbb{R}^n; d^n x)$ if and only if $c\ge c_{m,n}$ is false. For example, for $n=20$ we prove that \[ \left((-Δ)^5 + c|x|^{-10}\right)\big|_{C_0^{\infty}(\mathbb{R}^{20} \setminus \{0\})} \] is essentially self-adjoint in $L^2(\mathbb{R}^{20}; d^{20} x)$ if and only if $c\in [0,β]\cup[γ,\infty)$, where $β\approx 1.0436\times 10^{10}$ and $γ\approx 1.8324\times 10^{10}$ are the two real roots of a certain quartic equation with integer coefficients.2024-03-11T21:03:11Z31 pages, 4 figuresFritz GesztesyMarkus Hunzikerhttp://arxiv.org/abs/2602.17501v3A Lower Bound for the First Non-zero Basic Eigenvalue on a Singular Riemannian Foliation2026-02-24T18:01:17ZIn this paper, we provide the lower bounds of the first non-zero basic eigenvalue on a closed singular Riemannian manifold $(M,\mathcal{F})$ with basic mean curvature that depends on the given non-negative lower bound of the Ricci curvature of $M$ and the diameter of the leaf space $M/\mathcal{F}$. These can be regarded as generalized versions of the Zhong-Yang estimate and a generalized Shi-Yang's estimate for singular Riemannian foliations with basic mean curvature. We also provide a rigidity result corresponding to the generalized Zhong-Yang estimate, which is a generalized Hang-Wang rigidity for singular Riemannian foliations with basic mean curvature. More precisely, when the first basic eigenvalue $λ_1^B$ is equal to $\frac{π^2}{d_{M/\mathcal{F}^2}} $, where $d_{M/\mathcal{F}}$ is the diameter of the leaf space, $M$ is isometric to a mapping torus of an isometry $\varphi:N\to N$ where $N$ is an $(n-1)$-dimensional Riemannian manifold of nonnegative Ricci curvature and $\mathcal{F}$ has the form $\{[\{\text{point}\}\times N]\}$.2026-02-19T16:15:52Z20 pages, 2 figuresBach Tranhttp://arxiv.org/abs/2602.21118v1Low eigenvalues of the $p-$Laplacian in general open sets2026-02-24T17:15:12ZWe consider the minmax Ljusternik-Schnirelmann levels of the constrained $p-$Dirichlet integral, on a general open set of the Euclidean space. We show that, whenever one of these levels lies below the threshold given by the $L^p$ Poincaré constant ``at infinity'', it actually defines an eigenvalue of the Dirichlet $p-$Laplacian. We also prove an exponential decay at infinity for the relevant eigenfunctions: this can be seen as a Šnol-Simon--type estimate for the nonlinear case. Finally, we exhibit some peculiar examples of unbounded open sets to which our main result applies.2026-02-24T17:15:12Z38 pages, 1 figureLorenzo BrascoLuca BrianiFrancesca Prinarihttp://arxiv.org/abs/2602.21048v1t-Hermitian Forms of Arbitrary Degree, Their Spectral Structure, and Positivity2026-02-24T16:05:51ZWe introduce $t$-Hermitian forms of arbitrary degree $k$, a natural extension of classical degree $k$ Hermitian forms obtained through a synthesis of the tensor transformation law and the $t$-product of third-order tensors. We show that degree $k$ $t$-Hermitian forms uniquely correspond to order $2k+1$ Hermitian tensors arising as canonical representatives within the $^*$-algebra of Hermitian tensors equipped with the $t$-product/$t$-Einstein product. Applying the discrete Fourier transform, their corresponding $t$-Hermitian forms decompose into collections of classical degree $k$ Hermitian forms. This decomposition yields a universal lifting property, allowing arbitrary collections of degree $k$ Hermitian forms to be viewed as a single structured object which preserves fundamental properties such as Hermitian positive-definiteness.
For a distinguished class of $t$-Hermitian forms, which we refer to as commutant $t$-Hermitian forms, we establish a spectral theory extending the classical spectral characterization of Hermitian tensors. In particular, we relate Hermitian positive-definiteness to two distinct classes of eigenvalues: the tensor eigenvalues of each frontal slice of the form's corresponding tensor, and matrix eigenvalues obtained after unfolding each of these slices into matrices. Indeed, we prove that the tensor eigenvalues characterize Hermitian positive-definiteness; moreover, positivity of the matrix eigenvalues implies Hermitian positive-definiteness, however the converse fails in general.
Together, these results provide a unified framework for structured interactions among higher-degree Hermitian forms and lay the groundwork for further study, especially with regards to the consequences of the spectral hierarchy of positivity inherent in this setting.2026-02-24T16:05:51Z40 pagesIsaac Dobeshttp://arxiv.org/abs/2602.20797v1Non-negative persymmetric realizability of certain classes of spectra2026-02-24T11:35:17ZIdentifying the collection of scalars that represent a non-negative matrix's eigenvalues is known as the non-negative inverse eigenvalue problem (NIEP). Conditions for the existence of a non-negative matrix with a certain spectrum are examined in this work. The classical NIEP restricted to non-negative matrices having a persymmetric structure is the persymmetric non-negative inverse eigenvalue problem (PNIEP). We resolve the open problem stated in \cite{Ana}, and furthermore, equivalence of the PNIEP and NIEP is established for trace-zero spectra of five complex numbers. Also we obtain new sufficient conditions for the realizability of certain classes of spectra with non-negative persymmetric matrix realization. Based on generic structural features of persymmetric matrices and their characteristic polynomials, our method is constructive in nature. The effects of perturbations on imaginary part of complex eigenvalues are also analyzed and some perturbation results are derived.2026-02-24T11:35:17Z24 pages NayantharaNoufal Asharafhttp://arxiv.org/abs/2511.19625v2A sufficient condition for generalized spectral characterization of graphs with loops2026-02-24T09:44:23ZSufficient conditions for a simple graph to be characterized up to isomorphism given its spectrum and the spectrum of its complement graph are known due to Wang and Xu. This note establishes a related sufficient condition in the presence of loops: if the walk matrix has square-free determinant, then the graph is characterized by its generalized spectrum. The proof includes a general result about symmetric integral matrices.2025-11-24T19:00:48ZAdded conjecture on satisfaction frequencyAlexander Van Werde