Showing 1–42 of 42 results for author: Kaibel, V

Binary Cyclic Transversal Polytopes

Authors: Jonas Frede, Volker Kaibel, Maximilian Merkert

Abstract: With every family of finitely many subsets of a finite-dimensional vector space over the Galois-field with two elements we associate a cyclic transversal polytope. It turns out that those polytopes generalize several well-known polytopes that are relevant in combinatorial optimization, among them cut polytopes as well as stable set and matching polytopes. We introduce the class of lifted odd-set i… ▽ More With every family of finitely many subsets of a finite-dimensional vector space over the Galois-field with two elements we associate a cyclic transversal polytope. It turns out that those polytopes generalize several well-known polytopes that are relevant in combinatorial optimization, among them cut polytopes as well as stable set and matching polytopes. We introduce the class of lifted odd-set inequalities and prove results demonstrating their strength. In particular, we show that they suffice to describe cyclic transversal polytopes if the union of the sets in the family has rank at most two. We also describe extended formulations for cyclic transversal polytopes and introduce a special relaxation hierarchy for them. △ Less

Submitted 9 April, 2024; originally announced April 2024.

MSC Class: 05C21; 52B12; 90C10; 90C27; 90C57

Refined TSSOS

Authors: Daria Shaydurova, Volker Kaibel, Sebastian Sager

Abstract: The moment-sum of squares hierarchy by Lasserre has become an established technique for solving polynomial optimization problems. It provides a monotonically increasing series of tight bounds, but has well-known scalability limitations. For structured optimization problems, the term-sparsity SOS (TSSOS) approach scales much better due to block-diagonal matrices, obtained by completing the connecte… ▽ More The moment-sum of squares hierarchy by Lasserre has become an established technique for solving polynomial optimization problems. It provides a monotonically increasing series of tight bounds, but has well-known scalability limitations. For structured optimization problems, the term-sparsity SOS (TSSOS) approach scales much better due to block-diagonal matrices, obtained by completing the connected components of adjacency graphs. This block structure can be exploited by semidefinite programming solvers, for which the overall runtime then depends heavily on the size of the largest block. However, already the first step of the TSSOS hierarchy may result in large diagonal blocks. We suggest a new approach that refines TSSOS iterations using combinatorial optimization and results in block-diagonal matrices with reduced maximum block sizes. Numerical results on a benchmark library show the large potential for computational speedup for unconstrained and constrained polynomial optimization problems, while obtaining almost identical bounds in comparison to established methods. △ Less

Submitted 8 February, 2024; originally announced February 2024.

MSC Class: 14P10; 90C25; 12D15; 12Y05; 90C10

Polytope Extensions with Linear Diameters

Authors: Volker Kaibel, Kirill Kukharenko

Abstract: We describe constructions of extended formulations that establish a certain relaxed version of the Hirsch-conjecture and prove that if there is a pivot rule for the simplex algorithm for which one can bound the number of steps by the (monotone) diameter of the polyhedron of feasible solutions then the general linear programming problem can be solved in strongly polynomial time. We describe constructions of extended formulations that establish a certain relaxed version of the Hirsch-conjecture and prove that if there is a pivot rule for the simplex algorithm for which one can bound the number of steps by the (monotone) diameter of the polyhedron of feasible solutions then the general linear programming problem can be solved in strongly polynomial time. △ Less

Submitted 11 July, 2023; originally announced July 2023.

MSC Class: 52Bxx; 90C05

Optimal Sufficient Requirements on the Embedded Ising Problem in Polynomial Time

Authors: Elisabeth Lobe, Volker Kaibel

Abstract: One of the central applications for quantum annealers is to find the solutions of Ising problems. Suitable Ising problems, however, need to be formulated such that they, on the one hand, respect the specific restrictions of the hardware and, on the other hand, represent the original problems which shall actually be solved. We evaluate sufficient requirements on such an embedded Ising problem analy… ▽ More One of the central applications for quantum annealers is to find the solutions of Ising problems. Suitable Ising problems, however, need to be formulated such that they, on the one hand, respect the specific restrictions of the hardware and, on the other hand, represent the original problems which shall actually be solved. We evaluate sufficient requirements on such an embedded Ising problem analytically and transform them into a linear optimization problem. With an objective function aiming to minimize the maximal absolute problem parameter, the precision issues of the annealers are addressed. Due to the redundancy of several constraints, we can show that the formally exponentially large optimization problem can be reduced and finally solved in polynomial time for the standard embedding setting where the embedded vertices induce trees. This allows to formulate provably equivalent embedded Ising problems in a practical setup. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 34 pages, 3 figures

Journal ref: Quantum Inf Process 22, 305 (2023)

Steiner Cut Dominants

Authors: Michele Conforti, Volker Kaibel

Abstract: For a subset T of nodes of an undirected graph G, a T-Steiner cut is a cut δ(S) where S intersects both T and the complement of T. The T-Steiner cut dominant} of G is the dominant CUT_+(G,T) of the convex hull of the incidence vectors of the T-Steiner cuts of G. For T={s,t}, this is the well-understood s-t-cut dominant. Choosing T as the set of all nodes of G, we obtain the \emph{cut dominant}, fo… ▽ More For a subset T of nodes of an undirected graph G, a T-Steiner cut is a cut δ(S) where S intersects both T and the complement of T. The T-Steiner cut dominant} of G is the dominant CUT_+(G,T) of the convex hull of the incidence vectors of the T-Steiner cuts of G. For T={s,t}, this is the well-understood s-t-cut dominant. Choosing T as the set of all nodes of G, we obtain the \emph{cut dominant}, for which an outer description in the space of the original variables is still not known. We prove that, for each integer τ, there is a finite set of inequalities such that for every pair (G,T) with |T|\ <= τthe non-trivial facet-defining inequalities of CUT_+(G,T) are the inequalities that can be obtained via iterated applications of two simple operations, starting from that set. In particular, the absolute values of the coefficients and of the right-hand-sides in a description of CUT_+(G,T) by integral inequalities can be bounded from above by a function of |T|. For all |T| <= 5 we provide descriptions of CUT_+(G,T) by facet defining inequalities, extending the known descriptions of s-t-cut dominants. △ Less

