Bounds on the propagation radius in power domination
Imran Allie, Brandon du Preez, Dean Reagon, Adriana Roux
Published: 2025/10/2
Abstract
Let $G$ be a graph and let $S \subseteq V(G)$. It is said that $S$ \textit{dominates} $N[S]$. We say that $S$ \textit{monitors} vertices of $G$ as follows. Initially, all dominated vertices are monitored. If there exists a vertex $v \in G$ which is not monitored, but has all but one of its neighbours monitored, then $v$ becomes monitored itself. This step is called a \textit{propagation} step and is repeated until the process terminates. The process terminates when the there are no unmonitored vertices with exactly one unmonitored neighbour. This combined process of initial domination and subsequent propagation is called \textit{power domination}. If all vertices of $G$ are monitored at termination, then $S$ is said to be a \textit{power dominating set (PDS) of $G$}. The \textit{power domination number of $G$}, denoted as $\gamma_p(G)$, is the minimum cardinality of a PDS of $G$. The \textit{propagation radius of $G$} is the minimum number of steps it takes a minimum PDS to monitor $V(G)$. In this paper we determine an upper bound on the propagation radius of $G$ with regards to power domination, in terms of $\delta$ and $n$. We show that this bound is only attained when $\gamma_p(G)=1$ and then improve this bound for $\gamma_p(G)\geq 2$. Sharpness examples for these bounds are provided. We also present sharp upper bounds on the propagation radius of split graphs. We present sharpness results for a known lower bound of the propagation radius for all $\Delta\geq 3$.