5127a93973b1d3df.tex
1: \begin{abstract}
2:   Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory.
3:   For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry.
4:   Thus, through Cayley graphs, it defines a group invariant.
5: 
6:   We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width.
7:   Twin-width can be characterised by excluding patterns in the self-action by product of the group elements.
8:   Based on this characterisation, we propose a strengthening called \emph{uniform twin-width},
9:   which is stable under constructions such as group extensions, direct products, and direct limits.
10: 
11:   The existence of finitely generated groups with infinite twin-width is not immediate.
12:   We construct one using a result of Osajda on embeddings of graphs into groups.
13:   This implies the existence of a class of finite graphs with unbounded twin-width
14:   but containing~$2^{O(n)} \cdot n!$ graphs on vertex set~$\{1,\dots,n\}$,
15:   settling a question asked in a previous work.
16: \end{abstract}
17: