We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Optimization and Control

Title: Extreme points of Gram spectrahedra of binary forms

Abstract: The Gram spectrahedron $\text{Gram}(f)$ of a form $f$ with real coefficients parametrizes the sum of squares decompositions of $f$, modulo orthogonal equivalence. For $f$ a sufficiently general positive binary form of arbitrary degree, we show that $\text{Gram}(f)$ has extreme points of all ranks in the Pataki range. This is the first example of a family of spectrahedra of arbitrarily large dimensions with this property. We also calculate the dimension of the set of rank $r$ extreme points, for any $r$. Moreover, we determine the pairs of rank two extreme points for which the connecting line segment is an edge of $\text{Gram}(f)$.
Comments: The proof of Proposition 4.2 in v1, more specifically the argument in 4.8, was incorrect. It got replaced by a different proof in v3
Subjects: Optimization and Control (math.OC); Combinatorics (math.CO)
Cite as: arXiv:1802.05513 [math.OC]
  (or arXiv:1802.05513v3 [math.OC] for this version)

Submission history

From: Claus Scheiderer [view email]
[v1] Thu, 15 Feb 2018 12:54:57 GMT (16kb)
[v2] Tue, 5 Feb 2019 08:22:44 GMT (0kb,I)
[v3] Sun, 17 Feb 2019 08:37:48 GMT (16kb)

Link back to: arXiv, form interface, contact.