How to find the smallest triangulation of the n-dimensional cube into n- simplices?
It is known, for example, that the 4D cube (the hypercube) may be partitioned into 16 4-simplices, and this is minimal. But the minimum number is unknown except for the few small values of n that have yielded to exhaustive computer searches.
(These tags not available for me : hypercube , computer search)
Let $S(n)$ be the minimal number of simplices in the triangulation of an $n$-dimensional cube. It seems the following.
Since an $n$-dimensional cube has $2^n$ vertices and an $n$-simplex has $n+1$ vertices, we see that $S(n)\ge 2^n/(n+1).$
A triangulation of an $n$-dimensional cube induces a triangulation of each of $(n-1)$-dimensional face of the $n$-cube. Since each such a face has at least $S(n-1)$ $(n-1)$-simplices, and each $n$-simplex has $n+1$ $(n-1)$-dimensional faces, we have that $S(n)\ge S(n-1)\cdot 2n/(n+1).$
Moreover, if we count (1-dimensional) edges instead of $(n-1)$-dimensional faces, we obtain the bound like $S(n)\ge (2n(n-1)S(n-1)-2^n)/(n+1)$ (each $k$-simplex has $k(k+1)/2$ edges, each $(n-1)$-dimensional face yields $S(n-1)$ edges and the edges of the $n$-cube are counted twice. This bound can be improved, because every edge of the triangulation of the $n$-cube which is not an edge of the $n$-cube, belongs to at least two simplices of the triangulation. Then we have a bound $S(n)\ge (4n(n-1)S(n-1)-3\cdot 2^n)/(n+1).$
Moreover, the bound $S(n)\ge S(n-1)\cdot 2n/(n+1)$ can be improved too, because an $n$-dimensional cube has $n$-pairs of parallel $(n-1)$-dimensional faces and each simplex of the triangulation cannot have parallel $(n-1)$-dimensional faces. So it has an $(n-1)$-dimensional face which not lies on an $(n-1)$-dimensional face of the cube. Therefore we have a bound $S(n)\ge 2S(n-1)$.