Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Preserving positivity for rank-constrained matrices


Authors: Dominique Guillot, Apoorva Khare and Bala Rajaratnam
Journal: Trans. Amer. Math. Soc. 369 (2017), 6105-6145
MSC (2010): Primary 15B48; Secondary 26E05, 26A48
DOI: https://doi.org/10.1090/tran/6826
Published electronically: March 29, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Entrywise functions preserving the cone of positive semidefinite matrices have been studied by many authors, most notably by Schoenberg [Duke Math. J. 9, 1942] and Rudin [Duke Math. J. 26, 1959]. Following their work, it is well-known that entrywise functions preserving Loewner positivity in all dimensions are precisely the absolutely monotonic functions. However, there are strong theoretical and practical motivations to study functions preserving positivity in a fixed dimension $ n$. Such characterizations for a fixed value of $ n$ are difficult to obtain, and in fact are only known in the $ 2 \times 2$ case. In this paper, using a novel and intuitive approach, we study entrywise functions preserving positivity on distinguished submanifolds inside the cone obtained by imposing rank constraints. These rank constraints are prevalent in applications, and provide a natural way to relax the elusive original problem of preserving positivity in a fixed dimension. In our main result, we characterize entrywise functions mapping $ n \times n$ positive semidefinite matrices of rank at most $ l$ into positive semidefinite matrices of rank at most $ k$ for $ 1 \leq l \leq n$ and $ 1 \leq k < n$. We also demonstrate how an important necessary condition for preserving positivity by Horn and Loewner [Trans. Amer. Math. Soc. 136, 1969] can be significantly generalized by adding rank constraints. Finally, our techniques allow us to obtain an elementary proof of the classical characterization of functions preserving positivity in all dimensions obtained by Schoenberg and Rudin.


