It is proved that Tutte’s $3$-flow conjecture is true for Cayley graphs on groups of order $8p$ where p is an odd prime.

We study Cayley graphs of abelian groups from the perspective of quantum symmetries. We develop a general strategy for determining the quantum automorphism groups of such graphs. Applying this procedure, we find the quantum symmetries of the halved cube graph, the folded cube graph, and the Hamming graphs.

A subset R of the vertex set of a graph $\Gamma $ is said to be $(\kappa ,\tau )$-regular if R induces a $\kappa $-regular subgraph and every vertex outside R is adjacent to exactly $\tau $ vertices in R. In particular, if R is a $(\kappa ,\tau )$-regular set of some Cayley graph on a finite group G, then R is called a $(\kappa ,\tau )$-regular set of G. Let H be a nontrivial normal subgroup of G, and $\kappa $ and $\tau $ a pair of integers satisfying $0\leq \kappa \leq |H|-1$, $1\leq \tau \leq |H|$ and $\gcd (2,|H|-1)\mid \kappa $. It is proved that (i) if $\tau $ is even, then H is a $(\kappa ,\tau )$-regular set of G; (ii) if $\tau $ is odd, then H is a $(\kappa ,\tau )$-regular set of G if and only if it is a $(0,1)$-regular set of G.

Let G be a finite transitive group on a set $\Omega $, let $\alpha \in \Omega $, and let $G_{\alpha }$ be the stabilizer of the point $\alpha $ in G. In this paper, we are interested in the proportion

$$ \begin{align*} \frac{|\{\omega\in \Omega\mid \omega \textrm{ lies in a }G_{\alpha}\textrm{-orbit of cardinality at most 2}\}|}{|\Omega|}, \end{align*} $$

that is, the proportion of elements of $\Omega $ lying in a suborbit of cardinality at most 2. We show that, if this proportion is greater than $5/6$, then each element of $\Omega $ lies in a suborbit of cardinality at most 2, and hence G is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$.

We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group G containing a regular subgroup R, we determine an upper bound on the number of Cayley graphs on R containing G in their automorphism groups.

Let $\Gamma $ be a graph of valency at least four whose automorphism group contains a minimally vertex-transitive subgroup G. It is proved that $\Gamma $ admits a nowhere-zero $3$ -flow if one of the following two conditions holds: (i) $\Gamma $ is of order twice an odd number and G contains a central involution; (ii) G is a direct product of a $2$ -subgroup and a subgroup of odd order.

We give a sufficient and necessary condition for a Praeger–Xu graph to be a Cayley graph.

A noncomplete graph is $2$ -distance-transitive if, for $i \in \{1,2\}$ and for any two vertex pairs $(u_1,v_1)$ and $(u_2,v_2)$ with the same distance i in the graph, there exists an element of the graph automorphism group that maps $(u_1,v_1)$ to $(u_2,v_2)$ . This paper determines the family of $2$ -distance-transitive Cayley graphs over dihedral groups, and it is shown that if the girth of such a graph is not $4$ , then either it is a known $2$ -arc-transitive graph or it is isomorphic to one of the following two graphs: $ {\mathrm {K}}_{x[y]}$ , where $x\geq 3,y\geq 2$ , and $G(2,p,({p-1})/{4})$ , where p is a prime and $p \equiv 1 \ (\operatorname {mod}\, 8)$ . Then, as an application of the above result, a complete classification is achieved of the family of $2$ -geodesic-transitive Cayley graphs for dihedral groups.

Vertex-primitive self-complementary graphs were proved to be affine or in product action by Guralnick et al. [‘On orbital partitions and exceptionality of primitive permutation groups’, Trans. Amer. Math. Soc.356 (2004), 4857–4872]. The product action type is known in some sense. In this paper, we provide a generic construction for the affine case and several families of new self-complementary Cayley graphs are constructed.

A graph $\Gamma $ is called $(G, s)$ -arc-transitive if $G \le \text{Aut} (\Gamma )$ is transitive on the set of vertices of $\Gamma $ and the set of s-arcs of $\Gamma $ , where for an integer $s \ge 1$ an s-arc of $\Gamma $ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots ,v_s)$ of $\Gamma $ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$ . A graph $\Gamma $ is called 2-transitive if it is $(\text{Aut} (\Gamma ), 2)$ -arc-transitive but not $(\text{Aut} (\Gamma ), 3)$ -arc-transitive. A Cayley graph $\Gamma $ of a group G is called normal if G is normal in $\text{Aut} (\Gamma )$ and nonnormal otherwise. Fang et al. [‘On edge transitive Cayley graphs of valency four’, European J. Combin.25 (2004), 1103–1116] proved that if $\Gamma $ is a tetravalent 2-transitive Cayley graph of a finite simple group G, then either $\Gamma $ is normal or G is one of the groups $\text{PSL}_2(11)$ , ${\rm M} _{11}$ , $\text{M} _{23}$ and $A_{11}$ . However, it was unknown whether $\Gamma $ is normal when G is one of these four groups. We answer this question by proving that among these four groups only $\text{M} _{11}$ produces connected tetravalent 2-transitive nonnormal Cayley graphs. We prove further that there are exactly two such graphs which are nonisomorphic and both are determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.