Submitted 12 March, 2024; v1 submitted 29 September, 2022; originally announced September 2022.

Comments: 24 pages, 20 figures; to appear in Math. of Operations Research

MSC Class: 90C57; 90C27; 65K05

Scale-free spanning trees: complexity, bounds and algorithms

Authors: Yury Orlovich, Kirill Kukharenko, Volker Kaibel, Pavel Skums

Abstract: We introduce and study the general problem of finding a most "scale-free-like" spanning tree of a connected graph. It is motivated by a particular problem in epidemiology, and may be useful in studies of various dynamical processes in networks. We employ two possible objective functions for this problem and introduce the corresponding algorithmic problems termed $m$-SF and $s$-SF Spanning Tree pro… ▽ More We introduce and study the general problem of finding a most "scale-free-like" spanning tree of a connected graph. It is motivated by a particular problem in epidemiology, and may be useful in studies of various dynamical processes in networks. We employ two possible objective functions for this problem and introduce the corresponding algorithmic problems termed $m$-SF and $s$-SF Spanning Tree problems. We prove that those problems are APX- and NP-hard, respectively, even in the classes of cubic, bipartite and split graphs. We study the relations between scale-free spanning tree problems and the max-leaf spanning tree problem, which is the classical algorithmic problem closest to ours. For split graphs, we explicitly describe the structure of optimal spanning trees and graphs with extremal solutions. Finally, we propose two Integer Linear Programming formulations and two fast heuristics for the $s$-SF Spanning Tree problem, and experimentally assess their performance using simulated and real data. △ Less

Submitted 27 May, 2020; originally announced May 2020.

MSC Class: 05C05 (Primary); 92D30; 90C10(Secondary) ACM Class: G.2.1; G.2.2

A Note on Matchings Constructed during Edmonds' Weighted Perfect Matching Algorithm

Authors: Volker Kaibel, Matthias Walter

Abstract: We reprove that all the matchings constructed during Edmonds' weighted perfect matching algorithm are optimal among those of the same cardinality (provided that certain mild restrictions are obeyed on the choices the algorithm makes). We conclude that in order to solve a weighted matching problem it is not needed to solve a weighted perfect matching problem in an auxiliary graph of doubled size. T… ▽ More We reprove that all the matchings constructed during Edmonds' weighted perfect matching algorithm are optimal among those of the same cardinality (provided that certain mild restrictions are obeyed on the choices the algorithm makes). We conclude that in order to solve a weighted matching problem it is not needed to solve a weighted perfect matching problem in an auxiliary graph of doubled size. This result was known before, e.g., posed as an exercise in see Lawler's book from 1976, but is not present in several modern books on combinatorial optimization. △ Less

Submitted 28 March, 2017; originally announced March 2017.

Comments: 8 pages, 1 figure

MSC Class: 05C85 ACM Class: G.2.2

Maximum Semidefinite and Linear Extension Complexity of Families of Polytopes

Authors: Gennadiy Averkov, Volker Kaibel, Stefan Weltge

Abstract: We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on the maximum semidefinite extension complexity of 0/1-polytopes. We further show how our result can be used to improve on the corresponding bounds known for polygo… ▽ More We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on the maximum semidefinite extension complexity of 0/1-polytopes. We further show how our result can be used to improve on the corresponding bounds known for polygons with integer vertices. Our geometric proof builds upon nothing else than a simple well-known property of maximum volume inscribed ellipsoids of convex bodies. In particular, it does not rely on factorizations over the semidefinite cone and thus avoids involved procedures of balancing them as required, e.g., in [Briet, Dadush & Pokutta 2015]. We hope that revealing the geometry behind the phenomenon opens doors for further results. Moreover, we show that the linear extension complexity of every d-dimensional 0/1-polytope is bounded from above by O(2^d / d). △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 11 pages

MSC Class: 90C22 (Primary); 52Bxx (Secondary)

Extended Formulations for Independence Polytopes of Regular Matroids

Authors: Volker Kaibel, Jon Lee, Matthias Walter, Stefan Weltge

Abstract: The ancillary file Corrigendum.pdf contains an explanation why our proof does not work. The ancillary file Corrigendum.pdf contains an explanation why our proof does not work. △ Less

Submitted 12 September, 2019; v1 submitted 15 April, 2015; originally announced April 2015.

Comments: Submitted a corrigendum as a supplement file

MSC Class: 52Bxx

Journal ref: Graphs and Combinatorics (2016) 32: 1931-1944

The Unimodular Intersection Problem

Authors: Volker Kaibel, Shmuel Onn, Pauline Sarrabezolles

Abstract: We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems. We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems. △ Less

Submitted 15 March, 2015; v1 submitted 15 February, 2015; originally announced February 2015.

MSC Class: 05A; 15A; 51M; 52A; 52B; 52C; 62H; 68Q; 68R; 68U; 68W; 90B; 90C

Journal ref: Operations Research Letters, 43:592-594, 2015

