62ded3cc3e90e228.tex
1: \begin{abstract}
2:   A countable graph is \textit{ultrahomogeneous} if every isomorphism between
3:   finite induced subgraphs can be extended to an automorphism. Woodrow and
4:   Lachlan showed that there are essentially four types of such countably
5:   infinite graphs: the random graph; infinite disjoint unions of complete
6:   graphs $K_n$ with $n\in\N$ vertices; the $K_n$-free graphs; finite unions of the
7:   infinite complete graph $K_{\omega}$; and duals of such graphs. The groups
8:   $\aut(\Gamma)$ of automorphisms of such graphs $\Gamma$ have a natural
9:   topology, which is compatible with multiplication and inversion, i.e.\  the
10:   groups $\aut(\Gamma)$ are topological groups. We consider the problem of
11:   finding minimally generated dense subgroups of the groups $\aut(\Gamma)$
12:   where $\Gamma$ is ultrahomogeneous. We show that if $\Gamma$ is
13:   ultrahomogeneous, then $\aut(\Gamma)$ has 2-generated dense subgroups, and
14:   that under certain conditions given $f \in \aut(\Gamma)$ there exists $g\in
15:   \aut(\Gamma)$ such that the subgroup generated by $f$ and $g$ is dense. We
16:   also show that, roughly speaking, $g$ can be chosen with a high degree of
17:   freedom. For example, if $\Gamma$ is either an infinite disjoint unions of
18:   $K_n$ or a finite union of $K_{\omega}$, then $g$ can be chosen to have any
19:   given finite set of orbit representatives.
20: \end{abstract}
21: