Next Article in Journal
A New Ensemble Learning Algorithm Combined with Causal Analysis for Bayesian Network Structural Learning
Next Article in Special Issue
Mathematical Properties of Variable Topological Indices
Previous Article in Journal
Lagrangian Formulation of Free Arbitrary N-Extended Massless Higher Spin Supermultiplets in 4D AdS Space
Previous Article in Special Issue
Icosahedral Polyhedra from D6 Lattice and Danzer’s ABCK Tiling
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Transitivity on Minimum Dominating Sets of Paths and Cycles

by
Juan C. Hernández-Gómez
1,
Gerardo Reyna-Hérnandez
1,
Jesús Romero-Valencia
2,* and
Omar Rosario Cayetano
1
1
Faculty of Mathematics, Autonomous University of Guerrero, Carlos E. Adame 5, Col. La Garita, 39087 Acapulco, Guerrero, Mexico
2
Faculty of Mathematics, Autonomous University of Guerrero, Sauce 19, La Cima, 39086 Chilpancingo de los Bravo, Guerrero, Mexico
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(12), 2053; https://doi.org/10.3390/sym12122053
Submission received: 29 October 2020 / Revised: 20 November 2020 / Accepted: 23 November 2020 / Published: 11 December 2020
(This article belongs to the Special Issue Discrete and Fractional Mathematics: Symmetry and Applications)

Abstract

:
Transitivity on graphs is a concept widely investigated. This suggest to analyze the action of automorphisms on other sets. In this paper, we study the action on the family of γ -sets (minimum dominating sets), the graph is called γ -transitive if given two γ -sets there exists an automorphism which maps one onto the other. We deal with two families: paths P n and cycles C n . Their γ -sets are fully characterized and the action of the automorphism group on the family of γ -sets is fully analyzed.

1. Introduction

In graph theory there are several families of graphs that have been studied from different points of view, for example, in [1], infinite sequences of graphs determined by its generalized spectrum from certain small starter graphs are constructed. In [2], the chromatic number of sunlet and bistar families is found and in [3], the transversal domination number for some families, such as: bipartites, multipartites, paths, cycles, wheels and sunlets, is computed.
Domination in graphs and its variations are topics comprehensively studied and many papers have been written about it, since γ -sets (dominating sets of minimum cardinality) or the domination number is an NP-complete problem for arbitrary graphs [4], most of them focus on finding and describing bounds for the domination number, for example in terms of the order [5], minimum or maximum degree [6] or size [7], to name a few. The study of dominant sets, γ -sets and the domination number has attracted the attention of mathematicians due to the applications these concepts have in areas as diverse as social networks, chemical compounds, optimization problems, among others [8]. Moreover, there have been new treatments developed around these concepts, for example k-domination and distance k-dominating sets, see [9,10].
In this paper, we deal with paths and cycles, emphasizing on characterization of minimum dominating sets and the action of the automorphism group on these sets. In addition to being important by themselves, because of their graph-theoretic properties, these families belong to a widely studied class of graphs called “chemical graphs”, broadly speaking they are graphs associated to a molecular structure of chemical compounds. For example, the molecular structure of butane ( C 4 H 10 ) can be identified with the path P 4 and that of the cyclopentane ( C 5 H 10 ) with the cycle C 5 .
By graph, we mean a simple graph with no loops and it is denoted by Γ = ( V , E ) , where V and E are the vertices and edges sets, respectively. We use the following concepts, notation and results of graph theory. Let Γ = ( V , E ) be a graph:
  • for v V , N ( v ) denotes its neighborhood; that is, N ( v ) = { x V : x v E } and N [ v ] = N ( v ) { v } ;
  • for v V , deg v denotes its degree; that is, deg v = | N ( v ) | ;
  • for S V , N ( S ) = v S N ( v ) and N [ S ] = N ( S ) S ;
  • D V is a dominating set if N [ D ] = V ;
  • the domination number of Γ is:
    γ ( Γ ) = min { | D | : D V is dominating } ;
  • D V is a γ -set if D is a dominating set of cardinality γ ; that is, a minimum dominating set;
  • D γ = { D V : D is a γ - set } ;
  • for Γ connected and u , v V , the distance between u and v is:
    d ( u , v ) = min { length of u v walks } .
An automorphism of Γ is an element σ S V ; that is, a permutation of V, which satisfies
u v E if and only if σ ( u ) σ ( v ) E ,
we denote the set of all automorphisms of Γ by Aut Γ , which is, in fact, a subgroup of S V . In what follows, S n denotes the symmetric group on n letters. We use freely the following facts about the automorphism groups we are interested in:
  • Aut P n S 2 , with P n the path graph;
  • Aut C n D n , with C n the cycle graph and D n the dihedral group (the rigid motions taking a regular n-gon back to itself, with the composition) which has the presentation ρ , μ : ρ n = 1 = μ 2 , ρ μ = μ ρ 1 .
An action of a group G on a set X is a function A : G × X X such that
  • A ( g 1 , A ( g 2 , x ) ) = A ( g 1 g 2 , x ) , for all g 1 , g 2 G and x X ;
  • A ( 1 , x ) = x , for all x X , where 1 G is the identity.
If x X , the orbit of x is the set
O ( x ) = { A ( g , x ) : g G } X ,
and the collection of all orbits give a partition of X. The action is called transitive if there is only one orbit; that is, given x 1 , x 2 X , there exists g G such that A ( g , x 1 ) = x 2 .
It is clear that any subgroup G < S X acts on X in a natural way as follows
A ( σ , x ) = σ ( x ) .

2. Results

It is known that if Γ = ( V , E ) then Aut Γ acts naturally on V and on E, when this action is transitive on V, Γ is called vertex-transitive, and edge-transitive if it is on E. In [11], γ -transitive graphs are defined, they are those where the action of Aut Γ on minimum dominating sets is transitive; that is, given D 1 , D 2 D γ , there is σ Aut Γ such that σ ( D 1 ) = D 2 . We may observe easily the following facts:
  • any graph with just one minimum dominating set is trivially γ -transitive;
  • if the cardinality of D γ is greater than the order of Aut Γ , then Γ is not γ -transitive.
In this section we fully characterize γ -sets and analyze in detail the action of Aut Γ on D γ for path and cycle graphs to decide if they are γ -transitive. If they are not, then we compute all the orbits.

2.1. Minimum Dominating Sets and Transitivity on Paths and Cycles

2.1.1. Path Graphs

Let n be a positive integer and consider the path graph P n = ( V , E ) which is defined as follows:
V = { v 1 , , v n } and E = { v 1 v 2 , , v n 1 v n } .
Figure 1, Figure 2 and Figure 3 show the P 21 , P 20 and P 19 graphs, respectively. We may observe that
deg v i = 1 , for i = 1 , n ; 2 , for i = 2 , , n 1 .
A well known fact is that γ ( P n ) = k , for n = 3 k , 3 k 1 and 3 k 2 .The following lemmas characterize γ -sets for these graphs, they are properly counted and the action of the automorphism group on D γ is analyzed.
Lemma 1.
For n = 3 k , D = { x 1 , , x k } is a minimum dominating set if and only if deg x i = 2 , for i = 1 , , k , and N ( x i ) N ( x j ) = , for i j .
Proof. 
Suppose that there is x i D with deg x i = 1 or that there are u , v D such that N ( u ) N ( v ) , then
| N [ D ] | = | N [ x 1 ] N [ x k ] | < | N [ x 1 ] | + + | N [ x k ] | = 3 k ,
thus, D is not a dominating set.
Conversely, if deg x i = 2 , for i = 1 , , k and no pair of vertices share neighbors, we have
| N [ D ] | = | N [ x 1 ] N [ x k ] | = | N [ x 1 ] | + + | N [ x k ] | = 3 k ,
which implies, N [ D ] = V ; that is, D is a γ -set. □
Observe that Lemma 1 implies that
D = { v 2 , v 5 , , v n 1 }
is the unique γ -set for P 3 k . Figure 1 shows this set for P 21 .
Lemma 2.
For n = 3 k 1 , D = { x 1 , , x k } is a minimum dominating set if and only if one of the following conditions hold:
i. 
N ( x i ) N ( x j ) = , for i j , and deg x = 2 for all but one vertex;
ii. 
there exists a unique pair of vertices x r , x s D such that | N ( x r ) N ( x s ) | = 1 , N ( x i ) N ( x j ) = , for i , j r , s , and deg x i = 2 , for i = 1 , , k .
Proof. 
Suppose that D is a dominating set and let t denote the number of unordered pairs of distinct vertices x , y D such that N ( x ) N ( y ) ; that is, | N ( x ) N ( y ) | = 1 . We proceed by cases.
  • If v 1 , v n D , then
    | N ( D ) | = 2 + ( k 2 ) 2 t = 2 k 2 t < 2 k 1 ,
    which contradicts D being dominating.
  • If D contains just one vertex of degree 1, then
    | N ( D ) | = 1 + ( k 1 ) 2 t = 2 k 1 t ,
    so t = 0 , that is, D satisfies (i).
  • Finally, suppose that all vertices in D have degree 2, then
    | N ( D ) | = 2 k t .
    Note that 3 k 1 = | N [ D ] | = | N ( D ) | + | D | | N ( D ) D | . If t = 0 , then necessarily | N ( D ) D | = 1 , but this is not possible. Supposing t > 1 contradicts D being a dominating set. Thus, t = 1 and D satisfies condition (ii).
Conversely, if N ( x i ) N ( x j ) = , for i j , and every vertex but one has degree 2, then
| N [ D ] | = ( k 1 ) 3 + 2 = 3 k 1
and D is a dominating set. Now suppose that there is exactly one pair of vertices x r , x s D such that | N ( x r ) N ( x s ) | = 1 and N ( x i ) N ( x j ) = , for i , j r , s , and deg x i = 2 , for i = 1 , , k , as before, we obtain | N [ D ] | = 3 k 1 and, therefore, D is dominating. □
Remark 1.
By Lemma 2 we may deduce that there are exactly two minimum dominating sets satisfying the first condition
D 1 = { v 1 , v 4 , , v 3 k 2 } and D 2 = { v 2 , v 5 , , v 3 k 1 }
and k 1 satisfying the second one
D 2 , 4 = { v 2 , v 4 , v 7 , v 10 , , v 3 k 5 , v 3 k 2 } D 5 , 7 = { v 2 , v 5 , v 7 , v 10 , , v 3 k 5 , v 3 k 2 } D 8 , 10 = { v 2 , v 5 , v 8 , v 10 , , v 3 k 5 , v 3 k 2 } D 3 k 4 , 3 k 2 = { v 2 , v 5 , v 8 , v 11 , , v 3 k 4 , v 3 k 2 } .
In fact, if D V is a γ-set and we consider
a = | { v i D : i 2 mod 3 } | b = | { v i D : i 1 mod 3 } | c = | { v i D : i 0 mod 3 } | ,
there is a one-to-one correspondence between these γ-sets and triplets ( a , b , c ) such that a + b + c = k , a , b > 0 and c = 0 . Indeed, we may observe that the correspondence is given by
D 3 a 1 , 3 a + 1 ( a , k a , 0 ) .
Figure 2a shows the γ -set D 1 and Figure 2b the γ -set D 8 , 10 , respectively, for P 20 .
Lemma 3.
For n = 3 k 2 , D = { x 1 , , x k } is a minimum dominating set if and only if one of the following conditions hold:
i. 
N [ x i ] N [ x j ] = , for i j , and v 1 , v n D ;
ii. 
there are exactly two distinct vertices x r , x s D sharing a neighbor, N [ x i ] N [ x j ] = , for i , j r , s , and every vertex in D has degree 2, but one;
iii. 
deg x = 2 for all x D and there are exactly two distinct vertices x r , x s D such that x r x s E and N [ x i ] N [ x j ] = , for i , j r , s ; or
iv. 
deg x = 2 for all x D and there exist x r , x s , x a , x b D such that | N [ x r ] N [ x s ] | = 1 , | N [ x a ] N [ x b ] | = 1 and N [ x i ] N [ x j ] = , for i , j r , s , a , b .
Proof. 
Suppose that D is a dominating set and, as in the proof of Lemma 2, let t denote the number of unordered pairs of distinct vertices x , y D which share neighbors.
  • Suppose that D contains vertices of degree 1.
    If v 1 , v n D , since D is dominating and
    | N ( D ) | = 2 + 2 ( k 2 ) t = 2 k 2 t
    necessarily t = 0 and condition (i) is satisfied.
    If D contains just one vertex of degree one, then
    | N ( D ) | = 1 + 2 ( k 1 ) t = 2 k 1 t
    implies t = 1 , which is condition (ii).
  • Suppose deg x = 2 for all x D .
    If t = 0 then | N ( D ) | = 2 k and, since | N [ D ] | = 3 k 2 , necessarily | D N ( D ) | = 2 and the two vertices in this intersection form an edge, moreover, no other vertices share neighbors, thus, D satisfies (iii).
    If t 1 , we get | N ( D ) | = 2 k t , obtaining t = 2 and D satisfies (iv).
