Abstract:We study the geometry of the image of the nonnegative orthant under the power-sum map and the elementary symmetric polynomials map. After analyzing the image in finitely many variables, we concentrate on the limit as the number of variables approaches infinity. We explain how the geometry of the limit plays a crucial role in undecidability results in nonnegativity of symmetric polynomials, deciding validity of trace inequalities in linear algebra, and extremal combinatorics - recently observed by Blekherman, Raymond, and F. Wei. We verify the experimental observation that the image has the combinatorial geometry of a cyclic polytope made by Melánová, Sturmfels, and Winter, and generalize results of Choi, Lam, and Reznick on nonnegative even symmetric polynomials. We also show that undecidability does not hold for the normalized power sum map.

On Spaces of Inscribed Triangles

A Structural Theorem for Sets With Few Triangles

Metric Spaces in Which Many Triangles Are Degenerate

A geometric iterated function system on triangles

On Completing Triangles in Teichmüller Space

Polygon spaces and Grassmannians

The space of immersed polygons

The Moduli Space of Acute Triangles

On inscribed trapezoids and affinely 3-regular maps

Triangle-Free Triangulations, Hyperplane Arrangements and Shifted Tableaux

Triangles on planar Jordan $C^1$-curves

Geodesic loops on tetrahedra in spaces of constant sectional curvature

Square pegs between two graphs

Polygons inscribed in Jordan curves with prescribed edge ratios

Spaces of rational maps and the Stone-Weierstrass Theorem

The Torus of Triangles

Interior angle sums of geodesic triangles and translation-like isoptic surfaces in Sol geometry

The Geometry of Triangles

On a Conjecture on Sharygin Triangles

The Wonderful Geometry of the Vandermonde map

Tiling Spaces have aspherical shape