We introduce complex cones and associated projective gauges, generalizing a real Birkhoff cone and its Hilbert metric to complex vector spaces. We deduce a variety of spectral gap theorems in complex Banach spaces. We prove a dominated complex cone-contraction Theorem and use it to extend the classical Perron-Frobenius Theorem to complex matrices, Jentzsch’s Theorem to complex integral operator...

This article provides sufficient conditions for positive maps on the Schatten classes Jp; 1 p < 1 of bounded operators on a separable Hilbert space such that a corresponding Perron-Frobenius theorem holds. With applications in quantum information theory in mind sufficient conditions are given for a trace preserving, positive map on J1, the space of trace class operators, to have a unique, stric...

The spectral radius of a matrix A is the maximum norm of all eigenvalues of A. In previous work we already formalized that for a complex matrix A, the values in A grow polynomially in n if and only if the spectral radius is at most one. One problem with the above characterization is the determination of all complex eigenvalues. In case A contains only non-negative real values, a simplification ...

The celebrated Perron–Frobenius (PF) theorem is stated for irreducible nonnegative square matrices, and provides a simple characterization of their eigenvectors and eigenvalues. The importance of this theorem stems from the fact that eigenvalue problems on such matrices arise in many fields of science and engineering, including dynamical systems theory, economics, statistics and optimization. H...

We introduce a relative notion of the ’big images and preimages’-property for random topological Markov chains. This then implies that a relative version of the Ruelle-Perron-Frobenius theorem holds with respect to summable and locally Hölder continuous potentials.