Small f-vectors of 3-spheres and of 4-polytopes

DOI10.1090/MCOM/3300zbMATH Open1395.52013arXiv1610.01028OpenAlexW2964009491MaRDI QIDQ3177727FDOQ3177727

Philip Brinkmann, Günter M. Ziegler

Publication date: 1 August 2018

Published in: Mathematics of Computation (Search for Journal in Brave)

Abstract: We present a new algorithmic approach that can be used to determine whether a given quadruple $(f_0,f_1,f_2,f_3)$ is the f-vector of any convex 4-dimensional polytope. By implementing this approach, we classify the f-vectors of 4-polytopes in the range $f_0+f_{3}le22$. In particular, we thus prove that there are f-vectors of cellular 3-spheres with the intersection property that are not f-vectors of any convex 4-polytopes, thus answering a question that may be traced back to the works of Steinitz (1906/1922). In the range $f_0+f_{3}le22$, there are exactly three such f-vectors with $f_{0}le{f}_3$, namely $(10,32,33,11)$, $(10,33,35,12)$, and $(11,35,35,11)$.

Full work available at URL: https://arxiv.org/abs/1610.01028

Recommendations

• The enumeration of four-dimensional polytopes
• scientific article; zbMATH DE number 1789919
• Polytopal and nonpolytopal spheres. An algorithmic approach
• Characterizing face and flag vector pairs for polytopes
• A flag vector of a 3-sphere that is not the flag vector of a 4-polytope

zbMATH Keywords

\( 4\)-polytopes\( f\)-vectorscellular \( 3\)-sphere

Mathematics Subject Classification ID

Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) (n)-dimensional polytopes (52B11) Computational aspects related to convexity (52B55) Oriented matroids in discrete geometry (52C40)

Cites Work

• Practical graph isomorphism. II.
• Title not available (Why is that?)
• Enumeration of the quasisimplicial 3-spheres and 4-polytopes with eight vertices
• The complete enumeration of the 4-polytopes and 3-spheres with eight vertices
• Realizability and inscribability for simplicial polytopes via nonlinear optimization
• The minimum number of vertices of a simple polytope
• A FLAG VECTOR OF A 3‐SPHERE THAT IS NOT THE FLAG VECTOR OF A 4‐POLYTOPE
• Title not available (Why is that?)
• Lectures on Polytopes
• An enumeration of simplicial 4-polytopes with 8 vertices
• Title not available (Why is that?)
• Convex Polytopes
• A proof of the lower bound conjecture for convex polytopes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Triangulated manifolds with few vertices and vertex-transitive group actions
• Title not available (Why is that?)
• A Combinatorial Analogue of Poincaré's Duality Theorem
• The numbers of faces of simplicial polytopes
• Rigidity and the lower bound theorem. I
• The extended f-vectors of 4-polytopes
• Inequalities for f-vectors of 4-polytopes
• Title not available (Why is that?)
• The projection of the f-vectors of 4-polytopes onto the (E,S)-plane
• Projections of f-vectors of four-polytopes
• Title not available (Why is that?)
• New non-linear inequalities for flag-vectors of 4-polytopes
• Title not available (Why is that?)
• Constructions for 4-polytopes and the cone of flag vectors

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The merging operation and \((d-i)\)-simplicial \(i\)-simple \(d\)-polytopes
• \(f\)-vectors of 3-polytopes symmetric under rotations and rotary reflections
• A two-dimensional topological representation theorem for matroid polytopes of rank 4
• Additive structures on \(f\)-vector sets of polytopes
• Semi-algebraic sets of \(f\)-vectors
• The complete enumeration of 4-polytopes and 3-spheres with nine vertices

Uses Software

• nauty
• SageMath
• Traces
• BISTELLAR

This page was built for publication: Small \(f\)-vectors of 3-spheres and of 4-polytopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177727)