Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

Khaled Elbassioni,Zvi Lotker,Raimund Seidel

DOI: https://doi.org/10.48550/arXiv.cs/0507038

IF: 0.455

2005-07-14

Computational Geometry

Abstract:In this note we show that the maximum number of vertices in any polyhedron $P=\{x\in \mathbb{R}^d : Ax\leq b\}$ with $0,1$-constraint matrix $A$ and a real vector $b$ is at most $d!$.

What problem does this paper attempt to address?

A lower bound theorem for $d$-polytopes with $2d+2$ vertices

Guillermo Pineda-Villavicencio,Aholiab Tritama,David Yost

2024-09-22

Abstract:We establish a lower bound theorem for the number of $k$-faces ($1\le k\le d-2$) in a $d$-dimensional polytope $P$ (abbreviated as a $d$-polytope) with $2d+2$ vertices, building on the known case for $k=1$. There are two distinct lower bounds depending on the number of facets in the $d$-polytope. We identify all minimisers for $d\le 5$. If $P$ has $d+2$ facets, the lower bound is tight when $d$ is odd. For $d\ge 5$ and $P$ with at least $d+3$ facets, the lower bound is always tight. Moreover, for $1\le k\le {d/3}-2$, minimisers among $d$-polytopes with $2d+2$ vertices are those with at least $d+3$ facets, while for ${0.4d}\le k\le d-1$, the lower bound arises from $d$-polytopes with $d+2$ facets. These results support Pineda-Villavicencio's lower bound conjecture for $d$-polytopes with at most $3d-1$ vertices.

Combinatorics
Enumerating integer points in polytopes with bounded subdeterminants

Hongyi Jiang,Amitabh Basu

DOI: https://doi.org/10.48550/arXiv.2102.09994

2021-08-11

Abstract:We show that one can enumerate the vertices of the convex hull of integer points in polytopes whose constraint matrices have bounded and nonzero subdeterminants, in time polynomial in the dimension and encoding size of the polytope. This extends a previous result by Artmann et al. who showed that integer linear optimization in such polytopes can be done in polynomial time.

Combinatorics,Optimization and Control
Lower Bounds on Face Numbers of Polytopes with $m$ Facets

Joshua Hinman

2024-01-27

Abstract:Let $P$ be a convex $d$-polytope and $0 \leq k \leq d-1$. In 2023, this author proved the following inequalities, resolving a question of Bárány: \[ \frac{f_k(P)}{f_0(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose k} + {\lfloor \frac{d}{2} \rfloor \choose k}\biggr], \qquad \frac{f_k(P)}{f_{d-1}(P)} \geq \frac{1}{2}\biggl[{\lceil \frac{d}{2} \rceil \choose d-k-1} + {\lfloor \frac{d}{2} \rfloor \choose d-k-1}\biggr]. \] We show that for any fixed $d$ and $k$, these are the tightest possible linear bounds on $f_k(P)$ in terms of $f_0(P)$ or $f_{d-1}(P)$. We then give a stronger bound on $f_k(P)$ in terms of the Grassmann angle sum $\gamma_k^2(P)$. Finally, we prove an identity relating the face numbers of a polytope with the behavior of its facets under a fixed orthogonal projection of codimension two.

Combinatorics
A note on the diameter of convex polytope

Yaguang Yang

DOI: https://doi.org/10.1016/j.dam.2020.11.008

IF: 1.254

2021-01-01

Discrete Applied Mathematics

Abstract:<p>This short note extends a recent result (Bonifas et al., 2014) of an upper bound of the diameter of a convex polytope defined by an integer matrix to a similar upper bound of the diameter of a convex polytope defined by a real matrix. It also shows, by an example, that the new bound may be better than the ones of Bonifas et al.</p>

mathematics, applied
Principally Box-integer Polyhedra and Equimodular Matrices

Patrick Chervet,Roland Grappe,Louis-Hadrien Robert

DOI: https://doi.org/10.48550/arXiv.1804.08977

2018-04-24

