Vertex-Transitive Graphs Overview

• Vertex-transitive graphs are graphs whose automorphism group acts transitively on all vertices, making each vertex structurally identical.
• They encompass well-known families like Cayley, coset, and Haar graphs, constructed via group actions and offering rich examples in symmetry analysis.
• Ongoing research leverages these properties to classify graph isomorphisms, study coloring bounds, and explore Hamiltonicity in both finite and infinite cases.

A vertex-transitive graph is a finite or infinite (generally simple and undirected) graph whose automorphism group acts transitively on its vertex set; that is, for any two vertices, there exists an automorphism mapping one to the other. This high symmetry has profound implications across structural theory, algorithmic classification, coloring problems, and isomorphism phenomena. Vertex-transitive graphs encompass Cayley graphs and extend into non-Cayley families, with connections to group actions, coset graphs, and Haar graphs. Their study interfaces with permutation group theory, combinatorics, algebraic graph theory, and geometric configurations.

1. Definitions, Structural Framework, and Examples

Let $\Gamma = (V,E)$ be a simple undirected graph. The automorphism group $\mathrm{Aut}(\Gamma)$ is the set of adjacency-preserving bijections on $V$. $\Gamma$ is vertex-transitive when $\mathrm{Aut}(\Gamma)$ acts transitively; that is, for any $u,v \in V$, there exists $\phi \in \mathrm{Aut}(\Gamma)$ with $\phi(u)=v$.

Many vertex-transitive graphs are constructed via group actions:

• Cayley graphs: For group $G$, subset $S \subseteq G\setminus\{1\}$ (usually $\mathrm{Aut}(\Gamma)$0), $\mathrm{Aut}(\Gamma)$1 has vertex set $\mathrm{Aut}(\Gamma)$2 and edges $\mathrm{Aut}(\Gamma)$3 for $\mathrm{Aut}(\Gamma)$4, $\mathrm{Aut}(\Gamma)$5. $\mathrm{Aut}(\Gamma)$6 acts regularly on vertices (Chen et al., 2016).
• Coset graphs: Generalized as $\mathrm{Aut}(\Gamma)$7, with vertex set $\mathrm{Aut}(\Gamma)$8 (right cosets) and edges $\mathrm{Aut}(\Gamma)$9 iff $V$0.
• Haar graphs: For group $V$1 and subset $V$2, the bipartite graph $V$3 has vertices $V$4 and edges between $V$5 and $V$6 for $V$7, $V$8 (Conder et al., 2016).

Vertex-transitivity does not imply edge- or arc-transitivity; finer analysis of automorphism group action on ordered edges distinguishes arc-types (Conder et al., 2015). Important examples include:

• Cayley graphs of abelian/nonabelian groups;
• The Petersen, Coxeter, Dodecahedron graphs (Platonic graphs, generically vertex-transitive but not always Cayley);
• Bi-Cayley and Haar graphs with symmetry beyond Cayley regularity.

2. Classification, Isomorphism, Group Actions

Vertex-transitive graphs align closely with permutation group theory: given $V$9 and $\Gamma$0 acting transitively, $\Gamma$1 is $\Gamma$2-vertex-transitive. Orbitals (orbits of $\Gamma$3 on $\Gamma$4) structure the possible edge frameworks. For cubic (valency $\Gamma$5) and tetravalent ($\Gamma$6) graphs, full enumerations up to moderate order have been computed, uncovering thousands to millions of nonisomorphic vertex-transitive structures (Potocnik et al., 2012, Holt et al., 2018).

Isomorphism theory initially focused on Cayley graphs via the CI (Cayley Isomorphism) property: $\Gamma$7 iff $\Gamma$8 for some $\Gamma$9. GI-Groups (Group-Automorphism Inducing Isomorphism) generalize this to coset graphs: two $\mathrm{Aut}(\Gamma)$0-vertex-transitive graphs $\mathrm{Aut}(\Gamma)$1 and $\mathrm{Aut}(\Gamma)$2 are isomorphic iff there is $\mathrm{Aut}(\Gamma)$3 fixing $\mathrm{Aut}(\Gamma)$4 setwise and mapping $\mathrm{Aut}(\Gamma)$5 (Chen et al., 2016).

The coset-graph conjugacy criterion states: $\mathrm{Aut}(\Gamma)$6 is a GI-graph of $\mathrm{Aut}(\Gamma)$7 iff every permutation-isomorphic subgroup of $\mathrm{Aut}(\Gamma)$8 is conjugate to $\mathrm{Aut}(\Gamma)$9. Classification results indicate all DCI-groups (Directed Cayley Isomorphism) with normality are DGI (Directed GI) (Chen et al., 2016). Notably, new families of symmetric vertex-transitive graphs exist that are neither Cayley nor GI (e.g., construction on $u,v \in V$0 vertices with $u,v \in V$1) (Chen et al., 2016).

3. Families Beyond Cayley: Haar, Bi-Cayley, and Non-Cayley Vertex-Transitive Graphs

Haar graphs generalize bipartite Cayley structures. Every bipartite Cayley graph is a Haar graph, but not every Haar graph is Cayley (Conder et al., 2016). Vertex-transitive Haar graphs arise via sophisticated group actions preserving two orbits. For trivalent graphs, infinite families $u,v \in V$2 are constructed: $u,v \in V$3 is vertex-transitive exactly when $u,v \in V$4 is even and $u,v \in V$5; it is non-Cayley when $u,v \in V$6. The smallest such example is the Kronecker cover over the dodecahedral graph, $u,v \in V$7 (order $u,v \in V$8), which is arc-transitive, non-Cayley Haar (Conder et al., 2016).

