Signed Complete Graphs on Six Vertices
Deepak Sehrawat, Bikash Bhattacharjya

TL;DR
This paper classifies all sixteen signed complete graphs on six vertices up to switching isomorphism, extending known classifications for smaller complete graphs.
Contribution
It provides a complete enumeration of signed K6 graphs up to switching isomorphism, filling a gap in the classification of signed complete graphs.
Findings
Sixteen signed K6 graphs up to switching isomorphism
Extension of classification from smaller complete graphs
Provides a foundation for further studies in signed graph theory
Abstract
A signed graph is a graph whose edges are labeled positive or negative. The sign of a cycle is the product of the signs of its edges. Zaslavsky proved in 2012 that, up to switching isomorphism, there are six different signed Petersen graphs. It is also known that, up to switching isomorphism, there are two signed 's, three signed 's, and seven signed 's. In this paper, we prove that there are sixteen signed 's upto switching ismomorphism.
| 0 | 4 | 6 | 8 | 8 | 10 | 12 | 10 | 10 | 12 | 12 | 14 | 8 | 16 | 10 | 20 | |
| 0 | 12 | 18 | 20 | 24 | 22 | 24 | 18 | 26 | 24 | 20 | 18 | 24 | 12 | 30 | 0 | |
| 0 | 24 | 24 | 32 | 40 | 36 | 24 | 36 | 36 | 32 | 40 | 36 | 48 | 48 | 36 | 72 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Graph Labeling and Dimension Problems · Graph theory and applications
Signed Complete
Graphs on Six Vertices
Deepak
Department of Mathematics
Indian Institute of Technology Guwahati
Guwahati, India - 781039
Email: [email protected]
Bikash Bhattacharjya
Department of Mathematics
Indian Institute of Technology Guwahati
Guwahati, India - 781039
Email: [email protected]
Abstract
A signed graph is a graph whose edges are labeled positive or negative. The sign of a cycle is the product of the signs of its edges. Zaslavsky proved in 2012 that, up to switching isomorphism, there are six different signed Petersen graphs. It is also known that, up to switching isomorphism, there are two signed ’s, three signed ’s, and seven signed ’s. In this paper, we prove that there are sixteen signed ’s upto switching ismomorphism.
Keywords: Signed graph, Switching, Switching isomorphism.
1 Introduction
Throughout the paper we only consider simple graphs. For all the graph-theoretic terms that have not been defined but are used in the paper, see Bondy [1]. Harary [4] was the first to introduced signed graph and balance. Harary [2] used signed graphs to model social stress in small groups of people in social psychology. Subsequently, signed graphs have turned out to be valuable. The fundamental property of signed graphs is balance. A cycle is positive or negative according as the product of the signs of its edges is positive or negative. A signed graph is balanced if all its cycles are positive. The second basic property of signed graphs is switching equivalence. Switching is a way of turning one signature of a graph into another, without changing the sign of its cycles. Many properties of signed graphs are unaltered by switching, the set of unbalanced cycles is a notable example. The author in [9] described the non-isomorphic signed Petersen graph. In [6], the author have studied the non-isomorphic signatures on Heawood graph. In this paper we determine the non-isomorphic signatures on .
2 Preliminaries
A signified graph is a graph together with an assignment of or signs to its edges. If is the set of negative edges of a graph , then we denote the signified graph by . The set is called the signature of . Signature of graph can also be viewed as a function from to . A switching (resigning) of a signified graph at a vertex is to change the sign of each edge incident to . We say is switching equivalent or simply equivalent to if it is obtained from by a sequence of switchings. Equivalently, we say is switching equivalent to if there exist a function from to such that = for each edge . Switching defines an equivalence relation on the set of all signified graphs over (also on the set of signatures). Each such equivalence class is called a signed graph and is denoted by , where is any member of the class.
We say that two signified graphs and are isomorphic, denoted , if there exist a graph isomorphism which preserves the edge signs. Signified graphs and are called switching isomorphic if is isomorphic to a switching of . That is, there exist a signified graph which is equivalent to such that . We use the notation to mean that is switching isomorphic to .
Proposition 2.1**.**
[5]** If has edges, vertices and components, then there are distinct signed graphs on .
One of the first theorems in the theory of signed graphs is that the set of unbalanced cycles uniquely determines the class of signed graphs to which a signified graph belongs. More precisely, we state the following theorem.
Theorem 2.2**.**
[7]** Two signatures and are equivalent if and only if they have the same set of unbalanced cycles.
Thus if the signed graphs and have different sets of negative cycles, then they cannot be switching isomorphic.
3 Notations
In a signed graph , a signature which is equivalent to is said to be a minimal signature if the number of edges in is minimum among all equivalent signatures of . We denote the number of edges in by .
For example, if is balanced then = and so . Notice that there may be two or more than two minimal signatures for a signed graph . For example, in the signed graph , where = , the equivalent signatures and are minimal signatures. This shows that minimal signature of a signed graph is not unique.
Note that automorphism group of is , and it is vertex-transitive as well as edge-transitive. Thus it is easy to see that for any two isomorphic subgraphs of , there exist an automorphism of which maps one subgraph onto the other subgraph.
The notation denotes a signature which contains the edges of a graph . For example, in the graph of Figure 1, denotes a signature containing the edges and .
Further, we say that two signatures and of a graph are automorphic if there exists an automorphism of such that if and only if . If two signatures are automorphic then they are said to be automorphic type signatures. If two signatures and of a graph are not automorphic to each other, then we say that they are distinct automorphic type signatures. For example, in signed graphs and , the signatures and are automorphic type signatures.
The distance between two edges and of a graph , denoted by , is the number of vertices of a shortest path connecting their end points. For example, in the complete graph of Figure 1, for edges and , we have .
Throughout this paper, a negative edge in a signed graph is drawn as dashed line, and a positive edge is drawn as solid line. In the next section, we discuss signings on .
4 Signings on
The complete graph is shown in Figure 1.
For a signed graph , let the graph be such that = and = .
Theorem 4.1**.**
Let be a signed graph on vertices and let be an equivalent minimal signature of . Then for each vertex .
Proof.
Let, if possible, there exists a vertex such that . Resign at to get an equivalent signature . It is clear that . We apply the same operation on , if has a vertex of degree greater than . Repeated application, if needed, of this process will ultimately give us an equivalent signature of minimum number of edges such that degree of every vertex of is atmost . It is clear that , and every vertex of have degree atmost . ∎
As a particular case of Theorem 4.1, we get the following corollary.
Corollary 4.1.1**.**
Let be a signed graph and be an equivalent minimal signature of . Then the size of is at most 6.
Proposition 2.1 tells us that has distinct signed graphs. But in some respect, only 16 of them are different. Basically, we want to find the different signatures on upto switching isomorphism. Corollary 4.1.1 suggests that, it is enough to find the non-isomorphic signatures on of size upto six and vertex degree is atmost two. Further, is vertex as well as edge-transitive. We use these facts to find distinct automorphic type signatures of various sizes of in the following lemmas.
We denote a signature of size zero by . We know that is edge-transitive, so all signatures of size one are automorphic and we denote this automorphic type signature by .
Lemma 4.1**.**
The number of distinct automorphic type signatures of of size two is 2.
Proof.
For a signature of size two in , followings are the only possibilities.
- (i)
Edges of the signature form a path of length two. One of such signatures is . 2. (ii)
Edges of the signature are at distance two. One of such signatures is .
It is easy to see that, any other signature of of size two is either automorphic to or , and that is not automorphic to . This proves the lemma. ∎
Lemma 4.2**.**
The number of distinct automorphic type signatures of of size three is 4.
Proof.
For a signature of size three in , followings are the only possibilities.
- (i)
Edges of the signature form a path of length three. One of such signatures is . 2. (ii)
Two edges form a path and the third edge is at distance two from that path. One of such signatures is . 3. (iii)
All three edges are pairwise at distance two. One of such signatures is . 4. (iv)
The three edges of the signature form a cycle. One of such signature is .
It is clear that any other signature of size three of is automorphic to one of , , , or . Further, these four signatures are pairwise non-automorphic. This proves the lemma. ∎
Lemma 4.3**.**
The number of distinct automorphic type signatures of of size four is 5.
Proof.
For a signature of size three in , followings are the only possibilities.
- (i)
All four edges of the signature form a path. One of such signatures is . 2. (ii)
Three edges of the signature form a path and the remaining edge is at distance two from this path. One of such signatures is . 3. (iii)
Two edges of the signature lie on a path and other two edges lie on an another path, disjoint from the first path. One of such signatures is . 4. (iv)
Three edges of the signature form a cycle and the remaining edge is at distance two from that cycle. One of such signatures is . 5. (v)
All four edges of the signature form a cycle. One of such signatures is .
It is easy to see that any other signature of size four in is automorphic to one of , , , or . Further, these five signatures are pairwise non-automorphic. This proves the lemma. ∎
Lemma 4.4**.**
The number of distinct automorphic type signatures of of size five is 4.
Proof.
It is easy to see that any subgraph of having five edges and having maximum degree two cannot have two disjoint paths of length 1 and 4 or 2 and 3. Therefore for a signature of size five in , followings are the only possibilities.
- (i)
All the edges of the signature form a path of length five. One of such signatures is . 2. (ii)
Four edges of the signature form a cycle and the remaining edge is just a path of length one and disjoint from that cycle. One of such signatures is . 3. (iii)
Three edges of the signature form a cycle and the remaining two edges form a path of length two. One of such signatures is . 4. (iv)
All edges of the signature form a cycle. One of such signatures is .
It is clear that any other signature of size five of is automorphic to one of , , or . Also, these four signatures are pairwise non-automorphic. This proves the lemma. ∎
Lemma 4.5**.**
The number of distinct automorphic type signatures of of size six is 2.
Proof.
It is easy to see that a subgraph of having six edges and having maximum degree two is either a spanning cycle or union of two 3-cycles. One of such signatures whose edges form a spanning cycle is . Again, one of such signatures whose edges form two disjoint 3-cycles is . It is clear that any signature of size six of is automorphic to one of or . These two signatures are non-automorphic too. This proves the lemma. ∎
The signatures obtained in the previous five lemmas along with and give us 19 distinct automorphic type signatures of , viz., . Notice that any two signatures belonging to any one of , , , , or are not automorphic. However, two among these 19 signatures may be switching isomorphic to each other. We have the following observations.
- •
In , by resigning at , we get a signature which is automorphic to . Thus is switching isomorphic to , that is, .
- •
In , by resigning at , we get a signature which is auotomprphic to . Thus is switching isomorphic to , that is, .
- •
In , by resigning at , we get a signature which is automorphic to . Thus is switching isomorphic to , that is, .
Thus we are left with the signatures , , , , , , , , , , , , , , and , and their corresponding signified graphs are shown in Figure 2. Now we show that no two of these 16 signatures are switching isomorphic.
Theorem 4.2**.**
There are exactly 16 different signatures on upto switching isomorphism.
Proof.
Let the number of negative 3-cycles, number of negative 4-cycles and number of negative 5-cycles of a signified graph be denoted by , , and , respectively. These numbers for the sixteen signed depicted in Figure 2 are given in Table 1.
From Table 1 and Theorem 2.2, it is easy to see that all the signatures depicted in Figure 2 are pairwise non-isomorphic. This concludes the proof of the theorem. ∎
5 Conclusions and Remarks
We described the different signatures of complete graph upto switching isomorphism. In [8], Zaslavsky introduced the concepts of signed graph colouring and signed chromatic number of signed graphs. Zaslavsky also shown that these parameters are invariant under switching. So, study of these invariants for the sixteen non-isomorphic signatures of would be interesting.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] J. A. Bondy, and U. S. R. Murty, G r a p h 𝐺 𝑟 𝑎 𝑝 ℎ Graph T h e o r y 𝑇 ℎ 𝑒 𝑜 𝑟 𝑦 Theory , Graduate Text in Mathematics, Springer, 2007.
- 2[2] D. Cartwright, and Frank Harary, Structural balance: a generalization of Heider’s theory , Psychol. Rev. 63 (1956) 277–293.
- 3[3] R. Frucht, J. E. Graver, and M. E. Watkins, The groups of the generalized Petersen graphs , Proc. Cambridge Philos. Soc., 70 (1971), pp. 211–218.
- 4[4] F. Harary, On the notion of balance of a signed graph . Michigan Math J 2 (1953-54), 143–146.
- 5[5] R. Naserasr, Rollová, and E. Sopena, Homomorphisms of Signed Graphs . J. Graph Theory, 79: 178-212. doi:10.1002/jgt.21817.
- 6[6] V. Sivaraman, Seven signings of the Heawood graph . Phd Thesis, The Ohio State University, 2012.
- 7[7] T. Zaslavsky, Signed graphs . Discrete Appl Math 4(1) (1982), 47–74.
- 8[8] T. Zaslavsky, Signed graph coloring , Discrete Math. 39 (1982), no. 2, 215-228.
