The number of vertices of ${\displaystyle \Delta _{d,k}}$  is ${\displaystyle {\tbinom {d}{k}}}$ .^[1] The graph formed by the vertices and edges of the hypersimplex ${\displaystyle \Delta _{d,k}}$  is the Johnson graph ${\displaystyle J(d,k)}$ .^[2]

An alternative construction (for ${\displaystyle k\leq {d/2}}$ ) is to take the convex hull of all ${\displaystyle (d-1)}$ -dimensional ${\displaystyle (0,1)}$ -vectors that have either ${\displaystyle k-1}$  or ${\displaystyle k}$  nonzero coordinates. This has the advantage of operating in a space that is the same dimension as the resulting polytope, but the disadvantage that the polytope it produces is less symmetric (although combinatorially equivalent to the result of the other construction).

The hypersimplex ${\displaystyle \Delta _{d,k}}$  is also the matroid polytope for a uniform matroid with ${\displaystyle d}$  elements and rank ${\displaystyle k}$ .^[3]

The hypersimplex ${\displaystyle \Delta _{d,1}}$  is a ${\displaystyle (d-1)}$ -simplex (and therefore, it has ${\displaystyle d}$  vertices). The hypersimplex ${\displaystyle \Delta _{4,2}}$  is an octahedron, and the hypersimplex ${\displaystyle \Delta _{5,2}}$  is a rectified 5-cell.

Generally, the hypersimplex, ${\displaystyle \Delta _{d,k}}$ , corresponds to a uniform polytope, being the ${\displaystyle (k-1)}$ -rectified ${\displaystyle (d-1)}$ -dimensional simplex, with vertices positioned at the center of all the ${\displaystyle (k-1)}$ -dimensional faces of a ${\displaystyle (d-1)}$ -dimensional simplex.

The hypersimplices were first studied and named in the computation of characteristic classes (an important topic in algebraic topology), by Gabrièlov, Gelʹfand & Losik (1975).^[4][5]

• Hibi, Takayuki; Solus, Liam (2016), "Facets of the r-stable (n,k)-hypersimplex", Annals of Combinatorics, 20: 815–829, arXiv:1408.5932, Bibcode:2014arXiv1408.5932H, doi:10.1007/s00026-016-0325-x.