Nonnegative forms with sublevel sets of minimal volume. (English) Zbl 1502.90128
Summary: We show that the Euclidean ball has the smallest volume among sublevel sets of nonnegative forms of bounded Bombieri norm as well as among sublevel sets of sum of squares forms whose Gram matrix has bounded Frobenius or nuclear (or, more generally, \(p\)-Schatten) norm. These volume-minimizing properties of the Euclidean ball with respect to its representation (as a sublevel set of a form of fixed even degree) complement its numerous intrinsic geometric properties. We also provide a probabilistic interpretation of the results.
MSC:
| 90C25 | Convex programming |
| 26B15 | Integration of real functions of several variables: length, area, volume |
| 28A75 | Length, area, volume, other geometric measure theory |
| 65K10 | Numerical optimization and variational techniques |
Keywords:
nonnegative homogeneous polynomials; sublevel sets; Lebesgue volume; orthogonally invariant norms; extremal propertiesReferences:
| [1] | Agmon, S., The \({L}_p\) approach to the Dirichlet problem. Part I: regularity theorems, Annali della Scuola Normale Superiore di Pisa-Classe di Scienze, 13, 4, 405-448 (1959) |
| [2] | Agrachev, A.A., Kozhasov, Kh., Uschmajew, A.: Chebyshev polynomials and best rank-one approximation ratio (2019). arXiv:1904.00488 · Zbl 1435.15019 |
| [3] | Brachat, J.; Comon, P.; Mourrain, B.; Tsigaridas, E., Symmetric tensor decomposition, Linear Algebra Appl., 433, 11, 1851-1872 (2010) · Zbl 1206.65141 · doi:10.1016/j.laa.2010.06.046 |
| [4] | Choi, M.D., Lam, T.Y., Reznick, B.: Sums of squares of real polynomials, \(K\)-theory and algebraic geometry: connections with quadratic forms and division algebras (Santa Barbara, CA, 1992). In: Proceedings Symposia in Pure Mathematics of the American Mathematical Society, Providence, RI, vol. 58, pp. 103-126 (1995) · Zbl 0821.11028 |
| [5] | Eckart, C.; Young, G., The approximation of one matrix by another of lower rank, Psychometrika, 1, 3, 211-218 (1936) · JFM 62.1075.02 · doi:10.1007/BF02288367 |
| [6] | Friedland, S.; Lim, L-H, Nuclear norm of higher-order tensors, Math. Comp., 87, 1255-1281 (2018) · Zbl 1383.15018 · doi:10.1090/mcom/3239 |
| [7] | Fyodorov, Ya; Lerario, A.; Lundberg, E., On the number of connected components of random algebraic hypersurfaces, J. Geom. Phys., 95, 1-20 (2015) · Zbl 1367.60005 · doi:10.1016/j.geomphys.2015.04.006 |
| [8] | Hilbert, D.; Cohn-Vossen, S., Geometry and The Imagination (1952), New York: Chelsea, New York · Zbl 0047.38806 |
| [9] | Hilbert, D., Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahlnter Potenzen (Waringsches Problem), Math. Ann., 67, 3, 281-300 (1909) · JFM 40.0236.03 · doi:10.1007/BF01450405 |
| [10] | Lasserre, JB, Level sets and non gaussian integrals of positively homogeneous functions, Int. Game Theory Rev., 17, 1, 1540001 (2015) · Zbl 1342.90133 · doi:10.1142/S0219198915400010 |
| [11] | Lasserre, J-B, Convex optimization and parsimony of \(L_p\)-balls representation, SIAM J. Optim., 26, 247-273 (2016) · Zbl 1333.90089 · doi:10.1137/140983082 |
| [12] | Li, Z.; Nakatsukasa, Y.; Soma, T.; Uschmajew, A., On orthogonal tensors and best rank-one approximation ratio, SIAM J. Matrix Anal. Appl., 39, 1, 400-425 (2018) · Zbl 1390.15081 · doi:10.1137/17M1144349 |
| [13] | Morozov, A.; Shakirov, S., Introduction to integral discriminants, J. High Energy Phys., 12, 002 (2009) · doi:10.1088/1126-6708/2009/12/002 |
| [14] | Nie, J., Symmetric tensor nuclear norms, SIAM J. Appl. Algebra Geom., 1, 1, 599-625 (2017) · Zbl 1372.15023 · doi:10.1137/16M1083384 |
| [15] | Reznick, B., Sums of even powers of real linear forms, Mem. Amer. Math. Soc., 96, 463, viii+155 (1992) · Zbl 0762.11019 |
| [16] | Schmüdgen, K., The Moment Problem (2017), Berlin: Springer, Berlin · Zbl 1383.44004 · doi:10.1007/978-3-319-64546-9 |
| [17] | Shub, M.; Smale, S.; Eyssette, F.; Galligo, A., Complexity of Bezout’s theorem. II. Volumes and probabilities, Computational Algebraic Geometry (Nice, 1992), Progress in Mathematics, 267-285 (1993), Boston: Birkhäuser Boston, Boston · Zbl 0851.65031 · doi:10.1007/978-1-4612-2752-6_19 |
| [18] | Torrente, M-L; Beltrametti, MC; Sommese, AJ, Perturbation results on the zero-locus of a polynomial, J. Symb. Comput., 80, 307-328 (2017) · Zbl 1354.65093 · doi:10.1016/j.jsc.2016.04.001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
