Spectral Polyhedra

Sanyal, Raman  ; Saunderson, James 

Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e30

Résumé

A spectral convex set is a collection of symmetric matrices whose range of eigenvalues forms a symmetric convex set. Spectral convex sets generalize the Schur-Horn orbitopes studied by Sanyal–Sottile–Sturmfels (2011). We study this class of convex bodies, which is closed under intersections, polarity and Minkowski sums. We describe orbits of faces and give a formula for their Steiner polynomials. We then focus on spectral polyhedra. We prove that spectral polyhedra are spectrahedra and give small representations as spectrahedral shadows. We close with observations and questions regarding hyperbolicity cones, polar convex bodies and spectral zonotopes.

Détail

DOI : 10.1017/fms.2024.62

Bibliographie

[1] Aubrun, G. and Lancien, C., ‘Zonoids and sparsification of quantum measurements’, Positivity 20 (2016), 1–23. Google Scholar | DOI

[2] Bauschke, H. H., Güler, O., Lewis, A. S. and Sendov, H. S., ‘Hyperbolic polynomials and convex analysis’, Canad. J. Math. 53 (2001), 470–488. Google Scholar | DOI

[3] Beck, M. and Sanyal, R., Combinatorial Reciprocity Theorems (Graduate Studies in Mathematics) vol. 195 (American Mathematical Society, Providence, RI, 2018). Google Scholar | DOI

[4] Ben-Tal, A. and Nemirovski, A., Lectures on Modern Convex Optimization (MPS/SIAM Series on Optimization, Society for Industrial and Applied Mathematics (SIAM), Mathematical Programming Society (MPS), Philadelphia, PA, 2001). Google Scholar | DOI

[5] Biliotti, L., Ghigi, A. and Heinzner, P., ‘Polar orbitopes’, Comm. Anal. Geom. 21 (2013), 579–606. Google Scholar | DOI

[6] Biliotti, L., Ghigi, A. and Heinzner, P., ‘Coadjoint orbitopes’, Osaka J. Math. 51 (2014), 935–968. Google Scholar

[7] Biliotti, L., Ghigi, A. and Heinzner, P., ‘Invariant convex sets in polar representations’, Israel J. Math. 213 (2016), 423–441. Google Scholar | DOI

[8] Billera, L. J. and Sarangarajan, A., ‘The combinatorics of permutation polytopes’, in Formal Power Series and Algebraic Combinatorics (DIMACS Ser. Discrete Math. Theoret. Comput. Sci.) vol. 24 (Amer. Math. Soc., Providence, RI, 1996), 1–23. Google Scholar

[9] Bolker, E. D., ‘A class of convex bodies’, Trans. Amer. Math. Soc. 145 (1969), 323–345. Google Scholar | DOI

[10] Brändén, P., ‘Hyperbolicity cones of elementary symmetric polynomials are spectrahedral’, Optim. Lett. 8 (2014), 1773–1782. Google Scholar | DOI

[11] Bürgisser, P. and Lerario, A., ‘Probabilistic Schubert calculus’, J. Reine Angew. Math. 760 (2020), 1–58. Google Scholar | DOI

[12] De Concini, C. and Procesi, C., Topics in Hyperplane Arrangements, Polytopes and Box-Splines (Universitext, Springer, New York, 2011). Google Scholar

[13] Fawzi, H., Gouveia, J., Parrilo, P. A., Saunderson, J. and Thomas, R. R., ‘Lifting for simplicity: concise descriptions of convex sets’, SIAM Rev. 64 (2022), 866–918. Google Scholar | DOI

[14] Goodman, R. and Wallach, N. R., Symmetry, Representations, and Invariants (Graduate Texts in Mathematics) vol. 255 (Springer, Dordrecht, 2009). Google Scholar | DOI

[15] Gouveia, J., Parrilo, P. A. and Thomas, R. R., ‘Lifts of convex sets and cone factorizations’, Math. Oper. Res. 38 (2013), 248–264. Google Scholar | DOI

[16] Horn, R. A. and Johnson, C. R., Matrix Analysis, second edn. (Cambridge University Press, Cambridge, 2013). Google Scholar

[17] Kobert, T. and Scheiderer, C., ‘Spectrahedral representation of polar orbitopes’, Manuscripta Math. 169 (2022), 185–208. Google Scholar | DOI

[18] Kummer, M., ‘Spectral linear matrix inequalities’, Adv. Math. 384 (2021), 107749. Google Scholar | DOI

[19] Lagarias, J. C. and Mehta, H., ‘Products of binomial coefficients and unreduced Farey fractions’, Int. J. Number Theory 12 (2016), 57–91. Google Scholar | DOI

[20] Lewis, A. S., ‘Convex analysis on the Hermitian matrices’, SIAM J. Optim. 6 (1996), 164–177. Google Scholar | DOI

[21] Naundorf, L., ‘Schur-horn orbitopes and zonoids’, Master’s thesis, Freie Universität Berlin, 2015. Google Scholar

[22] Sanyal, R., ‘On the derivative cones of polyhedral cones’, Adv. Geom. 13 (2013), 315–321. Google Scholar | DOI

[23] Sanyal, R., Sottile, F. and Sturmfels, B., ‘Orbitopes’, Mathematika 57 (2011), 275–314. Google Scholar | DOI

[24] Saunderson, J. and Parrilo, P. A., ‘Polynomial-sized semidefinite representations of derivative relaxations of spectrahedral cones’, Math. Program. 153 (2015), 309–331. Google Scholar | DOI

[25] Saunderson, J., Parrilo, P. A. and Willsky, A. S., ‘Semidefinite descriptions of the convex hull of rotation matrices’, SIAM J. Optim. 25 (2015), 1314–1343. Google Scholar | DOI

[26] Schneider, R., Convex Bodies: The Brunn-Minkowski Theory (Encyclopedia of Mathematics and its Applications) vol. 151, expanded ed. (Cambridge University Press, Cambridge, 2014). Google Scholar

[27] Sinn, R., ‘Algebraic boundaries of convex semi-algebraic sets’, Res. Math. Sci. 2 (2015), Art. 3, 18. Google Scholar | DOI

[28] Vandenberghe, L. and Boyd, S., ‘Semidefinite programming’, SIAM Rev. 38 (1996), 49–95. Google Scholar | DOI

[29] Vinnikov, V., ‘LMI representations of convex semialgebraic sets and determinantal representations of algebraic hypersurfaces: past, present, and future’, in Mathematical Methods in Systems, Optimization, and Control (Oper. Theory Adv. Appl.) vol. 222 (Birkhäuser/Springer Basel AG, Basel, 2012), 325–349. Google Scholar | DOI