Subgraph Polytopes and Independence Polytopes of Count Matroids

Authors: Michele Conforti, Volker Kaibel, Matthias Walter, Stefan Weltge

Abstract: Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formu… ▽ More Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extension complexity of the spanning forest polytope in terms of extension complexities of independence polytopes of these matroids. △ Less

Submitted 16 February, 2015; v1 submitted 10 February, 2015; originally announced February 2015.

Comments: 8 pages, update to fix error

MSC Class: 52B99

Simple Extensions of Polytopes

Authors: Volker Kaibel, Matthias Walter

Abstract: We introduce the simple extension complexity of a polytope P as the smallest number of facets of any simple (i.e., non-degenerate in the sense of linear programming) polytope which can be projected onto P. We devise a combinatorial method to establish lower bounds on the simple extension complexity and show for several polytopes that they have large simple extension complexities. These examples in… ▽ More We introduce the simple extension complexity of a polytope P as the smallest number of facets of any simple (i.e., non-degenerate in the sense of linear programming) polytope which can be projected onto P. We devise a combinatorial method to establish lower bounds on the simple extension complexity and show for several polytopes that they have large simple extension complexities. These examples include both the spanning tree and the perfect matching polytopes of complete graphs, uncapacitated flow polytopes for non-trivially decomposable directed acyclic graphs, hypersimplices, and random 0/1-polytopes with vertex numbers within a certain range. On our way to obtain the result on perfect matching polytopes we generalize a result of Padberg and Rao's on the adjacency structures of those polytopes. To complement the lower bounding techniques we characterize in which cases known construction techniques yield simple extensions. △ Less

Submitted 22 January, 2015; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 28 pages, 13 figures. Accepted for publication in a special issue on IPCO 2014 of the journal Mathematical Programming (Series B), to appear 2015

MSC Class: 52Bxx

Lower Bounds on the Sizes of Integer Programs Without Additional Variables

Authors: Volker Kaibel, Stefan Weltge

Abstract: Let X be the set of integer points in some polyhedron. We investigate the smallest number of facets of any polyhedron whose set of integer points is X. This quantity, which we call the relaxation complexity of X, corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of a… ▽ More Let X be the set of integer points in some polyhedron. We investigate the smallest number of facets of any polyhedron whose set of integer points is X. This quantity, which we call the relaxation complexity of X, corresponds to the smallest number of linear inequalities of any integer program having X as the set of feasible solutions that does not use auxiliary variables. We show that the use of auxiliary variables is essential for constructing polynomial size integer programming formulations in many relevant cases. In particular, we provide asymptotically tight exponential lower bounds on the relaxation complexity of the integer points of several well-known combinatorial polytopes, including the traveling salesman polytope and the spanning tree polytope. △ Less

Submitted 11 December, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 17 pages, accepted for publication in Math. Program. (Ser. B): Special issue on IPCO 2014

MSC Class: 52Bxx

Forbidden vertices

Authors: Gustavo Angulo, Shabbir Ahmed, Santanu S. Dey, Volker Kaibel

Abstract: In this work, we introduce and study the forbidden-vertices problem. Given a polytope P and a subset X of its vertices, we study the complexity of linear optimization over the subset of vertices of P that are not contained in X. This problem is closely related to finding the k-best basic solutions to a linear problem. We show that the complexity of the problem changes significantly depending on th… ▽ More In this work, we introduce and study the forbidden-vertices problem. Given a polytope P and a subset X of its vertices, we study the complexity of linear optimization over the subset of vertices of P that are not contained in X. This problem is closely related to finding the k-best basic solutions to a linear problem. We show that the complexity of the problem changes significantly depending on the encoding of both P and X. We provide additional tractability results and extended formulations when P has binary vertices only. Some applications and extensions to integral polytopes are discussed. △ Less

Submitted 1 March, 2014; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: 15 pages

MSC Class: 90C05; 90C57

A Short Proof that the Extension Complexity of the Correlation Polytope Grows Exponentially

Authors: Volker Kaibel, Stefan Weltge

Abstract: We establish that the extension complexity of the nXn correlation polytope is at least 1.5^n by a short proof that is self-contained except for using the fact that every face of a polyhedron is the intersection of all facets it is contained in. The main innovative aspect of the proof is a simple combinatorial argument showing that the rectangle covering number of the unique-disjointness matrix is… ▽ More We establish that the extension complexity of the nXn correlation polytope is at least 1.5^n by a short proof that is self-contained except for using the fact that every face of a polyhedron is the intersection of all facets it is contained in. The main innovative aspect of the proof is a simple combinatorial argument showing that the rectangle covering number of the unique-disjointness matrix is at least 1.5^n, and thus the nondeterministic communication complexity of the unique-disjointness predicate is at least .58n. We thereby slightly improve on the previously best known lower bounds 1.24^n and .31n, respectively. △ Less

Submitted 25 February, 2016; v1 submitted 12 July, 2013; originally announced July 2013.

Comments: 4 pages; the journal version contains a mistake in the definition of the set R_G in Lemma 2, which is fixed here

MSC Class: 52Bxx; 90C57; 94Axx

Journal ref: Discrete & Computational Geometry, 2015, 53 (2), pages 396--401

Which Nonnegative Matrices Are Slack Matrices?

Authors: João Gouveia, Roland Grappe, Volker Kaibel, Kanstantsin Pashkovich, Richard Z. Robinson, Rekha R. Thomas

