Algebraic boundaries of SO(2)-orbitopes

DOI10.1007/S00454-013-9501-5MaRDI QIDQ2391832zbMATH OpenOpenAlexFDO

Authors Rainer Sinn

Publication date 5 August 2013

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.2992

zbMATH Keywords

basic closed semi-algebraic setconvex hullsecant variety

Mathematics Subject Classification ID

Real algebraic sets (14P05) Computational aspects of algebraic curves (14Q05) Representations of Lie and real algebraic groups: algebraic methods (Verma modules, etc.) (22E47) General convexity (52A99) Semidefinite programming (90C22)

Abstract: Let $Xsubset{A}^{2r}$ be a real curve embedded into an even-dimensional affine space. In the main result of this paper, we characterise when the r-th secant variety to $X$ is an irreducible component of the algebraic boundary of the convex hull of the real points $X(R)$ of $X$. This fact is then applied to 4-dimensional SO(2)-orbitopes and to the so called Barvinok-Novik orbitopes to study when they are basic closed as semi-algebraic sets. In the case of 4-dimensional SO(2)-orbitopes, we find all irreducible components of their algebraic boundary.

Review text

The algebraic boundary of a semi-algebraic set is an object of great interest in convex algebraic geometry and semi-definite optimization. In this paper, it is used to study whether or not a semi-algebraic set is \textit{basic closed}. A convex semi-algebraic set is basic closed if it can be described by finitely many polynomial inequalities. For instance, a spectrahedron is a basic closed semi-algebraic set. An interesting class of compact convex semi-algebraic sets are the \textit{orbitopes}. An orbitope is the convex hull of an orbit under a linear action of a compact real algebraic group on a real vector space, see [\textit{R. Sanyal, F. Sottile} and \textit{B. Sturmfels}, Mathematika 57, No. 2, 275--314 (2011; Zbl 1315.52001)]. The focus of this paper is on the special case of orbitopes of the group \(\mathrm{SO}(2)\) of real orthogonal \(2\times 2\) matrices with determinant \(1\). The main result is the following: Let \(X\subset \mathbb A^{2r}\) be an irreducible curve and assume that the real points \(X(\mathbb R)\) of \(X\) are dense in \(X\) in the Zariski topology. Let \(C\) be the convex hull of \(X(\mathbb R)\subset \mathbb R^{2r}\) and suppose that the interior of \(C\) is non-empty. Then the \((r-1)\)th secant variety to \(X\) is an irreducible component of the algebraic boundary of \(C\) if and only if the set of all \(r\)-tuples of real points of \(X\) that span a face of \(C\) has dimension \(r\). As applications of this result, it is proved that the Barvinok-Novik orbitopes are not basic closed and it is given a characterization for basic closed \(4\)-dimensional \(\mathrm{SO}(2)\)-orbitopes.

Recommendations

• ORBITOPES
• Algebraic boundaries of convex semi-algebraic sets
• scientific article; zbMATH DE number 1264799
• Spectrahedral representation of polar orbitopes
• Semidefinite Representation for Convex Hulls of Real Algebraic Curves

Cites work

• A centrally symmetric version of the cyclic polytope
• Algorithms in real algebraic geometry
• Convex hulls of algebraic sets
• Convex hulls of generalized moment curves
• Convex sets with semidefinite representation
• Higher secant varieties of curves and the theorem of Nagata on ruled surfaces
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 3288410 (Why is no real title available?)
• Joins and Intersections
• Linear matrix inequality representation of sets
• ORBITOPES
• Positive polynomials and projections of spectrahedra
• Semidefinite representation of convex sets
• Some geometric results in semidefinite programming
• Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
• Theta bodies for polynomial ideals

Cited in

(11)

• Spectrahedral representation of polar orbitopes
• Real rank two geometry
• Two results on the size of spectrahedral descriptions
• Algebraic boundaries of convex semi-algebraic sets
• Determinantal representations and Bézoutians
• Metric thickenings, Borsuk-Ulam theorems, and orbitopes
• The geometry of rank-one tensor completion
• Semidefinite Descriptions of the Convex Hull of Rotation Matrices
• Edges of the Barvinok--Novik orbitope
• Abstract operator systems over the cone of positive semidefinite matrices
• Adjoints and canonical forms of tree amplituhedra

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Algebraic boundaries of \(\mathrm{SO}(2)\)-orbitopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391832)