---
title: Perron Similarity in Matrix Spectral Theory
url: https://www.emergentmind.com/topics/perron-similarity
type: topic
---

# Perron Similarity in Matrix Spectral Theory

Perron similarity is a matrix-theoretic notion that organizes realizable spectra of nonnegative matrices through diagonal similarity. In the real formulation, an invertible matrix \(S\in GL_n(\mathbb R)\) is a Perron similarity if there exists a real nonscalar diagonal matrix \(D\) such that \(SDS^{-1}\ge 0\) entrywise. In the complex formulation developed for the nonnegative inverse eigenvalue problem (NIEP), \(S\in GL_n(\mathbb C)\) is a Perron similarity if it diagonalizes an irreducible nonnegative matrix \(A=SDS^{-1}\). This viewpoint turns spectral realization into the study of the transfer map \(x\mapsto M_x(S):=SD_xS^{-1}\), together with the associated spectracones and spectratopes that encode feasible eigenvalue vectors in polyhedral form [1508.07400][2409.07682].

## 1. Definition, normalization, and scope

The real and complex theories share the same core mechanism: one prescribes an invertible similarity \(S\), places the desired eigenvalues on a diagonal matrix \(D_x=\operatorname{diag}(x)\), and asks for entrywise nonnegativity of \(M_x(S)=SD_xS^{-1}\). In the real RNIEP-oriented formulation, the defining requirement is the existence of a real nonscalar diagonal \(D\) with \(SDS^{-1}\ge 0\). In the complex theory, the requirement is sharpened to the existence of an irreducible nonnegative matrix diagonalized by \(S\), which aligns the notion directly with Perron–Frobenius irreducibility [1508.07400][2409.07682].

Several refinements have become standard. The row cone of \(S\), denoted \(C_r(S)\), is the conical hull of the rows of \(S\). An ideal Perron similarity is one for which the spectracone coincides with the row cone, \(C(S)=C_r(S)\). In the character-table literature, one further normalizes an ideal Perron similarity by requiring
\[
Se_1=e,\qquad e_1^\top S=e^\top,\qquad |s_{ij}|\le 1.
\]
A normalized ideal Perron similarity is called totally extremal if every entry has unit modulus, equivalently \(|s_{ij}|=1\) for all \(i,j\) [2508.02830][2606.02865].

This framework sits inside the NIEP and its diagonalizable variants. If \(x\in C(S)\), then \(M_x(S)\) is nonnegative and has spectrum given by the components of \(x\); if \(x\) lies in an appropriate normalized section \(P(S)\), then \(M_x(S)\) is stochastic. The theory is therefore both spectral and constructive: it simultaneously characterizes feasible lists and produces realizing matrices [2409.07682].

## 2. Characterizations and structural criteria

The real theory gives a geometric characterization in terms of conical hulls of rows and columns. Writing the rows of \(S\) as \(s_1^\top,\dots,s_n^\top\) and the rows of \(S^{-\top}\) as \(t_1^\top,\dots,t_n^\top\), Johnson–Paparella proved that \(S\) is a Perron similarity if and only if there exists an index \(i\) such that
\[
e_i\in \operatorname{cone}\{s_1,\dots,s_n\}
\quad\text{and}\quad
e_i\in \operatorname{cone}\{t_1,\dots,t_n\}.
\]
For orthogonal matrices this collapses to a particularly simple test: \(Q\in O(n)\) is a Perron similarity if and only if \(Qe_i\ge 0\) entrywise for some \(i\) [1508.07400].

The complex irreducible theory gives a Perron–Frobenius characterization at the level of a distinguished coordinate. An invertible \(S\in GL_n(\mathbb C)\) is a Perron similarity if and only if there exists a unique \(k\in\{1,\dots,n\}\) such that
\[
Se_k=\alpha x,\qquad e_k^\top S^{-1}=\beta y^\top,
\]
where \(\alpha,\beta\in\mathbb C\) satisfy \(\alpha\beta>0\) and \(x,y>0\) are positive right and left Perron eigenvectors. This isolates the Perron eigendirection directly in the similarity matrix [2409.07682].

A second structural layer concerns the relation between row geometry and nonnegativity. For \(S\in GL_n(\mathbb R)\), row-cone membership has the exact test
\[
x^\top\in C_r(S)\iff x^\top S^{-1}\ge 0.
\]
If \(r_i\) denotes the \(i\)-th row of \(S\), then \(S\) is row Hadamard conic (RHC) when \(r_i\circ r_j\in C_r(S)\) for all \(i,j\), where \(\circ\) is the Hadamard product. In the real theory, \(C_r(S)\subseteq C(S)\) holds exactly when \(S\) is RHC, and if some row of \(S\) is \(e^\top\), then \(C(S)\subseteq C_r(S)\); under that normalization, equality \(C_r(S)=C(S)\) is equivalent to the RHC property [1611.02752]. In the later complex ideality criterion, this is recast as: \(S\) is ideal if and only if \(e\in C_r(S)\) and \(S\) is RHC [2508.02830].

## 3. Spectracones, spectratopes, and polyhedral geometry