Abstract: In this paper we characterize the slack matrices of cones and polytopes among all nonnegative matrices. This leads to an algorithm for deciding whether a given matrix is a slack matrix. The underlying decision problem is equivalent to the polyhedral verification problem whose complexity is unknown. In this paper we characterize the slack matrices of cones and polytopes among all nonnegative matrices. This leads to an algorithm for deciding whether a given matrix is a slack matrix. The underlying decision problem is equivalent to the polyhedral verification problem whose complexity is unknown. △ Less

Submitted 22 March, 2013; originally announced March 2013.

Comments: 14 pages

Combinatorial Bounds on Nonnegative Rank and Extended Formulations

Authors: Samuel Fiorini, Volker Kaibel, Kanstantsin Pashkovich, Dirk Oliver Theis

Abstract: An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear programs of small sizes. The main known lower bounds on the minimum sizes of extended formulations for fixed polytope P (Yannakakis 1991) are closely related to the… ▽ More An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear programs of small sizes. The main known lower bounds on the minimum sizes of extended formulations for fixed polytope P (Yannakakis 1991) are closely related to the concept of nondeterministic communication complexity. We study the relative power and limitations of the bounds on several examples. △ Less

Submitted 9 July, 2012; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: Revision, 25pp

Finding Descriptions of Polytopes via Extended Formulations and Liftings

Authors: Volker Kaibel, Andreas Loos

Abstract: We describe a technique to obtain linear descriptions for polytopes from extended formulations. The simple idea is to first define a suitable lifting function and then to find linear constraints that are valid for the polytope and guarantee lifted points to be contained in the extension. We explain the technique at an example from the literature (matching polytopes), obtain new simple proofs of re… ▽ More We describe a technique to obtain linear descriptions for polytopes from extended formulations. The simple idea is to first define a suitable lifting function and then to find linear constraints that are valid for the polytope and guarantee lifted points to be contained in the extension. We explain the technique at an example from the literature (matching polytopes), obtain new simple proofs of results on path-set polytopes and small-cliques polytopes, and finally exploit the technique in order to derive linear descriptions of orbisacks, which are special Knapsack polytopes arising in the context of symmetry breaking in integer programming problems. △ Less

Submitted 5 September, 2011; originally announced September 2011.

Comments: 20 pages, 2 figures

MSC Class: 90C10; 90C57; 52B12

Extended Formulations in Combinatorial Optimization

Authors: Volker Kaibel

Abstract: The concept of representing a polytope that is associated with some combinatorial optimization problem as a linear projection of a higher-dimensional polyhedron has recently received increasing attention. In this paper (written for the newsletter Optima of the Mathematical Optimization Society), we provide a brief introduction to this topic and sketch some of the recent developments with respect t… ▽ More The concept of representing a polytope that is associated with some combinatorial optimization problem as a linear projection of a higher-dimensional polyhedron has recently received increasing attention. In this paper (written for the newsletter Optima of the Mathematical Optimization Society), we provide a brief introduction to this topic and sketch some of the recent developments with respect to both tools for constructing such extended formulations as well as lower bounds on their sizes. △ Less

Submitted 6 April, 2011; originally announced April 2011.

Comments: 14 pages, 1 figure; Optima 85, 2011

MSC Class: 90C10; 90C57; 52B12

Constructing Extended Formulations from Reflection Relations

Authors: Volker Kaibel, Kanstantsin Pashkovich

Abstract: There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that g… ▽ More There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's extended formulation with O(k) inequalities for the regular 2^k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes). △ Less

Submitted 16 November, 2010; originally announced November 2010.

Comments: 12 pages

MSC Class: 90C10; 90C57; 52B12

Basic Polyhedral Theory

Authors: Volker Kaibel

Abstract: This is a chapter (planned to appear in Wiley's upcoming Encyclopedia of Operations Research and Management Science) describing parts of the theory of convex polyhedra that are particularly important for optimization. The topics include polyhedral and finitely generated cones, the Weyl-Minkowski Theorem, faces of polyhedra, projections of polyhedra, integral polyhedra, total dual integrality, an… ▽ More This is a chapter (planned to appear in Wiley's upcoming Encyclopedia of Operations Research and Management Science) describing parts of the theory of convex polyhedra that are particularly important for optimization. The topics include polyhedral and finitely generated cones, the Weyl-Minkowski Theorem, faces of polyhedra, projections of polyhedra, integral polyhedra, total dual integrality, and total unimodularity. △ Less

Submitted 13 January, 2010; originally announced January 2010.

Comments: 14 pages

MSC Class: 90C10; 90C57; 52B12

Another Proof of the Fact that Polyhedral Cones are Finitely Generated

Authors: Volker Kaibel

Abstract: 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 proof also shows that the components of the vectors in X can be chosen (up to their sign) to be quotients of subdeterminants of the coefficient matrix of any ineq… ▽ More 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 proof also shows that the components of the vectors in X can be chosen (up to their sign) to be quotients of subdeterminants of the coefficient matrix of any inequality system defining K. △ Less

Submitted 15 December, 2009; originally announced December 2009.

Comments: 5 pages, 3 figures

MSC Class: 52Bxx; 90C10

Symmetry Matters for Sizes of Extended Formulations

Authors: Volker Kaibel, Kanstantsin Pashkovich, Dirk Oliver Theis

