Related papers: Spectrahedral representation of polar orbitopes

An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense…

The rational cohomology of a coadjoint orbit ${\cal O}$ is expressed as tensor product of the cohomology of other coadjoint orbits ${\cal O}_k$, with $ \hbox{dim} {\cal O}_k< \hbox{dim} {\cal O}$.

We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with…

We show that the closed convex hull of any one-dimensional semi-algebraic subset of R^n has a semidefinite representation, meaning that it can be written as a linear projection of the solution set of some linear matrix inequality. This is…

We describe convex hulls of the simplest compact space curves, reducible quartics consisting of two circles. When the circles do not meet in complex projective space, their algebraic boundary contains an irrational ruled surface of degree…

The integer hull of a polyhedron is the convex hull of the integer points contained in it. We show that the vertices of the integer hulls of a rational family of polyhedra of size O(n) have quasipolynomial coordinates. As a corollary, we…

We study the C$^*$-algebra of Wiener-Hopf operators $A_\Omega$ on a cone $\Omega$ with polyhedral base $P$. As is known, a sequence of symbol maps may be defined, and their kernels give a filtration by ideals of $A_\Omega$, with liminary…

Given an orbifold, we construct an orthogonal spectrum representing its stable global homotopy type. Orthogonal spectra now represent orbifold cohomology theories which automatically satisfy certain properties as additivity and the…

We show that a compact representation of a semisimple Lie group has an orthogonal decomposition into finite length representations. This generalises and simplifies a number of more special spectral theorems in the literature. We apply it to…

We describe a new method for constructing a spectrahedral representation of the hyperbolicity region of a hyperbolic curve in the real projective plane. As a consequence, we show that if the curve is smooth and defined over the rational…

We study polar representations in the sense of Dadok and Kac which are symplectic. We show that such representations are coisotropic and use this fact to give a classification. We also study their moment maps and prove that they separate…

A centrally symmetric analogue of the cyclic polytope, the bicyclic polytope, was defined in [BN08]. The bicyclic polytope is defined by the convex hull of finitely many points on the symmetric moment curve where the set of points has a…

The Helton-Nie Conjecture (HNC) is the proposition that every convex semialgebraic set is a spectrahedral shadow. Here we prove that HNC is equivalent to another propo- sition related to quadratically constrained quadratic programming.…

Evert and Helton proved that real free spectrahedra are the matrix convex hulls of their absolute extreme points. However, this result does not extend to complex free spectrahedra, and we examine multiple ways in which the analogous result…

Let $G$ be a real compact Lie group, such that $G=G^0\rtimes C_2$, with $G^0$ simple. Here $G^0$ is the connected component of $G$ containing the identity and $C_2$ is the cyclic group of order $2$. We give a criterion for whether an…

We present a relation between volumes of certain lower dimensional simplices associated to a full-dimensional primal and polar dual polytope in R^k. We then discuss an application of this relation to a geometric construction of a Colin de…

In this note, we work out a simple inductive proof showing that every polyhedral cone K is the conic hull of a finite set X of vectors. The base cases of the induction are linear subspaces and linear halfspaces of linear subspaces. The…

We study the $O_\beta$-hull of a planar point set, a generalization of the Orthogonal Convex Hull where the coordinate axes form an angle $\beta$. Given a set $P$ of $n$ points in the plane, we show how to maintain the $O_\beta$-hull of $P$…

We study metric properties of convex bodies B and their polars B^o, 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=S_n, the…

Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild…