On the Open Problem Related to Rank Equalities for the Sum of Finitely Many Idempotent Matrices and Its Applications

Mei-xiang Chen,Qing-hua Chen,Qiao-xin Li,Zhong-peng Yang
DOI: https://doi.org/10.1155/2014/702413
2014-01-01
The Scientific World JOURNAL
Abstract:Tian and Styan have shown many rank equalities for the sum of two and three idempotent matrices and pointed out that rank equalities for the sum P 1 + ⋯ + P k with P 1 , ... , P k be idempotent ( k > 3 ) are still open. In this paper, by using block Gaussian elimination, we obtained rank equalities for the sum of finitely many idempotent matrices and then solved the open problem mentioned above. Extensions to scalar-potent matrices and some related matrices are also included.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the rank equality problem regarding the sum of multiple idempotent matrices. Specifically, Tian and Styan have already shown the rank equalities of the sum of two and three idempotent matrices, and pointed out that when the number of idempotent matrices \(k > 3\), these rank equalities remain an unsolved problem. In this paper, by using the block Gaussian elimination method, the rank equality of the sum of a finite number of idempotent matrices is derived, thus solving the above - mentioned open problem. In addition, the paper also extends the results to scalar idempotent matrices and other related matrices. The key to the paper lies in obtaining the rank equality of the sum of idempotent matrices by introducing the block matrix \(W(P_1,\ldots,P_k)\) and using its properties. Specifically, for any positive integer \(k\) and idempotent matrices \(P_1,\ldots,P_k\), the paper proves the following equality: \[ r\left(\sum_{i = 1}^k P_i\right)=r(W(P_1,\ldots,P_k))-\sum_{i = 2}^k r(P_i) \] where \(r(A)\) represents the rank of matrix \(A\), and \(W(P_1,\ldots,P_k)\) is a specific block matrix. This result not only solves the open problem proposed by Tian and Styan, but also provides a new method for studying the rank equalities of idempotent matrices.