The smallest Laplace eigenvalue of homogeneous 3-spheres

2025-03-17T22:24:38Z

We establish an explicit expression for the smallest non-zero eigenvalue of the Laplace--Beltrami operator on every homogeneous metric on the 3-sphere, or equivalently, on SU(2) endowed with left-invariant metric. For the subfamily of 3-dimensional Berger spheres, we obtain a full description of their spectra. We also give several consequences of the mentioned expression. One of them improves known estimates for the smallest non-zero eigenvalue in terms of the diameter for homogeneous 3-spheres. Another application shows that the spectrum of the Laplace--Beltrami operator distinguishes up to isometry any left-invariant metric on SU(2). It is also proved the non-existence of constant scalar curvature metrics conformal and arbitrarily close to any non-round homogeneous metric on the 3-sphere. All of the above results are extended to left-invariant metrics on SO(3), that is, homogeneous metrics on the 3-dimensional real projective space.

On a polygon version of Wiegmann-Zabrodin formula

2025-03-17T20:56:49Z

Let $P$ be a convex polygon in ${\mathbb C}$ and let $\Delta_{D, P}$ be the operator of the Dirichlet boundary value problem for the Lapalcian $\Delta=-4\partial_z\partial_{\bar z}$ in $P$. We derive a variational formula for the logarithm of the $\zeta$-regularized determinant of $\Delta_{D, P}$ for arbitrary infinitesimal deformations of the polygon $P$ in the class of polygons (with the same number of vertices). For a simply connected domain with smooth boundary such a formula was recently discovered by Wiegmann and Zabrodin as a non obvious corollary of the Alvarez variational formula, for domains with corners this approach is unavailable (at least for those deformations that do not preserve the corner angles) and we have to develop another one.

Finite and full scale localization for the multi-frequency quasi-periodic CMV matrices

2025-03-17T12:18:00Z

This paper formulates the finite and full-scale localization for multi-frequency quasi-periodic CMV matrices. This can be viewed as the CMV counterpart to the localization results by Goldstein, Schlag, and Voda [arXiv:1610.00380 (math.SP], Invent. Math. 217 (2019)) on multi-frequency quasi-periodic Schr\"{o}dinger operators.

Functions of self-adjoint operators under relatively bounded and relatively trace class perturbations. Relatively operator Lipschitz functions

2025-03-17T10:07:27Z

We study the behaviour of functions of self-adjoint operators under relatively bounded and relatively trace class perturbation We introduce and study the class of relatively operator Lipschitz functions. An essential role is played by double operator integrals. We also consider study the class of resolvent Lipschitz functions. Then we obtain a trace formula in the case of relatively trace class perturbations and show that the maximal class of function for which the trace formula holds in the case of relatively trace class perturbations coincides with the class of relatively operator Lipschitz functions. Our methods also gives us a new approach to the inequality $\int|\boldsymbol{\xi}(t)|(1+|t|)^{-1}\,{\rm d}t<\infty$ for the spectral shift function $\boldsymbol{\xi}$ in the case of relatively trace class perturbations.

Explicit construction of matrix-valued orthogonal polynomials of arbitrary sizes

2025-03-16T14:47:15Z

In this paper, we explicitly provide expressions for a sequence of orthogonal polynomials associated with a weight matrix of size $N$ constructed from a collection of scalar weights $w_{1}, \ldots, w_{N}$: $$W(x) = T(x)\operatorname{diag}(w_{1}(x), \ldots, w_{N}(x))T(x)^{\ast},$$ where $T(x)$ is a specific polynomial matrix. We provide sufficient conditions on the scalar weights to ensure that the weight matrix $W$ is irreducible. Furthermore, we give sufficient conditions on the scalar weights to ensure the constructed sequence of matrix orthogonal polynomials is an eigenfunction of a differential operator. We also study the Darboux transformations and bispectrality of the orthogonal polynomials in the particular case where the scalar weights are the classical weights of Jacobi, Hermite, and Laguerre. With these results, we construct a wide variety of bispectral matrix-valued orthogonal polynomials of arbitrary size, which satisfy a second-order differential equation.

Dirichlet eigenfunctions with nonzero mean value

2025-03-15T19:34:47Z

