Hostname: page-component-cd9895bd7-gvvz8 Total loading time: 0 Render date: 2024-12-27T21:25:00.259Z Has data issue: false hasContentIssue false

Diagonals and Partial Diagonals of Sum of Matrices

Published online by Cambridge University Press:  20 November 2018

Chi-Kwong Li
Affiliation:
Department of Mathematics, College of William & Mary, Williamsburg, Virginia 23187, USA, email: ckli@math.wm.edu
Yiu-Tung Poon
Affiliation:
Department of Mathematics, Iowa State University, Ames, Iowa 50011, USA, email: ytpoon@iastate.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Given a matrix $A$, let $\mathcal{O}\left( A \right)$ denote the orbit of $A$ under a certain group action such as

  1. (1) $U\left( m \right)\,\otimes U\left( n \right)$ acting on $m\,\times \,n$ complex matrices $A$ by $(U,\,V)\,*\,A\,=\,UA{{V}^{t}}$,

  2. (2) $O\left( m \right)\otimes O\left( n \right)$ or $\text{SO(}m\text{)}\,\otimes \,\text{SO(}n\text{)}$ acting on $m\,\times \,n$ real matrices $A$ by $(U,\,V)\,*\,A\,=\,UA{{V}^{t}}$,

  3. (3) $U(n)$ acting on $n\,\times \,n$ complex symmetric or skew-symmetric matrices $A$ by $U\,*\,A\,=\,UA{{U}^{t}}$,

  4. (4) $O(n)$ or $\text{SO(n)}$ acting on $n\,\times \,n$ real symmetric or skew-symmetric matrices $A$ by $U\,*\,A\,=\,UA{{U}^{t}}$.

Denote by

1

$$\mathcal{O}({{A}_{1}},\ldots ,{{A}_{k}})\,=\,\{{{X}_{1\,}}+\cdot \cdot \cdot +\,{{X}_{k}}\,:\,{{X}_{i}}\,\in \,\mathcal{O}({{A}_{i}}),i\,=\,1,\ldots ,k\}$$

the joint orbit of the matrices ${{A}_{1}},\ldots ,{{A}_{k}}$. We study the set of diagonals or partial diagonals of matrices in $\mathcal{O}({{A}_{1}},\ldots ,{{A}_{k}})$, i.e., the set of vectors $({{d}_{1}},\ldots {{d}_{r}})$ whose entries lie in the $(1,\,{{j}_{1}}),\ldots ,(r,\,{{j}_{r}})$ positions of a matrix in $\mathcal{O}({{A}_{1}},\ldots ,{{A}_{k}})$ for some distinct column indices ${{j}_{1}},\ldots ,{{j}_{r}}$. In many cases, complete description of these sets is given in terms of the inequalities involving the singular values of ${{A}_{1}},\ldots ,{{A}_{k}}$. We also characterize those extreme matrices for which the equality cases hold. Furthermore, some convexity properties of the joint orbits are considered. These extend many classical results on matrix inequalities, and answer some questions by Miranda. Related results on the joint orbit $\mathcal{O}({{A}_{1}},\ldots ,{{A}_{k}})$ of complex Hermitian matrices under the action of unitary similarities are also discussed.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2002

References

[1] Fulton, W., Eigenvalues, invariant factors, highest weights, and Schubert calculus. Bull. Amer. Math. Soc. (N.S.) (3) 37 (2000), 209249 Google Scholar
[2] Horn, A., Doubly stochastic matrices and the diagonal of a rotation matrix. Amer. J. Math. 76 (1954), 620630.Google Scholar
[3] Horn, A., Eigenvalues of sums of Hermitian matrices. Pacific J. Math. 12 (1962), 225241.Google Scholar
[4] Horn, R. A. and Johnson, C. R., Topics in Matrix Analysis. Cambridge University Press, 1991.Google Scholar
[5] Li, C. K., Matrices with some extremal properties. Linear Algebra Appl. 101 (1988), 255267.Google Scholar
[6] Marshall, A. W. and Olkin, I., Inequalities: The Theory of Majorizations and Its Applications. Academic Press, 1979.Google Scholar
[7] Miranda, H. F., Singular values, diagonal elements, and extreme matrices. Linear Algebra Appl. 305 (2000), 151159.Google Scholar
[8] Miranda, H. F. and Thompson, R. C., A supplement to the von Neumann trace inequality for singular values. Linear Algebra Appl. 248 (1996), 6166.Google Scholar
[9] Mirsky, L., Matrices with prescribed characteristic roots and diagonal elements. J. London Math. Soc. 33 (1958), 1421.Google Scholar
[10] O’Shea, L. and Sjamaar, R., Moment maps and Riemannian symmetric pairs. Math. Ann. 317 (2000), 415457.Google Scholar
[11] Schur, I., Über eine Klasse von Mittelbildungen mit Anwendungen die Determinanten-Theorie Sitzungsber. Berlin. Math. Gesellschaft 22 (1923), 920. (See also, Issai Schur Collected Works (eds. A. Brauer and H. Rohrbach), Vol. II, Springer-Verlag, Berlin, 1973, 416–427.)Google Scholar
[12] Sing, F. Y., Some results on matrices with prescribed diagonal elements and singular values. Canad. Math. Bull. 19 (1976), 8992.Google Scholar
[13] Tam, T. Y., Kostant's convexity theorem and the compact classical groups. Linear and Multilinear Algebra 43 (1997), 87113.Google Scholar
[14] Tam, T. Y., Partial superdiagonal elements and singular values of a complex skew-symmetric matrix. SIAM J. Matrix Anal. Appl. 19 (1998), 737754.Google Scholar
[15] Tam, T. Y., On Lei, Miranda, and Thompson's result on singular values and diagonal elements. Linear Algebra Appl. 272 (1998), 91101.Google Scholar
[16] Tam, T. Y., A Lie theoretic approach to Thompson's theorems on singular values-diagonal elements and some related results. J. London Math. Soc. 60 (1999), 431448.Google Scholar
[17] Thompson, R. C., Principal submatrices IX: Interlacing inequalities for singular values of submatrices. Linear Algebra Appl. 5 (1972), 112.Google Scholar
[18] Thompson, R. C., Singular values, diagonal elements, and convexity. SIAM J. Appl. Math. 32 (1977), 3963.Google Scholar
[19] Thompson, R. C., Singular values and diagonal elements of complex symmetric matrices. Linear Algebra Appl. 26 (1979), 65106.Google Scholar
[20] Thompson, R. C., The diagonal torus of a matrix under special unitary equivalence. SIAM J. Matrix Anal. Appl. 15 (1994), 968973.Google Scholar