In the mathematical field of graph theory, a semi-symmetric graph is an undirected graph that is edge-transitive and regular, but not vertex-transitive. In other words, a graph is semi-symmetric if each vertex has the same number of incident edges, and there is a symmetry taking any of the graph's edges to any other of its edges, but there is some pair of vertices such that no symmetry maps the first into the second.
Properties
editA semi-symmetric graph must be bipartite, and its automorphism group must act transitively on each of the two vertex sets of the bipartition (in fact, regularity is not required for this property to hold). For instance, in the diagram of the Folkman graph shown here, green vertices can not be mapped to red ones by any automorphism, but every two vertices of the same color are symmetric with each other.
History
editSemi-symmetric graphs were first studied E. Dauber, a student of F. Harary, in a paper, no longer available, titled "On line- but not point-symmetric graphs". This was seen by Jon Folkman, whose paper, published in 1967, includes the smallest semi-symmetric graph, now known as the Folkman graph, on 20 vertices.[1] The term "semi-symmetric" was first used by Klin et al. in a paper they published in 1978.[2]
Cubic graphs
editThe smallest cubic semi-symmetric graph (that is, one in which each vertex is incident to exactly three edges) is the Gray graph on 54 vertices. It was first observed to be semi-symmetric by Bouwer (1968). It was proven to be the smallest cubic semi-symmetric graph by Dragan Marušič and Aleksander Malnič.[3]
All the cubic semi-symmetric graphs on up to 10000 vertices are known. According to Conder, Malnič, Marušič and Potočnik, the four smallest possible cubic semi-symmetric graphs after the Gray graph are the Iofinova–Ivanov graph on 110 vertices, the Ljubljana graph on 112 vertices,[4] a graph on 120 vertices with girth 8 and the Tutte 12-cage.[5]
References
edit- ^ Folkman, J. (1967), "Regular line-symmetric graphs", Journal of Combinatorial Theory, 3 (3): 215–232, doi:10.1016/S0021-9800(67)80069-3.
- ^ Klin, Mikhail; Lauri, Josef; Ziv-Av, Matan (2012), "Links between two semisymmetric graphs on 112 vertices via association schemes" (PDF), Journal of Symbolic Computation, 47 (10): 1175–1191, doi:10.1016/j.jsc.2011.12.040, MR 2926121
- ^ Bouwer, I. Z. (1968), "An edge but not vertex transitive cubic graph", Canadian Mathematical Bulletin, 11 (4): 533–535, doi:10.4153/CMB-1968-063-0.
- ^ Conder, M.; Malnič, A.; Marušič, D.; Pisanski, T.; Potočnik, P. (2002), "The Ljubljana Graph" (PDF), IMFM Preprints, vol. 40, no. 845, Ljubljana: Institute of Mathematics, Physics and Mechanics.
- ^ Conder, Marston; Malnič, Aleksander; Marušič, Dragan; Potočnik, Primož (2006), "A census of semisymmetric cubic graphs on up to 768 vertices", Journal of Algebraic Combinatorics, 23 (3): 255–294, doi:10.1007/s10801-006-7397-3.