[論文レビュー] Increasing paths in edge-ordered graphs: the hypercube and random graphs

Jessica De Silva, Theodore Molla+3 more|arXiv (Cornell University)|Feb 10, 2015

Advanced Graph Theory Research参考文献 6被引用数 4

ひとこと要約

本稿は、辺順序付きグラフにおける最長増加パスの長さについて、ハイパーキューブとランダムグラフを焦点として、新たな下界と上界を確立する。ハイパーキューブ $Q_d$ に対して $f(Q_d) \in \left[\frac{d}{\log d}, d\right]$ を示し、ランダムグラフ $G(n,p)$ に対しては高確率で $f(G(n,p)) \geq \frac{(1-o(1))np}{\omega(n)\log n}$ を示す。これにより、スパarsなグラフおよび構造的グラフにおける増加パスの挙動の理解が向上する。

ABSTRACT

An edge-ordering of a graph $G=(V,E)$ is a bijection $ϕ:E o\{1,2,...,|E|\}$. Given an edge-ordering, a sequence of edges $P=e_1,e_2,...,e_k$ is an increasing path if it is a path in $G$ which satisfies $ϕ(e_i)

研究の動機と目的

• $d$-次元ハイパーキューブ $Q_d$ における、すべての辺順序付けに関して最長増加パスの最小長 $f(G)$ のタイトな境界を特定すること。
• スパースな辺確率におけるランダムグラフ $G(n,p)$ における $f(G(n,p))$ を分析すること。
• 長年にわたり研究されてきた完全グラフ $K_n$ の場合に限らない、増加パスの理解を拡張すること。
• 組合せ的および確率的技法を用いて、スパースかつ構造的グラフにおける $f$ の漸近的下界を導出すること。
• 新しい補題および定理を用いて、平均次数、辺彩色数などのグラフパラメータと増加パス長との間の関係を確立すること。

提案手法

• 増加パスの分析に向け、歩行者アルゴリズムの一般化を用いる。
• Lemma 2 を適用：$f(G) < k$ ならば、$G$ の辺集合は、各々 $k$ 個以下の頂点を含む $n$ 個の部分グラフで被覆可能である。
• Lemma 3 を用いる：$2\zeta_k - k + 1 < d$ が成り立つとき、$\zeta_k = \max_{U \subseteq V, |U|=k} |E(G[U])|$ ならば、$f(G) \geq k$ である。
• Vizingの定理を活用して $f(G) \leq \chi'(G) \leq \Delta(G) + 1$ を得る。これにより、$f(Q_d) \leq d$ の上界が証明される。
• 和集合の不等式および確率的評価を用いて、$G(n,p)$ が長い増加パスを避ける確率を推定する。
• チェルノフの不等式と和集合の不等式を用いて、$G(n,p)$ の最大次数が高確率で $O(np)$ であることを示し、境界のタイトさを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の辺順序付けにおける $d$-次元ハイパーキューブの最長増加パスの最小長 $f(Q_d)$ の漸近的挙動は何か？
• RQ2 スパースな領域における辺確率 $p$ のランダムグラフ $G(n,p)$ において、$f(G(n,p))$ はどのように振る舞うか？
• RQ3 平均次数に基づく $f(G)$ の下界を、特定のグラフ族に拡張または改善できるか？
• RQ4 最大次数または彩色指数に基づく $f(G)$ の最もタイトな上界は何か？
• RQ5 $G(n,p)$ の構造が、ランダムな辺順序付け下での長い増加パスの存在にどのように影響するか？

主な発見

• $d$-次元ハイパーキューブ $Q_d$ に対して、$f(Q_d) \in \left[\frac{d}{\log d}, d\right]$ が示された。上界は $\chi'(Q_d) \leq d+1$ およびハイパーキューブが $d$-正則であることから導かれる。
• 下界 $f(Q_d) \geq \frac{d}{\log d}$ は、$k = \lceil d / \log d \rceil$ に対して $2\zeta_k - k + 1 < d$ を示すことにより、Lemma 3 を用いて確立された。
• ランダムグラフ $G(n,p)$ に対しては、高確率で $p \leq \frac{\log n}{\sqrt{n}} \omega(n)$ のとき $f(G(n,p)) \geq \frac{(1-o(1))np}{\omega(n)\log n}$ が成り立つことが証明された。
• Corollary 7 により、$p \geq \frac{\log n}{\sqrt{n}} \omega(n)$ のとき、高確率で $f(G(n,p)) \geq (1-o(1))\sqrt{n}$ が成り立ち、完全グラフ $K_n$ に対する既知の最良下界と一致する。
• $G(n,p)$ の境界は、$f(G(n,p)) \leq (1+o(1))np$ が高確率で成り立つことから、対数的要因を除いてタイトである。これは最大次数の境界と整合的である。
• 結果として、$p \ll 1$ であるスパースなグラフ $G(n,p)$ であっても、長さ $\sqrt{n}$ の増加パスを有することが示され、完全グラフに対する既知の最良境界と一致する。