SearcharxivSearch

arXiv · 2502.01314

Eigenvalue regions and realising monotone stochastic matrices

Abstract

Eigenvalues of stochastic matrices have been studied from two complementary perspectives. The individual eigenvalues are characterised through the well-established Karpelevich regions. The spectrum as a whole has also been analysed, yielding powerful results such as the Johnson-Loewy-London (JLL) inequalities. Current research now turns toward particular subsets of stochastic matrices, among others the doubly stochastic matrices. This paper studies spectral properties of monotone stochastic matrices which are characterised by the fact that each row stochastically dominates the preceding one, and which arise in contexts such as intergenerational mobility, equal-input models, and credit-rating systems. This paper analyses the dominance matrix associated with a monotone matrix, which is a non-negative matrix that preserves the non-trivial eigenvalues. Properties are established and the conditions are given under which a non-negative matrix can be regarded as a dominance matrix. In analogy with the stochastic matrices, this study examines for the monotone stochastic matrices both the individual eigenvalues as the spectrum as a whole. Individually, the eigenvalue region for all monotone matrices up till order 3 is completely determined, and realising matrices are provided. Collectively, the set of possible pairs of non-trivial eigenvalues arising from 3x3 monotone matrices is characterised, accompanied by realising matrices. In both perspectives, the resulting regions are substantially smaller than those for general stochastic matrices. Finally, this paper proves a reduction theorem stating that, for all n from 4 on, the eigenvalue region of n x n monotone matrices is contained within that of (n-1) x (n-1) stochastic matrices.

Explore related subjects

Keep this discovery

BibTeXRIS

Brando Vagenende, Brecht Verbeken, Marie-Anne Guerry. 2025-02-03. Eigenvalue regions and realising monotone stochastic matrices. https://arxiv.org/abs/2502.01314

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

KEEP EXPLORING

Related papers

Regular hyperbolic tilings have no $\ell^2$ eigenfunctions

We show that the adjacency operator of the $1$-skeleton of any regular tiling of the hyperbolic plane has no nonzero square-integrable eigenfunctions. As a consequence, the same holds for every infinite connected regular graph admitting a proper planar embedding with regular dual.

math.SP

Inverse Heat Source Problems from Boundary Flux and Interior Observations on Sets of Low Hausdorff Dimension

This paper investigates conditional stability for inverse source problems for the heat equation with a known temporal factor and an unknown spatial component in a bounded $C^{1,1}$ domain. We focus on observations supported on sets of low Hausdorff dimension and establish conditional stability in this setting. For boundary observations on compact sets of positive $q$-dimensional Hausdorff content, we establish logarithmic stability from full-time boundary flux observations and double-logarithmic stability from delayed-time boundary flux observations. The admissible dimensional ranges are $q>d-2$ when the observation set is contained in a flat boundary patch and $q>d-1-c_{d+1}$ on a general $C^{1,1}$ boundary, where $c_{d+1}>0$ depends only on the dimension. A key ingredient in deriving these results is a new boundary spectral inequality for the Dirichlet Laplacian, which controls a finite Dirichlet spectral sum through observations of the normal derivative of its elliptic extension on such a boundary set. Our results also cover inverse heat source problems with interior observations on sets of positive $q$-dimensional Hausdorff content for some $q>d-1$, yielding logarithmic stability from full-time observations for general sources in $H_0^1(\Omega)$ and H\"older stability from terminal-time observations for sources in a suitable spectral Gevrey class.

math.SP

Resolvent bounds and eigenvalue estimates of generalized Schr\"odinger operators with complex potentials on compact manifolds

We extend Cuenin's compact-manifold spectral bounds for Schr\"odinger operators with complex potentials to a general pseudodifferential setting. More precisely, we study operators \(P+V\), where \(P\) is a positive self-adjoint elliptic classical pseudodifferential operator of positive order and \(V\) is complex-valued. The main analytic input is a resolvent principle showing that spectral cluster estimates for \(P\) imply \(L^p\)-\(L^{p'}\) resolvent estimates along suitable complex curves. Combined with Sogge's spectral cluster bounds, this yields exterior-region resolvent estimates extending those of Krupchyk and Uhlmann; we also prove direct resolvent bounds in the interior region. On Zoll manifolds, we discuss the sharpness of the resulting spectral bounds.

math.SP