Conversely, if D satisfies (i), then
| N [ D ] | = i = 1 k | N [ x i ] | = ( 2 ) 2 + ( k 2 ) 3 = 3 k 2 .
If D satisfies condition (ii), we get
| N [ D ] | = | i r , s N [ x i ] N [ x r ] N [ x s ] | = | i N [ x i ] | | N [ x r ] N [ x s ] | = 2 + ( k 1 ) 3 1 = 3 k 2 .
Analogously the other cases. Therefore, in any case, D is a dominating set. □
It is important to note that condition (iv) is true for k 3 . Considering the triplets ( a , b , c ) of nonnegative integers such that a + b + c = k , as above, this lemma implies the following facts.
There is just one γ -set satisfying condition (i), namely,
{ v 1 , v 4 , , v 3 k 5 , v 3 k 2 } ,
which corresponds to ( 0 , k , 0 ) .
Proposition 1.
There is a one-to-one correspondence between minimum dominating sets that satisfies condition (ii) and triplets ( a , b , c ) such that a , b > 0 and c = 0 or b , c > 0 and a = 0 . Thus, the number of γ-sets of this kind is 2 ( k 1 ) .
Proof. 
If D satisfies (ii), it contains a vertex of degree 1, say v 1 , since there are exactly two vertices sharing a neighbor they must be of the form v r and v r + 2 ; moreover, preceding vertices to v r have disjoint closed neighborhoods, so that the first vertices should be v 1 , v 4 , , v 3 b 2 = v r and, by the same argument, the vertices after v r + 2 = v 3 b must be v 3 ( b + 1 ) , v 3 ( b + 2 ) , , v 3 ( k 1 ) . Thus, the triplet corresponding to D is ( 0 , b , 3 k b ) . Analogously, if v n D , the triplet corresponding to D is ( 3 k b , b , 0 ) .
Conversely, given a triplet ( a , b , c ) such that a + b + c = k and a = 0 or c = 0 , we may construct easily the corresponding set as follows
D = { v 1 , v 4 , , v 3 b 2 , v 3 b , v 3 b + 3 , , v 3 k 3 } , if   a = 0   and   c = 3 k b ; { v 2 , v 5 , , v 3 b 1 , v 3 b + 1 , v 3 b + 4 , , v 3 k 2 } , if   c = 0   and   a = 3 k b .
Therefore, there are 2 ( k 1 ) γ -sets satisfying condition (ii). □
Proposition 2.
There is a one-to-one correspondence between minimum dominating sets that satisfy condition (iii) and triplets of natural numbers ( a , b , c ) such that b = 0 and a , c > 0 . Thus, the number of γ-sets corresponding to these triplets is k 1 .
Proof. 
Let D be a γ -set satisfying condition (iii), thus every vertex has degree 2. It contains two vertices forming an edge, say v r , v r + 1 , and N [ x i ] N [ x j ] = , for i , j r , r + 1 . Since every vertex has degree 2 and preceding vertices to v r have disjoint closed neighborhoods, the first vertices should be v 2 , v 5 , , v 3 a 1 = v r , which implies v r + 1 = v 3 a and the same argument shows that the following vertices are v 3 ( a + 1 ) , v 3 ( a + 2 ) , , v 3 ( k 1 ) . Thus, the triplet corresponding to D is ( a , 0 , k a ) .
Conversely, given a triplet ( a , 0 , c ) such that a + c = k and a , c > 0 we may construct the γ -set
{ v 2 , v 5 , , v 3 a 1 , v 3 a , v 3 a + 3 , v 3 a + 6 , , v 3 k 3 } ,
which clearly satisfies condition (iii).
Therefore, there are k 1 γ -sets satisfying this condition. □
Proposition 3.
There is a one-to-one correspondence between minimum dominating sets that satisfy condition (iv) and triplets of natural numbers ( a , b , c ) such that a , b , c > 0 . Moreover, the number of γ-sets satisfying this condition is ( k 2 ) ( k 1 ) 2 .
Proof. 
Let D be a γ -set satisfying condition (iv); that is, every vertex has degree 2, it contains four vertices (not necessarily different) sharing a neighbor, say v r , v r + 2 , v s , v s + 2 , and N [ x i ] N [ x j ] = , for i or j r , r + 2 , s , s + 2 . Applying an analogous argument as in the previous cases, we may infer that the first vertices are v 2 , v 5 , , v 3 a 1 = v r , the vertices after v r + 2 = v 3 a + 1 must be v 3 ( a + 1 ) + 1 , v 3 ( a + 2 ) + 1 , , v 3 ( a + b ) + 1 = v s and the vertices following v s + 2 = v 3 ( a + b + 1 ) are v 3 ( a + b + 2 ) , v 3 ( a + b + 3 ) , , v 3 ( k 1 ) . Thus, the triplet corresponding to D is ( a , b , k ( a + b ) ) .
Conversely, given a triplet ( a , b , c ) such that a + b + c = k and a , b , c > 0 , we get the following γ -set
{ v 2 , v 5 , , v 3 a 1 , v 3 a + 1 , v 3 ( a + 1 ) + 1 , , v 3 ( a + b ) + 1 , v 3 ( a + b + 1 ) , , v 3 ( k 1 ) } ,
which fulfills condition (iv).
Observe that there are ( k 2 ) triplets having a = 1 , ( k 3 ) with a = 2 and so on. When a = k 2 , there is just one triplet, namely, ( k 2 , 1 , 1 ) . Thus, there are 1 + 2 + + ( k 2 ) = ( k 2 ) ( k 1 ) 2 γ -sets satisfying condition (iv). □
Figure 3a shows the γ -set which satisfies condition (i), Figure 3b shows the one that satisfies condition (ii) corresponding to ( 0 , 4 , 3 ) , Figure 3c the one satisfying condition (iii) corresponding to ( 4 , 0 , 3 ) and Figure 3d the set of the fourth kind which corresponds to ( 2 , 3 , 2 ) , respectively, for P 19 .
Recall that Aut P n = { 1 , σ } S 2 , for n 2 , where 1 is the identity and σ is the automorphism given (on subindices) by
i n + 1 i ,
and note that
n = 3 k n + 1 i 2 i + 1 mod 3 n = 3 k 1 n + 1 i 2 i + 21 mod 3 n = 3 k 2 n + 1 i 2 i + 2 mod 3 .
Theorem 1.
Let n be a positive integer, considering the action of Aut P n on D γ , we have:
i. 
P 3 k is γ-transitive;
ii. 
for n = 3 k 1 there are k 1 2 + 1 orbits;
iii. 
for n = 3 k 2 and k 3 , there are k 2 2 + 1 2 ( k 1 ) ( k 2 ) 2 k 2 2 orbits.
Proof. 
By the comment made after Lemma 1, we know that there is just one γ -set for P 3 k , so that P 3 k is trivially γ -transitive.
If n = 3 k 1 , by Lemma 2 we know that there are γ -sets of two kinds: those which contain a vertex of degree 1, denoted by D 1 and D 2 , and those which are in correspondence with triplets ( a , k a , 0 ) ; moreover, σ ( i ) 2 i mod 3 . Clearly, σ ( D 1 ) = D 2 and the image under σ of the γ -set corresponding to ( a , k a , 0 ) is the one corresponding to ( k a , a , 0 ) ; that is,
O ( D 1 ) = { D 1 , D 2 } and O ( D 3 a 1 , 3 a + 1 ) = { D 3 a 1 , 3 a + 1 , D 3 ( k a ) 1 , 3 ( k a ) + 1 } .
Thus, there are 1 + k 1 2 orbits.
If n = 3 k 2 , Lemma 3 implies that there are four kinds of γ -sets and σ ( i ) 2 i + 2 mod 3 . We proceed by cases.
In the first case there is just one γ -set which corresponds to ( 0 , k , 0 ) and its image under σ is itself; thus, O ( 0 , k , 0 ) = { ( 0 , k , 0 ) } .
In the second case, γ -sets are in correspondence with triplets ( a , b , c ) such that a , b > 0 and c = 0 or b , c > 0 and a = 0 . If D corresponds to ( 0 , b , c ) , then σ ( D ) corresponds to ( c , b , 0 ) , and viceversa. A γ -set corresponding to ( a , b , 0 ) is mapped to that corresponding to ( 0 , b , a ) . This implies that the orbit of one of these sets contains exactly two of them. Thus, there are k 1 orbits.
In the third one, the correspondence is with triplets ( a , b , c ) such that b = 0 and a , c > 0 . The image of the set corresponding to ( a , 0 , c ) is the one that corresponds to ( c , 0 , a ) . Note that the orbit is a singleton if and only if a = c , which happens when k is even and 2 a = k , so there are k 1 2 orbits.
Finally, in the last case the correspondence is with triplets ( a , b , c ) such that a , b , c > 0 . We may observe that if D corresponds to ( a , b , c ) , then σ ( D ) corresponds to ( c , b , a ) , and, as in the last case, the orbit is a singleton if and only if a = c . In this sub-case the triplets are ( a , k 2 a , a ) and, since k 2 a > 0 , there are k 2 2 of these sets. Thus, there are 1 2 ( k 1 ) ( k 2 ) 2 k 2 2 orbits with two elements. □
The remaining cases n = 3 k 2 for k = 1 , 2 are as follows: P 1 is trivially γ -transitive and we may observe easily that P 4 has four γ -sets
D 1 = { v 1 , v 4 } ( 0 , 2 , 0 ) , D 2 = { v 1 , v 3 } ( 1 , 1 , 0 ) , D 3 = { v 2 , v 4 } ( 0 , 1 , 1 ) , D 4 = { v 2 , v 3 } ( 1 , 0 , 1 ) ;
and three orbits
O ( D 1 ) = { D 1 } , O ( D 2 ) = { D 2 , D 3 } and O ( D 4 ) = { D 4 } .

2.1.2. Cycle Graphs

For an integer n 3 , consider the cycle graph C n = ( V , E ) , where V = { v 1 , , v n } and E = { v 1 v 2 , , v n 1 v n , v n v 1 } , Figure 4, Figure 5 and Figure 6 show the C 21 , C 20 and C 19 graphs, respectively. In this section, we use freely that the domination number of C n is k, for n = 3 k , 3 k 1 and 3 k 2 .
The proof of the following lemma is completely analogous to that of Lemma 1 and it is omitted.
Lemma 4.
For n = 3 k , D = { x 1 , , x k } is a minimum dominating set if and only if N [ x i ] N [ x j ] = , for i j .
This lemma implies that there are exactly three γ -sets for C 3 k , namely,
D 1 = { v 1 , v 4 , , v 3 k 2 } , D 2 = { v 2 , v 5 , , v 3 k 1 } and D 3 = { v 3 , v 6 , , v 3 k } .
Figure 4 shows the set D 1 for C 21 .
Lemma 5.
For n = 3 k 1 , D = { x 1 , , x k } is a minimum dominating set if and only if there is exactly one pair of vertices x r , x s such that | N [ x r ] N [ x s ] | = 1 and N [ x i ] N [ x j ] = , for i j and { i , j } { r , s } .
Proof. 
Suppose that D is a γ -set and, as in the previous section, let t denote the number of unordered pairs of distinct vertices x , y D which share neighbors. D dominating implies | N ( D ) | = 2 k 1 and since, in general, | N ( D ) | = 2 k t , we have t = 1 . Thus, there is exactly one pair of vertices sharing a neighbor.
Now, if there are exactly two vertices sharing a neighbor, then
| N [ D ] | = | N [ x 1 ] N [ x k ] | = | N [ x 1 ] | + + | N [ x k ] | 1 = 3 k 1 ,
thus, D is a γ -set. □
By Lemma 5, we may observe that there is a one-to-one correspondence between D γ and V given by
D i v i , with v i the unique neighbor shared by two vertices of D i ,
thus, there are n sets of this kind:
D i = { v i + 1 , v i + 4 , , v i + 3 k 4 } , i = 1 , , n ,
where subindices are taken modulo n = 3 k 1 . In Figure 5 is shown the set D 1 for C 20 .
Lemma 6.
For n = 3 k 2 and k 3 , D = { x 1 , , x k } is a minimum dominating set if and only if one of the following conditions hold:
i. 
there exists a unique pair of vertices x r , x s D such that x r x s E and N [ x i ] N [ x j ] = , for i , j r , s ; or
ii. 
there are exactly two pairs of vertices x r , x s and x a , x b in D sharing a neighbor and no other vertices share neighbors.
Proof. 
Let D V be a γ -set, as above, t denotes the number of unordered pairs of vertices that shares a neighbor. Since D is a γ -set, we have
3 k 2 = | D N ( D ) | = | D | + | N ( D ) | | D N ( D ) |
which implies | D N ( D ) | = 2 t . We proceed by cases.
  • If t = 0 , | D N ( D ) | = 2 and these vertices form an edge, which is condition (i).
  • t = 1 is not possible, as we noted in introduction.
  • If t = 2 , | D N ( D ) | = 0 and there are two pairs of distinct vertices x r , x s and x a , x b sharing a neighbor, satisfying condition (ii).
