CHAPTER 2 -idempotent matrices A -idempotent matrix is defined and some of its basic characterizations are derived (see [33]) in this chapter. It is shown that if is a -idempotent matrix then it is quadripotent (i.e.,. Necessary and sufficient condition for the sum of two -idempotent matrices to be -idempotent, is determined and then it is generalized for the sum of -idempotent matrices. A condition for the product of two -idempotent matrices to be -idempotent is also determined and then it is generalized for the product of -idempotent matrices. Relations between power hermitian matrices and -idempotent matrices are investigated (cf. [32]). It is proved that a -idempotent matrix reduces to an idempotent matrix when it commutes with the associated permutation matrix (i.e., ). 20
2.1 Characterizations of k-idempotent matrices A -idempotent matrix is defined and its characterizations are discussed in this section. Definition 2.1.1 For a fixed product of disjoint transpositions, a matrix in C is said to be -idempotent if. This is equivalent to, where is the associated permutation matrix of. Example 2.1.2 Then Here is a -idempotent matrix with. The associated permutation matrix is a matrix with ones on its southwest northeast diagonal and zeros everywhere else. That is, It can be easily verified that. Note 2.1.3 In particular if then the associated permutation matrix reduces to identity matrix and -idempotent matrix reduces to idempotent matrix. 21
Remark 2.1.4 implies that. The following relations can also be obtained which would be useful in computational aspects or or or Theorem 2.1.5 Let be a -idempotent matrix. Then is -idempotent if and only if is idempotent.,which implies that is idempotent. Conversely, if is idempotent then commutes with the permutation matrix (cf. lemma 2.2.5) is -idempotent. Remark 2.1.6 Consider. Then the associated permutation matrix. With reference to this, (i) is -idempotent as well as idempotent. 22
is -idempotent. (ii) is -idempotent but not idempotent. is not -idempotent. Theorem 2.1.7 Let be a -idempotent matrix. Then (a) and (when it exists) are also -idempotent. (b) is -idempotent for all positive integers. (c) is quadripotent when is not an idempotent. Further, is non-singular then and. (d) is idempotent. (e) and are tripotent matrices. (a) A similar proof may be given for the remaining matrices. (b) - times (c) 23
Since, we have is quadripotent. is non-singular then and are immediate consequences of. (d) (e) The proof is similar for. Example 2.1.8 made. Consider the matrix in (ii) of remark 2.1.6. The following observations can be (i) is -idempotent. (ii) is also -idempotent. (iii) It can be seen that. (iv) Clearly, is idempotent. (v) and are tripotent matrices. Theorem 2.1.9 is a -idempotent matrix then is a group under matrix multiplication. 24
Using the remark 2.1.4, the following matrix multiplication table can be found.. From the above table, we see that is closed under matrix multiplication. It is obvious that matrix multiplication is associative. We observe that acts as an identity element in. Besides, it is the only element in having this property. The inverse for each elements are given by, and is a group under matrix multiplication. Remark 2.1.10 (i) then is a cyclic subgroup of.. (ii) is non-singular then by theorem 2.1.7 (c), the group becomes. 25
2.2 Sums and Products of -idempotent matrices In this section, the sums and products of -idempotent matrices are discussed and some related results are obtained. Theorem 2.2.1 Let and be two -idempotent matrices. Then is -idempotent if and only if. iff Generalization: Let be -idempotent matrices. Then is -idempotent if and only if for and in. Since s are -idempotent matrices, we have Here 26
is -idempotent then from,, it follows that. Conversely, if we assume that then from is -idempotent. Remark 2.2.2 example, Theorem 2.2.1 fails when we relax the condition that and anty commute. For Let and Clearly, and are -idempotent matrices. But and i.e.,. Also, is not a -idempotent matrix. 27
Theorem 2.2.3 Let and be -idempotent matrices. then is also a -idempotent matrix. the matrix is -idempotent. Generalization: matrices then be -idempotent matrices belonging to a commuting family of is a -idempotent matrix. the matrix is -idempotent. Remark 2.2.4 we relax the condition of commutability of matrices and in theorem 2.2.3 then the product need not be k-idempotent. For example the matrices and in remark 2.2.2 can be considered. It can be seen that. Also the product is not a -idempotent matrix. 28
denotes the commutator of the matrices and (see definition 1.2.19), theorems 2.2.1 and 2.2.3 can be restated as and are two -idempotent matrices then is -idempotent if and only if. is -idempotent if. By theorem 1.2.1, the generalization of theorem 2.2.3 can also be restated as For -idempotent matrices, if there is a unique matrix such that then the product is -idempotent. Lemma 2.2.5 Let be a -idempotent matrix. Then is idempotent if and only if, where is the associated permutation matrix of. Assume that. Pre multiplying by, we have But is -idempotent is idempotent. By retracing the above steps the converse follows. Example 2.2.6 is a -idempotent matrix and it also commutes with the associated permutation matrix, that is. We see that is idempotent. Lemma 2.2.5 fails if we relax the condition of commutability of matrices and. Examples 2.1.2 and 2.1.8 are not idempotents. Note that in such cases. Theorem 2.2.7 and are k-idempotent matrices then commutes with the permutation matrix. 29
Theorem 2.2.8 Let and are two commuting k-idempotent matrices. The -idempotency of necessarily implies that it is a null matrix. For any two k-idempotent matrices and we have commutes with the permutation matrix by theorem 2.2.7. is k-idempotent then by lemma 2.2.5, it reduces to an idempotent matrix. i.e., Since and are k-idempotent matrices, we have and by theorem 2.1.7 (c). Substituting in, Since and are commuting -idempotent matrices, is also -idempotent by theorem 2.2.3.. by theorem 2.1.7 (c) 30
Pre multiplying by, we have. It follows that. Remark 2.2.9 For example the matrices and in remark 2.2.2 can be considered..clearly the matrix commutes with the permutation matrix. It can be easily verified that is not a -idempotent matrix. 31
2.3 -idempotency of power hermitian matrices In this section, conditions for power hermitian matrices to be -idempotent are derived and some related results are given. Theorem 2.3.1 Any two of the following imply the other one. C then (a) (b) (c) is -idempotent is -hermitian is square hermitian (a) and (b) (c): and. is square hermitian. (b) and (c) (a): Substituting in, We have. is -idempotent. (c) and (a) (b): Substituting in, We have. is -hermitian. Corollary 2.3.2 Let be -hermitian -idempotent matrix. is non-singular then is unitary. Since is -hermitian -idempotent, is square hermitian by theorem 2.3.1 is non-singular then by theorem 2.1.7 (c) Therefore and hence is unitary. 32
Example 2.3.3 Let (i) is -idempotent. (ii) is square hermitian. (iii) is -hermitian. (iv) is unitary Theorem 2.3.4 Let be a -idempotent matrix. is cube hermitian then it reduces to an orthogonal projector. Since is a -idempotent matrix, we have by remark 2.1.4 is cube hermitian then Pre and post multiplying by, we have by by Substituting in, we have. is an orthogonal projector. 33
Corollary 2.3.5 Let be a -idempotent matrix. is -cube hermitian then it reduces to an orthogonal projector. is -cube hermitian then by remark 2.1.4 reduces to cube hermitian matrix. By theorem 2.3.4, the matrix is an orthogonal projector. Note 2.3.6 Let be a -idempotent matrix. then by theorem 2.1.7 (c) we have (i.e., reduces to hermitian matrix ) Theorem 2.3.7 Let be a -idempotent matrix. Then the following are equivalent. (i) (ii) (iii) is cube hermitian. is hermitian. is square hermitian. (i) (ii): is cube hermitian then by theorem 2.1.7 (e) is hermitian. (ii) (iii): is hermitian then. is square hermitian. 34
(iii) (ii): is square hermitian then But is cube hermitian. Theorem 2.3.8 Let be a -idempotent matrix. Then the necessary and sufficient condition for the matrix to be square hermitian is (i) (ii) is idempotent. Assume that is square hermitian. Pre and post multiplying by respectively, we have since and, we have is idempotent and substituting this in, we have. Conversely, assume that is idempotent with.. 35
is square hermitian. Corollary 2.3.9 Let be a -idempotent matrix. Then the necessary and sufficient condition for to be -square hermitian is (i) (ii) is idempotent Assume that is -square hermitian. is square hermitian. By theorem 2.3.8, this is equivalent to is idempotent and Theorem 2.3.10 Let be a -idempotent matrix. Then the following are equivalent. (i) (ii) (iii) (iv) is -cube hermitian is hermitian is -square hermitian is -hermitian 36
(i) (ii): is -cube hermitian then by theorem 2.1.7 (e). is hermitian. (ii) (iii): is hermitian then (iii) (iv): is -square hermitian.. is -square hermitian then Pre and post multiplying by, we have is -hermitian.. (iv) (i): is -hermitian then But by theorem 2.1.7 (e). is -cube hermitian. 37
Note 2.3.11 The following theorem can be considered to be a converse of the above theorem 2.3.10. Theorem 2.3.12 is hermitian and -square hermitian then is -idempotent. Assume that and Combining the above two relations, we have. is -idempotent. 38