×

zbMATH — the first resource for mathematics

Remarks on the sharp partial order and the ordering of squares of matrices. (English) Zbl 1103.15013
This paper characterizes certain partial orders on complex matrices and discusses their mutual relationships, as well.
Two complex \(n\)-square matrices \(A\) and \(B\) are said to satisfy the star partial order \(A \overset{*}{\leq} B\) if \(B A^{\dagger} = A A^{\dagger}\) and \(A^{\dagger} B = A^{\dagger} A\) hold, where \(A^{\dagger}\) denotes the Moore-Penrose inverse of \(A.\) This order was introduced by M. P. Drazin [Bull. Am. Math. Soc. 84, 139–141 (1978; Zbl 0395.20044)]. It is a well known fact that, in the definition above, \(A^{\dagger}\) may be replaced by \(A^*,\) the conjugate transpose of \(A.\)
Let \({\mathbb C}_n^{GP}\) denote the set of all complex \(n\)-square matrices \(A\) with a group inverse \(A^\#.\) Among others, the author proves the following: Let \(A \in {\mathbb C}_n^{GP}\) with \(\text{ rank}(A) < n,\) and let \(B \in {\mathbb C}^{n \times \, n}.\) Then \(A \overset{*}{\leq} B\) and \(AB = BA\) hold if and only if \(A\) and \(B\) are simultaneously unitarily similar to certain 2-square block matrices with same (1,1) and (2,1) blocks.
Two matrices \(A, B \in {\mathbb C}_n^{GP}\) are said to satisfy the sharp partial order \(A \overset{\#}{\leq} B\) if \(B A^\# = A A^\#\) and \(A^\# B = A^\# A.\) This order was introduced by S. K. Mitra [Lin. Alg. Appl. 92, 17–37 (1987; Zbl 0619.15006)]. It is shown that, if \(A, B \in {\mathbb C}_n^{GP},\) any two of the following statements imply the third one: (i) \(A\overset{*}{\leq} B.\) (ii) \(A^2 \overset{*}{\leq} B^2.\) (iii) \(A \overset{\#}{\leq} B.\)
Other investigations concern relationships between the star and the sharp partial orders (including the case of coincidence), relationships of these orders with the so-called minus partial order, and consequences for spectral properties of the underlying matrices.

MSC:
15B48 Positive matrices and their generalizations; cones of matrices
15B57 Hermitian, skew-Hermitian, and related matrices
15A09 Theory of matrix inversion and generalized inverses
15A06 Linear equations (linear algebraic aspects)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Baksalary, J.K.; Hauke, J., Partial orderings of matrices referring to singular values or eigenvalues, Linear algebra appl., 96, 17-26, (1987) · Zbl 0627.15005
[2] Baksalary, J.K.; Pukelsheim, F.; Styan, G.P.H., Some properties of matrix partial orderings, Linear algebra appl., 119, 57-85, (1989) · Zbl 0681.15005
[3] Baksalary, J.K.; Baksalary, O.M.; Liu, X., Further properties of the star, left-star, right-star, and minus partial ordering, Linear algebra appl., 375, 83-94, (2003) · Zbl 1048.15016
[4] Baksalary, J.K.; Baksalary, O.M.; Liu, X., Further relationships between certain partial orders of matrices and their squares, Linear algebra appl., 375, 171-180, (2003) · Zbl 1048.15017
[5] Baksalary, J.K.; Hauke, J.; Liu, X.; Liu, S., Relationships between partial orders of matrices and their powers, Linear algebra appl., 379, 277-287, (2004) · Zbl 1044.15011
[6] Drazin, M.P., Natural structures on semigroups with involution, Bull. amer. math. soc., 84, 139-141, (1978) · Zbl 0395.20044
[7] Groß, J.; Trenkler, G., Generalized and hypergeneralized projectors, Linear algebra appl., 264, 463-474, (1997) · Zbl 0887.15024
[8] Hartwig, R.E., How to partially order regular elements?, Math. japon., 25, 1-13, (1980) · Zbl 0442.06006
[9] Hartwig, R.E.; Spindelböck, K., Matrices for which A∗ and A† commute, Linear and multilinear algebra, 14, 241-256, (1984)
[10] Mirsky, L., An introduction to linear algebra, (1990), Dover Publications New York, First published at the Clarendon Press, Oxford, 1955 · Zbl 0766.15001
[11] Mitra, S.K., On group inverses and the sharp order, Linear algebra appl., 92, 17-37, (1987) · Zbl 0619.15006
[12] Nambooripad, K.S.S., The natural partial order on a regular semigroup, Proc. Edinburgh math. soc., 23, 249-260, (1980) · Zbl 0459.20054
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.