[論文レビュー] 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

ひとこと要約

本稿は、電力支配とゼロフォースィングの関係を用いて、初めて一般化された電力支配数の下界を確立し、グラフのテンソル積、辞書的積、カルテシアン積における電力支配に関する新たな結果を導出可能にした。主な貢献は、電力支配とゼロフォースィングを結びつける統一的な枠組みを提供することであり、これによりサイクルや完全グラフなどの特定のグラフ族に対して正確な値およびタイトな境界が得られた。

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.

研究の動機と目的

• 電力支配とゼロフォースィングの関係を用いて、電力支配数の一般化された下界を確立すること。
• この下界を用いて、グラフのテンソル積、辞書的積、カルテシアン積における電力支配に関する新たな結果を導出すること。
• 正則グラフの辞書的積およびテンソル積におけるゼロフォースィング数の正確またはタイトな境界を特定すること。
• 特に $ C_n \square C_m $ において $ n \equiv 2 \mod 4 $ の場合のサイクル積における電力支配に関する未解決問題を解消すること。

提案手法

• 電力支配とゼロフォースィングの伝播ルールの等価性を活用し、両概念間で境界を移転する。
• 定理 3.2 を適用して、既知のゼロフォースィングの結果を用いて $ \gamma_P(G \times K_n) $ の一般化された下界を導出する。
• $ K_t \times H $ のゼロフォースィング数の上界を用いて、$ t $ の偶奇に応じて $ \gamma_P(G \times K_n) $ のタイトな境界を導出する。
• 辞書的積 $ G*H $ にこの境界を適用し、$ G $ および $ H $ の次数と支配構造を用いて $ \operatorname{Z}(G*H) $ を計算する。
• $ t $ の偶奇および $ n $ の値に基づくケース解析を用いて、$ \gamma_P(G \times K_n) $ の下界を精緻化する。
• Sageソフトウェアによる計算的検証を用いて、$ t \equiv 2 \mod 4 $ の場合の $ \gamma_P(G \times K_n) $ に関する予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 多様なグラフ族に適用可能な、電力支配数の最初の一般化された下界は何か？
• RQ2 ゼロフォースィングと電力支配の関係は、グラフ積における電力支配のよりタイトな境界をどのように可能にするか？
• 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 $ のゼロフォースィング数は何か？
• RQ5 $ G $ および $ n $ の構造的性質を用いて、$ G \times K_n $ の電力支配数を正確に境界づけることができるか？

主な発見

• 本稿は、ゼロフォースィングとの関連を用いて、電力支配数の最初の一般化された下界を確立し、従来の家族別分析に依存する手法に欠けていたギャップを解消した。
• $ G = P_t $ または $ C_t $ の場合、$ t $ が奇数で $ n \geq t $ のとき $ \gamma_P(G \times K_n) \geq \left\lceil \frac{t}{2} \right\rceil $ であり、$ t $ が偶数で $ n \geq \frac{t}{2} + 2 $ のとき $ G = P_t $、または $ n \geq \frac{t}{2} $ のとき $ G = C_t $ ならば $ \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の計算から示唆されている。
• $ K_n * C_m $ のゼロフォースィング数は、補題 3.10 で示されるように正確に $ (n-1)m + 2 $ である。
• 正則グラフ $ G $ および $ H $ で $ \gamma_P(H) = 1 $ かつ $ \gamma(G) = 1 $ のとき、$ G*H $ のゼロフォースィング数は、定理 3.9 で証明されたように $ d_G|V(H)| + d_H $ に等しい。
• 本稿は、$ n \equiv 2 \mod 4 $ のとき $ \gamma_P(C_n \square C_m) = \frac{n}{2} + 1 $ であることを確認し、以前未解決の予想を支持した。