Long monotone paths on simple 4-polytopes

Julian Pfeifle

2004-02-16

Abstract: The Monotone Upper Bound Problem (Klee, 1965) asks if the number M(d,n) of vertices in a monotone path along edges of a d-dimensional polytope with n facets can be as large as conceivably possible: Is M(d,n) = M_{ubt}(d,n), the maximal number of vertices that a d-polytope with n facets can have according to the Upper Bound Theorem?

Metric Geometry,Combinatorics

What problem does this paper attempt to address?

On the Length of Monotone Paths in Polyhedra

Moïse Blanchard,Jesùs A. De Loera,Quentin Louveaux

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

2020-01-27

Abstract:Motivated by the problem of bounding the number of iterations of the Simplex algorithm we investigate the possible lengths of monotone paths followed by the Simplex method inside the oriented graphs of polyhedra (oriented by the objective function). We consider both the shortest and the longest monotone paths and estimate the monotone diameter and height of polyhedra. Our analysis applies to transportation polytopes, matroid polytopes, matching polytopes, shortest-path polytopes, and the TSP, among others. We begin by showing that combinatorial cubes have monotone and Bland pivot height bounded by their dimension and that in fact all monotone paths of zonotopes are no larger than the number of edge directions of the zonotope. We later use this to show that several polytopes have polynomial-size pivot height, for all pivot rules. In contrast, we show that many well-known combinatorial polytopes have exponentially-long monotone paths. Surprisingly, for some famous pivot rules, e.g., greatest improvement and steepest edge, these same polytopes have polynomial-size simplex paths.

Optimization and Control,Combinatorics
Vertices of the monotone path polytopes of hypersimplicies

Germain Poullot

2024-11-21

Abstract:The monotone path polytope of a polytope $P$ encapsulates the combinatorial behavior of the shadow vertex rule (a pivot rule used in linear programming) on $P$. On the other hand, computing monotone path polytopes is the entry door to the larger subject of fiber polytopes, for which explicitly computing examples remains a challenge. Monotone path polytopes of cubes and simplices have been known since the seminal article of Billera and Strumfels 1992. We (partially) extend these results to hypersimplices by linking this problem to the combinatorics of lattice paths. Indeed, we give a combinatorial model to describe the vertices of the monotone path polytope of the hypersimplex $\Delta(n, 2)$ (for any generic direction). With this model, we give a precise count of these vertices, and furthermore count the number of coherent monotone paths on $\Delta(n, 2)$ according to their lengths. We prove that some of the results obtained also hold for hypersimplices $\Delta(n, k)$ for $k\geq 2$.

Combinatorics
Light 3-Paths in 3-Polytopes without Adjacent Triangles

O. V. Borodin,A. O. Ivanova

DOI: https://doi.org/10.1134/s0037446624020022

2024-03-27

Siberian Mathematical Journal

Abstract:Let be the maximum of the minimum degree-sum (weight) of vertices in -vertex paths ( -paths) in 3-polytopes. Trivially, each 3-polytope has a vertex of degree at most 5, and so . Back in 1955, Kotzig proved that (so there is an edge of weight at most 13), which is sharp. In 1993, Ando, Iwasaki, and Kaneko proved that , which is also sharp due to a construction by Jendrol' of 1997. In 1997, Borodin refined this by proving that for 3-polytopes with , while holds for 3-polytopes with , where the sharpness of 18 was confirmed by Borodin et al. in 2013, and that of 17 was known long ago. Over the last three decades, much research has been devoted to structural and coloring problems on the plane graphs that are sparse in this or that sense. In this paper we deal with 3-polytopes without adjacent 3-cycles that is without chordal 4-cycle (in other words, without ). It is known that such 3-polytopes satisfy ; and, moreover, holds, where both bounds are sharp (Borodin, 1992). We prove now that each 3-polytope without chordal 4-cycles has a 3-path of weight at most 15; and so , which is sharp.

mathematics
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 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
Directed random walks on polytopes with few facets

Malte Milatz

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

2017-05-29

Abstract:Let $P$ be a simple polytope with $n-d = 2$, where $d$ is the dimension and $n$ is the number of facets. The graph of such a polytope is also called a grid. It is known that the directed random walk along the edges of $P$ terminates after $O(\log^2 n)$ steps, if the edges are oriented in a (pseudo-)linear fashion. We prove that the same bound holds for the more general unique sink orientations.

Discrete Mathematics,Combinatorics
Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

Patricia Hersh

2023-08-09

