| Graph families defined by their automorphisms | ||||
|---|---|---|---|---|
| distance-transitive | โ | distance-regular | โ | strongly regular |
| โ | ||||
| symmetric (arc-transitive) | โ | t-transitive, tย โฅย 2 | skew-symmetric | |
| โ | ||||
| (ifย connected) vertex- and edge-transitive |
โ | edge-transitive and regular | โ | edge-transitive |
| โ | โ | โ | ||
| vertex-transitive | โ | regular | โ | (ifย bipartite) biregular |
| โ | ||||
| Cayley graph | โ | zero-symmetric | asymmetric | |
In graph theory, a branch of mathematics, an undirected graph is called an asymmetric graph if it has no nontrivial symmetries.
Formally, an automorphism of a graph is a permutation p of its vertices with the property that any two vertices u and v are adjacent if and only if p(u) and p(v) are adjacent. The identity mapping of a graph is always an automorphism, and is called the trivial automorphism of the graph. An asymmetric graph is a graph for which there are no other automorphisms.
Note that the term "asymmetric graph" is not a negation of the term "symmetric graph," as the latter refers to a stronger condition than possessing nontrivial symmetries.
Examples
editThe smallest asymmetric non-trivial graphs have 6 vertices.[1] The smallest asymmetric regular graphs have ten vertices; there exist 10-vertex asymmetric graphs that are 4-regular and 5-regular.[2][3] One of the five smallest asymmetric cubic graphs[4] is the twelve-vertex Frucht graph discovered in 1939.[5] According to a strengthened version of Frucht's theorem, there are infinitely many asymmetric cubic graphs.
Properties
editThe class of asymmetric graphs is closed under complements: a graph G is asymmetric if and only if its complement is.[1] Any n-vertex asymmetric graph can be made symmetric by adding and removing a total of at most n/2ย +ย o(n) edges.[1]
Random graphs
editThe proportion of graphs on n vertices with a nontrivial automorphism tends to zero as n grows, which is informally expressed as "almost all finite graphs are asymmetric". In contrast, again informally, "almost all infinite graphs have nontrivial symmetries." More specifically, countably infinite random graphs in the ErdลsโRรฉnyi model are, with probability 1, isomorphic to the highly symmetric Rado graph.[1]
Trees
editThe smallest asymmetric tree has seven vertices: it consists of three paths of lengths 1, 2, and 3, linked at a common endpoint.[6] In contrast to the situation for graphs, almost all trees are symmetric. In particular, if a tree is chosen uniformly at random among all trees on n labeled nodes, then with probability tending to 1 as n increases, the tree will contain some two leaves adjacent to the same node and will have symmetries exchanging these two leaves.[1]
References
edit- ^ a b c d e Erdลs, P.; Rรฉnyi, A. (1963), "Asymmetric graphs", Acta Mathematica Hungarica, 14 (3): 295โ315, doi:10.1007/BF01895716.
- ^ Baron, G.; Imrich, W. (1969), "Asymmetrische regulรคre Graphen", Acta Mathematica Academiae Scientiarum Hungaricae, 20 (1โ2): 135โ142, doi:10.1007/BF01894574, MRย 0238726.
- ^ Gewirtz, Allan; Hill, Anthony; Quintas, Louis V. (1969), "The minimal number of points for regular asymmetric graphs", Universidad Tรฉcnica Federico Santa Maria. Scientia, 138: 103โ111, MRย 0266818.
- ^ Bussemaker, F. C.; Cobeljic, S.; Cvetkovic, D. M.; Seidel, J. J. (1976), Computer investigation of cubic graphs, EUT report, vol.ย 76-WSK-01, Dept. of Mathematics and Computing Science, Eindhoven University of Technology
- ^ Frucht, R. (1939), "Herstellung von Graphen mit vorgegebener abstrakter Gruppe.", Compositio Mathematica (in German), 6: 239โ250, ISSNย 0010-437X, Zblย 0020.07804.
- ^ Quintas, Louis V. (1967), "Extrema concerning asymmetric graphs", Journal of Combinatorial Theory, 3 (1): 57โ82, doi:10.1016/S0021-9800(67)80018-8.
