Abstract:The longstanding nonnegative inverse eigenvalue problem (NIEP) is to determine which multisets of complex numbers occur as the spectrum of an entry-wise nonnegative matrix. Although there are some well-known necessary conditions, a solution to the NIEP is far from known. An invertible matrix is called a Perron similarity if it diagonalizes an irreducible, nonnegative matrix. Johnson and Paparella developed the theory of real Perron similarities. Here, we fully develop the theory of complex Perron similarities. Each Perron similarity gives a nontrivial polyhedral cone and polytope of realizable spectra (thought of as vectors in complex Euclidean space). The extremals of these convex sets are finite in number, and their determination for each Perron similarity would solve the diagonalizable NIEP, a major portion of the entire problem. By considering Perron similarities of certain realizing matrices of Type I Karpelevich arcs, large portions of realizable spectra are generated for a given positive integer. This is demonstrated by producing a nearly complete geometrical representation of the spectra of $4 \times 4$ stochastic matrices. Similar to the Karpelevich region, it is shown that the subset of complex Euclidean space comprising the spectra of stochastic matrices is compact and star-shaped. Extremal elements of the set are defined and shown to be on the boundary. It is shown that the polyhedral cone and convex polytope of the discrete Fourier transform (DFT) matrix corresponds to the conical hull and convex hull of its rows, respectively. Similar results are established for multifold Kronecker products of DFT matrices and multifold Kronecker products of DFT matrices and Walsh matrices. These polytopes are of great significance with respect to the NIEP because they are extremal in the region comprising the spectra of stochastic matrices.

On the Perron root and eigenvectors of a non-negative integer matrix

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

A p-adic Perron-Frobenius Theorem

Lower Bounds for the Perron Roots of Nonnegative Matrices

Eigenvalues of random lifts and polynomials of random permutation matrices

Generalized Perron complements and its properties

Matrix roots of imprimitive irreducible nonnegative matrices

Edge universality of sparse Erdős-Rényi digraphs

The Perron Complement of Nonnegative Matrices and Estimation of Perron Roots

Diagonal transformations for the computation of the Perron root of nonnegative irreducible matrices

Generalized Perron Roots and Solvability of the Absolute Value Equation

Perron similarities and the nonnegative inverse eigenvalue problem

Nonlinear extensions of the Perron–Frobenius theorem and the Krein–Rutman theorem

A unified approach to nonlinear Perron-Frobenius theory

Foulkes Characters, Eulerian Idempotents, and an Amazing Matrix

On the image of graph distance matrices

Totally nonnegative matrices, chain enumeration and zeros of polynomials

Hoffman polynomials of nonnegative irreducible matrices and strongly connected digraphs

The combinatorics of Farey words and their traces

On the Wiener-like root-indices of graphs

A Markov representation of Perron-Frobenius eigenvector for infinite non-negative matrix and Metzler-matrix