365 research outputs found
Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology
Given any polytope and any generic linear functional , one
obtains a directed graph by taking the 1-skeleton of and
orienting each edge from to for .
This paper raises the question of finding sufficient conditions on a polytope
and generic cost vector so that the graph will
not have any directed paths which revisit any face of after departing from
that face. This is in a sense equivalent to the question of finding conditions
on and under which the simplex method for linear programming
will be efficient under all choices of pivot rules. Conditions on and are given which provably yield a corollary of the desired face
nonrevisiting property and which are conjectured to give the desired property
itself. This conjecture is proven for 3-polytopes and for spindles having the
two distinguished vertices as source and sink; this shows that known
counterexamples to the Hirsch Conjecture will not provide counterexamples to
this conjecture.
A part of the proposed set of conditions is that be the
Hasse diagram of a partially ordered set, which is equivalent to requiring non
revisiting of 1-dimensional faces. This opens the door to the usage of
poset-theoretic techniques. This work also leads to a result for simple
polytopes in which is the Hasse diagram of a lattice L that the
order complex of each open interval in L is homotopy equivalent to a ball or a
sphere of some dimension. Applications are given to the weak Bruhat order, the
Tamari lattice, and more generally to the Cambrian lattices, using realizations
of the Hasse diagrams of these posets as 1-skeleta of permutahedra,
associahedra, and generalized associahedra.Comment: new results for 3-polytopes and spindles added; exposition
substantially improved throughou
Lattice congruences, fans and Hopf algebras
We give a unified explanation of the geometric and algebraic properties of
two well-known maps, one from permutations to triangulations, and another from
permutations to subsets. Furthermore we give a broad generalization of the
maps. Specifically, for any lattice congruence of the weak order on a Coxeter
group we construct a complete fan of convex cones with strong properties
relative to the corresponding lattice quotient of the weak order. We show that
if a family of lattice congruences on the symmetric groups satisfies certain
compatibility conditions then the family defines a sub Hopf algebra of the
Malvenuto-Reutenauer Hopf algebra of permutations. Such a sub Hopf algebra has
a basis which is described by a type of pattern-avoidance. Applying these
results, we build the Malvenuto-Reutenauer algebra as the limit of an infinite
sequence of smaller algebras, where the second algebra in the sequence is the
Hopf algebra of non-commutative symmetric functions. We also associate both a
fan and a Hopf algebra to a set of permutations which appears to be
equinumerous with the Baxter permutations.Comment: 34 pages, 1 figur
Recommended from our members
Zero-one IP problems: Polyhedral descriptions & cutting plane procedures
A systematic way for tightening an IP formulation is by employing classes of linear inequalities that define facets of the convex hull of the feasible integer points of the respective problems. Describing as well as identifying these inequalities will help in the efficiency of the LP-based cutting plane methods. In this report, we review classes of inequalities that partially described zero-one poly topes such as the 0-1 knapsack polytope, the set packing polytope and the travelling salesman polytope. Facets or valid inequalities derived from the 0-1 knapsack and the set packing polytopes are algorithmically identifie
- …