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.

The inverse Frobenius-Perron problem: A survey of solutions to the original problem formulation

Construction of the stationary probability density for a family of SDOF strongly non-linear stochastic second-order dynamical systems

Solving the inverse Frobenius-Perron problem using stationary densities of dynamical systems with input perturbations

Survey of the inverse spectral problem for the Notices of the ICCM

Inverse problems for PDEs: Models, computations and applications

Solutions of the Multivariate Inverse Frobenius–Perron Problem

Inverse problems for coupled nonlocal nonlinear systems arising in mathematical biology

Statistical Inverse Problem

Solving Inverse Stochastic Problems from Discrete Particle Observations Using the Fokker-Planck Equation and Physics-informed Neural Networks

Inverse statistical problems: from the inverse Ising problem to data science

Inverse Ising techniques to infer underlying mechanisms from data

An Inverse Theorem for the Perron--Frobenius Theorem

A New Type of Ill-Posed and Inverse Problems for Parabolic Equations

Discrete inverse problems with internal functionals

Isomorphic inverse problems

Inverse spectral problems for functional-differential operators with involution

An inverse problem formulation of the immersed boundary method

On inverse problems for several coupled PDE systems arising in mathematical biology

Perron similarities and the nonnegative inverse eigenvalue problem

Inverse problems in quantifying mechanical properties in nanomaterials

Inverse Problems in Topological Persistence