We study local properties of the Bakry–Émery curvature function ${\mathcal{K}}_{G,x}:(0,\infty ]\rightarrow \mathbb{R}$ at a vertex $x$ of a graph $G$ systematically. Here ${\mathcal{K}}_{G,x}({\mathcal{N}})$ is defined as the optimal curvature lower bound ${\mathcal{K}}$ in the Bakry–Émery curvature-dimension inequality $CD({\mathcal{K}},{\mathcal{N}})$ that $x$ satisfies. We provide upper and lower bounds for the curvature functions, introduce fundamental concepts like curvature sharpness and $S^{1}$-out regularity, and relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We prove that the curvature functions of the Cartesian product of two graphs $G_{1},G_{2}$ are equal to an abstract product of curvature functions of $G_{1},G_{2}$. We explore the curvature functions of Cayley graphs and many particular (families of) examples. We present various conjectures and construct an infinite increasing family of 6-regular graphs which satisfy $CD(0,\infty )$ but are not Cayley graphs.

Abstract. A subset $W$ of the vertex set of a graph $G$ is called a resolving set of $G$ if for every pair of distinct vertices $u,\,v$, of $G$, there is $w\,\in \,W$ such that the distance of $w$ and $u$ is different from the distance of $w$ and $v$. The cardinality of a smallest resolving set is called the metric dimension of $G$, denoted by $\dim\left( G \right)$. The circulant graph ${{C}_{n}}\left( 1,\,2,\,.\,.\,.\,,\,t \right)$ consists of the vertices ${{v}_{0}},\,{{v}_{1\,}},\,.\,.\,.\,,{{v}_{n\,-\,1}}$ and the edges ${{v}_{i}}{{v}_{i\,+\,j}}$, where $0\,\le \,i\,\le \,n\,-\,1,1\,\le \,j\,\le \,t\,\left( 2\,\le \,t\,\le \,\left\lfloor \frac{n}{2} \right\rfloor \right)$, the indices are taken modulo $n$. Grigorious, Manuel, Miller, Rajan, and Stephen proved that $\dim\left( {{C}_{n}}\left( 1,\,2,\,.\,.\,.\,,\,t \right) \right)\,\ge \,t\,+\,1$ for $t\,<\,\left\lfloor \frac{n}{2} \right\rfloor ,\,n\,\ge \,3$, and they presented a conjecture saying that $\dim\left( {{C}_{n}}\left( 1,\,2,\,.\,.\,.\,,\,t \right) \right)\,=\,t\,+\,p\,-\,1$ for $n\,=\,2tk\,+\,t\,+\,p$, where $3\,\le \,p\,\le \,t\,+\,1$. We disprove both statements. We show that if $t\,\ge \,4$ is even, there exists an infinite set of values of $n$ such that $\dim\left( {{C}_{n}}\left( 1,\,2,\,.\,.\,.\,,t \right) \right)\,=\,t$. We also prove that $\dim\left( {{C}_{n}}\left( 1,\,2,\,.\,.\,.\,,\,t \right) \right)\,\le \,t\,+\,\frac{p}{2}$ for $n\,=\,2tk\,+\,t\,+\,p$, where $t$ and $p$ are even, $t\,\ge \,4,\,2\,\le \,p\,\le \,t$, and $k\,\ge \,1$.

This paper studies the growths of endomorphisms of finitely generated semigroups. The growth is a certain dynamical characteristic describing how iterations of the endomorphism ‘stretch’ balls in the Cayley graph of the semigroup. We make a detailed study of the relation of the growth of an endomorphism of a finitely generated semigroup and the growth of the restrictions of the endomorphism to finitely generated invariant subsemigroups. We also study the possible values endomorphism growths can attain. We show the role of linear algebra in calculating the growths of endomorphisms of homogeneous semigroups. Proofs are a mixture of syntactic algebraic rewriting techniques and analytical tricks. We state various problems and suggestions for future research.

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.