Norm conditions for convergence of infinite products (Q5961581)

A set \(\Sigma\) of \(n\times n\) complex-valued matrices is defined to be an LCP set if every infinite left product of members of \(\Sigma\) is convergent. Necessary and sufficient conditions for a set of matrices to be an LCP set have been provided by \textit{I. Daubechies} and \textit{J. C. Lagarias} [Linear Algebra Appl. 161, 227-263 (1992; Zbl 0746.15015)], but their result involves the use of an infinite number of conditions. Straightforward conditions tantamount to the LCP property are given for a two-member set \(\Sigma\) as follows: The set \(\Sigma=\{A_1,A_2\}\) is an LCP set if and only if a norm \(|\cdot|\) exists on \(C^n\) such that, for \(i=1,2\), (i) \(|A_i|\leq 1\), (ii) the intersection of the spectrum of \(A_i\) with the unit circle is either empty or \(\{1\}\), and (iii) \(|A_1A_2x|=|x|\) when and only when \(A_1x=A_2x=x\).