Global Methods for Combinatorial Isoperimetric Problems

In the literature on combinatorial isoperimetric problems on a graph G, there are two systematic ways in which Steiner operations have been constructed:
stabilization, based on certain kinds of reflective symmetry of G, and
compression, based on product decompositions of G with certain kinds of factors.
Recall that a diagram is a graph whose vertices are points in
, d-dimensional Euclidean space, and whose edges are arcs connecting pairs of vertices. The edges need not be straight lines, though they may always be taken as such, and may even intersect at interior points. In Chapter 1 planar diagrams were just used to give a visual representation of graphs but now we wish to take advantage of the geometry of the ambient space, so let us define these representations more carefully.
The vertices of
n are the nth roots of unity (in
2),
and its edges are circular arcs
with ? ( e k) = { ? k , ? k +1(mod n )} .
The vertices are
= { ?1, 1} d ?
. The edges,
are represented by the straight-line segments determined by each such pair, i.e. for e ?
with ? ( e) = { x, y} , e is represented by the arc
Let ? ( k )