1: \begin{abstract}
2: An infinite graph is quasi-transitive if its vertex set has finitely many orbits under the action of its automorphism group. In this paper we obtain a structure
3: theorem for locally finite
4: quasi-transitive graphs avoiding a minor, which is reminiscent
5: of the Robertson-Seymour Graph Minor Structure Theorem. We
6: prove that every locally finite quasi-transitive graph $G$ avoiding a
7: minor has a
8: tree-decomposition whose torsos are finite or planar; moreover
9: the tree-decomposition is canonical, i.e. invariant under the action of the automorphism
10: group of $G$. As applications of this result, we prove the following.
11: \begin{itemize}
12: \item Every locally finite quasi-transitive graph attains its
13: Hadwiger number, that is, if such a graph contains
14: arbitrarily large clique minors, then it contains an infinite
15: clique minor. This extends a result of Thomassen (1992) who
16: proved it in the 4-connected case and suggested
17: that this assumption could be omitted. In particular, this shows that a Cayley graph excludes a finite minor if and only if it avoids the countable clique as a minor.
18: \item Locally finite quasi-transitive graphs avoiding a minor
19: are accessible (in
20: the sense of Thomassen and Woess), which extends known results
21: on planar graphs to any proper minor-closed family.
22: \item Minor-excluded finitely generated groups are accessible
23: (in the group-theoretic sense) and finitely presented, which
24: extends classical results on planar groups.
25: \item The domino problem is decidable in a minor-excluded
26: finitely generated group if and only if the group is
27: virtually free, which proves the minor-excluded case of a
28: conjecture of Ballier and Stein (2018).
29: \end{itemize}
30: \end{abstract}
31: