1. Introduction
Symmetry is a concept of fundamental significance in different fields of science, engineering, and art. Finding the symmetries of a given object is an important research problem in mathematics, as well as in other fields of science. This problem has its origins in a number of interrelated facts. In most cases, determining the symmetries of a given object will lead to a better understanding of its physical and mathematical properties. The importance and significance of the concept of symmetry have been emphasized in many recent research articles, see [
1,
2,
3] and references therein. This paper is concerned with symmetries of graphs and digraphs with possible extension to knots, links and spatial embedding of graphs in the three-dimensional Euclidean space. Indeed, our primary goal is to investigate the way the algebraic invariants of graphs interact with graph-symmetries. We confine our interest to the study of the question of how information about the symmetries of a given graph can be retrieved from its Tutte polynomial. Our motivation in this regard is twofold. First, we seek to find obstruction criteria for a graph to have a certain symmetry. Second, we would like to understand how faithful are these polynomials in reflecting graph properties. We start by giving some definitions and notations needed in the sequel. The reader is referred to [
4] for basic graph theory terminology.
Let
G be a graph with vertex set
and edge set
. Let
be an integer, the graph
G is said to be
p-periodic if its automorphism group,
, contains an element
h such that
, see [
5]. In other words, the finite cyclic group
acts on the set of vertices of the graph in a way that preserves the incidence. We distinguish two types of periodicity. If for any vertex
v, we have
for all
, then the graph is said to be
freely p-periodic. On the other hand, a graph
G is said to be
semi-freely p-periodic if
contains an element
h such that
and the set of fixed vertices by
h is nonempty. The fixed subgraph under this action is denoted hereafter by
F. It is worth mentioning here that if
G is semi-freely
p-periodic then the graph
is freely
p-periodic. For instance, the cycle graph
is freely
p-periodic whenever
p divides
n. While, for any
, the wheel graph
is semi-freely
p-periodic, whenever
p divides
n, with fixed subgraph the vertex of degree
n. Examples of a freely five-periodic graph and a semi-freely five-periodic graph are given in
Figure 1.
Given a p-periodic graph G, the action of the finite cycle group on G defines a quotient graph . This quotient is obtained by identifying the vertices which belong to the same orbit to a single vertex and contracting the edges between vertices of distinct orbits to a single edge.
A proper coloring of a graph
G is a labeling of its vertices using
k integers subject to the condition that adjacent vertices have different colors. The chromatic polynomial
is a classical invariant in graph theory, which counts the number of proper colorings of the vertices of the graph with
distinct colors. This extensively-studied polynomial can be recursively defined using a simple deletion–contraction formula. It is worth mentioning here that recent research work on graph colorings extends beyond the study of proper colorings. For more details, we refer the reader to [
6,
7] and references therein.
The Tutte polynomial
is an isomorphism invariant of graphs [
8,
9]. More precisely, it is a two-variable polynomial with integral coefficients which specializes to the chromatic and the flow polynomials. This invariant can also be defined recursively using a deletion-contraction formula. In this paper, we find it more convenient to write our results using Whitney’s rank generating polynomial
, which is a modified version of the Tutte polynomial. The two invariants are related by the formula
.
The importance of the Tutte polynomial comes not only from the large amount of information it carries about the graph, but also from its connection to other research fields such as knot theory and statistical physics. Indeed, the Jones and HOMFLY-PT polynomials of alternating links can be computed by using the Tutte polynomials of the Tait graphs associated with link diagrams [
10,
11]. On the other hand, the Tutte polynomial specializes to the partition function of the
q-state Potts model [
12].
The Tutte polynomial has been generalized into several directions. For instance, Negami [
13] introduced a three-variable polynomial
which specializes to the Tutte polynomial. Another interesting generalization has been obtained by Murasugi [
5] who defined a polynomial invariant of weighted graphs. Bollobas and Riordan [
14] introduced a kind of universal Tutte polynomial of colored graphs with respect to the deletion-contraction formula. Another important extension has been obtained recently by Awan and Bernardi [
15] who defined a version of Tutte polynomial for directed graphs. More precisely, they introduced a three-variable polynomial of digraphs
that specializes to the Tutte polynomial once we restrict to the underlying graphs obtained by ignoring the orientations.
The Tutte polynomial of
p-periodic graphs has been studied in [
16] where it was proved that this polynomial clearly reflects the periodicity of the graph as, after a suitable variable change, certain coefficients of this two-variable polynomial are null modulo
p. In a more recent paper [
17], we studied the behavior of the characteristic polynomial of freely periodic graphs and proved that this polynomial, with coefficients reduced modulo
p, satisfies a certain congruence relation. This result has also been extended to other graph polynomials and applied as obstruction criteria to prove that certain graphs are not freely periodic with prime periods. The purpose of this paper is to investigate the behavior of the Tutte polynomial of semi-freely periodic graphs. It is noteworthy that the main motivation for this research is the nice way the coefficients of the HOMFLY-PT polynomial interact with knot symmetries, see [
18,
19,
20] for instance. Similar results about the Yamada polynomial of symmetric spatial graphs can be found in [
21]. Recall that the connection between the Tutte polynomial and knot polynomials has been established in [
10,
11].
This paper is organized as follows. In
Section 2, we state our main results and illustrate that by some examples. In
Section 3, we define the Tutte polynomial and overview some of its properties. The proofs of our results are given in
Section 4. In
Section 5, we discuss similar research works on graph symmetry and their extension to symmetry of knots and spatial graphs. Another example that illustrates our results is given in the
Appendix A.
2. Results and Applications
In this section, we state our main results and give some examples. Indeed, we shall use Whitney’s rank generating polynomial to introduce necessary conditions for a graph to be semi-freely p-periodic, for p prime. These conditions can be seen as obstructions for semi-free periodicity of graphs.
Theorem 1. Let p be a prime and G be a semi-freely p-periodic connected graph with fixed subgraph F. Let , where . Assume that , then
- (a)
For all , we have modulo p, whenever .
- (b)
For the coefficients of the polynomial , there exist integers such that modulo p, for all .
Example 1. We shall now illustrate Theorem 1 by considering the Tutte polynomial of the complete 4-partite graph , see Figure 2. This graph is semi-freely 7-periodic with the complete 3-partite graph as fixed subgraph. Let denotes the Tutte polynomial of G with coefficients reduced modulo 7, then we have:Notice that in this example we have and the polynomial with coefficients reduced modulo 7 is given by:It is clear that satisfies condition (a) of Theorem 1. Indeed, we have modulo p for and . Condition (b) of Theorem 1 is also satisfied. Actually, it is clear that and modulo 7, for any . In other words, we have modulo 7.
Theorem 2. Let p be a prime and G be a semi-freely p-periodic connected graph with fixed subgraph F. Let , where . Assume that , then modulo p, whenever k is not congruent to modulo p, where .
Example 2. We shall show that the condition given by Theorem 2 holds for the complete 4-partite graph . Let us first examine the condition given by Theorem 2 for the polynomial . Let denotes the polynomial with coefficients reduced modulo 7. We have:For the graph G, we have and . The values taken by modulo 7, where are . Henceas one can observe from the formula above. For the polynomial , we haveOne may check easily that the condition given by Theorem 2 holds for , for any i. It is worth mentioning that Theorems 1 and 2 hold also in the case of freely p-periodic graphs. The necessary conditions write in the same way by taking F to be the empty graph, hence . More precisely, we have:
Corollary 1. Let p be a prime and G be a freely p-periodic connected graph. Let , where . Then, for all , we have modulo p, whenever .
Corollary 2. Let p be a prime and G be a freely p-periodic connected graph. Let , where . Then, modulo p, whenever k is not congruent to modulo p.
Remark 1. The conditions given by Theorems 1 and 2 can be better checked if the Tutte polynomial is displayed in matrix-form as explained in the Appendix A. 4. Proofs
In this section, we shall prove Theorems 1 and 2. Our main tool in these proofs is the subgraph expansion formula of the Tutte polynomial introduced in the previous section. Notice that for a connected graph
G, the expansion formula for Whitney’s rank polynomial writes as follows:
To prove Theorem 1 (a), we will start by settling the case
, the general case will be conducted similarly. Observe that the polynomial
corresponds to the contribution of the monomials
where
. The condition
implies that
S is indeed a spanning forest of the graph
G,
Note that the action of the cyclic group on G defines an action on the set of spanning forests of G. Since p is prime, then orbits under this action are made up of either 1 or p elements. If the orbit of a spanning forest is made up of p elements, then the contributions of the elements of this orbit to the polynomial add to zero modulo p. Consequently, only spanning forests which are fixed by the action are to be considered in our computation of modulo p. On the other hand, it can be easily seen that no tree can be fixed by the action unless it has a fixed vertex, hence it is adjacent to the fixed subgraph F. We conclude then that the number of trees in the spanning forest is of the from , where is a subgraph of F. Finally, since we assumed that , the coefficient of the monomial is zero modulo p whenever . Since F is nonempty, it can be easily seen that the coefficient of the monomial is also congruent to zero modulo p.
The proof for the other uses a similar argument. Note that the subgraphs that contribute to the value of are those satisfying the condition . Obviously, such a subgraph S has exactly i cycles. Again, only subgraphs S which are invariant by the action will be considered as the contribution of the other subgraphs will add to zero modulo p. Assume that S is an invariant subgraph of G that has i cycles. Then the action of the finite cyclic group on the components of S, either leaves a component fixed or the orbit of the component is made up of p elements. The assumption that the number of cycles is implies that each cycle is fixed under the action. Let n be the number of orbits made up each of p elements. Then . We conclude then that the coefficient of the monomial is congruent to zero modulo p whenever . This ends the proof of the first statement of Theorem 1.
Now, let us prove Theorem 1 (b). Recall that the coefficient counts the number of spanning trees which are invariant under the cyclic action, while counts the number of invariant spanning forests having components. Obviously, in this case one tree is fixed, while the other p trees are permuted cyclically by the action. Assume that modulo p for a certain integer . The coefficient is the number of spanning forests of G made up of two components each of which fixed by the action. Such spanning forest is obtained from a fixed spanning tree by removing an edge. Similarly, represents the number of invariant spanning forests made up of components. Such a forest admits two fixed trees and the other p trees are permuted cyclically by the action. Notice that this forest is obtained from a -component forest by removing one edge. This implies that modulo p. By the same arguments we can prove that modulo p and in general modulo p, for all . This ends the proof of Theorem 1 (b).
The proof of Theorem 2 is also based on the analysis of the subgraph expansion formula. Notice that is actually the sum of all monomials coming from the contribution of subgraphs S such that . More precisely . It is clear that the cyclic group acts on the set . Moreover, an orbit under this action is either made up of one or p elements. Only orbits made up of a single element will contribute to the summation modulo p. One can easily see that in this case is congruent to r modulo p, where . Thus, modulo p, whenever k is not congruent to modulo p, where . This completes the proof of Theorem 2.
5. Further Discussions
The graph symmetries considered in this paper have been also studied using other types of graph polynomials. For instance, Wang [
22] studied the characteristic polynomial of semi-freely periodic graphs and proved that such a polynomial factorizes into a product of a polynomial associated with the fixed subgraph
F and a polynomial associated with the free part of the action
. Feng, Kwak, and Lee proved a formula for the characteristic polynomials of graph coverings [
23]. These results have been extended to the Laplacian characteristic polynomial in [
24]. A similar study of the characteristic polynomial of symmetric graphs using block circulant matrices can be found in [
25]. It is worth mentioning here that most of the formulas introduced in the above mentioned papers express the polynomial of the symmetric graph
G in terms of the polynomial of its quotient graph
.
The advantage of the conditions introduced in Theorems 1 and 2 is that they do not involve the quotient graph. Hence, they can be easily used as obstructions to graph periodicity. Moreover, the obstructions for graph periodicity proved in this paper can be used to study the Jones and HOMFLY-PT polynomials of periodic knots. Recall that there is a simple way to associate a planar graph with any regular knot projection [
26]. Such a graph is called a Tait graph of the knot. If the knot
K is alternating, then its Jones polynomial
is obtained from the Tutte polynomial of its Tait graph, associated with an alternating projection, by
, see [
10]. A similar formula relating the Tutte polynomial and the HOMFLY-PT polynomial can be found in [
11]. On the other hand, a periodic alternating knot is represented by a periodic graph, see
Figure 3. A natural question that arises here is to investigate whether the conditions given by Theorems 1 and 2 extend to periodic knots. Recall that knot symmetries can be seen as a special case of the more general concept of topological symmetry groups. These groups have been introduced originally to study the symmetries of non-rigid molecules [
27]. Other interesting applications of knot symmetries in the field of chemistry can be found in [
28].