Abstract:Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice $L$, the join of any collection $S$ of elements which all cover a common element $u$ in $L$ is proven to equal the sink of the smallest face of $P$ containing $u$ and all of the elements of $S$. The author conjectures for such $G(P,{\bf c})$ that no directed path in $G(P,{\bf c})$ ever revisits any facet of $P$. This would imply for such $P$ and ${\bf c}$ that the simplex method for linear programming is efficient under all possible pivot rules. This conjecture is proven for 3-polytopes and for spindles. For simple polytopes in which $G(P,{\bf c})$ is the Hasse diagram of a lattice $L$, the order complex of each open interval in $L$ is proven homotopy equivalent to a ball or a sphere. Applications are given to the weak Bruhat order, the Tamari lattice, and the Cambrian lattices. This paper concludes with an appendix by Dominik Preußproving the monotone Hirsch conjecture for $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice. This confirms one of the main consequences that the author's conjecture would have.

Combinatorics,Algebraic Topology,Optimization and Control
Polytopes with low excess degree

Guillermo Pineda-Villavicencio,Jie Wang,David Yost

2024-05-27

Abstract:We study the existence and structure of $d$-polytopes for which the number $f_1$ of edges is small compared to the number $f_0$ of vertices. Our results are more elegantly expressed in terms of the excess degree of the polytope, defined as $2f_1-df_0$. We show that the excess degree of a $d$-polytope cannot lie in the range $[d+3,2d-7]$, complementing the known result that values in the range $[1,d-3]$ are impossible. In particular, many pairs $(f_0,f_1)$ are not realised by any polytope. For $d$-polytopes with excess degree $d-2$, strong structural results are known; we establish comparable results for excess degrees $d$, $d+2$, and $2d-6$. Frequently, in polytopes with low excess degree, say at most $2d-6$, the nonsimple vertices all have the same degree and they form either a face or a missing face. We show that excess degree $d+1$ is possible only for $d=3,5$, or $7$, complementing the known result that an excess degree $d-1$ is possible only for $d=3$ or $5$.

Combinatorics
Shortest paths on polymatroids and hypergraphic polytopes

Jean Cardinal,Raphael Steiner

2023-11-06

Abstract:Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.

Data Structures and Algorithms,Discrete Mathematics,Combinatorics,Optimization and Control
Bounding the number of odd paths in planar graphs via convex optimization

Asaf Cohen Antonir,Asaf Shapira

DOI: https://doi.org/10.1002/jgt.23120

2024-05-17

Journal of Graph Theory

Abstract:Let NP(n,H) denote the maximum number of copies of H in an n vertex planar graph. The problem of bounding this function for various graphs H has been extensively studied since the 70's. A special case that received a lot of attention recently is when H is the path on 2m+1 vertices, denoted P2m+1 . Our main result in this paper is that NP(n,P2m+1)=O(m−mnm+1). This improves upon the previously best known bound by a factor em , which is best possible up to the hidden constant, and makes a significant step toward resolving conjectures of Ghosh et al. and of Cox and Martin. The proof uses graph theoretic arguments together with (simple) arguments from the theory of convex optimization.

mathematics
Mono-monostatic polyhedra with uniform point masses have at least 8 vertices

Sándor Bozóki,Gábor Domokos,Flórián Kovács,Krisztina Regős

DOI: https://doi.org/10.1016/j.ijsolstr.2021.111276

2021-03-24

Abstract:The monostatic property of convex polyhedra (i.e. the property of having just one stable or unstable static equilibrium point) has been in the focus of research ever since Conway and Guy published the proof of the existence of the first such object, followed by the constructions of Bezdek and Reshetov. These examples establish $F\leq 14, V\leq 18$ as the respective \emph{upper bounds} for the minimal number of faces and vertices for a homogeneous mono-stable polyhedron. By proving that no mono-stable homogeneous tetrahedron existed, Conway and Guy established for the same problem the lower bounds for the number of faces and vertices as $F, V \geq 5$ and the same lower bounds were also established for the mono-unstable case. It is also clear that the $F,V \geq 5$ bounds also apply for convex, homogeneous point sets with unit masses at each point (also called polyhedral 0-skeletons) and they are also valid for mono-monostatic polyhedra with exactly on stable and one unstable equilibrium point (both homogeneous and 0-skeletons). Here we present an algorithm by which we improve the lower bound to $V\geq 8$ vertices (implying $f \geq 6$ faces) on mono-unstable and mono-monostable 0-skeletons. Our algorithm appears to be less well suited to compute the lower bounds for mono-stability. We point out these difficulties in connection with the work of Dawson and Finbow who explored the monostatic property of simplices in higher dimensions.

