English
Related papers

Related papers: Equivariant semidefinite lifts of regular polygons

200 papers

The nonnegative and positive semidefinite (PSD-) ranks are closely connected to the nonnegative and positive semidefinite extension complexities of a polytope, which are the minimal dimensions of linear and SDP programs which represent this…

Computational Complexity · Computer Science 2017-04-24 Andrii Riazanov , Mikhail Vyalyiy

There has been a lot of interest recently in proving lower bounds on the size of linear programs needed to represent a given polytope P. In a breakthrough paper Fiorini et al. [Proceedings of 44th ACM Symposium on Theory of Computing 2012,…

Optimization and Control · Mathematics 2013-11-12 Hamza Fawzi , Pablo A. Parrilo

We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its…

Combinatorics · Mathematics 2015-09-22 Guenter Rote , Francisco Santos , Ileana Streinu

This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are…

Optimization and Control · Mathematics 2023-03-24 Hamza Fawzi , João Gouveia , Pablo A. Parrilo , James Saunderson , Rekha R. Thomas

Postive semidefinite (PSD) cone is the cone of positive semidefinite matrices, and is the object of interest in semidefinite programming (SDP). A computational efficient approximation of the PSD cone is the $k$-PSD closure, $1 \leq k < n$,…

Optimization and Control · Mathematics 2021-06-07 Avinash Bhardwaj , Harshit Kothari , Vishnu Narayanan

The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite…

Optimization and Control · Mathematics 2021-06-25 Xiaoyi Gu , Santanu S. Dey , Jean-Philippe P. Richard

Let $P$ be a simple polytope of dimension $n$ with $m$ facets. In this paper we pay our attention on those elementary symmetric polynomials in the Stanley--Reisner face ring of $P$ and study how the decomposability of the $n$-th elementary…

Algebraic Topology · Mathematics 2016-03-01 Zhi Lü , Jun Ma , Yi Sun

Given the projections of two semialgebraic sets defined by polynomial matrix inequalities, it is in general difficult to determine whether one is contained in the other. To address this issue we propose a new matrix Positivstellensatz that…

Optimization and Control · Mathematics 2020-05-06 Igor Klep , Jiawang Nie

This paper investigates the minimization of the expectation of piecewise polynomial loss functions over Wasserstein balls. This optimization problem often appears as a key sub-problem of distributionally robust optimization problems. We…

Optimization and Control · Mathematics 2026-02-25 N. D. Dizon , Q. Y. Huang , T. D. Chuong , G. Li , V. Jeyakumar

Our first contribution in this paper is to prove that three natural sum of squares (sos) based sufficient conditions for convexity of polynomials, via the definition of convexity, its first order characterization, and its second order…

Optimization and Control · Mathematics 2013-12-31 Amir Ali Ahmadi , Pablo A. Parrilo

We present a new explicit construction for expander graphs with nearly optimal spectral gap. The construction is based on a series of 2-lift operations. Let $G$ be a graph on $n$ vertices. A 2-lift of $G$ is a graph $H$ on $2n$ vertices,…

Combinatorics · Mathematics 2007-05-23 Yonatan Bilu , Nathan Linial

A polynomial that is nonnegative need not be a sum of squares of polynomials. This classical gap, identified by Hilbert in 1888, lies at the heart of why the global optimization of multivariate quartic polynomials is NP-hard. Yet we show…

Optimization and Control · Mathematics 2026-04-03 Wenqi Zhu , Coralia Cartis

We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans…

Metric Geometry · Mathematics 2011-11-21 Alexander Barvinok , Seung Jin Lee , Isabella Novik

Let $d$ be a nonnegative integer, and let $P \subset \mathbb R^d$ be a $d$-dimensional convex lattice polytope. In this article, we prove that the ratio of the volume of a normal-sized miniature of $P$ to that of $P$ is $1:\binom{2d+1}{d},$…

Combinatorics · Mathematics 2026-05-21 Takashi Hirotsu

If we fix the angles at the vertices of a convex planar $n$-gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of $n$ edge lengths form a convex…

Metric Geometry · Mathematics 2020-02-20 Lyle Ramshaw , James B. Saxe

The linear orbit of a degree d hypersurface in $\mathbb{P}^n$ is its orbit under the natural action of PGL(n+1), in the projective space of dimension $N =\binom{n+d}{d} - 1$ parameterizing such hypersurfaces. This action restricted to a…

Algebraic Geometry · Mathematics 2025-03-12 Franquiz Caraballo Alba

In the classical setting, a convex polytope is said to be semiregular if its facets are regular and its symmetry group is transitive on vertices. This paper studies semiregular abstract polytopes, which have abstract regular facets, still…

Combinatorics · Mathematics 2012-01-27 B. Monson , Egon Schulte

The spectral unit ball $\Omega_n$ is the set of all $n\times n$ matrices with spectral radius less than $1$. Let $\pi(M) \in \mathbb C^n$ stand for the coefficients of its characteristic polynomial of $M$ (up to signs), i.e. the elementary…

Complex Variables · Mathematics 2017-10-24 Nikolai Nikolov , Pascal J. Thomas , Duc-Anh Tran

A convex polyhedron $P$ is $k$-equiprojective if all of its orthogonal projections, i.e., shadows, except those parallel to the faces of $P$ are $k$-gon for some fixed value of $k$. Since 1968, it is an open problem to construct all…

Computational Geometry · Computer Science 2010-09-14 Masud Hasan , Mohammad Monoar Hossain , Alejandro López-Ortiz , Sabrina Nusrat , Saad Altaful Quader , Nabila Rahman

A $P_{k+2}$ polynomial lifting operator is defined on polygons and polyhedrons. It lifts discontinuous polynomials inside the polygon/polyhedron and on the faces to a one-piece $P_{k+2}$ polynomial. With this lifting operator, we prove that…

Numerical Analysis · Mathematics 2020-09-30 Xiu Ye , Shangyou Zhang