Abstract: In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric extended formulation for the matching polytope of the complete graph K_n with n nodes has a number of variables and constraints that is bounded subexponentially in n. Here, symmetric means that the formulation remains invariant under all permutations of the nodes of K_n. It was also conjectured in the paper mentioned above… ▽ More In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric extended formulation for the matching polytope of the complete graph K_n with n nodes has a number of variables and constraints that is bounded subexponentially in n. Here, symmetric means that the formulation remains invariant under all permutations of the nodes of K_n. It was also conjectured in the paper mentioned above that "asymmetry does not help much," but no corresponding result for general extended formulations has been found so far. In this paper we show that for the polytopes associated with the matchings in K_n with log(n) (rounded down) edges there are non-symmetric extended formulations of polynomial size, while nevertheless no symmetric extended formulations of polynomial size exist. We furthermore prove similar statements for the polytopes associated with cycles of length log(n) (rounded down). Thus, with respect to the question for smallest possible extended formulations, in general symmetry requirements may matter a lot. Compared to the extended abtract that has appeared in the Proceedings of IPCO XIV at Lausanne, this paper does not only contain proofs that had been ommitted there, but it also presents slightly generalized and sharpened lower bounds. △ Less

Submitted 30 July, 2012; v1 submitted 19 November, 2009; originally announced November 2009.

Comments: 24 pages; incorporated referees' comments; to appear in: SIAM Journal on Discrete Mathematics

MSC Class: 90C10; 90C57; 52B12

Extended Formulations for Packing and Partitioning Orbitopes

Authors: Yuri Faenza, Volker Kaibel

Abstract: 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 lexicographically sorted columns and at most, resp. exactly, one 1-entry per row. They are important objects for symmetry reduction in certain integer program… ▽ More 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 lexicographically sorted columns and at most, resp. exactly, one 1-entry per row. They are important objects for symmetry reduction in certain integer programs. Using the extended formulations, we also derive a rather simple proof of the fact that basically shifted-column inequalities suffice in order to describe those orbitopes linearly. △ Less

Submitted 2 June, 2008; originally announced June 2008.

Comments: 16 pages

MSC Class: 90C10; 90C57; 52B12

A Short Proof of the VPN Tree Routing Conjecture on Ring Networks

Authors: Fabrizio Grandoni, Volker Kaibel, Gianpaolo Oriolo, Martin Skutella

Abstract: The VPN Tree Routing Conjecture states that there always exists an optimal solution to the symmetric Virtual Private Network Design (sVPND) problem where the paths between all terminals form a tree. Only recently, Hurkens, Keijsper, and Stougie gave a proof of this conjecture for the special case of ring networks. Their proof is based on a dual pair of linear programs and is somewhat in- volved.… ▽ More The VPN Tree Routing Conjecture states that there always exists an optimal solution to the symmetric Virtual Private Network Design (sVPND) problem where the paths between all terminals form a tree. Only recently, Hurkens, Keijsper, and Stougie gave a proof of this conjecture for the special case of ring networks. Their proof is based on a dual pair of linear programs and is somewhat in- volved. We present a short proof of a slightly stronger conjecture which might also turn out to be useful for proving the VPN Tree Routing Conjecture for general networks. △ Less

Submitted 26 October, 2007; v1 submitted 16 October, 2007; originally announced October 2007.

Comments: Accepted for publication in Oper. Res. Lett.; referee's comments incorporated

MSC Class: 90C27 ; 90B18; 68R10

On cardinality constrained cycle and path polytopes

Authors: Volker Kaibel, Ruediger Stephan

Abstract: Given a directed graph D = (N, A) and a sequence of positive integers 1 <= c_1 < c_2 < ... < c_m <= |N|, we consider those path and cycle polytopes that are defined as the convex hulls of simple paths and cycles of D of cardinality c_p for some p, respectively. We present integer characterizations of these polytopes by facet defining linear inequalities for which the separation problem can be so… ▽ More Given a directed graph D = (N, A) and a sequence of positive integers 1 <= c_1 < c_2 < ... < c_m <= |N|, we consider those path and cycle polytopes that are defined as the convex hulls of simple paths and cycles of D of cardinality c_p for some p, respectively. We present integer characterizations of these polytopes by facet defining linear inequalities for which the separation problem can be solved in polynomial time. These inequalities can simply be transformed into inequalities that characterize the integer points of the undirected counterparts of cardinality constrained path and cycle polytopes. Beyond we investigate some further inequalities, in particular inequalities that are specific to odd/even paths and cycles. △ Less

Submitted 16 October, 2007; originally announced October 2007.

Comments: 24 pages

MSC Class: 90C57; 90C27;

Orbitopal Fixing

Authors: Volker Kaibel, Matthias Peinhardt, Marc E. Pfetsch

Abstract: The topic of this paper are integer programming models in which a subset of 0/1-variables encode a partitioning of a set of objects into disjoint subsets. Such models can be surprisingly hard to solve by branch-and-cut algorithms if the order of the subsets of the partition is irrelevant, since this kind of symmetry unnecessarily blows up the search tree. We present a general tool, called orbitopa… ▽ More The topic of this paper are integer programming models in which a subset of 0/1-variables encode a partitioning of a set of objects into disjoint subsets. Such models can be surprisingly hard to solve by branch-and-cut algorithms if the order of the subsets of the partition is irrelevant, since this kind of symmetry unnecessarily blows up the search tree. We present a general tool, called orbitopal fixing, for enhancing the capabilities of branch-and-cut algorithms in solving such symmetric integer programming models. We devise a linear time algorithm that, applied at each node of the search tree, removes redundant parts of the tree produced by the above mentioned symmetry. The method relies on certain polyhedra, called orbitopes, which have been introduced bei Kaibel and Pfetsch (Math. Programm. A, 114 (2008), 1-36). It does, however, not explicitly add inequalities to the model. Instead, it uses certain fixing rules for variables. We demonstrate the computational power of orbitopal fixing at the example of a graph partitioning problem. △ Less

