For an odd prime $p$, a $p$-transposition group is a group generated by a set of involutions such that the product of any two has order 2 or $p$. We first classify a family of $(G,2)$-geodesic transitive Cayley graphs ${\rm\Gamma}:=\text{Cay}(T,S)$ where $S$ is a set of involutions and $T:\text{Inn}(T)\leq G\leq T:\text{Aut}(T,S)$. In this case, $T$ is either an elementary abelian 2-group or a $p$-transposition group. Then under the further assumption that $G$ acts quasiprimitively on the vertex set of ${\rm\Gamma}$, we prove that: (1) if ${\rm\Gamma}$ is not $(G,2)$-arc transitive, then this quasiprimitive action is the holomorph affine type; (2) if $T$ is a $p$-transposition group and $S$ is a conjugacy class, then $p=3$ and ${\rm\Gamma}$ is $(G,2)$-arc transitive.

In this paper, we first prove that for $g\in \{3,4\}$, there are infinitely many 3-geodesic transitive but not 3-arc transitive graphs of girth $g$ with arbitrarily large diameter and valency. Then we classify the family of 3-geodesic transitive but not 3-arc transitive graphs of valency 3 and those of valency 4 and girth 4.

A colouring of a graph G is called distinguishing if its stabilizer in Aut G is trivial. It has been conjectured that, if every automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring. We study properties of random 2-colourings of locally finite graphs and show that the stabilizer of such a colouring is almost surely nowhere dense in Aut G and a null set with respect to the Haar measure on the automorphism group. We also investigate random 2-colourings in several classes of locally finite graphs where the existence of a distinguishing 2-colouring has already been established. It turns out that in all of these cases a random 2-colouring is almost surely distinguishing.

We develop a theory of group actions and coverings on Brauer graphs that parallels the theory of group actions and coverings of algebras. In particular, we show that any Brauer graph can be covered by a tower of coverings of Brauer graphs such that the topmost covering has multiplicity function identically one, no loops, and no multiple edges. Furthermore, we classify the coverings of Brauer graph algebras that are again Brauer graph algebras.