[論文レビュー] The inducibility of small oriented graphs

Konrad Sperfeld|arXiv (Cornell University)|Nov 21, 2011

Graph theory and applications参考文献 1被引用数 13

ひとこと要約

この論文は、ラズボロフのフラグ代数法を用いて、特に $ i(\vec{P}_3) \leq 0.4446 $、$ i(\vec{C}_4) \leq 0.1104 $、および $ 6 - 4\sqrt{2} \leq i(\vec{K}_{1,2}) \leq 0.4644 $ を示すことで、小さな向き付きグラフの誘導可能性に対する改善された漸近的上界を確立している。結果は以前の境界を精緻化し、$ \vec{P}_3 $ および $ \vec{C}_4 $ の極値グラフが極限において同型であるという予想を支持する。

ABSTRACT

We use Razborov's flag algebra method to show an asymptotic upper bound for the maximal induced density $i(\vec P_3)$ of the orgraph $\vec P_3$ in an arbitrary orgraph. A conjecture of Thomassé states that $i(\vec P_3)=2/5$. The hitherto best known upper bound $i(\vec P_3)\leq12/25$ was given by Bondy. We can show that $i(\vec P_3)\leq 0.4446$. Further, we consider such a maximal density for some other small orgraphs. With easy arguments one can see that $i(\vec C_3)=1/4$, $i(\vec K_2 \cup \vec E_1)=3/4$ and $2/21\leq i(\vec C_4)$. We show that $i(\vec C_4)\leq 0.1104$ and conjecture that the extremal orgraphs of $\vec P_3$ and $\vec C_4$ are the same. Furthermore we show that $6-4\sqrt{2}\leq i(\vec K_{1,2})\leq 0.4644$.

研究の動機と目的

• トマッセの予想 $ i(\vec{P}_3) = \frac{2}{5} $ に中心的な役割を果たす、向き付きパス $ \vec{P}_3 $ の誘導可能性に対する漸近的上界を改善すること。
• 他の小さな向き付きグラフ、特に $ \vec{C}_4 $、$ \vec{C}_3 $、$ \vec{K}_{1,2} $、$ \vec{K}_2 \cup \vec{E}_1 $ の誘導可能性に対するよりきめの細かい上界を特定すること。
• $ \vec{P}_3 $ および $ \vec{C}_4 $ の誘導密度を最大にする極値グラフが、それらの3頂点部分グラフにおける構造的類似性に基づいて同じであるかどうかを調査すること。
• ラズボロフのフラグ代数法を向き付きグラフ理論における極値問題に適用し、非有向グラフへの応用を超えてその適用を拡張すること。

提案手法

• ラズボロフのフラグ代数法を向き付きグラフに適用し、誘導部分グラフ密度に関する不等式を導出するために半正定値計画法を用いる。
• タイプ1の形式を用い、3頂点の向き付きグラフに定義されたフラグを扱い、フラグ代数の文脈におけるコーシー＝シュワルツの不等式に依存する。
• 関連する二次形式が誘導可能性の有効な上界を与えるように、半正定値行列 $ A $ を構築する。この上界はフラグ代数の恒等式から導出される。
• フラグ積に基づく方程式系を設定し、半正定値計画法を用いて数値的に解き、その後に解を有理数近似する。
• 特に $ \vec{C}_4^{\circ n} $ を用いた辞書式積による再帰的構造を用いて、下界を導出し、極値構成を裏付ける。
• 計算ツールを用いて可能なフラグ代数恒等式の空間を探索し、実験により高階のタイプがこの場合においてはより良い境界をもたらさないことが示された。

実験結果

リサーチクエスチョン

• RQ1 $ \vec{P}_3 $ の誘導可能性に対する最高の既知の漸近的上界は何か？ また、$ \frac{2}{5} $ と呼ばれる予想値とはどのように比較されるか？
• RQ2 $ \vec{C}_4 $ の誘導可能性はよりきめの細かく境界づけられるか？ また、$ \vec{P}_3 $ との構造的関連性はあるか？
• RQ3 $ i(\vec{K}_{1,2}) $ の取りうる値の範囲は何か？ また、フラグ代数を用いてどの程度近似できるか？
• RQ4 すべての3頂点誘導部分グラフが $ \vec{P}_3 $ に同型であるという事実を踏まえると、$ \vec{P}_3 $ および $ \vec{C}_4 $ の極値グラフは同じであるか？
• RQ5 フラグ代数フレームワークにおいて高階のタイプを使用すると、本研究で用いられたタイプ1よりも良い境界が得られるか？

主な発見

• 本論文は、$ i(\vec{P}_3) \leq 0.4446 $ という新たな上界を確立し、以前のボンディの境界 $ \frac{12}{25} = 0.48 $ よりも改善している。
• $ \vec{C}_4 $ に関しては、$ i(\vec{C}_4) \leq 0.1104 $ を証明しており、以前の下界 $ \frac{2}{21} \approx 0.0952 $ よりも著しく精緻化されている。
• $ \vec{K}_{1,2} $ の誘導可能性は、下界 $ 6 - 4\sqrt{2} \approx 0.343 $ および上界 $ 0.4644 $ で抑えられており、この星型グラフのためのきめの細かい区間が得られている。
• フラグ代数恒等式を用いて、$ i(\vec{C}_3) = \frac{1}{4} $ および $ i(\vec{K}_2 \cup \vec{E}_1) = \frac{3}{4} $ を確認しており、既知の事例においてこの手法の整合性が裏付けられている。
• 著者らは、$ \vec{C}_4 $ のすべての3頂点誘導部分グラフが $ \vec{P}_3 $ に同型であるという事実に基づき、$ \vec{P}_3 $ および $ \vec{C}_4 $ の極値グラフが極限において同型であると予想している。
• 高階のタイプを検討したが、タイプ1が最良の結果をもたらしたため、このフレームワークにおいては複雑さと境界の質の間のトレードオフがあると考えられる。