Submitted 17 October, 2011; v1 submitted 17 November, 2006; originally announced November 2006.

Comments: 22 pages, revised and extended version of a previous version that has appeared under the same title in Proc. IPCO 2007

MSC Class: 90C10; 90C57; 52B12

Journal ref: Discrete Optimization 8 (2011), pp. 595-610

Packing and Partitioning Orbitopes

Authors: Volker Kaibel, Marc E. Pfetsch

Abstract: We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at most or exactly one 1-entry in each row, respectively. The goal of investigating these polytopes is to gain insight into ways of breaking certain symmetries i… ▽ More We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at most or exactly one 1-entry in each row, respectively. The goal of investigating these polytopes is to gain insight into ways of breaking certain symmetries in integer programs by adding constraints, e.g., for a well-known formulation of the graph coloring problem. We provide a thorough polyhedral investigation of packing and partitioning orbitopes for the cases in which the group acting on the columns is the cyclic group or the symmetric group. Our main results are complete linear inequality descriptions of these polytopes by facet-defining inequalities. For the cyclic group case, the descriptions turn out to be totally unimodular, while for the symmetric group case both the description and the proof are more involved. Nevertheless, the associated separation problem can be solved in linear time also in this case. △ Less

Submitted 23 November, 2006; v1 submitted 29 March, 2006; originally announced March 2006.

Comments: 32 pages, 31 figures, small errors corrected, some proofs replaced by nicer ones suggested by a referee, to appear in Math. Program., Ser. A

Report number: Report 06-17, Zuse Institute Berlin MSC Class: 90C10 (Primary) 90C57; 52B12 (Secondary)

Two New Bounds on the Random-Edge Simplex Algorithm

Authors: Bernd Gärtner, Volker Kaibel

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 tri… ▽ More 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. △ Less

Submitted 15 July, 2008; v1 submitted 1 February, 2005; originally announced February 2005.

Comments: 10 pages

MSC Class: 90C05; 68W20

Journal ref: SIAM Journal on Discrete Mathematics 21, 178-190 (2007)

Revlex-Initial 0/1-Polytopes

Authors: Volker Kaibel, Rafael Mechtel

Abstract: We introduce revlex-initial 0/1-polytopes as the convex hulls of reverse-lexicographically initial subsets of 0/1-vectors. These polytopes are special knapsack-polytopes. It turns out that they have remarkable extremal properties. In particular, we use these polytopes in order to prove that the minimum numbers f(d, n) of facets and the minimum average degree a(d, n) of the graph of a d-dimension… ▽ More We introduce revlex-initial 0/1-polytopes as the convex hulls of reverse-lexicographically initial subsets of 0/1-vectors. These polytopes are special knapsack-polytopes. It turns out that they have remarkable extremal properties. In particular, we use these polytopes in order to prove that the minimum numbers f(d, n) of facets and the minimum average degree a(d, n) of the graph of a d-dimensional 0/1-polytope with n vertices satisfy f(d, n) <= 3d and a(d, n) <= d + 4. We furthermore show that, despite the sparsity of their graphs, revlex-initial 0/1-polytopes satisfy a conjecture due to Mihail and Vazirani, claiming that the graphs of 0/1-polytopes have edge-expansion at least one. △ Less

Submitted 22 July, 2005; v1 submitted 1 December, 2004; originally announced December 2004.

Comments: Accepted for publication in J. Comb. Theory Ser. A; 24 pages; simplified proof of Theorem 1; corrected and improved version of Theorem 4 (the average degree is now bounded by d+4 instead of d+8); several minor corrections suggested by the referees

MSC Class: 52B05; 52B12

Low-dimensional faces of random 0/1-polytopes

Authors: Volker Kaibel

Abstract: Let P be a random $d$-dimensional 0/1-polytope with $n(d)$ vertices, and denote by $φ_k(P)$ the \emph{$k$-face density} of $P$, i.e., the quotient of the number of $k$-dimensional faces of $P$ and $\binom{n(d)}{k+1}$. For each $k\ge 2$, we establish the existence of a sharp threshold for the $k$-face density and determine the values of the threshold numbers $τ_k$ such that, for all $ε>0$, $… ▽ More Let P be a random $d$-dimensional 0/1-polytope with $n(d)$ vertices, and denote by $φ_k(P)$ the \emph{$k$-face density} of $P$, i.e., the quotient of the number of $k$-dimensional faces of $P$ and $\binom{n(d)}{k+1}$. For each $k\ge 2$, we establish the existence of a sharp threshold for the $k$-face density and determine the values of the threshold numbers $τ_k$ such that, for all $ε>0$, $$ E(φ_k(P)) = \begin{cases} 1-o(1) & \text{if $n(d)\le 2^{(τ_k-ε)d}$ for all $d$} o(1) & \text{if $n(d)\ge 2^{(τ_k+ε)d}$ for all $d$} \end{cases} $$ holds for the expected value of $φ_k(P)$. The threshold for $k=1$ has recently been determined in \texttt{math.CO/0306246}. In particular, these results indicate that the high face densities often encountered in polyhedral combinatorics (e.g., for the cut-polytopes of complete graphs) should be considered more as a phenomenon of the general geometry of 0/1-polytopes than as a feature of the special combinatorics of the underlying problems. △ Less

Submitted 25 February, 2004; v1 submitted 21 November, 2003; originally announced November 2003.

Comments: 15 pages, to appear in: Proceedings IPCO X, Jun 9-11, 2004, Columbia University, New York. Changes in the revised version: Slightly improved main result, several minor changes in the presentation, appendix removed

MSC Class: 52B12; 52B05; 90C57; 60C05