For an invertible similarity \(S\), the fundamental feasibility set is the spectracone
\[
C(S):=\{x: SD_xS^{-1}\ge 0\}.
\]
The normalization used for the associated spectratope depends on the setting. In the original real paper one uses
\[
P(S):=\{x\in C(S): x_1=1\},
\]
whereas the complex stochastic theory uses
\[
P(S):=\{x\in C(S): M_xe=e\}.
\]
Both constructions define a bounded polyhedral slice of the spectracone, but they encode different normalizations: fixed first coordinate in the real RNIEP treatment, and stochasticity in the complex treatment [1508.07400][2409.07682].

Polyhedrality is explicit. In the real setting, the entrywise inequalities are
\[
(SD_xS^{-1})_{ij}=\sum_{k=1}^n s_{ik}x_k(S^{-1})_{kj}\ge 0,
\]
and vectorization gives a linear system \(Kx\ge 0\), where
\[
K=((S^{-1})^\top\otimes S)E,
\]
with \(E\) the diagonal-selection matrix whose columns are \(e_k\otimes e_k\). Thus \(C(S)\) is a polyhedral cone, and \(P(S)\) is a bounded polytope obtained by slicing that cone [1508.07400]. In the complex theory, \(C(S)\) and \(P(S)\) are likewise polyhedral when \(\mathbb C^n\) is viewed as a \(2n\)-dimensional real space; moreover, \(C(S)\) and \(P(S)\) are closed under the Hadamard product, and the realizing family
\[
A(S):=\{M_x(S):x\in C(S)\}
\]
is a convex cone closed under matrix multiplication [2409.07682].

These polyhedra organize the diagonalizable NIEP. If \(A\ge 0\) is diagonalizable with real spectrum \(x\) and \(A=SD_xS^{-1}\), then \(x\in C(S)\), and after normalizing by the Perron eigenvalue one obtains a point of \(P(S)\). Consequently, the set of normalized real spectra of diagonalizable nonnegative matrices is covered by the union of Perron spectratopes over Perron similarities. In the complex stochastic theory, the extremals of \(C(S)\) and \(P(S)\) are finite in number for each fixed \(S\), and determining them for every Perron similarity would solve the diagonalizable NIEP, described there as a major portion of the entire problem [1508.07400][2409.07682].

## 4. Canonical families and exact models

Hadamard and Walsh matrices provide the classical real model. For the canonical Walsh matrix \(H_m\) of order \(2^m\), the Perron spectracone is exactly the conical hull of the rows,
\[
C(H_m)=\operatorname{cone}\{h_1,\dots,h_{2^m}\},
\]
and the Perron spectratope is exactly the convex hull of the rows,
\[
P(H_m)=\operatorname{conv}\{h_1,\dots,h_{2^m}\}.
\]
The associated realizations admit an association-scheme description: if \(v^\top=x^\top H_m\), then
\[
M_x=2^{-m}H_mD_vH_m
\]
decomposes as a nonnegative combination of trisymmetric permutation matrices \(P_{mk}\), and the family \(\{P_{mk}\}\) forms a \((2^m-1)\)-class association scheme [1508.07400].

The complex counterpart is the discrete Fourier transform matrix \(F_n\). Its spectracone and spectratope coincide with the conical and convex hulls of its rows, respectively, so \(F_n\) is ideal and extremal. Moreover, \(M_x=F_nD_xF_n^{-1}\) is circulant, and feasibility has the exact linear test
\[
F_nx\ge 0.
\]
Accordingly, \(\Lambda(x)\) is realizable by a nonnegative circulant matrix if and only if \(F_nx\ge 0\). The same ideality and extremality persist for multifold Kronecker products of DFT matrices and for mixed Kronecker products of DFT and Walsh matrices [2409.07682].

Character tables extend ideality from abelian to arbitrary finite groups. If \(Q\) is the character table of a finite group, then \(Q\) is an ideal Perron similarity. Its spectracone is described by finitely many group-theoretic inequalities:
\[
M_x(Q)\ge 0
\iff
\sum_{k=1}^n |cl(g_k)|\,\chi_i(g_k)\,x_k\ge 0
\quad\text{for all }i.
\]
When \(Q\) is real, the projected spectratope is a simplex with an explicit volume formula in terms of centralizer sizes and irreducible character degrees [2508.02830].

The most rigid case is now classified. Totally extremal normalized ideal Perron similarities are precisely the character tables of finite abelian groups. Equivalently, for \(Q\in GL_n(\mathbb C)\), the rows form a group under Hadamard product if and only if \(Q\) is the character table of a finite abelian group, and that row-group is canonically isomorphic to the underlying group [2606.02865].

Kronecker products preserve much of this structure. If \(S\) and \(T\) are Perron similarities, then \(S\otimes T\) is a Perron similarity; if \(S\) and \(T\) are ideal, then \(S\otimes T\) is ideal. The induced cones satisfy
\[
C(S)\otimes C(T)\subseteq C(S\otimes T),\qquad
P(S)\otimes P(T)\subseteq P(S\otimes T),
\]
and these inclusions are generally strict [2110.14111].

