Symmetric graph


In the mathematical field of graph theory, a graph G is symmetric if, given any two pairs of adjacent vertices u1—v1 and u2—v2 of G, there is an automorphism
such that
In other words, a graph is symmetric if its automorphism group acts transitively upon ordered pairs of adjacent vertices. Such a graph is sometimes also called 1-arc-transitive or flag-transitive.
By definition, a symmetric graph without isolated vertices must also be vertex-transitive. Since the definition above maps one edge to another, a symmetric graph must also be edge-transitive. However, an edge-transitive graph need not be symmetric, since a—b might map to c—d, but not to d—c. Star graphs are a simple example of being edge-transitive without being vertex-transitive or symmetric. As a further example, semi-symmetric graphs are edge-transitive and regular, but not vertex-transitive.
Every connected symmetric graph must thus be both vertex-transitive and edge-transitive, and the converse is true for graphs of odd degree. However, for even degree, there exist connected graphs which are vertex-transitive and edge-transitive, but not symmetric. Such graphs are called half-transitive. The smallest connected half-transitive graph is Holt's graph, with degree 4 and 27 vertices. Confusingly, some authors use the term "symmetric graph" to mean a graph which is vertex-transitive and edge-transitive, rather than an arc-transitive graph. Such a definition would include half-transitive graphs, which are excluded under the definition above.
A distance-transitive graph is one where instead of considering pairs of adjacent vertices, the definition covers two pairs of vertices, each the same distance apart. Such graphs are automatically symmetric, by definition.
A t-arc is defined to be a sequence of t+1 vertices, such that any two consecutive vertices in the sequence are adjacent, and with any repeated vertices being more than 2 steps apart. A t-transitive graph is a graph such that the automorphism group acts transitively on t-arcs, but not on -arcs. Since 1-arcs are simply edges, every symmetric graph of degree 3 or more must be t-transitive for some t, and the value of t can be used to further classify symmetric graphs. The cube is 2-transitive, for example.

Examples

Combining the symmetry condition with the restriction that graphs be cubic yields quite a strong condition, and such graphs are rare enough to be listed. The Foster census and its extensions provide such lists. The Foster census was begun in the 1930s by Ronald M. Foster while he was employed by Bell Labs, and in 1988 the then current Foster census was published in book form. The first thirteen items in the list are cubic symmetric graphs with up to 30 vertices :
VerticesDiameterGirthGraphNotes
413The complete graph K4distance-transitive, 2-arc-transitive
624The complete bipartite graph K3,3distance-transitive, 3-arc-transitive
834The vertices and edges of the cubedistance-transitive, 2-arc-transitive
1025The Petersen graphdistance-transitive, 3-arc-transitive
1436The Heawood graphdistance-transitive, 4-arc-transitive
1646The Möbius–Kantor graph2-arc-transitive
1846The Pappus graphdistance-transitive, 3-arc-transitive
2055The vertices and edges of the dodecahedrondistance-transitive, 2-arc-transitive
2056The Desargues graphdistance-transitive, 3-arc-transitive
2446The Nauru graph 2-arc-transitive
2656The F26A graph1-arc-transitive
2847The Coxeter graphdistance-transitive, 3-arc-transitive
3048The Tutte–Coxeter graphdistance-transitive, 5-arc-transitive

Other well known cubic symmetric graphs are the Dyck graph, the Foster graph and the Biggs-Smith graph. The ten distance-transitive graphs listed above, together with the Foster graph and the Biggs-Smith graph, are the only cubic distance-transitive graphs.
Non-cubic symmetric graphs include cycle graphs, complete graphs, hypercube graphs, and the graphs formed by the vertices and edges of the octahedron, icosahedron, cuboctahedron, and icosidodecahedron. The Rado graph forms an example of a symmetric graph with infinitely many vertices and infinite degree.

Properties

The vertex-connectivity of a symmetric graph is always equal to the degree d. In contrast, for vertex-transitive graphs in general, the vertex-connectivity is bounded below by 2/3.
A t-transitive graph of degree 3 or more has girth at least 2. However, there are no finite t-transitive graphs of degree 3 or more for t ≥ 8. In the case of the degree being exactly 3, there are none for t ≥ 6.