The Simplex Algorithm in Dimension Three

Authors: Volker Kaibel, Rafael Mechtel, Micha Sharir, Guenter M. Ziegler

Abstract: We investigate the worst-case behavior of the simplex algorithm on linear programs with three variables, that is, on 3-dimensional simple polytopes. Among the pivot rules that we consider, the ``random edge'' rule yields the best asymptotic behavior as well as the most complicated analysis. All other rules turn out to be much easier to study, but also produce worse results: Most of them show ess… ▽ More We investigate the worst-case behavior of the simplex algorithm on linear programs with three variables, that is, on 3-dimensional simple polytopes. Among the pivot rules that we consider, the ``random edge'' rule yields the best asymptotic behavior as well as the most complicated analysis. All other rules turn out to be much easier to study, but also produce worse results: Most of them show essentially worst-possible behavior; this includes both Kalai's ``random-facet'' rule, which without dimension restriction is known to be subexponential, as well as Zadeh's deterministic history dependent rule, for which no non-polynomial instances in general dimensions have been found so far. △ Less

Submitted 20 August, 2004; v1 submitted 22 September, 2003; originally announced September 2003.

Comments: 24 pages, to appear in: SIAM J. Comp.; the paper comprises the contents of our paper 'The Random Edge Rule on Three-Dimensional Linear Programs' (math.CO/0301076)

MSC Class: 90C05; 52B10; 68W20

On the graph-density of random 0/1-polytopes

Authors: Volker Kaibel, Anja Remshagen

Abstract: Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n} (i.e., the number of one-dimensional faces of P_{d,n} divided by n(n-1)/2). Our main result is that, for any function n(d), the expected value of D_{d,n(d)} converges (with d tending to infinity) to one if, for some ar… ▽ More Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n} (i.e., the number of one-dimensional faces of P_{d,n} divided by n(n-1)/2). Our main result is that, for any function n(d), the expected value of D_{d,n(d)} converges (with d tending to infinity) to one if, for some arbitrary e > 0, n(d) <= (\sqrt{2}-e)^d holds for all large d, while it converges to zero if n(d) >= (\sqrt{2}+e)^d holds for all large d. △ Less

Submitted 17 June, 2003; originally announced June 2003.

Comments: 11 pages, to appear in: Proceedings of RANDOM03 (Princeton Univ., Aug 24 - Aug 26, 2003)

MSC Class: 52B12; 52B05; 90C57; 60C05

The Random Edge Rule on Three-Dimensional Linear Programs

Authors: Volker Kaibel, Raphael Mechtel, Micha Sharir, Günter M. Ziegler

Abstract: The worst-case expected length f(n) of the path taken by the simplex algorithm with the Random Edge pivot rule on a 3-dimensional linear program with n constraints is shown to be bounded by 1.3445 n <= f(n) <= 1.4943 n for large enough n. The worst-case expected length f(n) of the path taken by the simplex algorithm with the Random Edge pivot rule on a 3-dimensional linear program with n constraints is shown to be bounded by 1.3445 n <= f(n) <= 1.4943 n for large enough n. △ Less

Submitted 9 January, 2003; originally announced January 2003.

Comments: 21 pages (10 pages extended abstract + 11 pages appendix)

MSC Class: 90C05; 52B10; 68W20

Counting Lattice Triangulations

Authors: Volker Kaibel, Günter M. Ziegler

Abstract: We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$. Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present… ▽ More We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$. Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present computational results from our implementation of this approach. We also present new upper and lower bounds for large m and n, and we report about results obtained from a computer simulation of the random walk that is generated by flips. △ Less

Submitted 13 December, 2002; v1 submitted 18 November, 2002; originally announced November 2002.

Comments: 30 pages, to appear in: ``British Combinatorial Surveys'' (C. D. Wensley, ed.), Cambridge University Press, 2003. This is an updated version containing minor changes suggested by the referee

MSC Class: 05AXX; 52B20

Some Algorithmic Problems in Polytope Theory

Authors: Volker Kaibel, Marc E. Pfetsch

Abstract: This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The problems are grouped into the sections ``Coordinate Descriptions'', ``Combinatorial Structure'', ``Isomorphism'', ``Optimization'', ``Realizability'', and ``Beyond… ▽ More This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The problems are grouped into the sections ``Coordinate Descriptions'', ``Combinatorial Structure'', ``Isomorphism'', ``Optimization'', ``Realizability'', and ``Beyond Polytopes''. △ Less

Submitted 20 February, 2002; originally announced February 2002.

MSC Class: 52Bxx (Primary) 68Q25 (Secondary)

Reconstructing a Simple Polytope from its Graph

Authors: Volker Kaibel

Abstract: Blind and Mani (1987) proved that the entire combinatorial structure (the vertex-facet incidences) of a simple convex polytope is determined by its abstract graph. Their proof is not constructive. Kalai (1988) found a short, elegant, and algorithmic proof of that result. However, his algorithm has always exponential running time. We show that the problem to reconstruct the vertex-facet incidence… ▽ More Blind and Mani (1987) proved that the entire combinatorial structure (the vertex-facet incidences) of a simple convex polytope is determined by its abstract graph. Their proof is not constructive. Kalai (1988) found a short, elegant, and algorithmic proof of that result. However, his algorithm has always exponential running time. We show that the problem to reconstruct the vertex-facet incidences of a simple polytope P from its graph can be formulated as a combinatorial optimization problem that is strongly dual to the problem of finding an abstract objective function on P (i.e., a shelling order of the facets of the dual polytope of P). Thereby, we derive polynomial certificates for both the vertex-facet incidences as well as for the abstract objective functions in terms of the graph of P. The paper is a variation on joint work with Michael Joswig and Friederike Koerner (2001). △ Less

