Power Domination in Product Graphs

The power system monitoring problem asks for as few as possible measurement devices to be put in an electric power system. The problem has a graph theory model involving power dominating sets in graphs. The power domination number $\gamma_P(G)$ of $G$ is the minimum cardinality of a power dominating set. Dorfling and Henning [Discrete Appl. Math., 154 (2006), pp. 1023-1027] determined the power domination number of the Cartesian product of paths. In this paper the power domination number is determined for all direct products of paths except for the odd component of the direct product of two odd paths. For instance, if $n$ is even and $C$ a connected component of $P_m\times P_n$, where $m$ is odd or $m\geq n$, then $\gamma_P(C)=\left\lceil n/4 \right\rceil$. For the strong product we prove that $\gamma_P(P_n \boxtimes P_m) = \max\{\lceil n/3\rceil, \lceil (n+m-2)/4\rceil\}$, unless $3m-n-6 \equiv 4\pmod 8$. The power domination number is also determined for an arbitrary lexicographic product.