---
title: Power Domination in Electric Networks
url: https://www.emergentmind.com/topics/power-domination
type: topic
---

# Power Domination in Electric Networks

Power domination is a graph-theoretic model of monitoring an electric power network with phasor measurement units (PMUs). Given a graph \(G=(V,E)\) and an initial PMU placement \(S\subseteq V(G)\), the process begins by observing \(N[S]\) and then propagates observation whenever an observed vertex has exactly one unobserved neighbor; \(S\) is a power dominating set if the process eventually observes all vertices, and the minimum cardinality of such a set is the power domination number \(\gamma_P(G)\). The subject now includes deterministic, generalized, connected, restricted, polynomial, robustness-aware, stochastic-failure, and cost-benefit formulations, all motivated by variations of the PMU placement problem in electrical networks [1510.02421][2312.12259][2601.19775].

## 1. Classical formulation and generalizations

In its standard form, power domination is defined on a finite simple graph \(G=(V,E)\) by the two-stage process
\[
PD(S)=N[S],
\]
followed by repeated propagation: if there exists \(v\in PD(S)\) such that
\[
|N(v)\cap (V(G)\setminus PD(S))|=1,
\]
then \(PD(S)\) is updated by adding \(N(v)\). A set \(S\subseteq V(G)\) is a power dominating set if the terminal set is \(V(G)\), and \(\gamma_P(G)\) is the minimum size of such a set [1510.02421]. Equivalent notation also appears as \(\operatorname{Obs}(G;S)\), with \(S\) power dominating precisely when \(\operatorname{Obs}(G;S)=V(G)\) [2312.12259].

A standard generalization is \(k\)-power domination. For \(k\ge 0\), one starts from
\[
\mathcal P_{G,k}^{0}(S)=N_G[S],
\]
and then iterates
\[
\mathcal P_{G,k}^{i+1}(S)=\bigcup\left\{N_G[v]\colon v\in \mathcal P_{G,k}^{i}(S),\ \big|N_G[v]\setminus \mathcal P_{G,k}^{i}(S)\big|\le k\right\}.
\]
A set \(S\) is a \(k\)-power dominating set if \(\mathcal P_{G,k}^{\infty}(S)=V(G)\), and the minimum size is \(\gamma_{P,k}(G)\). This interpolates between domination at \(k=0\) and ordinary power domination at \(k=1\) [1508.00357][1701.08386].

The hypergraph literature contains two principal extensions. Chang and Roussel generalized the graph process by retaining a single-vertex propagation rule, while infectious power domination combines the domination step with Bergen et al.’s infection rule: if \(S_0\subseteq V(H)\), one first sets
\[
S=\bigcup_{v\in S_0}N[v],
\]
then repeatedly allows a nonempty \(A\subseteq S\) to infect an edge \(e\) if \(A\subseteq e\) and every unobserved vertex \(v\) with \(A\cup\{v\}\) contained in some edge must satisfy \(v\in e\). The resulting minimum size is the infectious power domination number \(P_I(H)\). Both hypergraph formulations reduce to ordinary power domination on \(2\)-uniform hypergraphs [1910.03038].

## 2. Zero forcing, domination, and product phenomena

A central structural fact is that power domination is domination followed by zero forcing. Precisely,
\[
S \text{ is power dominating } \Longleftrightarrow N[S] \text{ is zero forcing},
\]
which permits transfer of bounds and techniques between the two theories [1510.02421]. In particular, if \(Z(G)\) denotes the zero forcing number and \(\Delta(G)\) the maximum degree, then every graph with an edge satisfies
\[
\gamma_P(G)\ge \frac{Z(G)}{\Delta(G)},
\]
and this bound is tight [1510.02421]. The \(k\)-analogue sharpens the same principle: for a connected graph with \(\Delta(G)\ge k+2\),
\[
\gamma_{P,k}(G)\ge \frac{Z_k(G)}{\Delta(G)+1-k},
\]
equivalently,
\[
Z_k(G)\le \gamma_{P,k}(G)(\Delta(G)+1-k),
\]
again with tightness [1701.08386].

The relationship is not merely formal. In the \(k\)-power domination setting, if \(S\) is a minimum \(k\)-power dominating set chosen so that every vertex has at least \(k+1\) external \(S\)-private neighbors, then one can explicitly build a \(k\)-forcing set by retaining, for each \(u_i\in S\), the vertices of \(N[u_i]\) except \(k\) selected external private neighbors. This construction underlies the preceding inequality and makes the comparison constructive rather than purely existential [1701.08386].

