Bound for the k -Fault-Tolerant Power-Domination Number

: A set S ⊆ V is referred to as a k -fault-tolerant power-dominating set of a given graph G = ( V , E ) if the difference S \ F remains a power-dominating set of G for any F ⊆ S with | F | ≤ k , where k is an integer with 0 ≤ k < | V | . The lowest cardinality of a k -fault-tolerant power-dominating set is the k -fault-tolerant power-domination number of G , denoted by γ kP ( G ) . Generalized Petersen graphs GP ( m , k ) and generalized cylinders SG are two well-known graph classes. In this paper, we calculate the k -fault-tolerant power-domination number of the generalized Petersen graphs GP ( m ,1 ) and GP ( m ,2 ) . Also, we obtain γ k P ( G ) for the subclasses of cylinders SC m and SB m .


Introduction
The concept of power-domination in graphs emerged from a monitoring problem in the electric power system industry [1].Electric power companies must continuously monitor their systems, understanding their state through variables like voltage magnitude and machine phase angle.Phasor Measurement Units (PMUs) placed at strategic points measure these variables, which are then used to calculate variables in other parts of the network using Ohm's and Kirchoff's laws.To minimize costs, it is desirable to monitor the entire system with the fewest number of PMUs.This monitoring problem in electric power systems was transposed to a graph-domination problem by Haynes et al. [2].Definition 1.A vertex or edge of a graph is said to be monitored or observed using the following rules: Initially, each vertex with a PMU and the edges incident to it are said to be observed or monitored.Then, the set of monitored edges and vertices is expanded in an iterative manner using the following rules: 1.
A vertex which is incident to a monitored edge whose other end is monitored is said to be monitored.

2.
An edge connecting two monitored vertices is monitored.

3.
If all but one incident edge of a vertex are monitored, this one edge is also monitored.
Definition 2. In a finite and simple undirected graph, G = (V, E), with vertex set V and edge set E, a subset S ⊆ V is defined as a power-dominating set of a graph if each vertex and edge in the graph is monitored or observed by S.
The minimum cardinality of a power-dominating set of G is called the power-domination number, denoted by γ P (G).Different concepts of domination and its variations have been studied in graph theory [3][4][5][6][7].Various algorithms and their time complexity are shown in [8].
Once a minimal number of PMUs are placed in an electric network, the next challenge is to detect, locate, and replace faulty PMUs.However, identifying, finding, and replacing faulty PMUs in a timely manner may be challenging, time-demanding, and financially burdensome.As a result, Pai et al. [9] proposed the concept of k-fault-tolerant powerdomination.The k-fault-tolerant power-domination problem is a generalization of the power-domination problem, and it remains NP-complete for general graphs.Definition 3. A set S ⊆ V is a k-fault-tolerant power-dominating set if S \ F is still a powerdominating set of G for any subset F ⊂ S with |F| ≤ k.A k-fault-tolerant power-dominating set is abbreviated as k-FPDS.
The minimum cardinality of a k-fault-tolerant power-dominating set is the k-faulttolerant power-domination number of G, denoted by γ k P (G).A k-fault-tolerant power-dominating set S whose cardinality is The k-fault-tolerant power-domination problem is to find the value of γ k P (G) and find a γ k P (G)-set.This set actually gives the bare minimum number of PMUs needed to monitor the system, taking into account faults in k PMUs.This is a boon for monitoring electrical power systems since it saves the time required to locate and replace PMUs when they are found to be faulty.It is easy to see the following: It is difficult to establish the equality in (3).In this paper, we have modeled electric power networks using the graphs GP(m, 1), GP(m, 2), SC n , and SB m , where the first two are the subclasses of the generalized Petersen graphs and the last two are the subclasses of cylinders, and the k-fault-tolerant power-domination number for these graphs is established.
The following assumptions and definitions are considered to be implicit and are consistently applied throughout the text:

1.
A graph G is said to be 'power-dominated by a set S' or 'observed by a set S' if all the vertices and edges of the graph are monitored by the set S.

3.
The operation denoted by the addition symbol "+" refers to the operation of addition modulo m.