Submitted 12 February, 2002; originally announced February 2002.

Comments: 14 pages

MSC Class: 52B11 (Primary) 52B05; 52B22 (Secondary)

On the Expansion of Graphs of 0/1-Polytopes

Authors: Volker Kaibel

Abstract: The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the ``mixing time'' of a random walk on the graph from above. It has been conjectured by Mihail and Vazirani that the graph of every 0/1-polytope has edge expansion at l… ▽ More The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the ``mixing time'' of a random walk on the graph from above. It has been conjectured by Mihail and Vazirani that the graph of every 0/1-polytope has edge expansion at least one. A proof of this (or even a weaker) conjecture would imply solutions of several long-standing open problems in the theory of randomized approximate counting. We present different techniques for bounding the edge expansion of a 0/1-polytope from below. By means of these tools we show that several classes of 0/1-polytopes indeed have graphs with edge expansion at least one. These classes include all 0/1-polytopes of dimension at most five, all simple 0/1-polytopes, all hypersimplices, all stable set polytopes, and all (perfect) matching polytopes. △ Less

Submitted 14 December, 2001; originally announced December 2001.

Comments: 19 pages

MSC Class: 52B12; 52B11; 52B05; 68W20;60G50

On the Complexity of Polytope Isomorphism Problems

Authors: Volker Kaibel, Alexander Schwartz

Abstract: We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether… ▽ More We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether two polytopes, given either by vertex or by facet descriptions, are projectively or affinely isomorphic are graph isomorphism hard. The original version of the paper (June 2001, 11 pages) had the title ``On the Complexity of Isomorphism Problems Related to Polytopes''. The main difference between the current and the former version is a new polynomial time algorithm for polytope isomorphism in bounded dimension that does not rely on Luks polynomial time algorithm for checking two graphs of bounded valence for isomorphism. Furthermore, the treatment of geometric isomorphism problems was extended. △ Less

Submitted 14 August, 2002; v1 submitted 12 June, 2001; originally announced June 2001.

Comments: 16 pages; to appear in: Graphs and Comb.; replaces our paper ``On the Complexity of Isomorphism Problems Related to Polytopes'' (June 2001)

MSC Class: 52B05; 05C60; 52B11; 68R10

Computing the Face Lattice of a Polytope from its Vertex-Facet Incidences

Authors: Volker Kaibel, Marc E. Pfetsch

Abstract: We give an algorithm that constructs the Hasse diagram of the face lattice of a convex polytope P from its vertex-facet incidences in time O(min{n,m}*a*f), where n is the number of vertices, m is the number of facets, a is the number of vertex-facet incidences, and f is the total number of faces of P. This improves results of Fukuda and Rosta (1994), who described an algorithm for enumerating al… ▽ More We give an algorithm that constructs the Hasse diagram of the face lattice of a convex polytope P from its vertex-facet incidences in time O(min{n,m}*a*f), where n is the number of vertices, m is the number of facets, a is the number of vertex-facet incidences, and f is the total number of faces of P. This improves results of Fukuda and Rosta (1994), who described an algorithm for enumerating all faces of a d-polytope in O(min{n,m}*d*f^2) steps. For simple or simplicial d-polytopes our algorithm can be specialized to run in time O(d*a*f). Furthermore, applications of the algorithm to other atomic lattices are discussed, e.g., to face lattices of oriented matroids. △ Less

Submitted 14 August, 2002; v1 submitted 7 June, 2001; originally announced June 2001.

Comments: 14 pages; to appear in: Comput. Geom.; the new version contains some minor extensions and corrections as well as a more detailed treatment of oriented matroids

MSC Class: 68R05 68U05 52B11 68Q25 52C40

On the k-Systems of a Simple Polytope

Authors: Michael Joswig, Volker Kaibel, Friederike K"orner

Abstract: A k-system of the graph G(P) of a simple polytope P is a set of induced subgraphs of G(P) that shares certain properties with the set of subgraphs induced by the k-faces of P. This new concept leads to polynomial-size certificates in terms of G(P) for both the set of vertex sets of facets as well as for abstract objective functions (AOF) in the sense of Kalai. Moreover, it is proved that an… ▽ More A k-system of the graph G(P) of a simple polytope P is a set of induced subgraphs of G(P) that shares certain properties with the set of subgraphs induced by the k-faces of P. This new concept leads to polynomial-size certificates in terms of G(P) for both the set of vertex sets of facets as well as for abstract objective functions (AOF) in the sense of Kalai. Moreover, it is proved that an acyclic orientation yields an AOF if and only if it induces a unique sink on every 2-face. △ Less

Submitted 27 June, 2001; v1 submitted 20 December, 2000; originally announced December 2000.

Comments: 8 pages, 3 figures, LaTeX 2e

MSC Class: 52B05; 05C99

Vertex-Facet Incidences of Unbounded Polyhedra

Authors: Michael Joswig, Volker Kaibel, Marc E. Pfetsch, Guenter M. Ziegler

Abstract: How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and "simplicial," i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on e… ▽ More How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and "simplicial," i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on each facet, we derive from the structure of the vertex-facet incidence matrix that the polyhedron is necessarily bounded. In particular, this yields a characterization of those polyhedra that have circulants as vertex-facet incidence matrices. △ Less

Submitted 29 June, 2000; originally announced June 2000.

Comments: LaTeX2e, 14 pages with 4 figures

MSC Class: 52B05; 52B11; 06A07