[論文レビュー] A note on the minimum skew rank of powers of paths

Luz M. DeAlba, Ethan Kerzner+1 more|arXiv (Cornell University)|Jul 13, 2011

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

ひとこと要約

本稿は、パスの厳密なべき乗の最小歪みランクを決定し、パス長とべき乗次数に基づいた正確な公式を確立する。パス $P_n$ を $r$ 乗した場合、$n$ が奇数で $1 \leq r \leq n-3$ のとき、最小歪みランクは $n - r + 1$ である。$n$ が偶数で $t - s$ が偶数のとき、$n - r$ である。$n$ が偶数で $t - s$ が奇数のとき、$n - r + 2$ である。$r$ が十分に大きい場合、ランクは 4 に安定する。これらの結果は、歪み行列とグラフのべき乗に関する先行研究を拡張する。

ABSTRACT

The real minimum skew rank of a simple graph G 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 study the problem of real minimum skew rank of powers and strict powers of paths.

研究の動機と目的

• パスの頂点を距離 $r$ 以内で接続するウォークを用いて構成されるグラフのクラスである、パスの厳密なべき乗の最小歪みランクを特定すること。
• 特に歪み行列制約下でのパスおよびそのべき乗の最小歪みランクに関する先行結果を拡張すること。
• パリティ（偶奇）と $r$ の値に応じて、$\operatorname{mr}^{-}(P_n^{(r)})$ の正確な公式を確立すること。$r \geq n-2$ の場合を含む。
• パスの厳密なべき乗の最小歪みランクとその最小ランクを比較し、$\operatorname{mr}(P_n^{(r)}) \leq \operatorname{mr}^{-}(P_n^{(r)})$ が成り立ち、特定の偶奇条件を満たす場合に等号が成立することを示すこと。

提案手法

• グラフの厳密なべき乗の定義を用いる：$G^{(r)}$ に辺 $ij$ が存在するとは、$G$ において $i$ から $j$ への長さがちょうど $r$ のウォークが存在することである。
• 既知のパスの最小歪みランクに関する結果を適用する：$n$ が偶数のとき $\operatorname{mr}^{-}(P_n) = n$、$n$ が奇数のとき $n-1$ である。
• 補題 2.6 を用いた構造的分解により、$r=2s$ が偶数のとき $P_n^{(2s)} \cong P_{\lceil n/2 \rceil}^s \cup P_{\lfloor n/2 \rfloor}^s$ を示し、問題をより小さなパスに還元する。
• 最小歪みランクの部分グラフおよび和集合に関する性質を適用する：$H$ が $G$ の誘導部分グラフのとき $\operatorname{mr}^{-}(H) \leq \operatorname{mr}^{-}(G)$、$G_1$ と $G_2$ が互いに素なとき $\operatorname{mr}^{-}(G_1 \cup G_2) = \operatorname{mr}^{-}(G_1) + \operatorname{mr}^{-}(G_2)$ である。
• パリティと差 $t - s$（$n = 2t$、$r = 2s$ とおく）に基づいて、最終的な式のケースを区別するための再帰的公式を導出する。
• 特に $r \geq n-2$ の場合に、ランクが 4 または 2 に安定するための、ケース解析と数学的帰納法による検証を行う。

実験結果

リサーチクエスチョン

• RQ1 任意の $r$ に対して、$n$ 頂点からなるパス $P_n$ の厳密なべき乗 $P_n^{(r)}$ の最小歪みランクは何か？
• RQ2 $P_n^{(r)}$ の最小歪みランクは、$n$ の偶奇と $r$ の値にどのように依存するか？
• RQ3 $P_n^{(r)}$ の最小歪みランクが最小ランクに等しくなる条件は何か？また、いつ厳密に大きくなるか？
• RQ4 $P_n^{(2s)}$ の構造は、互いに素な小さなパスのべき乗の和集合に分解可能であり、ランク計算を簡略化できるか？

主な発見

• $1 \leq r \leq n-3$ かつ $n$ が奇数のとき、$P_n^{(r)}$ の最小歪みランクは $n - r + 1$ である。
• $1 \leq r \leq n-3$、$n = 2t$ が偶数、$t - s$ が偶数（$r = 2s$）のとき、最小歪みランクは $n - r$ である。
• $1 \leq r \leq n-3$、$n = 2t$ が偶数、$t - s$ が奇数のとき、最小歪みランクは $n - r + 2$ である。
• $r \geq n - 2$ のとき、$P_n^{(r)}$ の最小歪みランクは $n$ が偶数ならば 4、奇数ならば 2 に等しい。
• $P_n^{(r)}$ の最小ランクは常にその最小歪みランク以下であり、$n$ と $r$ がともに奇数、またはともに偶数で $t - s$ が偶数のときに等号が成立する。
• 同型 $P_n^{(2s)} \cong P_{\lceil n/2 \rceil}^s \cup P_{\lfloor n/2 \rfloor}^s$ により、グラフをより小さな成分に分解することで、最小歪みランクを再帰的に計算可能となる。