Matrix completions, norms and Hadamard products
HTML articles powered by AMS MathViewer
- by Roy Mathias PDF
- Proc. Amer. Math. Soc. 117 (1993), 905-918 Request permission
Abstract:
Let ${M_{m,n}}$ (respectively, ${H_n}$) denote the space of $m \times n$ complex matrices (respectively, $n \times n$ Hermitian matrices). Let $S \subset {H_n}$ be a closed convex set. We obtain necessary and sufficient conditions for ${X_0} \in S$ to attain the maximum in the following concave maximization problem: \[ \max \{ {\lambda _{\min }}(A + X):X \in S\} \] where $A \in {H_n}$ is a fixed matrix. Let $\circ$ denote the Hadamard (entrywise) product, i.e., given matrices $A = [{a_{ij}}],\;B = [{b_{ij}}] \in {M_{m,n}}$ we define $A \circ B = [{a_{ij}}{b_{ij}}] \in {M_{m,n}}$. Using the necessary and sufficient conditions mentioned above we give elementary and unified proofs of the following results. (a) For any $A \in {M_{n,n}}$ \[ \omega (A) \equiv \max \{ |{x^{\ast }}Ax|:x \in {C^n},\;{x^{\ast }}x = 1\} \leqslant 1\] if and only if there is a matrix $Z \in {H_n}$ such that \[ \left ( {\begin {array}{*{20}{c}} {I + Z} & A \\ {{A^{\ast }}} & {I - Z} \\ \end {array} } \right ) \geqslant 0.\] (b) For any $A \in {M_{m,n}}$ \[ \max \{ ||A \circ B|{|_\infty }:||B|{|_\infty } \leqslant 1\} \leqslant 1\] if and only if there are matrices $P \in {H_m},\;Q \in {H_n}$ such that \[ \left ( {\begin {array}{*{20}{c}} P & A \\ {{A^{\ast }}} & Q \\ \end {array} } \right ) \geqslant 0,\qquad P \circ I \leqslant I,\qquad Q \circ I \leqslant I.\] (c) For any $A \in {M_{n,n}}$ \[ \max \{ \omega (A \circ B):\omega (B) \leqslant 1\} \leqslant 1\] if and only if there is a matrix $P \in {H_n}$ such that \[ \left ( {\begin {array}{*{20}{c}} P & A \\ {{A^{\ast }}} & P \\ \end {array} } \right ) \geqslant 0,\qquad P \circ I \leqslant I.\] We also consider other norms that can be represented in this way and show that if a norm can be represented in this way then so can its dual.References
- T. Ando, Structure of operators with numerical radius one, Acta Sci. Math. (Szeged) 34 (1973), 11–15. MR 318920
- T. Ando and K. Okubo, Induced norms of the Schur multiplier operator, Linear Algebra Appl. 147 (1991), 181–199. MR 1088664, DOI 10.1016/0024-3795(91)90234-N
- R. Fletcher, Semidefinite matrix constraints in optimization, SIAM J. Control Optim. 23 (1985), no. 4, 493–513. MR 791884, DOI 10.1137/0323032
- Roger A. Horn and Charles R. Johnson, Matrix analysis, Cambridge University Press, Cambridge, 1985. MR 832183, DOI 10.1017/CBO9780511810817
- Roger A. Horn and Roy Mathias, Cauchy-Schwarz inequalities associated with positive semidefinite matrices, Linear Algebra Appl. 142 (1990), 63–82. MR 1077974, DOI 10.1016/0024-3795(90)90256-C
- Roger A. Horn and Roy Mathias, An analog of the Cauchy-Schwarz inequality for Hadamard products and unitarily invariant norms, SIAM J. Matrix Anal. Appl. 11 (1990), no. 4, 481–498. MR 1066153, DOI 10.1137/0611034
- Olvi L. Mangasarian, Nonlinear programming, McGraw-Hill Book Co., New York-London-Sydney, 1969. MR 0252038
- Roy Mathias, The spectral norm of a nonnegative matrix, Linear Algebra Appl. 139 (1990), 269–284. MR 1071714, DOI 10.1016/0024-3795(90)90403-Y R. McEachin, Analysis of an inequality concerning perturbation of self-adjoint operators, Ph.D. thesis, Univ. of Illinois at Urbana-Champaign, 1990.
- Ingram Olkin and John W. Pratt, A multivariate Tchebycheff inequality, Ann. Math. Statist. 29 (1958), 226–234. MR 93865, DOI 10.1214/aoms/1177706720
- Sing-Cheong Ong, On the Schur multiplier norm of matrices, Linear Algebra Appl. 56 (1984), 45–55. MR 724547, DOI 10.1016/0024-3795(84)90112-5
- Michael L. Overton, On minimizing the maximum eigenvalue of a symmetric matrix, SIAM J. Matrix Anal. Appl. 9 (1988), no. 2, 256–268. SIAM Conference on Linear Algebra in Signals, Systems, and Control (Boston, Mass., 1986). MR 938560, DOI 10.1137/0609021
- Vern I. Paulsen, Stephen C. Power, and Roger R. Smith, Schur products and matrix completions, J. Funct. Anal. 85 (1989), no. 1, 151–178. MR 1005860, DOI 10.1016/0022-1236(89)90050-5
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 117 (1993), 905-918
- MSC: Primary 15A60
- DOI: https://doi.org/10.1090/S0002-9939-1993-1116267-7
- MathSciNet review: 1116267