We provide a proof for a Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators based on the strong maximum principle. This proof is modeled after a variational proof of Perron’s theorem for matrices with positive entries that does not appeal to Perron-Frobenius theory.

In this paper, we apply the Perron-Frobenius theory for non-negative matrices to the analysis of variance asymptotics for simulations of finite state Markov chain to which importance sampling is applied. The results show that we can typically expect the variance to grow (at least) exponentially rapidly in the length of the time horizon simulated. The exponential rate constant is determined by t...

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...

A matrix A can be tested to determine whether it is eventually positive by ex1 amination of its Perron-Frobenius structure, i.e., by computing its eigenvalues and left and right 2 eigenvectors for the spectral radius ρ(A). No such “if and only if” test using Perron-Frobenius prop3 erties exists for eventually nonnegative matrices. The concept of a strongly eventually nonnegative 4 matrix was wa...

In this thesis we present the formalization of three principal results that are the Jordan normal form of a matrices, the Bolzano-Weierstraß theorem, and the Perron-Frobenius theorem. To formalize the Jordan normal form, we introduce many concepts of linear algebra like block diagonal matrices, companion matrices, invariant factors, ... The formalization of Bolzano-Weierstraß theorem needs to d...