Abstract:A polyhedron is box-integer if its intersection with any integer box $\{\ell\leq x \leq u\}$ is integer. We define principally box-integer polyhedra to be the polyhedra $P$ such that $kP$ is box-integer whenever $kP$ is integer. We characterize them in several ways, involving equimodular matrices and box-total dual integral (box-TDI) systems. A rational $r\times n$ matrix is equimodular if it has full row rank and its nonzero $r\times r$ determinants all have the same absolute value. A face-defining matrix is a full row rank matrix describing the affine hull of a face of the polyhedron. Box-TDI systems are systems which yield strong min-max relations, and the underlying polyhedron is called a box-TDI polyhedron. Our main result is that the following statements are equivalent. - The polyhedron $P$ is principally box-integer. - The polyhedron $P$ is box-TDI. - Every face-defining matrix of $P$ is equimodular. - Every face of $P$ has an equimodular face-defining matrix. - Every face of $P$ has a totally unimodular face-defining matrix. - For every face $F$ of $P$, lin($F$) has a totally unimodular basis. Along our proof, we show that a cone $\{x:Ax\leq \mathbf{0}\}$ is box-TDI if and only if it is box-integer, and that these properties are passed on to its polar. We illustrate the use of these characterizations by reviewing well known results about box-TDI polyhedra. We also provide several applications. The first one is a new perspective on the equivalence between two results about binary clutters. Secondly, we refute a conjecture of Ding, Zang, and Zhao about box-perfect graphs. Thirdly, we discuss connections with an abstract class of polyhedra having the Integer Carathéodory Property. Finally, we characterize the box-TDIness of the cone of conservative functions of a graph and provide a corresponding box-TDI system.

Discrete Mathematics
Asymptotic bounds on the numbers of vertices of polytopes of polystochastic matrices

Vladimir N. Potapov,Anna A. Taranenko

2024-06-20

Abstract:A multidimensional nonnegative matrix is called polystochastic if the sum of entries in each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $\Omega_n^d$. In the present paper, we compare known bounds on the number of vertices of the polytope $\Omega_n^d$ and prove that the number of vertices of $\Omega_3^d$ is doubly exponential on $d$.

Combinatorics
Note on the complexity of the mixed-integer hull of a polyhedron

Robert Hildebrand,Timm Oertel,Robert Weismantel

DOI: https://doi.org/10.1016/j.orl.2015.03.002

IF: 1.151

2015-05-01

Operations Research Letters

Abstract:We study the complexity of computing the mixed-integer hull conv(P∩(Zn×Rd)) of a polyhedron P. Given an inequality description, with one integer variable, the mixed-integer hull can have exponentially many vertices and facets in d. For n,d fixed, we give an algorithm to find the mixed-integer hull in polynomial time. Given a finite set V⊆Qn+d, with n fixed, we compute a vertex description of the mixed-integer hull of conv(V) in polynomial time and give bounds on the number of vertices of the mixed-integer hull.

operations research & management science
Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra

Grigorii Dakhno,Dmitry Gribanov,Nikita Kasianov,Anastasiia Kats,Andrey Kupavskii,Nikita Kuz'min

2024-11-11

