[論文レビュー] Metric Dimension and Zero Forcing Number of Two Families of Line Graphs

Linda Eroh, Cong X. Kang+1 more|arXiv (Cornell University)|Jul 25, 2012

Graph Labeling and Dimension Problems参考文献 34被引用数 7

ひとこと要約

本稿は、ホイールグラフおよびサークルのバケツの線グラフの計量次元とゼロフォースティング数を調査する。これらのパラメータについて、タイトな境界と正確な値を確立し、バケツのケースでは計量次元とゼロフォースティング数が等しいことを証明している。ホイールグラフでは、両パラメータについて明示的な公式を導出している。主な貢献は、線グラフにおけるこれらの2つのグラフパラメータの体系的比較であり、一般のグラフに対する新しい不等式と予想を提示している。

ABSTRACT

Zero forcing number has recently become an interesting graph parameter studied in its own right since its introduction by the "AIM Minimum Rank -- Special Graphs Work Group", whereas metric dimension is a well-known graph parameter. We investigate the metric dimension and the zero forcing number of some line graphs by first determining the metric dimension and the zero forcing number of the line graphs of wheel graphs and the bouquet of circles. We prove that $Z(G) \le 2Z(L(G))$ for a simple and connected graph $G$. Further, we show that $Z(G) \le Z(L(G))$ when $G$ is a tree or when $G$ contains a Hamiltonian path and has a certain number of edges. We compare the metric dimension with the zero forcing number of a line graph by demonstrating a couple of inequalities between the two parameters. We end by stating some open problems.

研究の動機と目的

• ホイールグラフ $L(W_{1,n})$ およびサークルのバケツ $L(B_n)$ の線グラフの計量次元とゼロフォースティング数を特定すること。
• 線グラフにおける計量次元とゼロフォースティング数を比較し、2つのパラメータ間の不等式を確立すること。
• 木と完全グラフに対する計量次元およびゼロフォースティング数に関する先行研究を、より複雑なグラフ族へと拡張すること。
• 線グラフにおける計量次元とゼロフォースティング数の一般的な関係についての予想を提示すること。

提案手法

• 著者は、構造的グラフ解析と帰納的推論を用いて、ホイールグラフ $L(W_{1,n})$ およびサークルのバケツ $L(B_n)$ の線グラフの計量次元とゼロフォースティング数を計算している。
• グラフ理論における既知の境界（関連行列の最小ランクおよび最大ノルマルティ）を適用し、ゼロフォースティング数の推定値を導出している。
• ゼロフォースティング集合にための色変更ルールを適用し、強制チェーン解析を通じて最小性を検証している。
• 計量次元の観点では、解体集合と計量コードを用い、線グラフ内の距離の性質を活用して最小基数を特定している。
• 一般の不等式を証明している：任意の連結グラフ $G$ に対して $Z(G) \leq 2Z(L(G))$ が成り立ち、さらに特定の条件下（例えばハミルトンパスおよび十分な辺数）では $Z(G) \leq Z(L(G))$ が成立する。
• 理論的結果は、$L(B_4)$ の最小ゼロフォースティング集合および解体集合を含む、具体的な例と図で裏付けられている。

実験結果

リサーチクエスチョン

• RQ1 ホイールグラフ $L(W_{1,n})$ の線グラフの計量次元は $n \geq 6$ のときどのように定義されるか？
• RQ2 サークル $n$ 個のバケツの線グラフ $L(B_n)$ のゼロフォースティング数は $n \geq 2$ のときどのように定義されるか？
• RQ3 一般に、線グラフにおける計量次元とゼロフォースティング数はどのように比較できるか？ また、一方が他方を上回る条件は何か？
• RQ4 予想されている不等式 $Z(G) \leq Z(L(G))$ は、すべての連結グラフ $G$ に拡張可能か？
• RQ5 $\dim(L(G)) = Z(L(G))$ が成り立つ条件は何か？ そのようなグラフは特徴付け可能か？

主な発見

• ホイールグラフ $L(W_{1,n})$ の計量次元は $n \geq 6$ のとき $n - \lceil n/3 \rceil$ に等しく、$n$ が増加するにつれて 3, 4 を経て減少する。
• ホイールグラフ $L(W_{1,n})$ のゼロフォースティング数は $n \geq 3$ のとき $n+1$ に等しく、$n$ に比例して線形増加を示す。
• サークル $n$ 個のバケツでは、$L(B_n)$ の計量次元とゼロフォースティング数はともに正確に $2n-1$ に等しく、このクラスでは等価性が成立する。
• 本稿では、任意の単純かつ連結なグラフ $G$ に対して $Z(G) \leq 2Z(L(G))$ を証明しており、一般の上界を確立している。
• ハミルトンパスを有し、$2(|V(G)|-2)$ 条以上の辺を持つグラフでは、$\dim(L(G)) \leq Z(L(G))$ が成立し、先行研究を拡張している。
• 著者らは、すべての連結グラフ $G$ に対して $\dim(L(G)) \leq Z(L(G))$ および $Z(G) \leq Z(L(G))$ が成り立つと予想しており、2つのパラメータ間のより深い構造的関係を示唆している。