Convex geometry of orbits.

We study metric properties of convex bodies B and their polars B, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G = Sn, the symmetric group), the set of nonnegative polynomials in real algebraic geometry (G = SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G = SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of nonnegative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B.

[1]  H. Lawson,et al.  Calibrated geometries , 1982 .

[2]  J. H. van Lint,et al.  Introduction to Coding Theory , 1982 .

[3]  Frank Morgan,et al.  The faces of the Grassmannian of three-planes in R7 (Calibrated geometries on R7) , 1986 .

[4]  Javier Duoandikoetxea,et al.  Reverse Hölder inequalities for spherical harmonics , 1987 .

[5]  F. Morgan.  Area-minimizing surfaces, faces of Grassmannians, and calibrations , 1988 .

[6]  A. Vershik,et al.  Convex hulls of orbits of representations of finite groups and combinatorial optimization , 1988 .

[7]  G. Pisier.  The volume of convex bodies and Banach space geometry , 1989 .

[8]  B. Bollobás.  THE VOLUME OF CONVEX BODIES AND BANACH SPACE GEOMETRY (Cambridge Tracts in Mathematics 94) , 1991 .

[9]  F. Morgan.  Calibrations and the size of Grassmann faces , 1992 .

[10]  A. Barvinok,et al.  Combinatorial complexity of orbits in representations of the symmetric group , 1992 .

[11]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[12]  R. Schneider.  Convex Bodies: The Brunn–Minkowski Theory: Minkowski addition , 1993 .

[13]  J. Graver,et al.  Graduate studies in mathematics , 1993 .

[14]  Gil Kalai,et al.  Combinatorics and Convexity , 1995 .

[15]  Louis J. Billera,et al.  All 0–1 polytopes are traveling salesman polytopes , 1996, Comb..

[16]  K. Ball.  An elementary introduction to modern convex geometry, in flavors of geometry , 1997 .

[17]  K. Ball.  An Elementary Introduction to Modern Convex Geometry , 1997 .

[18]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[19]  Apostolos Giannopoulos,et al.  Extremal problems and isotropic positions of convex bodies , 2000 .

[20]  Alexander I. Barvinok,et al.  Estimating L∞ Norms by L2k Norms for Functions on Orbits , 2002, Found. Comput. Math..

[21]  Alexander Barvinok,et al.  A course in convexity , 2002, Graduate studies in mathematics.

[22]  Grigoriy Blekherman.  There are significantly more nonegative polynomials than sums of squares , 2003, math/0309130.

[23]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[24]  Grigoriy Blekherman.  Convexity Properties of the Cone of Nonnegative Polynomials , 2004, Discret. Comput. Geom..

[25]  Volker Schönefeld.  Spherical Harmonics , 2019, An Introduction to Radio Astronomy.