[論文レビュー] Existence of spanning $\mathcal{F}$-free subgraphs with large minimum degree

Guillem Perarnau, Bruce Reed|arXiv (Cornell University)|Apr 30, 2014

Limits and Structures in Graph Theory参考文献 12被引用数 4

ひとこと要約

本稿は、$d$-正則グラフにおける最小次数が大きな$F$-フリーな部分グラフの存在を確立し、彩色数2の閉じた族$F$に対して、特に二部グラフ族（サイクルや完全二部グラフを含む）に対して、Conjecture 1を、新しい局所的単射準同型枠組みとLovászの局部大法則を用いた確率的彩色によって証明する。

ABSTRACT

Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs.

研究の動機と目的

• $d$-正則グラフにおける最小次数$\nOmega(\mathrm{ex}(d,\nF)/d)$のスパニング$\nF$-フリー部分グラフの存在に関するConjecture 1を解決すること。
• 彩色数2をもつ族$\nF$に対する extremal graph theory の理解を拡張すること。これは非二部グラフ族と比較して、まだ十分に理解されていない問題である。
• 局所的単射準同型に基づく新しい手法を開発し、禁止部分グラフを避ける一方で、高い最小次数を維持できるようにすること。
• 閉じた族$\nF$に対して、最小次数に関する予想される下界が漸近的に成り立つことを証明すること。これは$\nF$が二部グラフである場合にも成立する。

提案手法

• 局所的単射準同型（$\mathrm{hom}^*$）の概念を導入し、$\nF$-フリー性の概念を強化し、構造的制御を可能にする。
• 二段階の彩色手順を用いる：集合$A$の確率的彩色、その後に$B$の決定的反復的彩色。辺の削除を伴い、次数と虹色近傍条件を維持する。
• Lovászの局部大法則を適用し、十分なスパarsityと次数制約のもとで、望ましい彩色および部分グラフの性質が正の確率で成立することを示す。
• $d$-正則グラフ$G$のスパニング部分グラフ$H$を構成し、$\delta(H) = \Omega(\delta(J))$となるようにする。ここで$J$は$F \in \nF$の局所的単射コピーを含まない$\nbeta$-ほぼ正則グラフである。
• すべての$H$の近傍が虹色に彩色され、$H$の辺が$J$の辺に対応するように保証する。これにより、$H$から$J$への任意の準同型が局所的単射となる。
• $J$に$F \in \nF$の局所的単射コピーが存在しないことを利用して、$H$も$\nF$-フリーであると結論づける。

実験結果

リサーチクエスチョン

• RQ1 彩色数2の二部グラフ族$\nF$に対して、Conjecture 1が成り立つかどうか。特に、彩色数2の族に対しては？
• RQ2 $d$-正則グラフにおけるスパニング$\nF$-フリー部分グラフの最小次数が、$\Omega(\mathrm{ex}(d,\nF)/d)$で下から抑えられるか。
• RQ3 局所的単射準同型枠組みを用いて、高い最小次数の$\nF$-フリー部分グラフを構成できるか。
• RQ4 ターゲットグラフ$J$にどのような構造的条件を課すと、$J$に$F$の局所的単射コピーが存在しないことから、$d$-正則グラフ$G$の部分グラフ$H$に対しても同様に$F$-フリーであることが保証されるか。
• RQ5 特にLovászの局部大法則を用いた確率的手法を、反復的サブグラフ構成の過程で次数制約と彩色制約を維持するためにどのように適合できるか。

主な発見

• 定理2は、任意の$d$-正則グラフ$G$に対して、$\delta(H) = \Omega(\delta(J))$かつすべての$F \in \nF$に対して$\mathrm{hom}^*(F,H) = 0$を満たすスパニング部分グラフ$H$の存在を示す。ただし$J$は$\nbeta$-ほぼ正則、$\delta(J) > d^\epsilon$、および$\mathrm{hom}^*(F,J) = 0$を満たすものとする。
• 定理3は、すべての閉じた族$\nF$に対してConjecture 1を確認し、$d$-正則グラフ$G$に対して$\delta(H) = \Omega(\mathrm{ex}(d,\nF)/d)$が成り立つことを示す。
• 族$\nF_g = \{C_3, \dots, C_{g-1}\}$に対して、最小次数の既知の下界が$\Omega(\mathrm{ex}(d,\nF_g)/d)$に改善され、定数倍の差異を除いて予想された下界と一致する。
• この手法により$\delta(H) = \Omega(\delta(J))$が達成され、特定の$J$に対して$\delta(J)$が$\Theta(d^{1/g})$に達するため、$g$-サイクルを含まない部分グラフに対して$\delta(H) = \Omega(d^{1/g})$が得られる。
• 構成法により、$H$のすべての近傍が虹色に彩色され、$H$の辺の色が$J$の辺に対応するように保証され、局所的単射構造が保持される。
• 証明は反復的彩色と辺の削除に依存し、$\alpha$、$\beta$、$\epsilon$、$d$に関する所定の条件下で、必要な性質が正の確率で成立することを示している。