We consider Laplacian eigenfunctions on a domain $\Omega \subset \mathbb{R}^d$. Under Neumann boundary conditions, the first eigenfunction is constant and the others have mean value 0. The situation is different for Dirichlet boundary conditions: on `generic' domains, one would expect that every eigenfunction has nonzero mean value. The other extreme is the ball in $\mathbb{R}^d$, where among the first $n$ eigenfunctions only $\sim n^{1/d}$ have a mean value different from zero. We prove that this rate is sharp in \textit{any} smooth domain, up to a logarithmic factor: in any smooth domain~$\Omega$, among the first $n$ Dirichlet eigenfunctions at least $ (\log{n})^{-1/2} \cdot n^{1/d} $ have a nonzero mean.

The Exact Geometry of Numerical Error: Cyclic Groups and Deterministic Bias

2025-03-15T12:54:00Z

The Universal Bias Framework (UBF) introduces a novel perspective on numerical integration errors for periodic $C^2[0,1]$ functions evaluated on uniform grids. We prove that within this domain, what has traditionally been treated through asymptotic bounds is in fact a deterministic signal governed by the cyclic group $\mathbb{Z}/P\mathbb{Z}$. For \[ f(x)=\sin^2(2\pi kx) \] on a uniform grid of $P$ points, we derive the exact bias formula: \[ \mathcal{B}_P[f] = -\frac{1}{2}\chi\left(\frac{2k}{P}\right) + \frac{\sin(4\pi k)}{8\pi k}, \] where $\chi$ functions as a resonance detector, encoding grid-frequency interactions -- spiking at integer ratios of $k/P$ and vanishing at partial resonances. This is not an approximation; it is an exact solution validated to machine precision ($10^{-16}$). For periodic $C^2[0,1]$ functions, the bias exhibits a fractal-like structure at rational $k/P$ values, with resonance peaks organised in a Farey fraction hierarchy. This establishes a connection between numerical error and number theory, unifying integration and spectral analysis through a common algebraic structure. The framework's predictive power extends to real-world applications -- our analysis shows it could have anticipated the error accumulation in the 1991 Patriot missile failure 61 hours before the critical threshold. UBF provides a foundation for precise error prediction in domains where periodic functions on uniform grids are relevant, including signal processing, quantum simulation, and computational mechanics, transforming error from an obstacle to be bounded into a signal to be leveraged.

Fully personalized PageRank and algebraic methods to distribute a random walker

2025-03-14T14:28:23Z

We present a comprehensive analysis of algebraic methods for controlling the stationary distribution of PageRank-like random walkers. Building upon existing literature, we compile and extend results regarding both structural control (through network modifications) and parametric control (through measure parameters) of these centralities. We characterize the conditions for complete control of centrality scores and the weaker notion of ranking control, establishing bounds for the required parameters. Our analysis includes classical PageRank alongside two generalizations: node-dependent dampings and node-dependent personalization vector, with the latter being a novel idea in the literature. We examine how their underlying random walk structures affect their controllability, and we also investigate the concepts of competitors and leaders in centrality rankings, providing insights into how parameter variations can influence node importance hierarchies. These results advance our understanding of the interplay between algebraic control and stochastic dynamics in network centrality measures.

On a 3D Stokes eigenvalue problem under Navier slip-with-friction boundary conditions and applications to Navier-Stokes equations

2025-03-14T14:09:21Z

In this paper we consider, by means of a precise spectral analysis, the 3D Navier-Stokes equations endowed with Navier slip-with-friction boundary conditions. We study the problem in a very simple geometric situation as the region between two parallel planes, with periodicity along the two planes. This setting, which is often used in the theory of boundary layers, requires some special treatment for what concerns the functional setting and allows us to characterize in a rather explicit manner eigenvalues and eigenfunctions of the associated Stokes problem. These, will be then used in order to identify infinite dimensional classes of data leading to global strong solutions for the corresponding evolution Navier-Stokes equations.

Weighted Poincaré inequality and Hardy improvements related to some degenerate elliptic differential operators

2025-03-14T11:29:52Z

In this paper, we characterize the sharp constant and maximizing functions for weighted Poincar\'e inequalities. These results lead to refinements of Hardy's inequality obtained by adding remainder terms involving $L^p$ norms. We use techniques that avoid symmetric rearrangement argument, simplifying the analysis of these inequalities in both Euclidean and non-Euclidean contexts. Specifically, this method applies to a variety of settings, such as the Heisenberg group, various Carnot groups and operators expressed as sums of squares of vector fields. Significant examples include the Heisenberg-Greiner operator and the Baouendi-Grushin operator.

Linear Instability of the Prandtl Equations via Hypergeometric Functions and the Harmonic Oscillator

2025-03-14T08:28:17Z

We establish a deep connection between the Prandtl equations linearised around a quadratic shear flow, confluent hypergeometric functions of the first kind, and the Schr\"odinger operator. Our first result concerns an ODE and a spectral condition derived in [10], associated with unstable quasi-eigenmodes of the Prandtl equations. We entirely determine the space of solutions in terms of Kummer's functions. By classifying their asymptotic behaviour, we verify that the spectral condition has a unique, explicitly determined pair of eigenvalue and eigenfunction, the latter being expressible as a combination of elementary functions. Secondly, we prove that any quasi-eigenmode solution of the linearised Prandtl equations around a quadratic shear flow can be explicitly determined from algebraic eigenfunctions of the Schr\"odinger operator with quadratic potential. We show finally that the obtained analytical formulation of the velocity align with previous numerical simulations in the literature.

On two properties of positively perturbed discrete Schrödinger operators

2025-03-13T20:34:11Z

We show that if we start from a symmetric lower semi-bounded Schr\"odinger operator $\mathcal{H}$ on finitely supported functions on a discrete weighted graph (satisfying certain conditions), apply the Friedrichs construction to get a self-adjoint extension $H$, and then perturb $H$ by a non-negative function $W$, then the resulting form-sum $H\widetilde{+}W$ coincides with the Friedrichs extension of $\mathcal{H}+W$. Additionally, we consider a non-negative perturbation of an essentially self-adjoint lower semi-bounded Schr\"odinger operator $H$ on a discrete weighted graph. We show that, under certain conditions on the graph and the perturbation, the essential self-adjointness of $H$ remains stable under the given perturbation.

Analysis and Mitigation of Cascading Failures Using a Stochastic Interaction Graph with Eigen-analysis

2025-03-12T23:47:37Z

In studies on complex network systems using graph theory, eigen-analysis is typically performed on an undirected graph model of the network. However, when analyzing cascading failures in a power system, the interactions among failures suggest the need for a directed graph beyond the topology of the power system to model directions of failure propagation. To accurately quantify failure interactions for effective mitigation strategies, this paper proposes a stochastic interaction graph model and associated eigen-analysis. Different types of modes on failure propagations are defined and characterized by the eigenvalues of a stochastic interaction matrix, whose absolute values are unity, zero, or in between. Finding and interpreting these modes helps identify the probable patterns of failure propagation, either local or widespread, and the participating components based on eigenvectors. Then, by lowering the failure probabilities of critical components highly participating in a mode of widespread failures, cascading can be mitigated. The validity of the proposed stochastic interaction graph model, eigen-analysis and the resulting mitigation strategies is demonstrated using simulated cascading failure data on an NPCC 140-bus system.

Optimization of quantum graph eigenvalues with preferred orientation vertex conditions

2025-03-12T20:14:47Z

We discuss Laplacian spectrum on a finite metric graph with vertex couplings violating the time-reversal invariance. For the class of star graphs we determine, under the condition of a fixed total edge length, the configurations for which the ground state eigenvalue is maximized. Furthermore, for general finite metric graphs we provide upper bounds for all eigenvalues.

Conformal optimization of eigenvalues on surfaces with symmetries

2025-03-12T15:58:18Z

Given a conformal action of a discrete group on a Riemann surface, we study the maximization of Laplace and Steklov eigenvalues within a conformal class, considering metrics invariant under the group action. We establish natural conditions for the existence and regularity of maximizers. Our method simplifies previously known techniques for proving existence and regularity results in conformal class optimization. Finally, we provide a complete solution to the equivariant maximization problem for Laplace eigenvalues on the sphere and Steklov eigenvalues on the disk, resolving open questions posed by Arias-Marco et al. (2024) regarding the sharpness of the Hersch-Payne-Schiffer inequality and the maximization of Steklov eigenvalues by the standard disk among planar simply connected domains with $p\text{-rotational}$ symmetry.