33 problems
- 0 votes0 replies0 views
Grünbaum's lower bound conjecture for faces of polytopes with at most twice the dimension in vertices
Grünbaum's conjecture. The function gives the minimum number of -faces of a -polytope with vertices.
- 0 votes0 replies0 views
McMullen–Walkup lower bound conjecture for simplicial spheres
Let be a simplicial -sphere. The -numbers are certain alternating weighted sums of the -numbers. McMullen–Walkup conjecture. For any , one has … Th…
- 0 votes0 replies0 views
Klee's upper bound conjecture for Eulerian complexes
Klee's conjecture. The upper bound conjecture holds for all Eulerian complexes.
- 0 votes0 replies1 view
Pineda-Villavicencio's lower-bound conjecture for polytopes with vertices
Let and . Let be a -polytope with vertices, and let denote the -simplex. Pineda-Villavicencio's conjecture. 1…
- 0 votes0 replies0 views
Balanced generalized lower bound conjecture for simplicial polytopes
Let be a balanced simplicial -polytope, meaning that its underlying graph is -colorable. For , let be the number of -dimensional faces, with…
- 0 votes0 replies0 views
Asymptotic extremality conjecture for centrally symmetric polytopes
Let be a fixed even dimension, and let denote the centrally symmetric polytope constructed from a set of equally spaced points on…
- 0 votes0 replies2 views
McMullen's symmetry and unimodality conjecture for simple polytopes
Let be a simple -dimensional convex polytope, and let denote its number of -dimensional faces. Write … where the are positive integers, and s…
- 0 votes0 replies0 views
Cell-complex realization conjecture for spheres with
Let , , and let be a -sphere with . Cell-complex realization conjecture. There exists a -dimensional cell complex …
- 0 votes0 replies0 views
Face-minimum conjecture for four-polytopes with vertices
Let -polytopes have at least facets and between and vertices. For , the condition specifies the endpoint with vertices. Four-dimensional fa…
- 0 votes0 replies1 view
Alternating minimiser conjecture for polytopes with between and vertices
Let , and consider -polytopes with at least facets and between and vertices. A simple edge is an edge whose endpoints are both simple vertices. A…
- 0 votes0 replies1 view
Pineda-Villavicencio's minimiser conjecture for polytopes with at most vertices
Let and . Let be the -polytope obtained by truncating a simple vertex from the -triplex, and let the…
- 0 votes0 replies1 view
Pineda-Villavicencio's dichotomy conjecture for minimising face numbers
Let be a positive integer, let be a face dimension, and consider -polytopes with at most vertices. A minimiser is a polytope attaining the minimum number of -f…
- 0 votes0 replies0 views
The all-face-dimensions conjecture for block-beta random polytopes
Let , let be the block-parameter vector, and let be the associated block-beta random polytope. All-face-dimensions conject…
- 0 votes0 replies0 views
Spreer–Tobin's small odd-facet vertex maximum conjecture
Let be odd, and let be a triangulation in the remaining case where is odd and . Spreer–Tobin's small odd-facet vertex maximum conjecture. The true…
- 0 votes0 replies0 views
Spreer–Tobin's sharp vertex bound conjecture in arbitrary dimensions
Let be a triangulation of a closed and connected -dimensional manifold, with , vertices, and facets. Spreer–Tobin's sharp vertex bound conjecture.…
- 0 votes0 replies0 views
Spreer–Tobin's vertex bound conjecture for even-dimensional triangulations
Let be an even integer, and let be a (generalised) triangulation of a -manifold with -vector . Spreer–Tobin's vertex bou…
- 0 votes0 replies1 view
Klee–Nevo–Novik–Zheng equality-case conjecture for centrally symmetric simplicial polytopes
Klee–Nevo–Novik–Zheng conjecture. Then
- 0 votes0 replies0 views
Stanley's equality-case conjecture for centrally symmetric Cohen–Macaulay complexes
Stanley's conjecture. Then
- 0 votes0 replies0 views
McMullen's g-conjecture for homology spheres
Let be a -dimensional homology sphere, with -vector . A vector…
- 0 votes0 replies1 view
Stress-algebra dimension formula for homology manifolds
Let be a PL realization of an orientable simplicial -homology -manifold without boundary in , and let be its stress a…
- 0 votes0 replies0 views
Kalai's manifold g-conjecture
Let be an orientable simplicial -homology -manifold without boundary, and let…
- 0 votes0 replies1 view
The g-conjecture for simplicial homology spheres
Let be a simplicial -sphere, or more generally a simplicial homology -sphere. The -vector of is required to satisfy the Dehn--Sommerville equations, and…
- 0 votes0 replies0 views
The vertex-facet product conjecture for 2-level polytopes
Let be a -level -polytope, and let and denote its numbers of vertices and facets, respectively. Vertex-facet product conjecture. For every -level…
- 0 votes0 replies0 views
Flag upper bound conjecture for Eulerian complexes
Flag Eulerian upper bound conjecture. For every ,
- 0 votes0 replies1 view
Nonexistence conjecture for sparse -vertex polytopes
Sparse -vertex polytope nonexistence conjecture. There are no -polytopes with vertices and edges.