Abstract:In our work, we consider the problem of computing a vector $x \in Z^n$ of minimum $\|\cdot\|_p$-norm such that $a^\top x \not= a_0$, for any vector $(a,a_0)$ from a given subset of $Z^n$ of size $m$. In other words, we search for a vector of minimum norm that avoids a given finite set of hyperplanes, which is natural to call as the $\textit{Hyperplanes Avoiding Problem}$. This problem naturally appears as a subproblem in Barvinok-type algorithms for counting integer points in polyhedra. More precisely, it appears when one needs to evaluate certain rational generating functions in an avoidable critical point. We show that: 1) With respect to $\|\cdot\|_1$, the problem admits a feasible solution $x$ with $\|x\|_1 \leq (m+n)/2$, and show that such solution can be constructed by a deterministic polynomial-time algorithm with $O(n \cdot m)$ operations. Moreover, this inequality is the best possible. This is a significant improvement over the previous randomized algorithm, which computes $x$ with a guaranty $\|x\|_{1} \leq n \cdot m$. The original approach of A.~Barvinok can guarantee only $\|x\|_1 = O\bigl((n \cdot m)^n\bigr)$; 2) The problem is NP-hard with respect to any norm $\|\cdot\|_p$, for $p \in \bigl(R_{\geq 1} \cup \{\infty\}\bigr)$. 3) As an application, we show that the problem to count integer points in a polytope $P = \{x \in R^n \colon A x \leq b\}$, for given $A \in Z^{m \times n}$ and $b \in Q^m$, can be solved by an algorithm with $O\bigl(\nu^2 \cdot n^3 \cdot \Delta^3 \bigr)$ operations, where $\nu$ is the maximum size of a normal fan triangulation of $P$, and $\Delta$ is the maximum value of rank-order subdeterminants of $A$. It refines the previous state-of-the-art $O\bigl(\nu^2 \cdot n^4 \cdot \Delta^3\bigr)$-time algorithm.

Computational Complexity,Computational Geometry,Discrete Mathematics,Data Structures and Algorithms,Combinatorics
Lattice polytopes with the minimal volume

Ginji Hamano,Ichiro Sainose,Takayuki Hibi

2024-09-18

Abstract:Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b(\mathcal{P})$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c(\mathcal{P})$ that to the interior of $\mathcal{P}$. It follows from the lower bound theorem of Ehrhart polynomials that, when $c > 0$, \[ {\rm vol}(\mathcal{P}) \geq (d \cdot c(\mathcal{P}) + (d-1) \cdot b(\mathcal{P}) - d^2 + 2)/d!, \] where ${\rm vol}(\mathcal{P})$ is the (Lebesgue) volume of $\mathcal{P}$. Pick's formula guarantees that, when $d = 2$, the above inequality is an equality. In the present paper several classes of lattice polytopes for which the equality here holds will be presented.

Combinatorics
Random Shadows of Fixed Polytopes

Alexander E. Black,Francisco Criado

2024-06-11

Abstract:Estimating the number of vertices of a two dimensional projection, called a shadow, of a polytope is a fundamental tool for understanding the performance of the shadow simplex method for linear programming among other applications. We prove multiple upper bounds on the expected number of vertices of a random shadow of a fixed polytope. Our bounds are in terms of various parameters in the literature including geometric diameter and edge lengths, minimal and maximal slack, maximal coordinates for lattice polytopes, and maximum absolute values of subdeterminants. For the case of geometric diameter and edge lengths, we prove lower bounds and argue that our upper and lower bounds are both tight for zonotopes.

Combinatorics,Optimization and Control
Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes

Matthias Brugger

DOI: https://doi.org/10.48550/arXiv.1911.01541

2020-05-10

Abstract:We illustrate the limitations of the hyperplane separation bound, a non-combinatorial lower bound on the extension complexity of a polytope. Most notably, this bounding technique is used by Rothvoß (J ACM 64.6:41, 2017) to establish an exponential lower bound for the perfect matching polytope. We point out that the technique is sensitive to the particular choice of slack matrix. For the canonical slack matrices of the spanning tree polytope and the completion time polytope, we show that the lower bounds produced by the hyperplane separation method are trivial. These bounds may, however, be strengthened by normalizing rows and columns of the slack matrices.

Combinatorics,Discrete Mathematics,Optimization and Control
Lower bound results for conditionally decomposable polytopes

Jie Wang,David Yost

2024-06-01

Abstract:It is possible for a combinatorial type of polytope to have both decomposable and indecomposable realizations; here decomposability is meant with respect to Minkowski addition. Such polytopes are called conditionally decomposable. We show that the minimum number of vertices of a conditionally decomposable $d$-polytope is in the range $[3d-3, 4d-4]$, and that for a polytope having a line segment for a summand, $4d-4$ is sharp. As an application, the exact lower bound of the number of $k$-faces of a decomposable $d$-polytope with $2d+m$ vertices ($2 \le m\le d-4$) is obtained. Concerning the facets, in dimension 4, the minimum number of facets of a conditionally decomposable polytope is 9, and in dimension $d\ge 5$, the minimum is $d+4$.