## 5. Constructive realizations and the NIEP program

Perron similarities are not only classificatory objects; they provide explicit realizations. In the Hadamard setting, the 2015 real theory gives a constructive version of Fiedler’s theorem at Hadamard orders: if \(H\) is a normalized Hadamard matrix of order \(n\) and \(\sigma\) is a normalized Suleĭmanova spectrum, then \(\sigma\) is realizable by a symmetric, doubly stochastic matrix. The construction writes the target vector \(v=[1,\lambda_2,\dots,\lambda_n]^\top\) as a convex combination of \(e_1\) and the vectors \(e_1-e_k\), shows \(v\in P(H)\), and then forms
\[
A=HD_vH^{-1}.
\]
A further corollary states that after adjoining sufficiently many zeros, a normalized Suleĭmanova spectrum is realized by a symmetric, doubly stochastic matrix of larger order; if the enlarged order is a power of two, the realizing matrix may be chosen trisymmetric [1508.07400].

The complex theory connects Perron similarities to boundary constructions in the Karpelevich region. For Type I Karpelevich arcs, the reduced Ito polynomial
\[
f_\alpha(t)=t^s-\beta t^{\,s-q}-\alpha,\qquad \beta=1-\alpha,
\]
has a nonnegative irreducible companion realization \(M(\alpha)\). When the roots are distinct, the associated Vandermonde matrix \(S(\alpha)\) satisfies
\[
M(\alpha)=S(\alpha)\operatorname{diag}(1,\lambda_2,\dots,\lambda_s)S(\alpha)^{-1},
\]
so \(S(\alpha)\) is a Perron similarity. These Type I realizers generate large portions of the stochastic spectral region. For \(4\times 4\) stochastic matrices, spectratopes coming from Type I realizers, from \(F_4\), and from the mixed similarity
\[
S=\begin{bmatrix}1&e_1^\top\\0&F_3\end{bmatrix}
\]
with
\[
P(S)=[0,1]\times P(F_3)
\]
yield a nearly complete geometrical representation of the spectra of \(4\times 4\) stochastic matrices [2409.07682].

This constructive role explains the importance of ideal families. When \(S\) is ideal, the extreme rays and extreme points of the feasible spectral region are the rows of \(S\) and their normalized convex combinations, so realizability reduces to explicit polyhedral combinatorics rather than an unrestricted search over diagonal conjugations [2508.02830][2409.07682].

## 6. Limitations, terminology, and current directions

Several caveats are built into the theory. First, the Perron and ideal properties are independent: a matrix can be ideal but not a Perron similarity, and conversely. Second, the union of Perron spectratopes captures normalized spectra of diagonalizable nonnegative matrices, but not necessarily all spectra of nonnegative matrices; non-diagonalizable cases are not directly represented as \(SDS^{-1}\). Third, in the real polyhedral formulation, numerical testing through the linear feasibility system \(Kx\ge 0\) can be sensitive to the conditioning of \(S\) and to the combinatorial structure of the selection matrix \(E\). The 2015 paper also notes that covering trace-nonnegative polytopes may require uncountably many spectratopes in dimension \(3\), so no finite catalog of Perron similarities suffices even at low dimension [2606.02865][1508.07400].

A recurrent misconception concerns “nontriviality” of the spectracone. A later paper gave a counterexample to the stronger claim that
\[
\operatorname{coni}(e)\subsetneq C(S)
\]
is equivalent to \(S\) being a Perron similarity. The counterexample exhibits a matrix \(S\) for which \(C(S)\) properly contains \(\operatorname{coni}(e)\) but no column of \(S\) and corresponding row of \(S^{-1}\) share a global nonnegative or nonpositive sign, so \(S\) is not a Perron similarity in the sign-criterion sense used there [2110.14111].

There is also a genuine terminological fork. In a separate line of work on matrices with negative entries, “Perron similarity” refers to similarity to an eventually positive matrix. In that setting, if \(A\) has a positive right eigenvector \(v\), a real left eigenvector \(u\), and a positive simple dominant eigenvalue \(\lambda\), then
\[
Z=\lambda vu'+(I-vu')A
\]
is an explicit conjugate, and \(A\) has a positive, simple, dominant eigenvalue if and only if \(Z\) is eventually positive. For row-stochastic matrices this yields the entrywise criterion
\[
a_{ij}^{(k)}>\frac1n\sum_{\ell=1}^n a_{\ell j}^{(k)}-\frac1n
\]
for some \(k\) and all \(i,j\) [1511.04975]. This usage is related by similarity and Perron–Frobenius behavior, but it is distinct from the spectracone-based NIEP literature.

Current directions follow the existing classification results. One strand asks for a characterization of polyhedral cones or polytopes closed under Hadamard product that arise as \(C(S)\) or \(P(S)\). Another studies normalized ideal Perron similarities beyond the totally extremal case, where the abelian character-table classification no longer applies directly. A further boundary question in the stochastic spectral region asks whether every boundary point of \(SL_1^n\) is extremal for \(n>3\) [2409.07682][2606.02865].

Source: https://www.emergentmind.com/topics/perron-similarity