[論文レビュー] Acyclic and unicyclic graphs whose minimum skew rank is equal to the minimum skew rank of a diametrical path

Luz M. DeAlba|arXiv (Cornell University)|Jul 12, 2011

Graph theory and applications参考文献 3被引用数 6

ひとこと要約

本稿では、連結なユニサイクリックグラフの最小スケューランクを計算するためのアルゴリズムを提示し、直径路のそれと等しい最小スケューランクを持つすべての連結な非サイクル（木）およびユニサイクリックグラフを完全に特徴づけている。主な結果は、スケューランクが保存される構造的条件——例えばサイクル長（3, 4, 6）、グラフのマイナーにおけるシロウム構造、および直径路における結合位置——を同定している。

ABSTRACT

The minimum skew rank of a simple graph G over the field of real numbers, is the smallest possible rank among all real skew-symmetric matrices whose (i,j)-entry (for i not equal to j) is nonzero whenever {i, j} is an edge in G and is zero otherwise. In this paper we give an algorithm for computing the minimum skew rank of a connected unicyclic graph, and classify all connected acyclic and connected unicyclic graphs G, for which the minimum skew rank of G is equal to the minimum skew rank of P, where P is a diametrical path of G.

研究の動機と目的

• 連結なユニサイクリックグラフの最小スケューランクを計算するためのアルゴリズムを開発すること。
• 連結な非サイクルおよびユニサイクリックグラフ G であって、その最小スケューランクが G の直径路のそれと等しいものをすべて分類すること。
• 木およびユニサイクリックグラフの文脈において、対称行列の最小ランクに関する既知の結果をスケュー対称行列へと拡張すること。
• サイクルを含むグラフ族において最小スケューランクを保存する構造的不変量を同定すること。
• マッチング、パス構造、および頂点次数がスケュー対称行列ランク最小化に果たす役割を調査すること。

提案手法

• 非対角成分の非ゼロ要素が G の辺に対応するすべての実スケュー対称行列のうち、最小ランクである最小スケューランク（mr⁻(G)）の概念を用いる。
• 直径路、マッチング、頂点の飽和といったグラフ論的道具を用いて、スケュー対称行列実現の分析を行う。
• カット頂点の削除と頂点和演算を用いて、複雑なグラフを分解し、最小スケューランクを保存する。
• スケュー零強制数（Z⁻(T)）とマッチング数（match(G)）を用いて最小スケューランクを評価・計算する。
• 定理3.2（増幅パスによる最大マッチングの特徴づけ）および定理5.1（頂点和におけるランク加法性）を適用し、再帰的ランク式を導出する。
• 構造的補題（例：補題5.9、補題5.12）を用いて、ユニサイクリックグラフにおけるサイクル型と付着条件を制限する。

実験結果

リサーチクエスチョン

• RQ1 どの連結な非サイクルおよびユニサイクリックグラフ G に対して、最小スケューランクが G の直径路のそれと等しくなるか？
• RQ2 ユニサイクリックグラフのどの構造的性質が、その最小スケューランクがその最長誘導パスのそれと一致することを保証するか？
• RQ3 サイクル長（3, 4, 6）および頂点の付着パターンは、ユニサイクリックグラフの最小スケューランクにどのように影響するか？
• RQ4 ユニサイクリックグラフから頂点を削除すると、どのような条件下で最小スケューランクが保存されるか？
• RQ5 パスグラフに関する既知の結果と頂点和を用いて、グラフの最小スケューランクを再帰的に計算できるか？

主な発見

• 連結なユニサイクリックグラフの最小スケューランクは、サイクル型と頂点付着構造に基づくアルゴリズムにより計算可能である。
• 連結なユニサイクリックグラフ G が一意なサイクル C_k を持つとき、k ∈ {3, 4, 6} であり、かつ V_C - V_P_n に属するすべての頂点が取り除かれた際にシロウム構造を形成するならば、mr⁻(G) = mr⁻(P_n) が成り立つ。
• G が直径路 P_n を持つ連結なユニサイクリックグラフであり、mr⁻(G) = mr⁻(P_n) であるならば、直径路 P_n には、3 ≤ r < s ≤ n−2 を満たす奇数および偶数のインデックスを持つペアの結合が存在してはならない。
• k=6 の場合、サイクル頂点 w が v_4 または v_{n-3} に隣接するならば、修正されたパス P' は、v_1 または v_n に隣接するかどうかに応じて、すべての結合が奇数インデックスまたは偶数インデックスに位置する必要がある。
• スパイダー・グラフ S_k やバタフライ・グラフ B_k の最小スケューランクは 4 であり、直径と一致する。この性質は頂点和構成によりより大きなグラフへと拡張可能である。
• 複数のスパイダーまたはバタフライ型コンポーネントを頂点和で結合して得られるグラフは、インダクションを用いて、mr⁻(G) = diam(G) の等式を保つ。