[论文解读] Power domination and zero forcing

Katherine F. Benson, Daniela Ferrero+5 more|arXiv (Cornell University)|Oct 8, 2015

Power System Optimization and Stability参考文献 18被引用 14

一句话总结

本文通過功率支配與零 forcing 之間的關係，首次建立了功率支配數的通用下界，從而實現了對圖的張量積、字典序積和笛卡爾積中功率支配的新結果。主要貢獻在於建立了一個統一框架，將功率支配與零 forcing 連結起來，進而為循環圖和完全圖等特定圖族在積運算下的精確值與緊緻界提供支持。

ABSTRACT

The power domination number arises from the monitoring of electrical networks and its determination is an important problem. Upper bounds for power domination numbers can be obtained by constructions. Lower bounds for the power domination number of several families of graphs are known, but they usually arise from specific properties of each family and the methods do not generalize. In this paper we exploit the relationship between power domination and zero forcing to obtain the first general lower bound for the power domination number. We apply this bound to obtain results for both the power domination of tensor products and the zero-forcing number of lexicographic products of graphs. We also establish results for the zero forcing number of tensor products and Cartesian products of graphs.

研究动机与目标

• 透過功率支配與零 forcing 之間的關係，建立功率支配數的通用下界。
• 將此下界應用於推導圖的張量積、字典序積與笛卡爾積中功率支配的新結果。
• 針對正則圖的字典序積與張量積，確定零 forcing 數的精確或緊緻界。
• 解決關於循環圖積中功率支配的開放問題，特別是針對 $ C_n \square C_m $ 且 $ n \equiv 2 \mod 4 $ 的情形。

提出的方法

• 利用功率支配與零 forcing 擴散規則之間的等價性，將兩者之間的界相互轉移。
• 應用定理 3.2，根據已知的零 forcing 結果，推導出 $ \gamma_P(G \times K_n) $ 的通用下界。
• 利用 $ K_t \times H $ 的零 forcing 數的上界，根據 $ t $ 的奇偶性，推導出 $ \gamma_P(G \times K_n) $ 的緊緻界。
• 將此下界應用於字典序積 $ G*H $，根據 $ G $ 和 $ H $ 的度數與支配結構，計算 $ \operatorname{Z}(G*H) $。
• 基於 $ t $ 的奇偶性與 $ n $ 的值進行分情況分析，以精化 $ \gamma_P(G \times K_n) $ 的下界。
• 使用 Sage 軟體進行計算驗證，以支援關於 $ \gamma_P(G \times K_n) $ 在 $ t \equiv 2 \mod 4 $ 時的猜想。

实验结果

研究问题

• RQ1 適用於多種圖族的功率支配數的首個通用下界是什麼？
• RQ2 零 forcing 與功率支配之間的關係如何促成圖積中功率支配界 tighter 的推導？
• RQ3 當 $ n \equiv 2 \mod 4 $ 時，$ \gamma_P(C_n \square C_m) $ 的精確值是多少？它是否等於 $ \frac{n}{2} + 1 $？
• RQ4 當 $ G $ 與 $ H $ 為正則圖且 $ \gamma_P(H) = 1 $ 時，字典序積 $ G*H $ 的零 forcing 數是多少？
• RQ5 能否根據 $ G $ 與 $ n $ 的結構性質，精確地界定 $ G \times K_n $ 的功率支配數？

主要发现

• 本文透過零 forcing 連結，首次建立了功率支配數的通用下界，彌補了以往方法依賴家族特異性分析的缺口。
• 當 $ G = P_t $ 或 $ C_t $ 時，若 $ t $ 為奇數且 $ n \geq t $，則 $ \gamma_P(G \times K_n) \geq \left\lceil \frac{t}{2} \right\rceil $；若 $ t $ 為偶數，且 $ G = P_t $ 時 $ n \geq \frac{t}{2} + 2 $，或 $ G = C_t $ 時 $ n \geq \frac{t}{2} $，則 $ \gamma_P(G \times K_n) \geq \frac{t}{2} $。
• 當 $ n \geq 4 $ 時，若 $ t \equiv 2 \mod 4 $，則 $ \gamma_P(G \times K_n) = \frac{t}{2} + 1 $，此結果與 Sage 計算相符。
• 根據推論 3.10，$ K_n * C_m $ 的零 forcing 數精確為 $ (n-1)m + 2 $。
• 根據定理 3.9，當 $ G $ 與 $ H $ 為正則圖，且 $ \gamma_P(H) = 1 $、$ \gamma(G) = 1 $ 時，$ G*H $ 的零 forcing 數為 $ d_G|V(H)| + d_H $。
• 本文確認當 $ n \equiv 2 \mod 4 $ 時，$ \gamma_P(C_n \square C_m) = \frac{n}{2} + 1 $，從而支援了一個此前未被證明的猜想。