Metric Geometry,Computational Geometry
An Ω(n2 Log N) Lower Bound to the Shortest Paths Problem

Andrew Chi-Chih Yao,David Avis,Ronald L. Rivest

DOI: https://doi.org/10.1145/800105.803391

1977-01-01

Abstract:Let P be a polyhedron with f s s-dimensional faces. We show that Ω(log f s ) linear comparisons are needed to determine if a point lies in P. This is used to establish an Ω(n 2 log n) lower bound to the all-pairs shortest path problem between n points.
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!$.
On the Holt-Klee Property for Oriented Matroid Programming

Walter D. Morris Jr

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

2021-09-30

Abstract:The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.

Combinatorics
On the Dominant of the Multicut Polytope

Markus Chimani,Martina Juhnke,Alexander Nover

DOI: https://doi.org/10.1007/s00454-024-00646-w

2024-06-06

Discrete & Computational Geometry

Abstract:Given a graph and a set of terminal pairs, the minimum multicut problem asks for a minimum edge set such that there is no s - t -path in for any . For this is the well known s - t -cut problem, but in general the minimum multicut problem is NP-complete, even if the input graph is a tree. The multicut polytope is the convex hull of all multicuts in G ; the multicut dominant is given by . The latter is the relevant object for the minimization problem. While polyhedra associated to several cut problems have been studied intensively there is only little knowledge for multicut. We investigate properties of the multicut dominant and in particular derive results on liftings of facet-defining inequalities. This yields a classification of all facet-defining path- and edge inequalities. Moreover, we investigate the effect of graph operations such as node splitting, edge subdivisions, and edge contractions on the multicut-dominant and its facet-defining inequalities. In addition, we introduce facet-defining inequalities supported on stars, trees, and cycles and show that the former two can be separated in polynomial time when the input graph is a tree.

mathematics,computer science, theory & methods
On the Lp Minkowski Problem for Polytopes

Daniel Hug,Erwin Lutwak,Deane Yang,Gaoyong Zhang

DOI: https://doi.org/10.1007/s00454-004-1149-8

2005-02-09

Abstract:AbstractTwo new approaches are presented to establish the existence of polytopal solutions to the discrete-data Lp Minkowski problem for all p > 1.

mathematics,computer science, theory & methods
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
The smallest mono-unstable, homogeneous convex polyhedron has at least 7 vertices

Sándor Bozóki,Gábor Domokos,Dávid Papp,Krisztina Regős

2024-06-05

Abstract:We prove that every homogeneous convex polyhedron with only one unstable equilibrium (known as a mono-unstable convex polyhedron) has at least $7$ vertices. Although it has been long known that no mono-unstable tetrahedra exist, and mono-unstable polyhedra with as few as $18$ vertices and faces have been constructed, this is the first nontrivial lower bound on the number of vertices for a mono-unstable polyhedron. There are two main ingredients in the proof. We first establish two types of relationships, both expressible as (non-convex) quadratic inequalities, that the coordinates of the vertices of a mono-unstable convex polyhedron must satisfy, taking into account the combinatorial structure of the polyhedron. Then we use numerical semidefinite optimization algorithms to compute easily and independently verifiable, rigorous certificates that the resulting systems of quadratic inequalities (5943 in total) are indeed inconsistent in each case.

Metric Geometry
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
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

Long monotone paths on simple 4-polytopes

On the Length of Monotone Paths in Polyhedra

Vertices of the monotone path polytopes of hypersimplicies

Light 3-Paths in 3-Polytopes without Adjacent Triangles

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

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

Directed random walks on polytopes with few facets

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

Polytopes with low excess degree

Shortest paths on polymatroids and hypergraphic polytopes

Bounding the number of odd paths in planar graphs via convex optimization

Mono-monostatic polyhedra with uniform point masses have at least 8 vertices

An Ω(n2 Log N) Lower Bound to the Shortest Paths Problem

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

On the Holt-Klee Property for Oriented Matroid Programming

On the Dominant of the Multicut Polytope

On the Lp Minkowski Problem for Polytopes

Lower bound results for conditionally decomposable polytopes

The smallest mono-unstable, homogeneous convex polyhedron has at least 7 vertices

Two New Bounds on the Random-Edge Simplex Algorithm

Random Shadows of Fixed Polytopes