Conversely, if D = { x 1 , , x k } is a set satisfying condition (i), we get
| N [ D ] | = | i r , s N [ x i ] N [ x r ] N [ x s ] | = | i r , s N [ x i ] | + | N [ x r ] N [ x s ] | = 3 k 2 ,
which implies that D is a γ -set. Analogously if D satisfies condition (ii). □
There is a one-to-one correspondence between γ -sets satisfying the first condition and E. This correspondence is given by
D i e i , where e i is the edge x i x i + 1 .
Figure 6a shows the set D 1 corresponding to e 1 for C 19 .
Proposition 4.
For those γ-sets that satisfy (ii), we have two cases:
  • x b = x r , obtaining nγ-sets of this kind; or
  • x r , x s , x a and x b are all different, getting k 2 2 n γ-sets of this kind for k odd and n + k 2 2 for k even.
Proof. 
In the first case, there is a one-to-one correspondence between these γ -sets and V as follows
D i x r , where x r is the vertex that shares a neighbor with other two ,
thus, there are n = 3 k 2 sets of this kind.
In the second one, we may obtain a one-to-one correspondence between these γ -sets and pairs of vertices u , v such that d ( u , v ) = 3 l + 2 , for l = 1 , 2 , , k 2 2 , namely,
D u , v { u , v } , where u = N [ x r ] N [ x s ] and v = N [ x a ] N [ x b ] .
Note that if 3 l + 2 < n 2 , there are exactly n pairs of vertices verifying this condition: v i and v i + 3 l + 2 , for 1 = 1 , , n and i + 3 l + 2 taken modulo n. When 3 l + 2 = n 2 , which happens if and only if k = 2 d and l = d 1 , there are just n 2 pairs of these vertices: v i and v i + 3 d 1 , for i = 1 , , 3 d 1 . Thus, there are k 2 2 n γ -sets of this kind for k odd and n + k 2 2 for k even. □
Figure 6b shows the set D 1 , corresponding to v 1 , and in Figure 6c is shown the set D 1 , 9 , corresponding to the pair { v 1 , v 9 } , for C 19 .
It is known that Aut C n D n = ρ , μ : o r d ρ = n , o r d μ = 2 , μ ρ = μ ρ 1 , where ρ may be considered as a rotation by 360 / n and μ the reflection across the symmetry line that fixes v 1 of the regular n-gon, thus,
ρ ( v i ) = v i + 1 ρ ( e i ) = e i + 1 μ ( v i ) = v n + 2 i μ ( e i ) = e n + 1 i .
Theorem 2.
Let n be a positive integer, considering the action of Aut C n on D γ , we have:
i. 
C 3 k is γ-transitive;
ii. 
C 3 k 1 is γ-transitive;
iii. 
for C 3 k 2 there are 2 + k 2 2 orbits.
Proof. 
By Lemma 4, we know that D 1 , D 2 and D 3 are the three γ -sets for C 3 k , and clearly ρ ( D 1 ) = D 2 and ρ 2 ( D 1 ) = D 3 ; thus, C 3 k is γ -transitive.
If n = 3 k 1 , the correspondence between D γ and V ensures that ρ i ( D 1 ) = D i + 1 , for i = 1 , , n 1 , so that C 3 k 1 is γ -transitive.
For n = 3 k 2 , Lemma 6 implies that there are two kinds of γ -sets by cases.
In the first case, the correspondence between γ -sets and E implies that ρ i ( D 1 ) = D i + 1 , for i = 1 , , n 1 and μ ( D i ) = D n + 1 i ; thus, this orbit has n elements.
In the second case, there are two subcases. In the first one, γ -sets are in correspondence with the vertex set and clearly the orbit has n elements. In the second, the correspondence is between γ -sets and unordered pairs of vertices whose distance is 3 l + 2 , for l = 1 , 2 , , k 2 2 . Let D i be the γ -set corresponding to the pair of vertices v i , v i + 3 l + 2 , thus ρ j 1 ( D 1 ) = D j and μ ( D i ) = D n ( i + 3 l ) . Therefore, O ( D i ) comprises all γ -sets of this kind, n if 3 l + 2 < n 2 and n 2 if 3 l + 2 = n 2 . □

