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

DOI10.1090/MCOM/3300MaRDI QIDQ3177727zbMATHOpenAlexFDO

Authors Philip Brinkmann, Günter M. Ziegler

Publication date 1 August 2018

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

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

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)

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)$.

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

Cites work

• scientific article; zbMATH DE number 6008341 (Why is no real title available?)
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 4102053 (Why is no real title available?)
• scientific article; zbMATH DE number 3509333 (Why is no real title available?)
• scientific article; zbMATH DE number 480239 (Why is no real title available?)
• scientific article; zbMATH DE number 2068109 (Why is no real title available?)
• scientific article; zbMATH DE number 1538122 (Why is no real title available?)
• scientific article; zbMATH DE number 1789919 (Why is no real title available?)
• scientific article; zbMATH DE number 3276402 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• A Combinatorial Analogue of Poincaré's Duality Theorem
• A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
• A proof of the lower bound conjecture for convex polytopes
• An enumeration of simplicial 4-polytopes with 8 vertices
• Constructions for 4-polytopes and the cone of flag vectors
• Convex Polytopes
• Enumeration of the quasisimplicial 3-spheres and 4-polytopes with eight vertices
• Inequalities for f-vectors of 4-polytopes
• Lectures on Polytopes
• New non-linear inequalities for flag-vectors of 4-polytopes
• Practical graph isomorphism. II.
• Projections of f-vectors of four-polytopes
• Realizability and inscribability for simplicial polytopes via nonlinear optimization
• Rigidity and the lower bound theorem. I
• The complete enumeration of the 4-polytopes and 3-spheres with eight vertices
• The extended f-vectors of 4-polytopes
• The minimum number of vertices of a simple polytope
• The numbers of faces of simplicial polytopes
• The projection of the f-vectors of 4-polytopes onto the (E,S)-plane
• Triangulated manifolds with few vertices and vertex-transitive group actions

Cited in

(10)

• A two-dimensional topological representation theorem for matroid polytopes of rank 4
• The merging operation and \((d-i)\)-simplicial \(i\)-simple \(d\)-polytopes
• Semi-algebraic sets of \(f\)-vectors
• \(f\)-vectors of 3-polytopes symmetric under rotations and rotary reflections
• Additive structures on \(f\)-vector sets of polytopes
• scientific article; zbMATH DE number 1789919 (Why is no real title available?)
• scientific article; zbMATH DE number 2068109 (Why is no real title available?)
• The complete enumeration of 4-polytopes and 3-spheres with nine vertices
• A flag vector of a 3-sphere that is not the flag vector of a 4-polytope
• \(f\)-vectors of 3-manifolds

Describes a project that uses

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)