The maximal rank of an abstract regular polytope for the Higman–Sims simple group is
. There are four such
polytopes of rank
and in this note we describe them using the Higman–Sims graph and the
decomposition of this graph into five double covers of the Petersen graph.