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.

Perron similarities and the nonnegative inverse eigenvalue problem

The inverse eigenvalue problem for Leslie matrices

The Non-negative Inverse Eigenvalue Problem for Tridiagonal Matrix, Circulant Matrix and Symmetric Matrix

The NIEP is solvable by reality and finitely many polynomial inequalities

An Inverse Theorem for the Perron--Frobenius Theorem

Riemannian Linearized Proximal Algorithms for Nonnegative Inverse Eigenvalue Problem.

A unified approach to nonlinear Perron-Frobenius theory

Perron Vector Analysis for Irreducible Nonnegative Tensors and Its Applications

Further Results for Perron-Frobenius Theorem for Nonnegative Tensors II

A power-like method for finding the spectral radius of a weakly irreducible nonnegative symmetric tensor

Eigenvariety of Nonnegative Symmetric Weakly Irreducible Tensors Associated with Spectral Radius and Its Application to Hypergraphs

An Inequality for the Perron Pair of an Irreducible and Symmetric Nonnegative Tensor with Application

The Perron Complement of Nonnegative Matrices and Estimation of Perron Roots

On Perron Complements of Inverse N0-matrices

The Dimension of Eigenvariety of Nonnegative Tensors Associated with Spectral Radius

New Schemes for Solving the Principal Eigenvalue Problems of Perron-like Matrices via Polynomial Approximations of Matrix Exponentials

A p-adic Perron-Frobenius Theorem

A new proof of the Perron-Frobeniuos theorem, a variational approach

On positive Jacobi matrices with compact inverses

Noda Iterations for Generalized Eigenproblems Following Perron-Frobenius Theory

A simplification of the C-realizability criterion for the Nonnegative Inverse Eigenvalue Problem for integers