[論文レビュー] Cycles Of Given Length In Oriented Graphs

Luke Kelly, Daniela Kühn+1 more|ArXiv.org|Jun 5, 2008

Advanced Graph Theory Research参考文献 18被引用数 7

ひとこと要約

この論文は、最小半出次数が $\lfloor n/3\rfloor + 1$ 以上である十分に大きな向き付けられたグラフが、3で割り切れないすべての $\ell \geq 4$ に対して $\ell$-サイクルを含むことを確立し、この境界がタイトであることを証明している。さらに、$\ell$ が3の倍数の場合、閾値は $\ell$ を割らない最小の $k \geq 3$ によって制御されるとの予想を提示しており、正則性に基づく手法と密度の高い向き付けられたグラフのパンサイクリック性に関する結果によって裏付けられている。

ABSTRACT

We show that for each \ell\geq 4 every sufficiently large oriented graph G with δ^+(G), δ^-(G) \geq \lfloor |G|/3 floor +1 contains an \ell-cycle. This is best possible for all those \ell\geq 4 which are not divisible by 3. Surprisingly, for some other values of \ell, an \ell-cycle is forced by a much weaker minimum degree condition. We propose and discuss a conjecture regarding the precise minimum degree which forces an \ell-cycle (with \ell \geq 4 divisible by 3) in an oriented graph. We also give an application of our results to pancyclicity and consider \ell-cycles in general digraphs.

研究の動機と目的

• すべての $\ell \geq 4$ に対して、向き付けられたグラフにおける $\ell$-サイクルを強制する最小半出次数条件を特定すること。
• 特に $\ell \not\equiv 0 \pmod{3}$ の場合に、3サイクルのブロー・アップによって達成される最良の境界に到達する極値的構成を同定すること。
• $\ell$ が3の倍数である場合の $\ell$-サイクルに対する正確な最小半出次数閾値の予想を、$\ell$ を割らない最小の $k \geq 3$ に基づいて提示すること。
• 順序の $3/8$ を超える最小半出次数を持つ向きつけられたグラフに対して、普遍的なパンサイクリック性の結果を確立すること。
• 正則性補題と最小出次数条件が、特定の有向サイクルや部分グラフを強制する役割を果たすかを調査すること。

提案手法

• 有向グラフの正則性補題を用いて、最小出次数条件の下での $\ell$-サイクルの存在に関する境界を導出する。
• 特定の有向ウォーク（例えば、トランスティティブな三角形や4サイクルを含むパス）のグリーディな埋め込み戦略を適用し、より長いサイクルを構築する。
• 超幾何的尾部バウンドを含む確率的手法を用いて、ランダム部分集合における高い最小半出次数を持つ部分グラフを同定する。
• 極値的構成（$k$-サイクルのブロー・アップ）の構造を活用して、主な予想の形成を支援する。
• 適切なウォーク構造を構築した後、Lemma 22(iv) を適用してサイクル埋め込みを完了する。
• ランダム部分集合選択補題を繰り返し適用して、グラフサイズを縮小しながら高い最小半出次数を維持し、帰納法を可能にする。

実験結果

リサーチクエスチョン

• RQ1 3で割り切れない $\ell \geq 4$ に対して、向きつけられたグラフにおける $\ell$-サイクルを強制する最小半出次数条件は何か？
• RQ2 $\ell$ が3の倍数である場合、$\ell$-サイクルのための閾値 $\lfloor n/3\rfloor + 1$ を改善できるか。もし可能であれば、最適な境界を決定づける要因は何か？
• RQ3 すべての $\ell$-サイクルを強制する最小半出次数を決定づける一般の極値的構成（例：$k$-サイクルのブロー・アップ）が存在するか。ここで $k$ は $\ell$ を割らない最小の $\geq 3$ の整数である。
• RQ4 順序の $3/8$ を超える最小半出次数は、向きつけられたグラフにおいてパンサイクリック性を強制するか？
• RQ5 最小半出次数条件の下での $\ell$-サイクルの存在を示す際に、正則性補題を回避できるか？

主な発見

• 3で割り切れないすべての $\ell \geq 4$ に対して、$n \geq 10^{10}\ell$ 頂点を持つ向きつけられたグラフ $G$ が $\delta^0(G) \geq \lfloor n/3\rfloor + 1$ を満たすならば、$\ell$-サイクルを含み、この境界はタイトである。
• この境界に到達する極値的構成は、3サイクルのブロー・アップであり、$\ell \not\equiv 0 \pmod{3}$ の場合に $\ell$-サイクルを含まず、最小半出次数は $\lfloor n/3\rfloor$ である。
• $\ell \equiv 0 \pmod{3}$ の場合、$\delta^0(G) \geq \lfloor n/3\rfloor + 1$ は、任意の指定された頂点を通る $\ell$-サイクルの存在に対して最適である。
• 論文は、$k \geq 150$ の場合、$n/k + 150n/k^2$ の最小出次数が、$\ell$ を割らない最小の $>2$ の整数 $k$ に対して $\ell$-サイクルを強制することを証明しており、主な予想を支持する。
• $k=4$ および $\ell \geq 42$ の場合、任意の $\varepsilon > 0$ に対して、十分に大きな $n$ に対して $\delta^0(G) \geq n/k + \varepsilon n$ は $\ell$-サイクルを強制する。これはこの場合において、予想が漸近的に正しいことを確認する。
• 順序の $3/8$ を超える最小半出次数は、すべての向きつけられたグラフがパンサイクリックであることを強制する。つまり、$3 \leq \ell \leq n$ のすべての長さの有向サイクルを含む。