arXiv++ Combinatorics

We characterize all the strongly monotypic polytopes. Hadwiger's conjecture for this class of polytopes is deduced from the characterization.

We give an effective bound of the joint spectral radius $ρ(Σ)$ for a finite set $Σ$ of nonnegative matrices: For every $n$, \[ \sqrt[n]{\left(\frac{V}{UD}\right)^{D} \max_C \max_{i,j\in C} \max_{A_1,\dots,A_n\inΣ}(A_1\dots A_n)_{i,j}} \le ρ(Σ) \le \sqrt[n]{D \max_C \max_{i,j\in C} \max_{A_1,\dots,A_n\inΣ}(A_1\dots A_n)_{i,j}}, \] where $D\times D$ is the dimension of the matrices, $U,V$ are respectively the largest entry and the smallest entry over all the positive entries of the matrices in $Σ$, and $C$ is taken over all strongly connected components in the dependency graph. The dependency graph is a directed graph where the vertices are the dimensions and there is an edge from $i$ to $j$ if and only if $A_{i,j}\ne 0$ for some matrix $A\inΣ$. Furthermore, a bound on the norm is also given: If $ρ(Σ)>0$ then there exist a nonnegative integer $r$ and two positive numbers $α,β$ so that for every $n$, \[ αn^r{ρ(Σ)}^n \le \max_{A_1,\dots,A_n\inΣ} \|A_1\dots A_n\| \le βn^r{ρ(Σ)}^n. \] Corollaries of the approach include a simple proof for the joint spectral theorem for finite sets of nonnegative matrices and the convergence rate of some sequences. The method in use is mostly based on Fekete's lemma, for both submultiplicative and supermultiplicative sequences.

The primary aim of this paper is to establish bounds on the joint spectral radius for a finite set of nonnegative matrices based on their diagonal elements. The efficacy of this approach is evaluated in comparison to existing and related results in the field. In particular, let $Σ$ be any finite set of $D\times D$ nonnegative matrices with the largest value $U$ and the smallest value $V$ over all positive entries. For each $i=1,\dots,D$, let $m_i$ be any number so that there exist $A_1,\dots,A_{m_i}\inΣ$ satisfying $(A_1\dots A_{m_i})_{i,i} > 0$, or let $m_i=1$ if there are no such matrices. We prove that the joint spectral radius $ρ(Σ)$ is bounded by \[ \max_i \sqrt[m_i]{\max_{A_1,\dots,A_{m_i}\inΣ} (A_1\dots A_{m_i})_{i,i}} \le ρ(Σ) \le \max_i \sqrt[m_i]{\left(\frac{UD}{V}\right)^{3D^2} \max_{A_1,\dots,A_{m_i}\inΣ} (A_1\dots A_{m_i})_{i,i}}. \]

For a bilinear map $*:\mathbb R^d\times \mathbb R^d\to \mathbb R^d$ of nonnegative coefficients and a vector $s\in \mathbb R^d$ of positive entries, among an exponentially number of ways combining $n$ instances of $s$ using $n-1$ applications of $*$ for a given $n$, we are interested in the largest entry over all the resulting vectors. An asymptotic behavior is that the $n$-th root of this largest entry converges to a growth rate $λ$ when $n$ tends to infinity. In this paper, we prove the existence of this limit by a special structure called linear pattern. We also pose a question on the possibility of a relation between the structure and whether $λ$ is algebraic.