Abstract
Spectral functions of symmetric matrices – those depending on matrices only through their eigenvalues – appear often in optimization. A cornerstone variational analytic tool for studying such functions is a formula relating their subdifferentials to the subdifferentials of their diagonal restrictions. This paper presents a new, short, and revealing derivation of this result. The argument has a direct analogue for spectral functions of Hermitian matrices, and for singular value functions of rectangular matrices.
References
- J. M. Ball: Differentiability properties of symmetric and isotropic functions, Duke Math. J. 51(3) (1984) 699–728.https://doi.org/10.1215/S0012-7094-84-05134-2Google Scholar
- M. Ciligot-Travain, S. Traore: On subgradients of spectral functions, J. Convex Analysis 9(2) (2002) 401–414.https://doi.org/10.68381/jca09023Google Scholar
- A. Daniilidis, D. Drusvyatskiy, A. S. Lewis: Orthogonal invariance and identifiability, SIAM J. Matrix Anal. Appl. 35(2) (2014) 580–598.https://doi.org/10.1137/130916710Google Scholar
- A. Daniilidis, A. S. Lewis, J. Malick, H. Sendov: Prox-regularity of spectral functions and spectral sets, J. Convex Analysis 15(3) (2008) 547–560.https://doi.org/10.68381/jca15039Google Scholar
- A. Daniilidis, J. Malick, H. S. Sendov: Locally symmetric submanifolds lift to spectral manifolds, Preprint U.A.B. 23/2009, arXiv: 1212.3936 (2012).Google Scholar
- C. Davis: All convex invariant functions of hermitian matrices, Arch. Math. 8 (1957) 276–278.https://doi.org/10.1007/BF01898787Google Scholar
- C. Ding, D. Sun, J. J. Ye: First order optimality conditions for mathematical programs with semidefinite cone complementarity constraints, Math. Program. Ser. A 147(1-2) (2014) 539–579.https://doi.org/10.1007/s10107-013-0735-zGoogle Scholar
- D. Drusvyatskiy, M. Larsson: Approximating functions on stratified sets, Trans. Amer. Math. Soc. 367(1) (2015) 725–749.https://doi.org/10.1090/S0002-9947-2014-06412-XGoogle Scholar
- D. Drusvyatskiy, H.-L. Lee, R. R. Thomas: Counting real critical points of the distance to orthogonally invariant matrix sets, SIAM J. Matrix Anal. Appl. 36(3) (2015) 1360–1380.https://doi.org/10.1137/15M1007835Google Scholar
- J. M. Lee: Introduction to Smooth Manifolds (2nd ed.), Graduate Texts in Mathematics 218, Springer, New York (2013).https://doi.org/10.1007/978-1-4419-9982-5_1Google Scholar
- A. S. Lewis: Convex analysis on the Hermitian matrices, SIAM J. Optimization 6(1) (1996) 164–177.https://doi.org/10.1137/0806009Google Scholar
- A. S. Lewis: Nonsmooth analysis of eigenvalues, Math. Program. Ser. A 84(1) (1999) 1–24.https://doi.org/10.1007/s10107980004aGoogle Scholar
- A. S. Lewis: Convex analysis on Cartan subspaces, Nonlinear Anal. Ser. A: Theory Methods 42(5) (2000) 813–820.https://doi.org/10.1016/S0362-546X(99)00126-1Google Scholar
- A. S. Lewis, H. S. Sendov: Twice differentiable spectral functions, SIAM J. Matrix Anal. Appl. 23(2) (2001) 368–386 (electronic).https://doi.org/10.1137/S089547980036838XGoogle Scholar
- A. S. Lewis, H. S. Sendov: Nonsmooth analysis of singular values I: Theory, Set-Valued Anal. 13(3) (2005) 213–241.https://doi.org/10.1007/s11228-004-7197-7Google Scholar
- A. S. Lewis, H. S. Sendov: Nonsmooth analysis of singular values II: Applications, Set-Valued Anal. 13(3) (2005) 243–264.https://doi.org/10.1007/s11228-004-7198-6Google Scholar
- B. S. Mordukhovich: Variational Analysis and Generalized Differentiation I: Basic Theory, Grundlehren der math. Wissenschaften 330, Springer, Berlin (2006).https://doi.org/10.1007/3-540-31247-1Google Scholar
- R. T. Rockafellar, R. J.-B. Wets: Variational Analysis, Grundlehren der math. Wissenschaften 317, Springer, Berlin (1998).https://doi.org/10.1007/978-3-642-02431-3Google Scholar
- H. S. Sendov: Variational Spectral Analysis, Ph.D.-Thesis, University of Waterloo (Canada), ProQuest LLC, Ann Arbor, (2001).Google Scholar
- H. S. Sendov: The higher-order derivatives of spectral functions, Linear Algebra Appl. 424(1) (2007) 240–281.https://doi.org/10.1016/j.laa.2006.12.013Google Scholar
- M. Šilhavý: Differentiability properties of isotropic functions, Duke Math. J. 104(3) (2000) 367–373.https://doi.org/10.1215/S0012-7094-00-10431-0Google Scholar
- J. Sylvester: On the differentiability of O(n) invariant functions of symmetric matrices, Duke Math. J. 52(2) (1985) 475–483.https://doi.org/10.1215/S0012-7094-85-05223-8Google Scholar
- C. M. Theobald: An inequality for the trace of the product of two symmetric matrices, Math. Proc. Cambridge Philos. Soc. 77 (1975) 265–267.https://doi.org/10.1017/S0305004100051070Google Scholar
- J. von Neumann: Some matrix inequalities and metrization of matrix-space, Tomck. Univ. Rev. 1 (1937) 286–300.Google Scholar
Suggested citation
Published by Heldermann Verlag, 2018. Rights now held by Banach Press LLC.