For tetravalent graphs of order $u,v \in V$9 ($\phi \in \mathrm{Aut}(\Gamma)$0 prime), a complete classification identifies all such connected vertex-transitive non-Cayley graphs: an infinite family of bi-Cayley graphs $\phi \in \mathrm{Aut}(\Gamma)$1 for $\phi \in \mathrm{Aut}(\Gamma)$2 with $\phi \in \mathrm{Aut}(\Gamma)$3, and nine sporadic graphs for $\phi \in \mathrm{Aut}(\Gamma)$4 including Coxeter, Desargues, and dodecahedron graphs (Arezoomand et al., 2022). These constructions rely on semiregular group actions and intricate automorphism arguments.

4. Coloring and Chromatic Properties

Vertex-transitive graphs are highly constrained in coloring; let $\phi \in \mathrm{Aut}(\Gamma)$5 denote chromatic number, $\phi \in \mathrm{Aut}(\Gamma)$6 clique number, $\phi \in \mathrm{Aut}(\Gamma)$7 maximum degree. The sharp conjecture states

$\phi \in \mathrm{Aut}(\Gamma)$8

proved tight for line graphs of odd cycles with duplicated edges. The fractional relaxation $\phi \in \mathrm{Aut}(\Gamma)$9 also admits strong bounds: $\phi(u)=v$0 (Cranston et al., 2014). For large maximum degree, Borodin-Kostochka holds: if $\phi(u)=v$1 and $\phi(u)=v$2, then $\phi(u)=v$3. These results exploit clique partitioning, independent transversal lemmas, and connectivity arguments peculiar to vertex-transitivity.

5. Hamiltonicity, Motion, and Matching Phenomena

Vertex-transitive graphs are natural candidates for Hamilton cycles and decompositions. Nevertheless, there are infinite families of vertex-transitive (and Cayley) graphs with no Hamilton decomposition, constructed via $\phi(u)=v$4 method: taking $\phi(u)=v$5 parallel copies of $\phi(u)=v$6, then the corresponding arc graph is vertex-transitive if $\phi(u)=v$7 is arc-transitive. For example, $\phi(u)=v$8 (order $\phi(u)=v$9, valency $G$0) has no Hamilton decomposition (Bryant et al., 2014). Such results refute any naive generalization of Hamilton decomposition to nonabelian Cayley graphs.

For motion (minimal number of vertices moved by any nontrivial automorphism), classified constructions show that, except for the trivial cases, only lexicographic products over cyclic circulants have prime motion, and motion-$G$1 graphs have explicit product or matched block structures (Montero et al., 2024). This links motion to the primitivity and imprimitive block structure of the automorphism group.

In infinite settings, every countable, connected, vertex-transitive graph admits a perfect matching. The proof leverages exhaustion, automorphism adjustments, maximally matchedness, and compactness-style arguments (Georgakopoulos et al., 2020).

6. Cores, CIS Property, and Identifying Codes

The core of a vertex-transitive graph, defined as a minimal induced subgraph to which there is a homomorphism, must have size dividing the order of the whole graph (Hahn-Tardif theorem). For normal Cayley graphs and those with core of half their size, the vertex set can be partitioned into disjoint copies of the core. If the core is less than half, partitions may fail (e.g., line graphs of $G$2) (Roberson, 2013).

Vertex-transitive CIS (Cliques Intersect Stable sets) graphs belong to an intersection-theoretic subclass, characterized by being well-covered, co-well-covered, and $G$3, with infinite families and classification up to valency $G$4 (Dobson et al., 2014).

For identifying codes, vertex-transitive graphs permit explicit calculation of the fractional code number via symmetry: the uniform distribution attains the LP optimum, and for generalized quadrangles $G$5, code sizes attain exponents $G$6, $G$7, or $G$8, much below general upper bounds, indicating exceptional efficiency; the separation and domination requirements formalize these codes (Gravier et al., 2014).

7. Extensions, Arc-Types, and Quantum Symmetry

Arc-type, marking the partition of valency into self-paired and paired orbits of the automorphism group, provides refined structural typology for vertex-transitive graphs beyond classical cubic and quartic cases. Almost all feasible arc-type partitions are realisable via suitable product constructions, except for trivial cases (Conder et al., 2015).

Uniform vertex-transitivity is a sharpened notion requiring n automorphisms such that each maps every base vertex to each target exactly once collectively—a property strictly intermediate between Cayley and vertex-transitive graphs. Its equivalence to the existence of a size-$G$9 clique in the derangement graph of automorphisms connects to quantum automorphism theory and combinatorial blocking phenomena (Schmidt et al., 2019).

Partite-presented graphs subsume classical Cayley graphs: every connected, countable vertex-transitive graph admits a group-like presentation, possibly with vertex-dependent relators, extending algebraic techniques to the broad vertex-transitive universe (Georgakopoulos et al., 2020).

---

Vertex-transitive graphs serve as a benchmark for the study of finite permutation group actions, combinatorial optimization, symmetric coverings, coloring, and isomorphism classification. Ongoing research pursues complete classification within specific valencies/orders, the quantification of non-Cayley families, implications for quantum symmetry, and the intersection of group-theoretic and combinatorial invariants. Open problems include classification of GI-groups, detailed enumeration at higher valencies, and extension of code and partition theories to infinite and mixed symmetry settings (Chen et al., 2016).