Combinatorics
Unimodular polytopes and a new Heller-type bound on totally unimodular matrices via Seymour's decomposition theorem

Benjamin Nill

2024-05-22

Abstract:We prove a sharp upper bound on the number of columns of a totally unimodular matrix with column sums $1$ which improves upon Heller's bound by a factor of $2$. The proof uses Seymour's decomposition theorem. Unimodular polytopes are lattice polytopes such that the vertices of every full-dimensional subsimplex form an affine lattice basis. This is a subclass of 0/1-polytopes and contains for instance edge polytopes of bipartite graphs. Our main result implies a sharp upper bound on the number of vertices of unimodular polytopes.

Combinatorics,Optimization and Control
On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Seda Albayrak,Samprit Ghosh,Greg Knapp,Khoa D. Nguyen

2024-08-01

Abstract:Let $d>k$ be positive integers. Motivated by an earlier result of Bugeaud and Nguyen, we let $E_{k,d}$ be the set of $(c_1,\ldots,c_k)\in\mathbb{R}_{\geq 0}^k$ such that $\vert\alpha_0\vert\vert\alpha_1\vert^{c_1}\cdots\vert\alpha_k\vert^{c_k}\geq 1$ for any algebraic integer $\alpha$ of degree $d$, where we label its Galois conjugates as $\alpha_0,\ldots,\alpha_{d-1}$ with $\vert\alpha_0\vert\geq \vert\alpha_1\vert\geq\cdots \geq \vert\alpha_{d-1}\vert$. First, we give an explicit description of $E_{k,d}$ as a polytope with $2^k$ vertices. Then we prove that for $d>3k$, for every $(c_1,\ldots,c_k)\in E_{k,d}$ and for every $\alpha$ that is not a root of unity, the strict inequality $\vert\alpha_0\vert\vert\alpha_1\vert^{c_1}\cdots\vert\alpha_k\vert^{c_k}>1$ holds. We also provide a quantitative version of this inequality in terms of $d$ and the height of the minimal polynomial of $\alpha$.

Number Theory,Combinatorics
Tight general bounds for the extremal numbers of 0-1 matrices

Barnabás Janzer,Oliver Janzer,Van Magnan,Abhishek Methuku

2024-03-08

Abstract:A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some $1$-entries with $0$-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of $1$-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Füredi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ $1$-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.

Combinatorics
Two New Bounds on the Random-Edge Simplex Algorithm

Bernd Gärtner,Volker Kaibel

DOI: https://doi.org/10.1137/05062370X

2008-07-15

Abstract:We prove that the Random-Edge simplex algorithm requires an expected number of at most 13n/sqrt(d) pivot steps on any simple d-polytope with n vertices. This is the first nontrivial upper bound for general polytopes. We also describe a refined analysis that potentially yields much better bounds for specific classes of polytopes. As one application, we show that for combinatorial d-cubes, the trivial upper bound of 2^d on the performance of Random-Edge can asymptotically be improved by any desired polynomial factor in d.

Combinatorics,Optimization and Control
On the Polyhedral Decision Problem

AC YAO,RL RIVEST

DOI: https://doi.org/10.1137/0209028

1980-01-01

SIAM Journal on Computing

Abstract:Computational problems sometimes can be cast in the following form: Given a point ${\bf x}$ in $R^n $, determine if ${\bf x}$ lies in some fixed polyhedron. In this paper we give a general lower bound to the complexity of such problems, showing that $\frac{1}{2}\log _2 f_s $ linear comparisons are needed in the worst case, for any polyhedron with $f_s$ s -dimensional faces. For polyhedra with abundant faces, this leads to lower bounds nonlinear in n , the number of variables.
Extended formulations for the integer hull of strictly $Δ$-modular cographic polyhedral cones

