Vertex-isoperimetric inequality in a grid (source code)

= Vertex-isoperimetric inequality in a grid

Among vertex subsets of $[k]^d$ with a fixed cardinality, initial segments of the <simplicial order on a grid> minimize the external vertex boundary.