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.

Contact details are reproduced from the original publication and may be historical.

Dmitriy Drusvyatskiy

Mathematics Department, University of Washington, Seattle, WA 98195, U.S.A.

ddrusv@uw.edu

Courtney Paquette

Mathematics Department, University of Washington, Seattle, WA 98195, U.S.A.

yumiko88@uw.edu
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. C. Davis: All convex invariant functions of hermitian matrices, Arch. Math. 8 (1957) 276–278.https://doi.org/10.1007/BF01898787Google Scholar
  7. 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
  8. 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
  9. 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
  10. 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
  11. A. S. Lewis: Convex analysis on the Hermitian matrices, SIAM J. Optimization 6(1) (1996) 164–177.https://doi.org/10.1137/0806009Google Scholar
  12. A. S. Lewis: Nonsmooth analysis of eigenvalues, Math. Program. Ser. A 84(1) (1999) 1–24.https://doi.org/10.1007/s10107980004aGoogle Scholar
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. H. S. Sendov: Variational Spectral Analysis, Ph.D.-Thesis, University of Waterloo (Canada), ProQuest LLC, Ann Arbor, (2001).Google Scholar
  20. 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
  21. 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
  22. 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
  23. 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
  24. J. von Neumann: Some matrix inequalities and metrization of matrix-space, Tomck. Univ. Rev. 1 (1937) 286–300.Google Scholar

D. Drusvyatskiy, C. Paquette. “Variational Analysis of Spectral Functions Simplified.” Journal of Convex Analysis 25 (2018), No. 1, 119–134. https://doi.org/10.68381/jca25008