Barber and Erde asked the following question: if generates as an additive group, then must the extremal sets for the isoperimetric inequality on the Cayley graph form a nested family?
We answer this question negatively for both the vertex- and edge-isoperimetric inequalities, already when .
The key is to show that the structure of the cylinder can be mimicked in certain Cayley graphs on , leading to a phase transition. Based on joint work with Chris Wells.