3. Concluding Remarks

In this work we have studied γ -transitivity for paths and cycles observing that our main tool is to characterize completely minimum dominating sets for each family and when a graph is not γ -transitive the orbits are computed. We have already observed that when the characterization has at least two kinds of γ -sets, the graph does not satisfy the property and has as many orbits as these kinds. As we noted above, this work was motivated by a previous research on Platonic graphs [11], in which is shown which of them are γ -transitive and why some are not. The main difference with this is that, when a graph does not have this feature, the orbits are exhibited.
There are several questions to be answered; for example, what families happen to have this attribute or are there any necessary or sufficient conditions for ensuring this property is fulfilled?

Author Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Fenjin, L.; Johannes, S.; Wei, W. New families of graphs determined by their generalized spectrum. Discret. Math. 2019, 342, 1108–1112. [Google Scholar]
  2. Rani, A.V.; Parvathi, N. Chromatic number of some families of graphs. J. Discret. Math. Sci. Cryptogr. 2019, 22, 1141–1149. [Google Scholar] [CrossRef]
  3. Nayaka, S.R.; Anwar, A. Puttaswamy. Transversal domination in graphs. Gulf J. Math. 2018, 6, 41–49. [Google Scholar]
  4. Garey, M.R.; Johnson, D.S. Computers and Intractability: A Guide to the Theory of NP-Completeness; W.H. Freeman and Company: San Francisco, CA, USA, 1979. [Google Scholar]
  5. Fink, J.F.; Jacobson, M.S.; Kinch, L.F.; Roberts, J. On graphs having domination number half their order. Period. Math. Hung. 1985, 16, 287–293. [Google Scholar] [CrossRef]
  6. Flach, P.; Volkmann, L. Estimations for the domination number of a graph. Discret. Math. 1990, 80, 145–151. [Google Scholar] [CrossRef] [Green Version]
  7. Sanchis, L.A. Maximum number of edges in connected graphs with a given domination number. Discret. Math. 1991, 87, 65–72. [Google Scholar] [CrossRef] [Green Version]
  8. Golovach, P.A.; Heggernes, P.; Kanté, M.M.; Kratsch, D.; Villanger, Y. Enumerating minimal dominating sets in chordal bipartite graphs. Discret. Appl. Math. 2016, 199, 30–36. [Google Scholar] [CrossRef]
  9. Bermudo, S.; Hernández-Gómez, J.C.; Sigarreta, J.M. On the total k—domination in graphs. Discuss. Math. Graph Theory 2018, 38, 301–317. [Google Scholar] [CrossRef]
  10. Bermudo, S.; Cabrera, A.; Hernández-Mira, F.A.; Sigarreta, J.M. On the global total k-domination number of graphs. Discret. Appl. Math. 2019, 263, 42–50. [Google Scholar] [CrossRef]
  11. Romero-Valencia, J.; Parra-Vargas, D.M.; Hernández-Gómez, J.C. γ—transitivity in Platonic graphs. Adv. Appl. Discret. Math. 2017, 18, 425–436. [Google Scholar] [CrossRef]
