2,278 research outputs found
Lower bound theorems for general polytopes
For a -dimensional polytope with vertices, , we
calculate precisely the minimum possible number of -dimensional faces, when
or . This confirms a conjecture of Gr\"unbaum, for these
values of . For , we solve the same problem when or ; the
solution was already known for . In all these cases, we give a
characterisation of the minimising polytopes. We also show that there are many
gaps in the possible number of -faces: for example, there is no polytope
with 80 edges in dimension 10, and a polytope with 407 edges can have dimension
at most 23.Comment: 26 pages, 3 figure
Combinatorial Space Tiling
The present article studies combinatorial tilings of Euclidean or spherical
spaces by polytopes, serving two main purposes: first, to survey some of the
main developments in combinatorial space tiling; and second, to highlight some
new and some old open problems in this area.Comment: 16 pages; to appear in "Symmetry: Culture and Science
Many projectively unique polytopes
We construct an infinite family of 4-polytopes whose realization spaces have
dimension smaller or equal to 96. This in particular settles a problem going
back to Legendre and Steinitz: whether and how the dimension of the realization
space of a polytope is determined/bounded by its f-vector.
From this, we derive an infinite family of combinatorially distinct
69-dimensional polytopes whose realization is unique up to projective
transformation. This answers a problem posed by Perles and Shephard in the
sixties. Moreover, our methods naturally lead to several interesting classes of
projectively unique polytopes, among them projectively unique polytopes
inscribed to the sphere.
The proofs rely on a novel construction technique for polytopes based on
solving Cauchy problems for discrete conjugate nets in S^d, a new
Alexandrov--van Heijenoort Theorem for manifolds with boundary and a
generalization of Lawrence's extension technique for point configurations.Comment: 44 pages, 18 figures; to appear in Invent. mat
Maximal admissible faces and asymptotic bounds for the normal surface solution space
The enumeration of normal surfaces is a key bottleneck in computational
three-dimensional topology. The underlying procedure is the enumeration of
admissible vertices of a high-dimensional polytope, where admissibility is a
powerful but non-linear and non-convex constraint. The main results of this
paper are significant improvements upon the best known asymptotic bounds on the
number of admissible vertices, using polytopes in both the standard normal
surface coordinate system and the streamlined quadrilateral coordinate system.
To achieve these results we examine the layout of admissible points within
these polytopes. We show that these points correspond to well-behaved
substructures of the face lattice, and we study properties of the corresponding
"admissible faces". Key lemmata include upper bounds on the number of maximal
admissible faces of each dimension, and a bijection between the maximal
admissible faces in the two coordinate systems mentioned above.Comment: 31 pages, 10 figures, 2 tables; v2: minor revisions (to appear in
Journal of Combinatorial Theory A
- …