Iteration of linear \(p\)-norm nonexpansive maps (Q1406296)

The main theorem here states that if \(A\) is a \(p\)-nonexpansive map (\(1\leq p\leq \infty\), \(p\neq 2\)), then the iterates \(X_k=A^{kq}X\) converge for any vector \(X \in {\mathbb R}^n\). In this statement, \(q\) is an integer that is once or twice the order of some permutation of \(n\) elements. The limit of this vector sequence is a periodic point with minimal period \(r\) that divides \(q\). As a consequence of this theorem, it is also proved that the eigenvalues of \(A\) on the unit circle are roots of unity.