4.
When we refer to a subset A as a candidate for a k-FPDS, it implies that PMUs are to be positioned at the vertices of set A to monitor the mentioned graph.

5.
When discussing the deletion of vertices from a candidate k-FPDS, we are referring to the PMUs at those vertices being identified as faulty.
Following are a few additional definitions used in this paper for various purposes.The Cartesian product of two graphs G and H, denoted as G□H, has the vertex set V(G) × V(H), and the two vertices (u, v) and (x, y) in G□H are adjacent if, and only if, either u = x and vy is an edge in H, or v = y and ux is an edge in G.
The corona product of two graphs G and H, denoted as G • H, is a graph obtained by taking n copies of graph H (where n is the number of vertices in G and each vertex of the i th copy of H is adjacent to the i th vertex of G.

k-Fault-Tolerant Power-Domination Number for Generalized Petersen Graph
The computational power of a multicomputer system crucially relies on the functionality of all nodes.The failure of a node not only harms the computational power but changes the network topology.Network fault tolerance quantifies the robustness of the system and measures the number of failures it can tolerate before a catastrophic breakdown happens [10].In this context, the k-fault-tolerant power-domination number (γ k p (G)) is an important parameter.
The generalized Petersen graphs are cubic graphs that are formed by joining the vertices of a regular polygon to the corresponding vertices of a star polygon.The generalized Petersen graphs show some symmetry in their structure.Various graph parameters, such as chromatic and domination numbers, are obtained for this type of graph.They have lots of applications in network science and engineering.For example, the Petersen graph pattern has been applied in phonocardiogram (PCG) signals in the automated classification of normal, aortic stenosis, mitral valve prolapse, regurgitation, and stenosis [11,12].
Let m and n be positive integers.For m ≥ 3 and m > n ≥ 1, the generalized Petersen graph GP(m, n) is a 3-regular graph with  Proof.It is easy to see that the necessity is true.To prove the sufficiency, we suppose that every vertex of an induced subgraph P 2 □P 2 , namely, v i , v i+1 , w i , and w i+1 , are observed.Each of these observed vertices will now have a unique unobserved neighbour, namely, v i−1 , v i+2 , w i−1 , and w i+2 , respectively.Hence, these are observed by the propagation rule.Now the subgraphs induced by the two different vertex sets {v i+1 , v i+2 , w i+2 , w i+1 } and {v i , v i−1 , w i−1 , w i } form two distinct P 2 □P 2 , whose vertices are all observed.A reasoning similar to the above can show that v i−2 , w i−2 , v i+2 and w i+2 can be observed by the propagation rule.Consequently, all vertices in the entire prism GP(m, 1) can be observed.An example is shown in Figure 2; the darkened vertices induce a P 2 □P 2 and the arrows show the propagation steps.Lemma 2. A prism GP(m, 1), for m ≥ 5, is power-dominated by two vertices if, and only if, the geodesic distance between them is less than or equal to three.
Proof.Suppose GP(m, 1) is power-dominated by two vertices.When the two PMUs are placed so that one is on an inner vertex w i and the other is on an outer vertex v j , where the distance between them is one or two (i.e., d(v i , w j ) = 1 or 2), or when both PMUs are placed on the outer vertices or both on the inner vertices, where the distance between them is one or two or three (i.e., d(v i , u j ) = 1 or 2 or 3), the vertices v i , v i+1 , w i , w i+1 form a P 2 □P 2 .From Lemma 1, the graph GP(m, 1) becomes fully observed.When the two PMUs are placed so that one is on an inner vertex w i and the other is on an outer vertex v j , where the distance between them is three, then the subgraph induced by the vertices v i+2 , v i+3 , w i+2 , w i+3 forms a P 2 □P 2 , and, therefore, the result follows by Lemma 1. Various cases arising are illustrated in 2(a), 2(b), 2(c), 2(e), 2( f ), and 2(g) of Figure 3.  Also, whenever the distance between the two PMUs placed is greater than or equal to four, the neighbours of the nodes with PMU are all left with two unobserved neighbours, meaning propagation cannot occur.Hence, in these cases, the graph is not observed.This is illustrated in 2(d) and 2(h) of Figure 3.
The following corollary is an easy consequence of Lemma 2: Theorem 1.The k-fault-tolerant power-domination number of the generalized Petersen graph GP(m, 1) is given by 1.
Proof.The sets with cardinalities equal to the lower bound of γ k P corresponding to the graphs GP(m, 1) for m = 3, 4 are presented below.Consequently, this implies that γ k P (GP(m, 1)) assumes its lowest bound in each of these cases, resulting in γ k P (GP(m, 1)) = γ P (GP(m, 1)) + k.Table 1 shows the values of γ k P (GP(m, 1)) for different k and m.
One can further notice that in GP(4, 1), a PMU placed solely at {v 1 , v 2 , w 1 , w 2 } cannot observe the entire graph.However, if PMUs are placed at any two of these vertices, they will collectively power-dominate the graph.Consequently, the γ 4 P -set of GP(4, 1) can only be achieved by adding two of {v 1 , v 2 , w 1 , w 2 } to the γ 3 P -set of GP(4, 1).It is then straightforward to determine the γ 5 P -set and γ 6 P -set of GP(4, 1) as follows: In the graph GP(5, 1), observe that the distance between any two vertices is always less than 4. Consequently, it directly follows from Lemma 2 that any set with 2 + k vertices in GP(5, 1) is a k-FPDS of GP(5, 1).
It is easy to see that the value of γ k P (G(m, 1)) = γ P (G(m, 1)) + k for m, k ≤ 4. Before obtaining the value of γ k P (G(m, 1)) for m, k ≥ 6, we look into the definition of failed power-domination and a related result, as this will be useful in the proof that follows.
Definition 4. Let G = (V, E) be a graph with vertex set V and edge set E. A subset S ⊆ V is said to be a Failed Power-Dominating Set (FPDS) of the graph if S is not a power-dominating set of G.
The failed power-domination number of a graph G, denoted by γ P (G), is defined as the maximum cardinality of any FPDS of G.This parameter signifies the maximum number of PMUs that can be placed on a power network represented by G, while still failing to fully observe the network/graph.The parameter γ P (G) + 1 represents the minimum number of PMUs required to ensure complete observation of G, regardless of their placement.Theorem 2. For m ≥ 6, Proof.According to Lemma 2, two PMUs within a distance of less than four can always monitor GP(m, 1).Therefore, our objective is to construct the largest subset of vertices of GP(m, 1) such that the pairwise distance between any two vertices in the set is greater than or equal to four.To achieve this, we begin by selecting an arbitrary vertex of the graph (without loss of generality, we start from an outer vertex) and then proceed to select vertices that are exactly distance four apart from each other.The distance is taken as the minimum, specifically four, to maximize the number of vertices, thus obtaining the largest required set.This process results in the following sets: For any s ∈ Z A = {v s+0 , w s+3 , v s+6 , w s+9 , • • • , w s+6⌊ m 6 ⌋+3 }, while m ≡ 0, 1, 2, 3 (mod 6) and 6 ⌋ }, while m ≡ 4, 5 (mod 6).Consequently, no subsets of these sets can power-dominate GP(m, 1).Additionally, adding any other vertex from GP(m, 1) to these sets will inevitably create a pair of vertices that are less than distance four apart, resulting in the power-domination of the entire graph.This demonstrates that sets A and B constitute the largest failed power-domination set for the graph GP(m, 1).As the cardinality of these sets is |A| = 2 ⌊ m 6 ⌋, &m ≡ 0, 1, 2, 3 (mod 6), and |B| = 2 ⌊ m 6 ⌋ + 1, & m ≡ 4, 5 (mod 6), the theorem is established.
Without loss of generality and for simplicity, throughout this paper, we regard the following sets as the largest failed power-domination sets of GP(m, 1), wherever necessary, A = {v 0 , w 3 , v 6 , w 9 , • • • , w 6⌊ m 6 ⌋+3 }, while m ≡ 0, 1, 2, 3 (mod 6) and Theorem 3.For m ≥ 6, Proof.We begin the proof by establishing an upper bound for k.The maximum value of k will be attained when 2m vertices generate a k-FPDS for GP(m, 1).Thus, we seek the maximum number of vertices that can be removed from the 2m vertices in any order, while ensuring the remaining vertices still power-dominate GP(m, 1).As per the previous Theorem 2, any subset with γ P (GP(m, 1)) + 1 or more vertices of GP(m, 1) will powerdominate GP(m, 1).Hence, removing any collection of 2m − γ P − 1 vertices from 2m vertices will still result in a power-dominating set of GP(m, 1).This means that the vertex set V of GP(m, 1) is a 2m − γ P − 1-FPDS of GP(m, 1).Hence, k ≤ 2m − γ P − 1. Lemma 2 establishes that two PMUs within a distance of less than four units can always monitor GP(m, 1).Consequently, to create a k-FPDS with the smallest possible cardinality, we need to construct a subset of vertices where the pairwise distance between at least one pair of vertices is less than four, even after the removal of k vertices.This implies that in order to achieve a k-FPDS with minimum cardinality, the placement of PMUs should be such that the pairwise distance between any two PMUs is minimized.Therefore, without loss of generality, for the rest of the proof, in each attempt to construct a k-FPDS with t vertices, the PMUs are placed at the vertices v 0 , w 0 , v 1 , w 1 , • • • v t−1 2 when t is odd, and when t is even, we place the PMUs in the vertices of v 0 , w 0 , v 1 , w 1 , • • • v t 2 −1 , w t 2 −1 .This will ensure that the pairwise distance between any two PMUs is minimal.We call this the optimized placement technique.
Because the pairwise distance between any two vertices in set A is less than four, any pair of vertices from set {v 0 , w 0 , v 1 , w 1 , v 2 , w 2 } can power-dominate GP(m, 1).This guarantees that any subset of {v 0 , w 0 , v 1 , w 1 , v 2 , w 2 } with cardinality 3, 4, 5, and 6 will form the γ p 1 , γ p 2 , γ p 3 , and γ p 4 sets, respectively.Therefore, γ p k = γ p + k, for m ≥ 6 and 0 ≤ k ≤ 4. In other words, we have Consider the case when k = 5.Since we know that the lower bound is γ p + k = 2 + 5 = 7, we place seven PMUs as mentioned above (ie, {v 0 , w 0 , v 1 , w 1 , v 2 , w 2 , v 3 } ).Out of the 7 C 5 = 21 different ways in which five PMUs can fail and leave behind a pair of working PMUs, there is the possibility that working PMUs are on w 0 and v 3 , which are distance four apart.When this occurs, GP(m, 1) cannot be completely monitored.However, placing just one additional vertex (on w 3 ) ensures that the removal of five vertices will leave behind three vertices, of which at least a pair of them is less than distance four apart.Therefore, γ 5 P ≥ 8. Further, we have indeed generated the set {v 0 , w 0 , v 1 , w 1 , v 2 , w 2 , v 3 , w 3 } with exactly eight vertices with the required property, implying γ 5 P = 8.Similarly, if we observe, as k runs from 5 to 9, the lower bound of γ k p will vary between 7 to 11, respectively.But in each of these cases, out of the γ p +k C k different ways in which k PMUs can fail and leave behind γ p = 2 working PMUs, there are possibilities that working PMUs are distance four or more apart (e.g., on w 0 and v 3 ).When this occurs, GP(m, 1) cannot be completely monitored.However, placing just one additional vertex ensures that the removal of k vertices will leave behind three vertices, of which at least a pair of them is less than the distance four apart.Therefore, Further, we can indeed generate sets with exactly 2 + k + 1 vertices with the required property, implying In other words, we have Likewise, for k ranging from 10 to 14, the lower bound of γ k p will vary from 13 to 17, respectively.However, in each of these cases, among the ( ) different ways in which k PMUs can fail and leave behind γ p + 1 = 3 working PMUs, there are instances where the working PMUs are distance four or more apart (e.g., on w 0 , v 3 , w 6 ).In such cases, GP(m, 1) cannot be entirely monitored.Yet, adding just one additional vertex ensures that the removal of k vertices will still leave behind four vertices, with at least one pair less than distance four apart.Thus, Moreover, sets with exactly 2 + k + 1 vertices can indeed be constructed as described above.
An identical pattern emerges for all values of k from 0 to 5 × (γ P − 1).Hence, through iterative repetition of the same reasoning, we have Alternatively, we can write, This is the same as Since γ k P < γ k+1 P , we have the lower bound for γ k p is By Theorem 2, any subset with γ p + 1 vertices is a power-dominating set of GP(m, 1).Hence, this lower bound is the required value.So, we have By combining Equations ( 5) and ( 6), we obtain the result stated in the theorem.
Proof.Observe that once the vertices {w i , w i+1 , w i+2 , w i+3 , v i , v i+1 , v i+2 , v i+3 } are observed, then each of w i , w i+1 , w i+2 , w i+3 , v i and v i+3 have a unique unobserved neighbour, namely, w i−2 , w i−1 , w i+4 , w i+5 , v i−1 and v i+4 , respectively.These can be observed by propagation step 1.Further, by similar reasoning, propagation steps can be followed to observe the entire graph.An illustration is shown in Figure 4.The darkened vertices are {w i , w i+1 , w i+2 , w i+3 , v i , v i+1 , v i+2 , v i+3 } and the arrows show the propagation steps.Lemma 4. GP(m, 2) is power-dominated by two vertices whenever the geodesic distance between them is exactly three.
Proof.There are three possibilities as follows: First case, both PMUs are at the outer vertices.Secondly, one PMU is on the outer vertex and the other on the inner vertex.Third, both PMUs are at the inner vertices.When the distance is three, using Lemma 3, we can guarantee that the whole graph is observed.An illustration is shown in Figure 5.
To prove our claim, we use mathematical induction. Clearly, Hence, the claim is obviously true for k = 1.Let us assume that, whenever t < k, Using the above induction hypothesis and definition of S k , we have, Substituting (7) in the above equation, we have, Claim: S k is a k-fault-tolerant power-dominating set of GP(m, 2).
To prove our claim, we use mathematical induction to show that any combination of |S k | − k = ⌊ k 2 ⌋ + 2 vertices from S k will always power-dominate GP(m, 2), whenever m ≥ 7.
Let C k be the collection of all possible subsets of S k whose cardinality is Now, it is enough to show that every element of C k power-dominates GP(m, 2).For k = 1, we have S 1 = {w 3 , w 4 , v 0 }.Because these vertices are, pairwise, distance three from each other, removing any one among them still results in two vertices that will power-dominate GP(m, 2) by Lemma 4.
Induction Hypothesis: Assume that S t is a t-fault-tolerant power-dominating set of GP(m, 2), whenever t < k.In other words, assume that any combination of ⌊ t 2 ⌋ + 2 vertices from t + ⌊ t 2 ⌋ + 2 vertices of S t will power-dominate GP(m, 2), whenever t < k.Case 1 : k is even, i.e., k = 2k ′ , for some positive integer k ′ .
Observe that every element of C ′ k , k = 1, 2, 3 contains k ′ + 1 elements from S 2k ′ −1 .Also, from the induction hypothesis, any combination of we conclude that every element of C k power-dominates GP(m, 2) here.Case 2 : k is odd, i.e., k = 2k ′ + 1, for some positive integer k ′ .
Here, From the induction hypothesis, any combination of k ′ + 2 vertices from 3k ′ + 2 vertices of S 2k ′ will power-dominate GP(m, 2).And every element of C ′ 5 has (k ′ + 2) number of elements from S 2k ′ .Therefore, every element of C ′ 5 power-dominates GP(m, 2).And since we conclude that every element of C k powerdominates GP(m, 2) here.

k-Fault-Tolerant Power-Domination Number for Cylinders
In this section, we obtain the k-fault-tolerant power-domination number for some subclasses of cylinders, namely, spiked cycle and spiked band [13,14] and the subscripts are taken as modulo m.Here, v 0 , v 1 , • • • , v m−1 are called the outer vertices and w 0 , w 1 , • • • , w m−1 are called the inner vertices.The edges v i w i are called spokes.For example, the Durer graph GP(6, 2) is shown in Figure 1.The generalized Petersen graph with n = 1 is called a prism.