Power domination also exhibits product behavior analogous to Vizing-type lower bounds. If \(\ell_G\) denotes the maximum number of parts in a failed power dominating partition of \(G\), then
\[
\ell_G\ell_H\le \gamma_P(G\Box H).
\]
When \(\ell_G=\gamma_P(G)\) and \(\ell_H=\gamma_P(H)\), this yields
\[
\gamma_P(G)\gamma_P(H)\le \gamma_P(G\Box H).
\]
For trees, \(\ell_T=\gamma_P(T)\), so for any two trees \(T_1,T_2\),
\[
\gamma_P(T_1)\gamma_P(T_2)\le \gamma_P(T_1\Box T_2)
\]
[2209.03930]. This suggests that, at least for classes where failed power dominating partitions are tight, Cartesian products preserve a strong multiplicative lower bound.

## 3. Restricted and connected variants

Restricted power domination fixes part of the PMU placement in advance. For \(X\subseteq V(G)\),
\[
\gamma_P(G;X)=\min\{|S|: X\subseteq S,\ S \text{ is a power dominating set of }G\}.
\]
It satisfies
\[
\gamma_P(G)\le \gamma_P(G;X)\le \gamma_P(G)+|X|,
\]
and more generally, for \(Y\subseteq X\subseteq V\),
\[
\gamma_P(G;Y)\le \gamma_P(G;X)\le \gamma_P(G;Y)+|X\setminus Y|.
\]
A fundamental reduction attaches leaves to the required vertices: if \(\ell_r(G,X)\) is obtained by attaching \(r\) leaves to every vertex of \(X\), then
\[
\gamma_P(G;X)=\gamma_P(\ell_2(G,X)),
\]
and
\[
S \text{ is a minimum power dominating set of }G\text{ subject to }X
\]
if and only if
\[
S \text{ is a minimum power dominating set of }\ell_3(G,X).
\]
This yields a linear-time algorithm on bounded-treewidth graphs and supports decomposition and integer-programming formulations for the restricted problem [1711.05190].

Connected power domination adds the requirement that the initial PMU set induce a connected subgraph. The minimum size is \(\gamma_{P,c}(G)\). This variant is NP-hard in general, but it admits sharp structural decompositions. If \(\mathcal{M}(G)\) is the set of cut vertices in the classes \(R_2(G)\cup R_3(G)\), then every connected power dominating set of a connected nonpath graph contains \(\mathcal{M}(G)\) [1712.02388]. For trees and block graphs,
\[
\gamma_{P,c}(G)=\max\{1,|\mathcal{M}(G)|\},
\]
while cactus graphs satisfy the exact formula
\[
\gamma_{P,c}(G)=
\begin{cases}
1 &\text{if } G\simeq C_n \text{ or } G\simeq P_n,\\
n-\sum_{i=1}^{\ell}|P_i|-\sum_{i=1}^{k} s(C_i) &\text{otherwise},
\end{cases}
\]
where \(P_1,\dots,P_\ell\) are the pendant paths and \(s(C_i)\) is the maximum size of a feasible omitted segment of cycle block \(C_i\) [1712.02388].

A broader decomposition expresses connected power domination across nontrivial blocks \(B_1,\dots,B_k\). If \(A_i=V(B_i)\cap\mathcal{M}(G)\) and \(\mu(v)\) is the number of nontrivial blocks containing \(v\), then
\[
\gamma_{P,c}(G)=\sum_{i=1}^{k}\gamma_{P,c}(\ell_3(B_i,A_i))-\sum_{v\in \mathcal{M}(G)}(\mu(v)-1).
\]
This suggests that articulation structure is often decisive once connectivity is imposed [1712.02388].

## 4. Exact values on specific graph families and network classes

Several graph families admit exact formulas. For the triangular grid \(T_k\) with hexagonal border,
\[
\gamma_P(T_k)=\left\lceil \frac{k}{3}\right\rceil
\]
[1707.02760]. The proof combines an explicit periodic upper-bound construction with a lower bound based on a border argument and a shifting process that transforms arbitrary monitored sets into canonical staircase-shaped sets.

For maximal planar graphs of order \(n\ge 6\),
\[
\gamma_P(G)\le \frac{n-2}{4},
\]
and the bound is tight for graphs on six vertices and for the triakis tetrahedron on ten vertices [1706.10047]. The proof is constructive and proceeds through special-configuration elimination, greedy augmentation, and recursive handling of residual splitting structures.

For generalized power domination on WK-Pyramid networks \(WKP_{(C,L)}\), the \(k\)-power domination number is determined for all positive \(k\) except the boundary case \(k=C-1\) with \(C\ge 2\). The exact formula is
\[
\gamma_{P,k}(WKP_{(C,L)})=
\begin{cases}
1, & C=1 \text{ or } L=1 \text{ or } k\ge C,\\[1mm]
C-k, & L=2,\ C\ge 2,\ k\in [C-1],\\[1mm]
(C-k-1)C^{L-2}, & L\ge 3,\ C\ge 3,\ k\in [C-2].
\end{cases}
\]
For \(k=C-1\), only the upper bound
\[
\gamma_{P,C-1}(WKP_{(C,L)})\le \left\lceil \frac{L+1}{3}\right\rceil
\]
is proved [1508.00357].

For the corrected fractal cubic network \(FCN(d)\),
\[
\gamma_P(FCN(d))=4^d
\quad\text{and}\quad
\eta_P(FCN(d))=4^d
\qquad (d\ge 1),
\]
where \(\eta_P\) is the resolving power domination number. The proof identifies \(4^d\) disjoint open twin classes, giving the lower bound, and exhibits the set of all vertices ending in \(01\) as an optimal power dominating set [2407.01935]. A plausible implication is that recursive twin structure can simultaneously control monitoring and resolving requirements.

## 5. Polynomials, forts, and exact optimization methods

The power domination polynomial packages the counts of power dominating sets by size:
\[
\mathcal{P}(G;x)=\sum_{i=1}^{n} p(G;i)x^i,
\]
where \(p(G;i)\) is the number of power dominating sets of size \(i\) [1805.10984]. It encodes \(\gamma_P(G)\) as the multiplicity of the root \(0\), has no positive real roots, and admits decomposition formulas. For disjoint unions,
\[
P(G_1\dot\cup G_2;x)=P(G_1;x)P(G_2;x),
\]
while explicit formulas include
\[
P(K_n;x)=P(P_n;x)=P(C_n;x)=P(W_n;x)=(x+1)^n-1,
\]
\[
P(\overline{K_n};x)=x^n,
\]
and, for stars \(S_n\) with \(n\ge 3\),
\[
P(S_n;x)=x(x+1)^{n-1}+x^{n-1}+(n-1)x^{n-2}.
\]
The same paper studies \(P\)-uniqueness, power domination roots, and coefficient formulas such as
\[
p(G;n)=1,\qquad p(G;n-1)=n-I,
\]
where \(I\) is the number of isolates [1805.10984].

A separate optimization line is based on zero forcing forts. If \(\mathscr{F}(G)\) is the set of forts and \(\mathscr{M}(G)=\{N[F]:F\in\mathscr{F}(G)\}\) the fort neighborhoods, then
\[
S \text{ is a power dominating set } \iff S\cap M\neq\varnothing \quad \forall M\in \mathscr{M}(G).
\]
This yields an exact set-cover formulation:
\[
\min \sum_{v\in V}s_v
\quad\text{s.t.}\quad
\sum_{v\in M}s_v\ge 1 \ \forall M\in\mathscr{M}(G),\qquad s_v\in\{0,1\}.
\]
The resulting row-generation framework separates violated fort-neighborhood constraints using auxiliary integer programs, and the proposed method solved large benchmark instances, including the US Western Interconnection in \(185.00\) seconds and PEGASE \(9241\) in \(995.54\) seconds, after earlier infection-order formulations timed out [2006.03460].

The Power Domination Toolbox operationalizes related ideas in Python. It contracts components induced by degree-\(<3\) vertices while preserving \(\gamma_P(G)\), exploits terminal forts and certain induced-\(C_4\)-based zero forcing forts, restricts the search to active vertices of degree at least \(3\), orders candidate placements by a qualitative score, and parallelizes subset checking. On the IEEE \(118\)-bus system, the earlier JL-BW exhaustive search was terminated after a week, while PDT found \(\gamma_P(G)=8\) in approximately \(1.098\times 10^2\) seconds using \(32\) threads [2305.13446].

## 6. Robustness, stochastic failure, and cost-aware formulations

Robust power domination replaces location failure by sensor failure and allows multiple PMUs at one vertex. In the multiset formulation, a \(k\)-robust power dominating set is a multiset \(S\) such that for every submultiset \(F\) with \(|F|=k\), \(S\setminus F\) is a power dominating set. The foundational bounds are
\[
\gamma_P(G)+k \le \gamma_P^k(G)\le (k+1)\gamma_P(G),
\]
and the parameter is monotone in \(k\):
\[
\gamma_P^k(G)+1\le \gamma_P^{k+1}(G).
\]
If \(\gamma_P(G)=1\), then \(\gamma_P^k(G)=k+1\) [2305.13430]. The PMU-defect-robust refinement denotes the minimum size by \(\ddot{\gamma}_P^k(G)\), proves
\[
\ddot{\gamma}_P^k(G)\le \gamma_P^k(G),
\]
and obtains exact formulas for major families, including
\[
\ddot{\gamma}_P^k(G)=(k+1)\gamma_P(G)
\]
for every block graph \(G\), hence for every tree, and
\[
\ddot{\gamma}_P^k(K_{n,n})=
\begin{cases}
2(k+1)-4\left\lfloor \dfrac{k}{n+2}\right\rfloor, & k\equiv 0,1,\dots,n-3 \pmod{n+2},\\[1.2ex]
k+2+(n-2)\left\lfloor \dfrac{k}{n+2}\right\rfloor, & \text{otherwise}.
\end{cases}
\]
In particular,
\[
\ddot{\gamma}_P^k(K_{3,3})=k+2+\left\lfloor \frac{k}{5}\right\rfloor
\]
[2312.07377].

Fragile power domination introduces random independent PMU failure before the domination step. If each PMU in a placement \(S\) fails independently with probability \(q\), the surviving multiset \(S^*\) induces the random observed set \(\operatorname{Obs}(G;S,q)\), and the central quantity is
\[
\mathcal{E}(G;S,q)=\mathbb{E}\!\left[\left|\operatorname{Obs}(G;S,q)\right|\right]
=\sum_{W\subseteq S} |\operatorname{Obs}(G;W)|\, q^{|S\setminus W|}(1-q)^{|W|}.
\]
This expected value is a polynomial in \(q\) of degree at most \(|S|\). Its low-degree coefficients characterize deterministic robustness: if \(G\) has \(n\) vertices and \(B\) is a PMU placement, then \(B\) is a \(k\)-PMU-defect-robust power dominating set if and only if
\[
\mathcal{E}(G;B,q)=n-q^{k+1}h(q)
\]
for some polynomial \(h(q)\). The model also isolates full-observation probabilities and yields explicit formulas for stars, generalized barbell graphs, and complete multipartite graphs [2312.12259].

The fragile framework changes placement orderings. A particularly explicit illustration is the star \(S_{18}\) with center \(v_0\) and \(q=0.1\): placing PMUs on all \(18\) vertices gives
\[
\Pr\Big[|\operatorname{Obs}(S_{18};V(S_{18}),q)|=18\Big]=0.9482,
\]
while the multiset placement \(\{v_0,v_0\}\) gives
\[
\Pr\Big[|\operatorname{Obs}(S_{18};\{v_0,v_0\},q)|=18\Big]=1-q^2=0.99
\]
[2312.12259]. A later development characterizes when two graph-placement pairs have the same expected value polynomial, proves that all coefficients of degree at least \(2\) can be prescribed arbitrarily by attaching gadgets, and gives an exact characterization of linearity of \(\mathcal{E}(G;S,q)\) in terms of aggregated \(k\)-subset observation totals [2507.14620]. This suggests that stochastic robustness is governed by subset-level observability statistics rather than only by \(\gamma_P(G)\).

A different extension introduces an explicit tradeoff between PMU cost and non-observance cost:
\[
\mathrm{C}(G;S,\beta)=|S|+\beta\bigl(|V(G)|-|\mathrm{Obs}(G;S)|\bigr),
\]
where \(\beta\) is the Observance Cost Ratio. A set is \(\beta\)-best if it minimizes this cost. The extreme regimes are exact:
\[
\beta\le \frac{1}{|V(G)|}\ \Longrightarrow\ \varnothing \text{ is \(\beta\)-best},
\qquad
\beta\ge 1\ \Longrightarrow\ \text{any minimum power dominating set is \(\beta\)-best}.
\]
For fixed \(k\), the maximum observance
\[
\mathrm{maxObs}(G;k)=\max_{|S|=k} |\mathrm{Obs}(G;S)|
\]
induces
\[
\mathrm{C}(G;k,\beta)=k+\beta\bigl(|V(G)|-\mathrm{maxObs}(G;k)\bigr),
\]
and the marginal observance
\[
\mathrm{MObs}(G;k)=\mathrm{maxObs}(G;k)-\mathrm{maxObs}(G;k-1)
\]
gives the threshold criterion
\[
\mathrm{C}(G;i-1,\beta)\le \mathrm{C}(G;i,\beta)
\Longleftrightarrow
\beta\le \frac{1}{\mathrm{MObs}(G;i)}.
\]
The model also proves a realizability theorem for useful PMU counts and derives fort-based thresholds on \(\beta\) guaranteeing that full observation is optimal [2601.19775].

Power domination has therefore evolved from a minimum-PMU covering question into a broader theory of domination-plus-propagation, with exact graph-family formulas, decomposition theorems, fort-based optimization, robustness notions based on deterministic failures or stochastic breakdown, and cost-sensitive criteria that can make incomplete observability optimal. The common core across these variants remains the same: an initial neighborhood observation step coupled to a propagation rule that transforms local uniqueness into global observability.

Source: https://www.emergentmind.com/topics/power-domination