Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.04431

Block numerical ranges for linear relations

Rabeb Aydi·Hannes Gernandt·Omaima Kchaou·Carsten Trunk·Mitsuru Wilson
View original source ↗Read source document ↗Export metadata ↓

Abstract

Linear relations are multivalued generalizations of linear operators whose spectral properties are closely linked to the stability of differential-algebraic equations. Consequently, reliable spectral enclosures are of considerable interest. In this note, we extend the established concept of the block numerical range from operators to linear relations by means of a range representation. Unlike the classical numerical range, the resulting block numerical range may be nonconvex and can therefore detect gaps in the spectrum. We establish fundamental properties of this new notion and derive corresponding spectral enclosure results. Finally, we illustrate the theory with a numerical example comparing the block numerical ranges obtained from different constructions. As an application, we obtain an explicit left-half-plane spectral bound for a class of port-Hamiltonian DAEs.

Explore related subjects

math.SP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Rabeb Aydi, Hannes Gernandt, Omaima Kchaou, Carsten Trunk, Mitsuru Wilson. 2026-10-03. Block numerical ranges for linear relations. https://arxiv.org/abs/2610.04431

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Weighted Discretization of Riemannian Manifolds with Lower Ricci Bounds

Let $(M,g)$ be a connected, compact, $n$-dimensional Riemannian manifold with $\operatorname{Ric}(M,g)\geq-(n-1)κg$. We introduce a weighted combinatorial Laplacian on $\varepsilon$-discretizations of $M$ and prove a spectral comparison theorem between the weighted graph Laplacian and the Laplace-Beltrami operator. More precisely, the eigenvalues of the two operators are uniformly comparable with constants depending only on $n,κ,\varepsilon$, independently of the injectivity radius. As an application, we prove spectral stability under measured Gromov-Hausdorff convergence. We also recover the Schoen-Wolpert-Yau inequality using the weighted discretization on families of pinching genus-$2$ hyperbolic surfaces.

math.SP↗
arXiv2026

Zero measure Cantor spectrum for aperiodic metric tiling graphs

We study a family of aperiodic metric graphs generated by one-dimensional tilings. We prove that, generically, the spectrum of the associated Kirchhoff Laplacian has Lebesgue measure zero and, apart from a discrete set of isolated eigenvalues, is a generalized Cantor set. For a large subclass of these graphs, we further show that isolated eigenvalues are generically absent. This extends several well-known results from the setting of discrete ergodic Schrödinger operators on $\mathbb{Z}$ to a large family of metric graphs. Earlier results of this kind for metric graphs typically assume equilateral edges and exploit symmetries that reduce the analysis to a Sturm-Liouville operator on the real line. By contrast, the graph families considered here need not have equilateral edges or the symmetries needed for such a reduction and therefore require a different analytical approach.

math.SP↗
arXiv2026

Recursive determinantal framework for testing D-stability

The concept of matrix $D$-stability, introduced in 1958 by Arrow and McManus, is of major importance across a wide variety of applications in economic modeling, ecology, and control systems. However, an exact algebraic characterization of $D$-stability for dimensions $n > 4$ has remained a notoriously intractable open problem for over sixty years. In this paper, we establish a novel, systematic recursive framework that decomposes the structural check of $D$-stability into an analytical tree of parameter-dependent determinants. By applying a recursive delete/zero reduction strategy, we derive exact recurrence relations for the real and imaginary parts of the characteristic polynomial components. These algebraic relations uncover a structured hierarchy of new sufficient conditions for $D$-stability, expressed explicitly in terms of the matrix's principal minors. We show that while general numerical methods face unavoidable conservatism near the topological boundaries of the stable manifold, our deterministic framework provides sharp, absolute certification for low-order boundary matrices.

math.SP↗