1. Introduction
All graphs discussed in this paper are undirected and finite, consisting of
n vertices without loops or multiple edges. Two vertices of graph
G are considered adjacent if and only if they are connected by an edge. A molecular graph is defined as a graph in which the maximum degree of every vertex is four, as described in reference [
1].
Symmetry and the automorphism group are related concepts but have different meanings. Symmetry refers to the notion of preserving the structure or appearance of a graph under certain transformations while the automorphism group of a graph captures all of the symmetries defined as the family of all permutations that preserve the adjacency between vertices or equivalently the edges of graph. In other words, an automorphism of the graph G is a bijection σ on vertices where e = uv is an edge if and only if σ(e) = σ(u)σ(v) is an edge of E. The automorphism group, denoted by Aut(G), is defined as the set of all automorphisms of G, equipped with the operation of permutation composition, forming a group on V(G). Symmetry and the automorphism group are related concepts but have different meanings. Symmetry refers to the notion of preserving the structure or appearance of a graph under certain transformations. A graph is said to be symmetric if there exists one or more transformations that leave the graph unchanged. These transformations can include flipping or rotating the graph without altering the connections between the vertices. For example, consider a graph with a triangular shape. If you can rotate or flip the graph in such a way that it remains unchanged, then the graph possesses symmetry.
For example, for the cycle graph
C3 in
Figure 1, all symmetry lines are colored by red, blue, and green and they represent, respectively, the permutations (2, 3), (1, 2), and (1, 3). Then (1, 2, 3) indicates a clockwise rotation equal to 120°, (1, 3, 2) = (1, 2, 3)
2 and () = (1, 2, 3)
3 are, respectively, the rotation 240° and 360° around the middle point of
C3. Since all of them preserve the vertex adjacency, they are automorphisms. Hence, the automorphism group of
C3 has six elements, which are Aut(
C3) = {(), (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)}.
Symmetry holds significant visual importance for humans, and its evident application in architecture has prompted the authors of [
2] to investigate its role in the aesthetic judgment of residential building façades. The study aims to examine the patterns of eye movement based on the architectural expertise of the subjects. To accomplish this, two categories of façade images were created: symmetrical and asymmetrical. The experimental design enables an investigation into subject preferences, reaction times, and eye movements when evaluating the presented images. The findings indicate that the aesthetic experience of a building façade is influenced by the subjects’ level of expertise, revealing a noteworthy distinction between experts and non-experts across all conditions. Notably, non-expert subjects display a preference for symmetrical façades, aligning with their aesthetic taste.
In this survey paper, we provide an overview of the research on the symmetry group of polyhedral graphs. We discuss various aspects, including the definitions and properties of symmetry groups, the relationship between symmetry groups and polyhedral symmetries, and the classification of polyhedral graphs based on their symmetry groups. Furthermore, we present applications of symmetry groups in fields such as crystallography, chemistry, and computer graphics. This survey serves as a comprehensive reference for researchers and practitioners interested in the symmetry group theory of polyhedral graphs.
In
Section 2, we introduce the concepts of automorphism groups and symmetry groups in the context of graphs and discuss the transitivity of the automorphism group on vertices and edges, which is important in graph enumeration. In
Section 3, the relationship between symmetry groups and automorphism groups is established. As the symmetry group is a subset of the automorphism group, examples are given for complete graphs, cycle graphs, and square grid graphs. In
Section 4, a classification of the automorphism groups of graphs is provided by repeatedly removing edges until a complete graph is attained.
Section 5 focuses on polyhedral graphs and their symmetry groups, see [
3]. The Mani theorem establishes a connection between polyhedral graphs and their corresponding symmetry groups. It states that for a 3-connected planar graph, there exists a convex polyhedron whose graph is isomorphic to the given graph, and the symmetry group of the polyhedron is isomorphic to the automorphism group of the graph. This implies that for convex polyhedral graphs, the automorphism group and the symmetry group are essentially the same.
Section 6 discusses practical applications of automorphism groups in various fields such as crystallography, chemistry, network analysis, computer graphics, coding theory, and symmetry detection. These applications demonstrate the significance of automorphism groups in scientific research, technology development, and practical applications in real-life scenarios.
2. Group, Automorphism Group and Symmetry Group
Groups, homomorphisms, isomorphisms, and automorphisms are fundamental concepts in abstract algebra that have wide-ranging applications in various fields of mathematics and science. In this section, we will provide formal definitions for these notions and explore their connections to graph theory.
Definition 1. Ref. [4] In a group, denoted as S, there is an operation ◦ such that for all elements a and b in S, the result of applying the operation to a and b is an element c that also belongs to S. Additionally, for all elements a, b, and c in S, the equality a ◦ (b ◦ c) equals (a ◦ b) ◦ c holds. Furthermore, there exists an element e in S that satisfies the property a ◦ e = e ◦ a = a for all elements a in S. Lastly, for every element a in S, there exists another element b in S such that a ◦ b equals b ◦ a equals e. To further explore the concept of groups, it is crucial to formalize the ideas of group homomorphisms, isomorphisms, and automorphisms. This will be achieved by utilizing the definitions presented by Steinberger [
5].
A group homomorphism is a function that preserves the operation between two groups. More precisely, let (G, *) and (H, •) be two groups. A function f: G → H is a group homomorphism if it satisfies the condition f(x * y) = f(x) • f(y) for all x, y ∈ G. This means that the homomorphism maps the group operation in G to the group operation in H, preserving the structure.
An isomorphism, on the other hand, is a special type of group homomorphism that establishes a one-to-one correspondence between two groups, preserving their structural properties. Specifically, an isomorphism is a bijective group homomorphism. If there exists an isomorphism between two groups G and H, they are said to be isomorphic, denoted as G ≅ H.
Lastly, an automorphism refers to an isomorphism from a group to itself. In other words, an automorphism is a bijective mapping that preserves the group operation and structure of a single group. The set of all automorphisms of a group G forms the automorphism group of G, denoted as Aut(G).
By formally defining group homomorphisms, isomorphisms, and automorphisms, we establish a solid framework for studying the relationships and mappings between groups, allowing us to analyze their structural properties and uncover deeper insights into the nature of these mathematical objects.
Definition 2. Ref. [4] A function f: G → G0 is called a homomorphism if it satisfies f(x ◦ y) = f(x) ◦ f(y) for all x, y in G. Definition 3. Ref. [4] A function that is both one-to-one and onto when acting as a homomorphism is referred to as an isomorphism. Definition 4. Ref. [4] An automorphism of a group G is an isomorphism from G to itself. The smallest graph, excluding the one-vertex graph, with a trivial automorphism group is depicted in
Figure 2.
The smallest known asymmetric graph is made up of 6 vertices. Interestingly, there is only one known asymmetric graph with 6 vertices of this size. This particular graph is created by forming a path graph on 5 vertices and then joining the third and fourth vertex to a common neighbor (vertex 6) to form a triangle on one side of the path. This unique configuration makes the graph asymmetric.
However, it is important to note that small graphs should not be solely relied upon as a reliable indicator in this context.
The automorphism group provides a systematic way of studying the symmetries of a graph and is useful in graph theory and related fields. In general, symmetry refers to the property of a graph, indicating that it can be transformed without changing its structure, while the automorphism group is the collection of all permutations of the vertices that preserve the graph’s adjacency relationships. The automorphism group represents the symmetries of the graph in a mathematical group structure.
For the graph
G, the action of Aut(
G) on the set of vertices is transitive, and in this case, we say
G is vertex-transitive, if for any vertices
, there is an automorphism
such that
. Similarly, an edge-transitive graph can be defined. The automorphism group plays a vital role in graph enumeration, particularly in the context of the relationship between labeled and unlabeled graphs. A labeled graph on
n vertices represents a graph with {1, …,
n} as vertex set, while there many unlabeled graphs which are isomorphism. The number of labeling for a given unlabeled graph
G on
n vertices is determined by the formula
n!/|Aut(
G)|, where
n! represents the factorial of
n and |Aut(
G)| denotes the size of the automorphism group of
G, see [
6].
In a graph, labeling is defined by a bijective function
g from the set {1, …,
n} to the vertex set
V(
G). There are
n! possible functions of this kind, and two functions,
g1 and
g2, define the same labeled graph if and only if there exists an automorphism
h such that
g2(
i) =
g1(
i)
h for all
i in {1, …,
n}.
Figure 3 illustrates this concept with the three labelings of the path graph of length 2, where the automorphism group has an order of 2, see [
6], for more details.
Symmetry Group
We begin by providing a thorough definition of symmetry groups in the context of graph theory. We explore how symmetry groups capture the symmetries present in a graph, and we discuss the fundamental properties of symmetry groups. The symmetry of an object refers to the rigid motion (that is, a motion that preserves distance and size) of a plane that does not alter the object [
7].
Symmetry plays a crucial role in characterizing molecules, relying on both their molecular geometry and the constituent atoms. The manifestation of a specific molecular geometry or topology is referred to as the materialization of a molecule. The delicate interplay between molecular geometry, symmetry, and topology is best illustrated by the simple example of triatomic molecules. These can have two different topologies: cyclic and acyclic. The corresponding molecular graphs are
G1 and
G2, see
Figure 4.
The symmetry group can be defined as the group consisting of all transformations that leave an object unchanged. This group, denoted by Sym(X), includes only those isometries that map the object X back to itself while also preserving any other patterns present. We say that X is invariant under such a mapping and that the mapping itself is a symmetry of X. The term “full symmetry group” is sometimes used to specifically include orientation-reversing isometries, such as reflections, glide reflections, and improper rotations, as long as they map a specific object X to itself. This contrasts with the “proper symmetry group”, which only includes orientation-preserving symmetries such as translations, rotations, and compositions of these transformations. An object is considered chiral if the full symmetry group is identical to its proper symmetry group. For symmetry groups that have a common fixed point, such as finite groups or bounded figures, they can be represented as subgroups of the orthogonal group O(n) by choosing the origin as the fixed point. This means that any transformation in the symmetry group leaves the origin unchanged. The proper symmetry group, which only includes orientation-preserving symmetries, becomes a subgroup of the special orthogonal group SO(n) and is called the rotation group of the figure. This is because all transformations in the rotation group are rotations around the fixed point. In a discrete symmetry group, the images of a fixed point under the action of the group do not accumulate at a limiting point. Each orbit, which represents the set of all such images, is itself discrete. It is noteworthy that all finite symmetry groups belong to this class of groups. Discrete symmetry groups can be categorized into three types:
Finite point groups: These groups include rotations, reflections, inversions, and roto inversions. They are the finite subgroups of the orthogonal group O(n).
Infinite lattice groups: These groups consist solely of translations.
Infinite space groups: These groups contain elements from both the finite point groups and infinite lattice groups. They may also include additional transformations such as screw displacements and glide reflections.
Continuous symmetry groups, known as Lie groups, encompass rotations of arbitrarily small angles or translations of arbitrarily small distances. An example of a continuous symmetry group is O(3), which is the symmetry group of a sphere. The symmetry groups of Euclidean objects can be classified as subgroups of the Euclidean group
E(
n), which represents the isometry group of
Rn, see [
8]. Two geometric figures share the same symmetry type when their symmetry groups are conjugate subgroups of the Euclidean group.
3. Relationship between Symmetry Groups and Automorphism Groups
In this section, we establish the relationship between symmetry groups and automorphism groups.
A graph G is classified as planar if it can be represented on the 2-dimensional plane in such a way that the vertices of G are distinct points in R2, the edges of G are arcs between the vertices, with each edge having different sets of endpoints, and the interior of an edge does not contain any vertex or point of any other edge.
When considering a convex polyhedron P, the vertices and edges collectively create a graph known as the graph of P, denoted as G(P). A polyhedral graph is considered to be polyhedral if it is isomorphic to the graph of some convex polyhedron, meaning that it is an undirected graph formed from the vertices and edges of a convex polyhedron. By this definition, an icosahedron is a polyhedron with 20 faces, while a dodecahedron is any polyhedron with twelve flat faces.
Throughout this paper, we use the term (m, n, p)-polyhedral graph or a (m, n, p)-fullerene to refer to a polyhedral graph whose faces are i-gonal, where .
For every convex polyhedron
P, the graph
G(
P) is planar and 3-connected, as discussed in [
9].
We demonstrate that the symmetry group of a graph is a subgroup of its automorphism group. The symmetry group consists of all of the permutations of vertices that preserve the graph’s structure, including rotations, reflections, and combinations thereof. Since the symmetry group captures all of the symmetries of the graph, it is a subset or subgroup of the larger automorphism group, which captures all of the possible permutations preserving the graph’s adjacency relationships. Here are a few examples to illustrate the relationship between symmetry groups and automorphism groups in different types of graphs:
The symmetry group of a complete graph is the symmetric group Sn, which consists of all possible permutations of the vertices.
The symmetry group of a cycle graph consists of rotations by multiples of 2π/n radians. It is isomorphic to the cyclic group Cn, which includes rotations by multiples of k(2π/n) radians, where k is an integer from 0 to n − 1.
The symmetry group of a square grid graph includes rotations by multiples of 90 degrees and reflections along horizontal, vertical, and diagonal axes. In other words, it is isomorphic to the dihedral group D4, also known as the symmetry group of a square. The dihedral group D4 consists of eight elements, representing rotations and reflections that preserve the square’s structure. In the context of the square grid graph, the automorphism group captures the symmetries of the graph that preserve the grid structure, including rotations by 90, 180, and 270 degrees, as well as reflections along horizontal, vertical, and diagonal axes. Therefore, the automorphism group of the square grid graph is isomorphic to the dihedral group D4.
Now consider the graph
G depicted in
Figure 5. The symmetry group of this figure as a rigid graph is isomorphic with the cyclic group Z
2 of order two with group elements {(), (1, 2)(4, 5)} while the automorphism group is isomorphic with Klein group
with group elements {(), (1, 2)(4, 5), (1, 2), (4, 5)}.
These examples demonstrate that the symmetry group is a subgroup of the automorphism group. The automorphism group captures a broader set of permutations that preserve adjacency relationships, while the symmetry group represents a subset of those permutations that specifically preserve the graph’s symmetrical properties.
The symmetry group of a convex polyhedron P is denoted by Γ(P) and Γ(P) ≤ Aut(G(P)).
Theorem 1. Ref. [10] (Mani). For a 3-connected planar graph G, there is a convex polyhedron P whose graph is isomorphic to G and Γ(P) ≅ Aut(G). The Mani theorem states that for a 3-connected planar graph, there exists a convex polyhedron whose graph is isomorphic to the given graph, and the symmetry group of the polyhedron is isomorphic to the automorphism group of the graph. Therefore, in the specific case of polyhedral graphs, the automorphism group and the symmetry group are essentially the same, and there is no need to distinguish between the two.
Hence, in this paper, particularly in
Section 5, we exclusively compute the symmetry elements of all polyhedral graphs to derive the complete automorphism group. Throughout the paper, we predominantly employ the term “automorphism group” instead of “symmetry group.”
Point Symmetry Groups
In a convex polyhedron
P, each symmetry has at least one fixed point and thus the group
Γ(
P) is referred to as a point group. All point groups can be categorized into icosahedral, octahedral, tetrahedral, dihedral, skewed, pyramidal, and others with respect to the number of rotational symmetry axes and their relative positions. The comprehensive list of all groups capable of serving as symmetry groups of convex polyhedra is given in
Table 1.
4. Main Results
In the realm of Abstract Algebra, a fundamental concept revolves around the combination of sets with operations on their elements and the subsequent study of their resulting behavior. This approach enables us to comprehend a set more comprehensively by considering its elements within the context of their interactions. For instance, we may be interested in understanding the behavior of the set of integers modulo m under addition, or how the elements of an abstract set S behave under a defined set of permutations acting upon them. Both of these examples embody the concept of a group.
In a group, we explore the properties and structures that emerge when combining elements from a given set with a particular operation. This study helps us analyze various aspects, such as closure (the result of the operation remaining within the set), associativity (the order in which operations are performed not affecting the result), the existence of an identity element (an element that leaves other elements unchanged when combined), and the existence of inverses (elements that, when combined with others, yield the identity element).
By studying groups, we gain insight into the interplay between sets and their operations, uncovering important properties and relationships that shed light on the underlying structure of mathematical systems.
Erdös and Rényi [
11] demonstrated the following:
Theorem 2. The automorphism group of the complete graph on n vertices Aut(Kn) is isomorphic to Sn.
Proof. Since all vertices are adjacent, it is clear that each permutation in the symmetric group Sn is an automorphism and we are done. □
Most graphs have no non-trivial automorphisms due to their complex and irregular structures, which make it unlikely for symmetries to exist within the graph. For this consider a random graph G with a large number of vertices and edges. As the number of vertices and edges increases, the likelihood of finding a non-trivial permutation that preserves the adjacency structure decreases significantly. This is due to the fact that the adjacency structure of a random graph becomes increasingly complex and irregular as the number of vertices and edges grows. Therefore, for most random graphs, the probability of having non-trivial automorphisms approaches zero as the size of the graph increases. In other words, we have the following theorem:
Theorem 3. Ref. [11] Almost all graphs have no non-trivial automorphisms. It has been established that as the number of vertices (n) approaches infinity, the proportion of graphs with a non-trivial automorphism tends to zero. This observation holds for both labeled and unlabeled graphs.
Theorem 4. Ref. [11] The automorphism group of a complete graph with any single edge deleted, as portrayed in Figure 6, is isomorphic to S2 × Sn−2. This result can be extended to classify the automorphism groups of all graphs by repeatedly removing edges until the complete graph is attained. However, this method would be impractical due to the existence of numerous non-isomorphic ways to remove a fixed number m of edges from the complete graph for small values of m. For instance, for m = 2, there are two distinct ways to remove two edges, but for m = 3, there are already several possibilities: we can remove three non-adjacent edges, two adjacent edges and one non-adjacent edge, three adjacent edges that are mutually adjacent, or three adjacent edges such that two are mutually non-adjacent. As the number of cases increases rapidly with m, exhaustively considering all possibilities becomes increasingly impractical.
On the other hand, the computer-based recognition of graph automorphism symmetry poses a significant computational burden. Specifically, determining the automorphism group involves evaluating whether any vertex permutation of the given graph preserves the adjacency matrix (which represents the graph’s connectivity). To construct the automorphism group, the algorithm must verify whether a vertex permutation maintains the adjacency matrix’s invariance. In general, there are
n! possible vertex permutations for a graph comprising
n vertices. Verifying each permutation requires performing two matrix multiplications, resulting in a total of 2
n3 multiplication operations. Consequently, the overall complexity of the problem involves 2
n3n! multiplication operations. For instance, a graph with 10 vertices entails a staggering 7,257,600,000 multiplication operations, see [
12].
While various techniques exist for partitioning the vertices of a graph based on automorphism properties, the generation of the actual automorphism group remains a relatively unexplored area with limited methods available. Automorphism partitioning involves dividing the vertices of a graph into equivalence classes based on their automorphic relationships. This process helps identify subsets of vertices that exhibit similar structural properties and symmetries. Several algorithms and heuristics have been proposed to efficiently perform automorphism partitioning, see [
13,
14]. A powerful software (called Nauty, version 2_8_8) for graph isomorphism and automorphisms was developed by Brendan McKay several decades ago. This software has been successfully used by plenty of researchers who investigate graphs or combinatorial structures which can be presented by special types of graphs, see [
15].
However, when it comes to generating the automorphism group itself, there are comparatively few established methods. The generation of the automorphism group entails determining all of the possible symmetries and preserving transformations of the graph, providing insights into its inherent structural symmetries.
A permutation matrix is a square matrix that represents a permutation of the rows or columns of an identity matrix. In other words, it is a matrix that results from rearranging the rows or columns of an identity matrix according to a specific permutation. Formally, let P be an n × n permutation matrix. Each row and column of P contains exactly one entry of 1, and all other entries are 0. Moreover, in each row and column, there is only one entry of 1. The permutation matrix P corresponds to a permutation σ of the numbers 1 to n. If we denote the entry in the ith row and jth column of P as P[i, j], then P[i, j] = 1 if and only if σ(i) = j. Otherwise, P[i, j] = 0. Essentially, a permutation matrix represents a reordering or rearrangement of the rows or columns of an identity matrix to achieve a specific permutation of elements.
In the context of the automorphism group of a graph, a given permutation is considered to be in the automorphism group if its corresponding permutation matrix, denoted as P, satisfies the equation A = PTAP. Here, A represents the adjacency matrix of the graph. When dealing with a graph consisting of n vertices, there are n! permutation matrices to consider. Therefore, a brute force approach for verifying if the above equation is satisfied would require performing n! checks. This equation involves two n × n matrix multiplications. To validate the automorphism group, the algorithm would need to compute these matrix multiplications for each permutation matrix. Hence, the overall computational complexity of the brute force approach for verifying the automorphism group involves performing 2n3 operations for each permutation matrix, resulting in a total of n! × 2n3 multiplication operations. However, it is important to note that this calculation only accounts for the multiplication operations and does not consider the CPU times required for generating the permutation matrix P. The process of generating the permutation matrix may introduce additional computational overhead, which should be taken into account when evaluating the overall computational cost.
5. Automorphism Group of Polyhedral Graphs
Polyhedral graphs are extensively utilized mathematical structures that effectively capture the connectivity of three-dimensional polyhedra. The concept of the symmetry group is instrumental in comprehending the symmetries embedded within these graphs. The automorphism group of a polyhedral graph encompasses the entire set of symmetries or transformations that uphold its structural integrity. In a polyhedral graph, vertices correspond to the corners or vertices of the associated polyhedron, while edges represent its edges or sides. The automorphism group aptly captures the symmetries present in the underlying polyhedron, encompassing diverse transformations like rotations, reflections, and their combinations. These transformations meticulously preserve the incidence relationships between the vertices and edges of the graph. The specific automorphism group of a polyhedral graph is contingent upon the symmetries exhibited by the corresponding polyhedron. Notably, a regular polyhedron such as a cube or an icosahedron possesses a larger automorphism group, comprising a greater number of transformations compared to an irregular polyhedron. The study of automorphism groups in polyhedral graphs holds significant importance in comprehending the symmetries and structural intricacies of polyhedra, while also finding practical applications in fields like crystallography, chemistry, and computer graphics. It is well-known that the symmetry group and automorphism group of regular polyhedral graphs are the same because regular polyhedra possess a high degree of symmetry, and the symmetries of the graph are precisely captured by the automorphisms of the graph. Regular polyhedra are highly symmetric three-dimensional objects that have identical faces, edges, and vertices. For example, a cube has six faces, each of which is a square, and the edges and vertices are symmetrically arranged. When we represent a regular polyhedron as a graph, with vertices representing the corners of the polyhedron and edges representing the connections between the corners, the symmetries of the polyhedron are reflected as symmetries of the graph. Ghorbani et al., in a series of papers, computed the symmetry group of several classes of polyhedral graphs, see [
16,
17,
18]. In [
16], the authors introduced the notation (
t,
s,
p,
h)-polyhedral graphs to represent cubic polyhedral graphs (3-regular polyhedral graphs) with specific face compositions. These graphs consist of
t triangles,
s quadrangles,
p pentagons, and
h hexagons as their only faces, excluding any other types of faces. The authors further demonstrated that the order of the symmetry group of such graphs is a divisor of 240. In an exact phrase, they showed that in a (4, 5, 6)-fullerene
F.
A fullerene is a type of molecule that consists of a closed, spherical cage made entirely of carbon atoms. The cage structure is formed by connecting these carbon atoms in a specific way, resulting in a unique molecular shape that resembles a soccer ball or a geodesic dome. Fullerenes were first discovered in 1985 and have attracted significant interest due to their unique electronic and chemical properties, such as their high electrical conductivity, ability to act as semiconductors, and potential use as antioxidants in medicine. They are being explored for their potential use in the construction of nanotechnologies due to their small size and unique properties at the nanoscale level. These molecules may also feature hexagonal and pentagonal shapes. Mathematically, fullerenes have 12 pentagonal and (n/2 − 10) hexagonal faces, where n ≥ 20.
Case 1: If the number of quadrangles in a graph is zero, it is classified as a classical fullerene with an automorphism group that is a divisor of 120. These fullerenes are described in detail in reference [
19].
Cases 2–6: In contrast, when the number of quadrangles is 1, 2, 3, 4, or 5, respectively, the graph has 10, 8, 6, 4, or 2 pentagons.
Case 7: When the number of quadrangles is six, the graph does not have any pentagons, and it is still a fullerene with an automorphism group that divides 48. These graphs are studied in reference [
20].
In [
17,
21,
22,
23,
24], Fowler et al. demonstrated that out of all possible point groups, only 28 can actually be realized by fullerene structures. These 28 point groups represent all of the possible symmetry configurations that can be achieved by a fullerene structure. It is worth noting that the most common fullerene,
C60, belongs to the point group
Ih, which possesses icosahedral symmetry.
The pentagons in fullerene structures appear in specific orbits, each with a size equal to the ratio of the point group of fullerene to the site group. In this context, a site refers to a point that remains unchanged under certain operations of the space group. These operations can be organized into a group known as the site group.
Each point within the fullerene structure can be considered as a site, and at minimum, it possesses the trivial site group
E. In practical terms, the site is often defined as an occupied atomic site [
22]. For a pentagon on a sphere, the site group is restricted to
H, represented by
C5v,
C5,
Cs, or
C1 symmetries [
22]. If a fullerene possesses a fivefold axis, it necessitates a pentagon center at each end of the axis. However, if the fullerene has an axis of order 2, 3, 4, or 6, it does not feature a pentagon center along that particular axis.
Theorem 5. Let F be a dodecahedron. The order of Aut(F) in action on the set of pentagonal faces is 120.
Proof. We assign labels to all twelve pentagons as P1, P2, …, P12. Let’s arbitrarily select P1 as a starting point. There are twelve potential images for P1. Next, we examine a pentagon adjacent to P1, denoted as P2. It becomes evident that there are five options for the placement of P2. Continuing further, for a pentagon P3 adjacent to both P1 and P2, there are two possible permutations. Lastly, the fourth pentagon has only one viable choice. Thus, the proof is concluded. □
In [
19], the authors investigated that for a fullerene graph
F, the order of its automorphism group Aut(
F) is a divisor of 120. Ghorbani et al. also obtained similar results in [
17,
25] by proving that if
F is a (3, 6)-polyhedral graph or a (4, 6)-polyhedral graph, then the order of its automorphism group Aut(
F) is a divisor of 24 or 48, respectively.
They also identified the order of automorphism groups for all (3, 4, 6), (3, 5, 6), and (4, 5, 6)-polyhedral graphs.
Theorem 6. Let F be both isolated (4, 6), (5, 6), and (4, 5, 6)-polyhedral graphs, G be a (3, 4, 6)-polyhedral graph and L be a (3, 5, 6)-polyhedral graph. Then |Aut(F)| divides 24 × 3 × 5, |Aut(G)| divides 24 × 3 and |Aut(L)| divides 23 × 3.
In [
26], the authors investigated the permissible point-group symmetries of cubic polyhedra, where the face sizes are limited to 3, 4, 5, and 6. They determined the polyhedron with the minimum number of vertices for each group and face signature (
p3,
p4,
p5). Also in [
27,
28], as well as in [
22,
27,
29], the authors gave methods for generating infinite families of polyhedral. These construction approaches have been utilized in deriving electron counting rules for fullerenes [
22].
Theorem 7. The possible point groups and vertex counts of minimal examples for a (p3, p4, p5) biface cubic polyhedra are shown in Table 2 [30]. The outcomes of our ongoing investigation into the final 16 triplets are compiled.
Theorem 8. Ref. [26] identifies the possible point groups and vertex counts of minimal examples for cubic polyhedra with at least two face sizes chosen from {3, 4, 5} and no face larger than 6, based on their triple representation (p3, p4, p5). The results are shown in Table 3. Determining the Automorphism Group of Small Polyhedral Graphs: A Computational Approach
Here, we compute the symmetry/automorphism group of seventy (4, 5, 6) polyhedral graphs especially for fullerenes, as depicted in
Figure 7. All of them have automorphism groups that are isomorphic to the groups reported in
Table 4.
Lemma 1 (Cauchy—Frobenius Lemma). Ref. [4] Let G be a group acting on a set Ω. The number of orbits of G in Ω is given by the following: Example 1. Ref. [30] Consider now the fullerene graph with 96 vertices as depicted in Figure 8. We denote it by F96. Let us consider a rotation α that occurs around an axis passing through the midpoints of the front and back faces with an angle of 60°. Additionally, let us consider an axis symmetry element that fixes vertices {1, 4, 8, 18, 43, 44, 59, 60, 85, 88, 92, 95}. It can be proven that and . Consequently, Aut(F96) ≅ D96. Example 2. Consider now the fullerene graph with 48 vertices as depicted in Figure 9. Similar to the last case, we denote it by F48. In reference [25], it is proven that there are two automorphisms and which satisfy in the relation of the dihedral group . Hence we conclude that the automorphism group of polyhedral graph F48 is isomorphic with a dihedral group of order eight. 6. Applications of Automorphism Groups in Real Life
The concept of automorphism groups finds various applications in real-life scenarios. Some notable applications include the following:
Crystallography: Crystallography is a scientific discipline that studies the atomic and molecular structures of crystals. Crystals are solid materials whose atoms or molecules are arranged in a highly ordered, repeating pattern, extending in three dimensions. They exhibit various physical properties, such as transparency, hardness, and unique optical characteristics, which are closely related to their underlying atomic arrangement. Automorphism groups play a fundamental role in crystallography, the study of the atomic and molecular structures of crystals. Understanding the symmetries present in crystal structures is crucial for characterizing their physical properties. Automorphism groups help identify and classify symmetries in crystal lattices, aiding in the analysis and prediction of crystallographic patterns and properties. For example, reference [
9] gives examples of the use of the apparatus of group theory in research on crystallography, quantum mechanics, and elementary particle physics. In particular, in these studies matrix groups and representations of unitary groups are actively used.
Chemistry: The application of automorphism groups in chemical graph theory allows chemists to study the symmetry properties of molecules. By analyzing the automorphism group of a molecular graph, chemists gain insights into the spatial arrangement, symmetry elements, chemical reactivity, chirality, and molecular properties. This knowledge contributes to a deeper understanding of molecular behavior, aiding in the design of new compounds, drugs, and materials. In other words, in chemical graph theory, automorphism groups are utilized to study the symmetry properties of molecules. A molecular graph is a representation of a molecule where atoms are represented as vertices, and chemical bonds between atoms are represented as edges. The automorphism group of a molecular graph consists of all of the symmetries or transformations of the graph that preserve its structural characteristics, see [
31,
32,
33,
34,
35,
36,
37]. By analyzing the automorphism group of a molecular graph, chemists can gain insights into the spatial arrangement and symmetry elements present in the molecule, see [
38,
39,
40,
41].
Network Analysis: Automorphism groups are used in network analysis to identify symmetries and regular patterns in complex networks. By exploring the automorphism group of a network, researchers can detect repeated substructures, identify equivalent nodes or edges, and understand the overall network organization. This knowledge aids in various network-related applications, including community detection, data clustering, and network visualization, see [
40,
41].
Computer Graphics: Automorphism groups find applications in computer graphics and computer-aided design. By understanding the symmetries of geometric models and graphical objects, automorphism groups can be utilized for efficient rendering, modeling, and animation. They enable the creation of visually appealing and symmetrical designs and aid in shape manipulation and deformation techniques, see [
42,
43].
Coding Theory: Automorphism groups have applications in coding theory, a field that deals with the design and analysis of error-correcting codes. By studying the automorphism group of a code, researchers can identify symmetries that preserve code properties and aid in code optimization. This knowledge helps in constructing efficient codes with desirable symmetry properties, see [
14,
37,
38,
39] for more details.
Symmetry Detection: Automorphism groups are utilized in computer vision and pattern recognition for symmetry detection in images and patterns. By analyzing the automorphism group of an object or image, algorithms can identify and quantify the presence of symmetries, leading to applications such as object recognition, shape analysis, and image compression, see [
40].
Symmetry is a pervasive phenomenon presenting itself in all forms and scales, from galaxies to microscopic biological structures, in nature and man-made environments. Much of one’s understanding of the world is based on the perception and recognition of recurring patterns that are generalized by the mathematical concept of symmetries [
41,
42,
43]. Humans and animals have an innate ability to perceive and take advantage of symmetry in everyday life [
8,
18,
44,
45,
46,
47] while harnessing this powerful insight for machine intelligence remains a challenging task for computer scientists. These applications highlight the significance of automorphism groups in various domains, contributing to advancements in scientific research, technology development, and practical applications in real-life scenarios.
The study’s exploration of the relationship between symmetry groups and automorphism groups in graph theory provides a deeper understanding of the symmetries and structures inherent in graphs. This understanding can be leveraged in practical applications such as architecture, where the visual importance of symmetry plays a significant role in aesthetic judgment. By understanding the mathematical structure of the automorphism group and its capture of all graph symmetries, architects and designers can potentially apply this knowledge to create visually appealing and symmetrical structures.
Additionally, the study’s insights into the aesthetic experience of building façades and the influence of architectural expertise on preferences can be linked to the mathematical concepts explored. Understanding the relationship between symmetry groups and automorphism groups can provide a framework for analyzing and designing aesthetically pleasing structures based on human preferences for symmetry. Finally, the paper can demonstrate how the theoretical findings in graph theory have practical implications in fields such as architecture and design.
7. Conclusions
In conclusion, this paper has provided a comprehensive exploration of the relationship between symmetry groups and automorphism groups in graph theory. We have elucidated their definitions, properties, and applications. Understanding this relationship enhances our comprehension of the symmetries and structures inherent in graphs, enabling us to leverage these concepts in practical applications. Future research can build upon this foundation to further investigate the intricacies and implications of symmetry groups and automorphism groups in graph theory, see [
16,
48,
49,
50].