The edge formulation of the stable set problem is defined by two-variable constraints, one for each edge of a graph G, expressing the simple condition that two adjacent nodes cannot belong to a stable set. We study the fractional stable set polytope, i.e. the polytope defined by the linear relaxation of the edge formulation. Even if this polytope is a weak approximation of the stable set polyto...

We show that given two vertices of a polytope one cannot in general nd a hyperplane containing the vertices, that has two or more facets of the polytope in one closed half-space. Our result refutes a long-standing conjecture. We prove the result by constructing a 4-dimensional polytope that provides the counterexample. Also, we show that such a cutting hyperplane can be found for each pair of v...

Reference implementations of signal processing applications are often written in a sequential language that does not reveal the available parallelism in the application. However, if an application satisfies some constraints then a parallel specification can be derived automatically. In particular, if the application can be represented in the polyhedral model, then a polyhedral process network c...

The secondary polytope of a point configuration A is a polytope whose face poset is isomorphic to the poset of all regular subdivisions of A. While the vertices of the secondary polytope – corresponding to the triangulations of A – are very well studied, there is not much known about the facets of the secondary polytope. The splits of a polytope, subdivisions with exactly two maximal faces, are...

We investigate the family of facet defining inequalities for the asymmetric traveling salesman (ATS) polytope obtainable by lifting the cycle inequalities. We establish several properties of this family that earmark it as the most important among the asymmetric inequalities for the ATS polytope known to date: (i) The family is shown to contain members of unbounded Chvatal rank, whereas most kno...

Among the most important aspects of geophysical data interpretation is the estimation and computation of inverse solution uncertainties. We present a general uncertainty estimation method that allows for the comprehensive search of model posterior space while maintaining computational efficiencies similar to deterministic inverse solutions. Integral to this method is the combination of an effic...

We study finite groups that occur as combinatorial automorphism or geometric symmetry of convex polytopes. When $\Gamma$ is a subgroup the group $d$-polytope, $d\geq 3$, then there exists $d$-polytope related to original polytope with exactly $\Gamma$. both and These symmetry-breaking results are applied show for every abelian even order involution $\sigma$ $\Gamma$, centrally symmetric such co...

Therefore, the presence of the plant model is a necessary condition for the development of the predictive control. The success of MPC depends on the degree of precision of the plant model. In practice, modelling real plants inherently includes uncertainties that have to be considered in control design, that is control design procedure has to guarantee robustness properties such as stability and...

Proofs of these relations may be found in [1, 2, 3]. If the polytope ∆ is not simple, then the relations above are not true. A polytope ∆ is said to be integral provided all its vertices belong to the integer lattice. With each integral convex polytope ∆ one associates the toric variety X = X(∆) (see [4, 5, 6, 7]). This is a projective complex algebraic variety, singular in general. It turns ou...

Given a polyhedron P which is of interest, a major goal of polyhedral combinatorics is to find classes of essential, i.e. facet inducing inequalities which describe P . In general this is a difficult task. We consider the case in which we have knowledge of facets for a face F of P , and present some general theory and methods for exploiting the close relationship between such polyhedra in order...