Figure 1. The γ -set for P 21 .
Figure 1. The γ -set for P 21 .
Symmetry 12 02053 g001
Figure 2. Minimum dominating sets of the two different kinds for path graphs. (a) The γ -set D 1 for P20. (b) The γ -set corresponding to (3, 4, 0) for P20.
Figure 2. Minimum dominating sets of the two different kinds for path graphs. (a) The γ -set D 1 for P20. (b) The γ -set corresponding to (3, 4, 0) for P20.
Symmetry 12 02053 g002
Figure 3. Minimum dominating sets for the path graph P19 of the four different kinds. (a) The γ -set corresponding to (0, 7, 0). (b) The γ -set corresponding to (0, 4, 3). (c) The γ -set corresponding to (4, 0, 3). (d) The γ -set corresponding to (2, 3, 2).
Figure 3. Minimum dominating sets for the path graph P19 of the four different kinds. (a) The γ -set corresponding to (0, 7, 0). (b) The γ -set corresponding to (0, 4, 3). (c) The γ -set corresponding to (4, 0, 3). (d) The γ -set corresponding to (2, 3, 2).
Symmetry 12 02053 g003
Figure 4. The γ -set D 1 for C 21 .
Figure 4. The γ -set D 1 for C 21 .
Symmetry 12 02053 g004
Figure 5. The γ -set D 1 for C 20 , corresponding to the vertex v 1 .
Figure 5. The γ -set D 1 for C 20 , corresponding to the vertex v 1 .
Symmetry 12 02053 g005
Figure 6. γ -sets for the cycle graph C19 of the three different kinds. (a) The γ -set D1 for C19, corresponding to the edge e1. (b) The γ -set D1, corresponding to vertex v1. (c) The γ -set D1,9, corresponding to {v1, v9}.
Figure 6. γ -sets for the cycle graph C19 of the three different kinds. (a) The γ -set D1 for C19, corresponding to the edge e1. (b) The γ -set D1, corresponding to vertex v1. (c) The γ -set D1,9, corresponding to {v1, v9}.
Symmetry 12 02053 g006
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Hernández-Gómez, J.C.; Reyna-Hérnandez, G.; Romero-Valencia, J.; Rosario Cayetano, O. Transitivity on Minimum Dominating Sets of Paths and Cycles. Symmetry 2020, 12, 2053. https://doi.org/10.3390/sym12122053

AMA Style

Hernández-Gómez JC, Reyna-Hérnandez G, Romero-Valencia J, Rosario Cayetano O. Transitivity on Minimum Dominating Sets of Paths and Cycles. Symmetry. 2020; 12(12):2053. https://doi.org/10.3390/sym12122053

Chicago/Turabian Style

Hernández-Gómez, Juan C., Gerardo Reyna-Hérnandez, Jesús Romero-Valencia, and Omar Rosario Cayetano. 2020. "Transitivity on Minimum Dominating Sets of Paths and Cycles" Symmetry 12, no. 12: 2053. https://doi.org/10.3390/sym12122053

APA Style

Hernández-Gómez, J. C., Reyna-Hérnandez, G., Romero-Valencia, J., & Rosario Cayetano, O. (2020). Transitivity on Minimum Dominating Sets of Paths and Cycles. Symmetry, 12(12), 2053. https://doi.org/10.3390/sym12122053

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop