Bounds on the propagation radius in power domination

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. This step is called the \textit{domination} step. Thereafter, the set of unmonitored vertices of which each is the only unmonitored neighbour of a monitored vertex, is monitored. This step is called a \textit{propagation} step and is repeated until the process terminates. The process terminates when the there are no monitored vertices which have 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 $γ_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 $δ$ and $n$. We show that this bound is only attained when $γ_p(G)=1$ and then improve this bound for $γ_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 $Δ\geq 3$.