Geometric boundary characterization by rank loci

Let MM be a matrix represented as a slack matrix M=SP,QM=S_{P,Q} of nested polytopes PQRr1P\subseteq Q\subseteq\mathbb R^{r-1}. A spectrahedral shadow CC of size kk between PP and QQ is a linear projection of a spectrahedron of size kk. The rank-ss locus of CC consists of points whose lifts include a positive semidefinite matrix of rank ss. Geometric boundary conjecture. The matrix MM lies on the boundary Mr,k\partial \mathcal M_{r,k} if and only if every spectrahedral shadow CC of size kk satisfying PCQP\subseteq C\subseteq Q contains k+1k+1 vertices of PP at rank-one loci and touches k+1k+1 facets of QQ at rank-(k1)(k-1) loci. This is presented as the geometric version of the boundary characterization by rank-one factors, and the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Kaie Kubjas, Elina Robeva and Richard Z. Robinson, “Positive semidefinite rank and nested spectrahedra”, arXiv:1512.08766 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.