Discrete & Computational Geometry

, Volume 15, Issue 4, pp 443–466

Signable posets and partitionable simplicial complexes

  • P. Kleinschmidt
  • S. Onn
Article

DOI: 10.1007/BF02711519

Cite this article as:
Kleinschmidt, P. & Onn, S. Discrete Comput Geom (1996) 15: 443. doi:10.1007/BF02711519

Abstract

The notion of apartitionable simplicial complex is extended to that of asignable partially ordered set. It is shown in a unified way that face lattices of shellable polytopal complexes, polyhedral cone fans, and oriented matroid polytopes, are all signable. Each of these classes, which are believed to be mutually incomparable, strictly contains the class of convex polytopes. A general sufficient condition, termedtotal signability, for a simplicial complex to satisfy McMullen's Upper Bound Theorem on the numbers of faces, is provided. The simplicial members of each of the three classes above are concluded to be partitionable and to satisfy the upper bound theorem. The computational complexity of face enumeration and of deciding partitionability is discussed. It is shown that under a suitable presentation, the face numbers of a signable simplicial complex can be efficiently computed. In particular, the face numbers of simplicial fans can be computed in polynomial time, extending the analogous statement for convex polytopes.

Copyright information

© Springer-Verlag New York Inc 1996

Authors and Affiliations

  • P. Kleinschmidt
    • 1
  • S. Onn
    • 2
  1. 1.Universität PassauPassauGermany
  2. 2.Technion-Israel Institute of TechnologyHaifaIsrael