The Jordan 1-structure of a matrix of Redheffer (Q1115503): Difference between revisions

An \(n\times n\) complex matrix \(A=(a_{ij})\) is called a Redheffer matrix [cf. \textit{R. Redheffer}, Numer. Meth. Optim.-Aufg., Band 3, ISNM 36, 213- 216 (1977; Zbl 0363.65062)] if all columns of A but the first are (0,1) vectors such that for \(2\leq j\leq n\), \(a_{ij}=1\) iff \(i| j\). The authors prove the following result: a Redheffer matrix A is similar to the direct sum of an \(m\times m\) cyclic matrix \(A_ 1\) where \(m=[\log_ 2 n]+1\) and \(k=[(n-1)/2]\) Jordan blocks associated with the eigenvalue \(\lambda =1\) iff \((c_ 1,c_ 2,...,c_ n)^ T:=(a_{11},a_{21},...,a_{n1})^ T\) satisfies some simple conditions; in this case the sizes of the Jordan blocks are \([\log_ 2(n/3)]+1,\) \([\log_ 2(n/5)]+1,...,[\log_ 2(n/(2k+1))]+1,\) respectively, and \(A_ 1-I\) is nonsingular. The statement holds in the particular case \((c_ 1,c_ 2,...,c_ n)^ T=(1,1,...,1)^ T\), which was discussed in an earlier paper.