a62699f08d51d65e.tex
1: \begin{abstract}
2:     Barber and Erde asked the following question: if $B$ generates $\Z^n$ as an additive group, then must the extremal sets for the vertex/edge-isoperimetric inequality on the Cayley graph $\cay(\Z^n,B)$ form a nested family?
3:     We answer this question negatively for both the vertex- and edge-isoperimetric inequalities, specifically in the case of $n=1$.
4:     The key is to show that the structure of the cylinder $\Z\times(\Z/k\Z)$ can be mimicked in certain Cayley graphs on $\Z$, leading to a phase transition.
5:     We do, however, show that Barber--Erde's question for Cayley graphs on $\Z$ has a positive answer if one is allowed to ignore finitely many sets.
6: \end{abstract}
7: