We say that a matrix R ∈ C n × n is k -involutory if its minimal polynomial is x k - 1 for some k ⩾ 2 , so R k - 1 = R - 1 and the eigenvalues of R are 1, ζ , ζ 2 , … , ζ k - 1 , where ζ = e 2 π i / k . Let α , μ ∈ { 0 , 1 , … , k - 1 } . If R ∈ C m × m , A ∈ C m × n , S ∈ C n × n and R and S are k -involutory, we say that A is ( R , S , α , μ ) -symmetric if RAS - α = ζ μ A . We show that an ( R , S , α , μ ) -symmetric matrix A can be usefully represented in terms of matrices F ℓ ∈ C c α ℓ + μ × d ℓ , 0 ⩽ ℓ ⩽ k - 1 , where c ℓ and d ℓ are respectively the dimensions of the ζ ℓ -eigenspaces of R and S . This continues a theme initiated in an earlier paper with the same title, in which we assumed that α = 1 . We say that a k -involution is equidimensional with width d if all of its eigenspaces have dimension d . We show that if R and S are equidimensional k -involutions with widths d 1 and d 2 respectively, then ( R , S , α , μ ) -symmetric matrices are closely related to generalized α -circulants [ ζ μ r A s - α r ] r , s = 0 k - 1 , where A 0 , A 1 , … , A k - 1 ∈ C d 1 × d 2 . For this case our results are new even if α = 1 . We also give an explicit formula for the Moore-Penrose inverse of a unilevel block circulant [ A s - α r ] r , s = 0 k - 1 for any α ∈ { 0 , 1 , … , k - 1 } , generalizing a result previously obtained for the case where gcd ( α , k ) = 1 .
Read full abstract