English

Polyhedral faces in Gram spectrahedra of binary forms

Optimization and Control 2020-10-08 v1 Algebraic Geometry

Abstract

We analyze both the facial structure of the Gram spectrahedron Gram(f)\mathrm{Gram}(f) and of the Hermitian Gram spectrahedron H+(f)\mathcal{H}^{\scriptscriptstyle+}(f) of a nonnegative binary form fR[x,y]2df \in \mathbb{R}[x, y]_{2d}. We show that if FH+(f)F \subseteq \mathcal{H}^{\scriptscriptstyle+}(f) is a polyhedral face of dimension kk then (k+12)d\binom{k+1}{2} \leq d. Conversely, for all kNk \in \mathbb{N} and d(k+12)d \geq \binom{k+1}{2} we show that the Hermitian Gram spectrahedron of a general positive binary form fR[x,y]2df \in \mathbb{R}[x, y]_{2d} with distinct roots contains a face FF which is a kk-simplex and whose extreme points are rank-one tensors. For all kNk \in \mathbb{N} and d(k+1)2d \geq (k+1)^2 the (symmetric) Gram spectrahedron of a general positive binary form fR[x,y]2df \in \mathbb{R}[x, y]_{2d} contains a polyhedral face FF with (rk(F),dim(F))=(2(k+1),k)(\mathrm{rk}(F), \dim(F)) = (2(k+1), k).

Cite

@article{arxiv.1910.06728,
  title  = {Polyhedral faces in Gram spectrahedra of binary forms},
  author = {Thorsten Mayer},
  journal= {arXiv preprint arXiv:1910.06728},
  year   = {2020}
}

Comments

16 pages

R2 v1 2026-06-23T11:44:09.615Z