Joseph Paat,Zach Walsh,Luze Xu

2024-08-20

Abstract:Conforti et al. give a compact extended formulation for a class of bimodular-constrained integer programs, namely those that model the stable set polytope of a graph with no disjoint odd cycles. We extend their techniques to design compact extended formulations for the integer hull of translated polyhedral cones whose constraint matrix is strictly $\Delta$-modular and has rows that represent a cographic matroid. Our work generalizes the important special case from Conforti et al. concerning $4$-connected graphs with odd cycle transversal number at least $4$. We also discuss the necessity of our assumptions.

Optimization and Control
Upper bounds for Heilbronn's triangle problem in higher dimensions

Dmitrii Zakharov

DOI: https://doi.org/10.1112/blms.13020

IF: 1.036

2024-03-09

Bulletin of the London Mathematical Society

Abstract:We develop a new simple approach to prove upper bounds for generalizations of the Heilbronn's triangle problem in higher dimensions. Among other things, we show the following: for fixed d⩾1 , any subset of [0,1]d of size n contains d+1 points that span a simplex of volume at most Cdn−logd+6 , 1.1d points whose convex hull has volume at most Cdn−1.1 , k⩾3d points that span a (k−1) ‐dimensional simplex of volume at most Cdn−k−1d−k28d2 .

mathematics
An Upper Bound on the Size of Obstructions for Bounded Linear Rank-Width

Mamadou Moustapha Kanté,O-joung Kwon

DOI: https://doi.org/10.48550/arXiv.1412.6201

2014-12-19

Combinatorics

Abstract:We provide a doubly exponential upper bound in $p$ on the size of forbidden pivot-minors for symmetric or skew-symmetric matrices over a fixed finite field $\mathbb{F}$ of linear rank-width at most $p$. As a corollary, we obtain a doubly exponential upper bound in $p$ on the size of forbidden vertex-minors for graphs of linear rank-width at most $p$. This solves an open question raised by Jeong, Kwon, and Oum [Excluded vertex-minors for graphs of linear rank-width at most $k$. European J. Combin., 41:242--257, 2014]. We also give a doubly exponential upper bound in $p$ on the size of forbidden minors for matroids representable over a fixed finite field of path-width at most $p$. Our basic tool is the pseudo-minor order used by Lagergren [Upper Bounds on the Size of Obstructions and Interwines, Journal of Combinatorial Theory Series B, 73:7--40, 1998] to bound the size of forbidden graph minors for bounded path-width. To adapt this notion into linear rank-width, it is necessary to well define partial pieces of graphs and merging operations that fit to pivot-minors. Using the algebraic operations introduced by Courcelle and Kant\'e, and then extended to (skew-)symmetric matrices by Kant\'e and Rao, we define boundaried $s$-labelled graphs and prove similar structure theorems for pivot-minor and linear rank-width.

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

A lower bound theorem for $d$-polytopes with $2d+2$ vertices

Enumerating integer points in polytopes with bounded subdeterminants

Lower Bounds on Face Numbers of Polytopes with $m$ Facets

A note on the diameter of convex polytope

Principally Box-integer Polyhedra and Equimodular Matrices

Asymptotic bounds on the numbers of vertices of polytopes of polystochastic matrices

Note on the complexity of the mixed-integer hull of a polyhedron

Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra

Lattice polytopes with the minimal volume

Random Shadows of Fixed Polytopes

Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes

Lower bound results for conditionally decomposable polytopes

Unimodular polytopes and a new Heller-type bound on totally unimodular matrices via Seymour's decomposition theorem

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Tight general bounds for the extremal numbers of 0-1 matrices

Two New Bounds on the Random-Edge Simplex Algorithm

On the Polyhedral Decision Problem

Extended formulations for the integer hull of strictly $Δ$-modular cographic polyhedral cones

Upper bounds for Heilbronn's triangle problem in higher dimensions

An Upper Bound on the Size of Obstructions for Bounded Linear Rank-Width