Related papers: An Efficient Triangulation of $\mathbb{R}P^5$
In 1992, Brehm and K\"uhnel constructed a 8-dimensional simplicial complex $M^8_{15}$ with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold "like a…
Deciding realizability of a given polyhedral map on a (compact, connected) surface belongs to the hard problems in discrete geometry, from the theoretical, the algorithmic, and the practical point of view. In this paper, we present a…
Brehm and K\"uhnel (1992) constructed three 15-vertex combinatorial 8-manifolds `like the quaternionic projective plane' with symmetry groups $\mathrm{A}_5$, $\mathrm{A}_4$, and $\mathrm{S}_3$, respectively. Gorodkov (2016) proved that…
A conic of the Veronese surface in PG(5,3) is a quadrangle. If one such quadrangle is replaced with its diagonal triangle, then one obtains a point model $K$ for Witt's 5-$(12,6,1)$ design, the blocks being the hyperplane sections…
Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and…
The regular polyhedra have the highest order of 3D symmetries and are exceptionally at- tractive templates for (self)-assembly using minimal types of building blocks, from nano-cages and virus capsids to large scale constructions like glass…
By gluing together the sides of eight copies of an all-right angled hyperbolic 6-dimensional polytope, two orientable hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of orientable…
We show that nonlinear optimization techniques can successfully be applied to realize and to inscribe matroid polytopes and simplicial spheres. Thus we obtain a complete classification of neighborly polytopes of dimension $4$, $6$ and $7$…
Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove…
We present a fast enumeration algorithm for combinatorial 2- and 3-manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3-manifolds with 11 vertices. We further determine all…
For a given pair of numbers $(d,k)$, we establish the minimal number of vertices in pure $d$-dimensional simplicial complexes with non-trivial homology in dimension $k$. Furthermore, we solve the problem under the additional constraint of…
A dissection of a convex d-polytope is a partition of the polytope into d-simplices whose vertices are among the vertices of the polytope. Triangulations are dissections that have the additional property that the set of all its simplices…
In this paper we consider a class of right-angled polyhedra in three-dimensional Lobachevsky space, all vertices of which lie on the absolute. New upper bounds on volumes in terms the number of faces of the polyhedron are obtained. Volumes…
We determine the minimum number of vertices needed to provide balanced triangulations of $\mathbb S^{d-2}$-bundles over $\mathbb S^1$. If $d$ is odd and the bundle is orientable, or $d$ is even and the bundle is non-orientable, the minimum…
A centrally symmetric $2d$-vertex combinatorial triangulation of the product of spheres $\S^i\times\S^{d-2-i}$ is constructed for all pairs of non-negative integers $i$ and $d$ with $0\leq i \leq d-2$. For the case of $i=d-2-i$, the…
Given a polytope $\mathcal{P}$ in $\mathbb{R}^d$ and a subset $U$ of its vertices, is there a triangulation of $\mathcal{P}$ using $d$-simplices that all contain $U$? We answer this question by proving an equivalent and easy-to-check…
This article aims to study the class of strongly self-dual polytopes (ssd-polytopes for short), defined in a paper by Lov\'asz \cite{lovasz}. He described a series of such polytopes (called $L$-type polytopes), which he used to solve a…
The requirement for solving a polynomial is a means of breaking its symmetry, which in the case of the quintic, is that of the symmetric group S_5. Induced by its five-dimensional linear permutation representation is a three-dimensional…
We prove that the simplicial complex $\Delta _{\mathcal{C}_n,2}$ is pure and a weak pseudomanifold of dimension $2(n-1)$, where $\Delta _{\mathcal{C}_n,2}$ is the simplicial complex associated with $2$-triangulations on the half-cylinder…
We prove that every 2-dimensional polygonal complex, where each polygon is given a constant curvature metric and belongs to one of finitely many isometry classes can be triangulated using only acute simplices. There is no requirement on the…