References [Enhancements On Off] (What's this?)

  • [1] Tsuyoshi Ando and Fumio Hiai, Operator log-convex functions and operator means, Math. Ann. 350 (2011), no. 3, 611-630. MR 2805638, https://doi.org/10.1007/s00208-010-0577-4
  • [2] Tsuyoshi Ando and Xingzhi Zhan, Norm inequalities related to operator monotone functions, Math. Ann. 315 (1999), no. 4, 771-780. MR 1727183, https://doi.org/10.1007/s002080050335
  • [3] Emil Artin, Galois theory, Edited and supplemented with a section on applications by Arthur N. Milgram. Second edition, with additions and revisions. Fifth reprinting. Notre Dame Mathematical Lectures, No. 2, University of Notre Dame Press, South Bend, Ind., 1959. MR 0265324
  • [4] Gautam Bharali and Olga Holtz, Functions preserving nonnegativity of matrices, SIAM J. Matrix Anal. Appl. 30 (2008), no. 1, 84-101. MR 2399570, https://doi.org/10.1137/050645075
  • [5] Rajendra Bhatia and Ludwig Elsner, Positivity preserving Hadamard matrix functions, Positivity 11 (2007), no. 4, 583-588. MR 2346444, https://doi.org/10.1007/s11117-007-2104-8
  • [6] Rajendra Bhatia and Rajeeva L. Karandikar, Monotonicity of the matrix geometric mean, Math. Ann. 353 (2012), no. 4, 1453-1467. MR 2944035, https://doi.org/10.1007/s00208-011-0721-9
  • [7] Peter J. Bickel and Elizaveta Levina, Covariance regularization by thresholding, Ann. Statist. 36 (2008), no. 6, 2577-2604. MR 2485008, https://doi.org/10.1214/08-AOS600
  • [8] Ralph P. Boas Jr. and David V. Widder, Functions with positive differences, Duke Math. J. 7 (1940), 496-503. MR 0003436
  • [9] Stephen Boyd and Lieven Vandenberghe, Convex optimization, Cambridge University Press, Cambridge, 2004. MR 2061575
  • [10] Jens Peter Reus Christensen and Paul Ressel, Functions operating on positive definite matrices and a theorem of Schoenberg, Trans. Amer. Math. Soc. 243 (1978), 89-95. MR 502895, https://doi.org/10.2307/1997755
  • [11] John de Pillis, Transformations on partitioned matrices, Duke Math. J. 36 (1969), 511-515. MR 0325649
  • [12] Leonard E. Dickson, Algebraic theories, Dover Publications, Inc., New York, 1959. MR 0105380
  • [13] Pal Fischer and Jan D. Stegeman, Functions operating on positive-definite symmetric matrices, J. Math. Anal. Appl. 171 (1992), no. 2, 461-470. MR 1194094, https://doi.org/10.1016/0022-247X(92)90358-K
  • [14] Carl H. FitzGerald and Roger A. Horn, On fractional Hadamard powers of positive definite matrices, J. Math. Anal. Appl. 61 (1977), no. 3, 633-642. MR 0506356
  • [15] Carl H. FitzGerald, Charles A. Micchelli, and Allan Pinkus, Functions that preserve families of positive semidefinite matrices, Linear Algebra Appl. 221 (1995), 83-102. MR 1331791, https://doi.org/10.1016/0024-3795(93)00232-O
  • [16] Felix R. Gantmacher, The theory of matrices. Vols. 1, 2, translated by K. A. Hirsch, Chelsea Publishing Co., New York, 1959. MR 0107649
  • [17] Dominique Guillot, Apoorva Khare, and Bala Rajaratnam, The critical exponent conjecture for powers of doubly nonnegative matrices, Linear Algebra Appl. 439 (2013), no. 8, 2422-2427. MR 3091314, https://doi.org/10.1016/j.laa.2013.06.031
  • [18] Dominique Guillot, Apoorva Khare, and Bala Rajaratnam, On fractional Hadamard powers of positive block matrices, Technical Report, Department of Mathematics, Stanford University, arXiv:1404.6839, 2014.
  • [19] Dominique Guillot, Apoorva Khare, and Bala Rajaratnam, Complete characterization of Hadamard powers preserving Loewner positivity, monotonicity, and convexity, J. Math. Anal. Appl. 425 (2015), no. 1, 489-507. MR 3299675, https://doi.org/10.1016/j.jmaa.2014.12.048
  • [20] Dominique Guillot, Apoorva Khare, and Bala Rajaratnam, Preserving positivity for matrices with sparsity constraints, Trans. Amer. Math. Soc. 368 (2016), no. 12, 8929-8953. MR 3551594, https://doi.org/10.1090/tran6669
  • [21] Dominique Guillot and Bala Rajaratnam, Retaining positive definiteness in thresholded matrices, Linear Algebra Appl. 436 (2012), no. 11, 4143-4160. MR 2915274, https://doi.org/10.1016/j.laa.2012.01.013
  • [22] Dominique Guillot and Bala Rajaratnam, Functions preserving positive definiteness for sparse matrices, Trans. Amer. Math. Soc. 367 (2015), no. 1, 627-649. MR 3271272, https://doi.org/10.1090/S0002-9947-2014-06183-7
  • [23] Frank Hansen, Functions of matrices with nonnegative entries, Linear Algebra Appl. 166 (1992), 29-43. MR 1152486, https://doi.org/10.1016/0024-3795(92)90268-F
  • [24] Alfred Hero and Bala Rajaratnam, Large-scale correlation screening, J. Amer. Statist. Assoc. 106 (2011), no. 496, 1540-1552. MR 2896855, https://doi.org/10.1198/jasa.2011.tm11015
  • [25] Alfred Hero and Bala Rajaratnam, Hub discovery in partial correlation graphs, IEEE Trans. Inform. Theory 58 (2012), no. 9, 6064-6078. MR 2966078, https://doi.org/10.1109/TIT.2012.2200825
  • [26] Carl S. Herz, Fonctions opérant sur les fonctions définies-positives, Ann. Inst. Fourier (Grenoble) 13 (1963), 161-180 (French). MR 0152832
  • [27] Fumio Hiai, Monotonicity for entrywise functions of matrices, Linear Algebra Appl. 431 (2009), no. 8, 1125-1146. MR 2547900, https://doi.org/10.1016/j.laa.2009.04.001
  • [28] Roger A. Horn, The theory of infinitely divisible matrices and kernels, Trans. Amer. Math. Soc. 136 (1969), 269-286. MR 0264736
  • [29] Roger A. Horn and Charles R. Johnson, Topics in matrix analysis, Cambridge University Press, Cambridge, 1991. MR 1091716
  • [30] Ai Li and Steve Horvath, Network neighborhood analysis with the multi-node topological overlap measure, Bioinformatics 23 (2007), no. 2, 222-231.
  • [31] Marvin Marcus and Susan M. Katz, Matrices of Schur functions, Duke Math. J. 36 (1969), 343-352. MR 0242855
  • [32] Marvin Marcus and William Watkins, Partitioned hermitian matrices, Duke Math. J. 38 (1971), 237-249. MR 0274479
  • [33] Charles A. Micchelli and Ralph A. Willoughby, On functions which preserve the class of Stieltjes matrices, Linear Algebra Appl. 23 (1979), 141-156. MR 520618, https://doi.org/10.1016/0024-3795(79)90098-3
  • [34] A. Wayne Roberts and Dale E. Varberg, Convex functions, Pure and Applied Mathematics, Vol. 57, Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New York-London, 1973. MR 0442824
  • [35] Walter Rudin, Positive definite sequences and absolutely monotonic functions, Duke Math. J 26 (1959), 617-622. MR 0109204
  • [36] Isaac J. Schoenberg, Positive definite functions on spheres, Duke Math. J. 9 (1942), 96-108. MR 0005922
  • [37] Robert C. Thompson, A determinantal inequality for positive definite matrices, Canad. Math. Bull. 4 (1961), 57-62. MR 0142564
  • [38] Harkrishan Vasudeva, Positive definite matrices and absolutely monotonic functions, Indian J. Pure Appl. Math. 10 (1979), no. 7, 854-858. MR 537245
  • [39] David V. Widder, The Laplace Transform, Princeton Mathematical Series, v. 6, Princeton University Press, Princeton, N. J., 1941. MR 0005923
  • [40] Bin Zhang and Steve Horvath, A general framework for weighted gene co-expression network analysis, Stat. Appl. Genet. Mol. Biol. 4 (2005), Art. 17, 45 pp. (electronic). MR 2170433, https://doi.org/10.2202/1544-6115.1128
  • [41] Fuzhen Zhang, Positivity of matrices with generalized matrix functions, Acta Math. Sin. (Engl. Ser.) 28 (2012), no. 9, 1779-1786. MR 2956179, https://doi.org/10.1007/s10114-012-1210-0

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 15B48, 26E05, 26A48

Retrieve articles in all journals with MSC (2010): 15B48, 26E05, 26A48


Additional Information

Dominique Guillot
Affiliation: Department of Mathematical Sciences, University of Delaware, Newark, Delaware 19716
Email: dguillot@udel.edu

Apoorva Khare
Affiliation: Departments of Mathematics and Statistics, Stanford University, Stanford, California 94305
Email: khare@stanford.edu

Bala Rajaratnam
Affiliation: Department of Statistics, University of California, Davis, California 95616
Email: brajaratnam01@gmail.com

DOI: https://doi.org/10.1090/tran/6826
Keywords: Entrywise positive maps, rank preserving maps, rank constraint, absolutely monotonic functions, positive semidefiniteness, Loewner ordering
Received by editor(s): June 11, 2015
Received by editor(s) in revised form: September 11, 2015
Published electronically: March 29, 2017
Additional Notes: The authors were partially supported by the US Air Force Office of Scientific Research grant award FA9550-13-1-0043, US National Science Foundation grants DMS-0906392, DMS-CMG 1025465, AGS-1003823, DMS-1106642, DMS-CAREER-1352656, Defense Advanced Research Projects Agency DARPA YFA N66001-11-1-4131, the UPS Foundation, SMC-DBNKY, and an NSERC postdoctoral fellowship
Article copyright: © Copyright 2017 American Mathematical Society

American Mathematical Society