Related papers: A Perron theorem for matrices with negative entrie…
The notions of joint and outer spectral radii are extended to the setting of Hilbert $C^*$-bimodules. A Rota-Strang type characterisation is proved for the joint spectral radius. In this general setting, an approximation result for the…
We prove that if an $n\times n$ matrix defined over ${\mathbb Q}_p$ (or more generally an arbitrary complete, discretely-valued, non-Archimedean field) satisfies a certain congruence property, then it has a strictly maximal eigenvalue in…
The Perron-Frobenius theorem of nonnegative matrices is a classical result on spectral theory of matrices, which has wide applications in many domains. In this paper, we give the Perron-Frobenius theorem for dual tensors, that is, a dual…
Using the Perron-Frobenius eigenfunction and eigenvalue, each finite irreducible nonnegative matrix $A$ can be transformed into a probability kernel $P$. This was generalized by David Vere-Jones who gave necessary and sufficient conditions…
A list $\Lambda =\{\lambda _{1},\lambda_{2},\ldots ,\lambda _{n}\}$ of complex numbers is said to be realizable if it is the spectrum of an entrywise nonnegative matrix. The list $\Lambda $ is said to be universally realizable…
For matrices with all nonnegative entries, the Perron-Frobenius theorem guarantees the existence of an eigenvector with all nonnegative components. We show that the existence of such an eigenvector is also guaranteed for a very different…
We realize many sharp spectral bounds of the spectral radius of a nonnegative square matrix $C$ by using the largest real eigenvalues of suitable matrices of smaller sizes related to $C$ that are very easy to find. As applications, we give…
A spectrahedron is the positivity region of a linear matrix pencil and thus the feasible set of a semidefinite program. We propose and study a hierarchy of sufficient semidefinite conditions to certify the containment of a spectrahedron in…
In 2011, Khurana, Lam and Wang define the following property. (*)A commutative unital ring A satisfies the property ''power stable range one'' if for all a, b $\in$ A with aA + bA = A there are an integer N = N (a, b) $\ge$ 1 and $\lambda$…
Let $x$ and $y$ be positive $n$-vectors. We show that there exists a $2n\times 2n$ positive definite real matrix whose symplectic spectrum is $y,$ and the symplectic spectrum of whose diagonal is $x$ if and only if $x$ is weakly…
We show that a formal power series in $2N$ non-commuting indeterminates is a positive non-commutative kernel if and only if the kernel on $N$-tuples of matrices of any size obtained from this series by matrix substitution is positive. We…
A classical result of Sherman says that if the space of self-adjoint elements in a $C^*$-algebra $\mathcal{A}$ is a lattice with respect to its canonical order, then $\mathcal{A}$ is commutative. We give a new proof of this theorem which…
In 1972, A. J. Hoffman proved his celebrated theorem concerning the limit points of spectral radii of non-negative symmetric integral matrices less than $\sqrt{2+\sqrt{5}}$. In this paper, after giving a new version of Hoffman's theorem, we…
In this note, we simplify the statements of theorems attributed to Cauchy and Ostrovsky and give proofs of each theorem via combinatorial and nonnegative matrix theory. We also show that each simple sufficient condition in each statement is…
Power nonnegative matrices are defined as complex matrices having at least one nonnegative integer power. We exploit the possibility of deriving a Perron Frobenius-like theory for these matrices, obtaining three main results and drawing…
We show that a matrix is a Hermitian positive semidefinite matrix whose nonzero entries have modulus 1 if and only if it similar to a direct sum of all $1's$ matrices and a 0 matrix via a unitary monomial similarity. In particular, the only…
Let ${\bf A} \in R^{n \times n}$ be a nonnegative irreducible square matrix and let $r({\bf A})$ be its spectral radius and Perron-Frobenius eigenvalue. Levinger asserted and several have proven that $r(t):=r((1{-}t) {\bf A} + t {\bf…
If A is a nonnegative matrix whose associated directed graph is strongly connected, the Perron-Frobenius theorem asserts that A has an eigenvector in the positive cone, (R^+)^n. We associate a directed graph to any homogeneous, monotone…
In this paper, it is shown that with large probability, the spectral radius of a large non-Hermitian random matrix with a general variance profile does not exceed the square root of the spectral radius of the variance profile matrix. A…
We settle the Polynomial Freiman--Ruzsa (PFR/Marton) conjecture for the integers and for cyclic groups. More precisely, we show that if $A$ is a finite subset of $\mathbb{Z}$ or $\mathbb{Z}/N\mathbb{Z}$ with $|A+A| \le K|A|$, then there is…