[论文解读] The inducibility of small oriented graphs

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

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

一句话总结

本文使用Razborov的旗代数方法，为小规模有向图的诱导性建立了改进的渐近上界，特别是证明了 $ 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$.

研究动机与目标

• 改进有向路径 $ \vec{P}_3 $ 的诱导性渐近上界，该值是Thomassé猜想 $ i(\vec{P}_3) = \frac{2}{5} $ 的核心。
• 为其他小规模有向图（包括 $ \vec{C}_4 $、$ \vec{C}_3 $、$ \vec{K}_{1,2} $ 和 $ \vec{K}_2 \cup \vec{E}_1 $）确定更紧致的上界。
• 研究在诱导密度最大化的极值有向图中，$ \vec{P}_3 $ 和 $ \vec{C}_4 $ 的极值图是否相同，基于其三顶点诱导子图的结构相似性。
• 将Razborov的旗代数方法应用于有向图理论中的极值问题，将其应用范围从无向图扩展至有向图。

提出的方法

• 将Razborov的旗代数方法应用于有向图，利用半定规划推导诱导子图密度的不等式。
• 分析采用类型为1的结构，旗在三顶点有向图上定义，方法依赖于旗代数背景下柯西-施瓦茨不等式。
• 构建一个半定矩阵 $ 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 鉴于 $ \vec{C}_4 $ 的每个三顶点诱导子图都同构于 $ \vec{P}_3 $，$ \vec{P}_3 $ 和 $ \vec{C}_4 $ 的极值有向图是否相同？
• RQ5 在旗代数框架中使用高阶类型是否能优于本研究中使用的阶数1类型？

主要发现

• 本文建立了新的上界 $ i(\vec{P}_3) \leq 0.4446 $，优于Bondy先前的界限 $ \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{P}_3 $ 和 $ \vec{C}_4 $ 的极值有向图在极限下同构，依据是 $ \vec{C}_4 $ 的每个三顶点诱导子图都同构于 $ \vec{P}_3 $。
• 尽管探索了高阶类型，本研究发现阶数1类型能产生最佳结果，表明在此框架中，复杂性与界限质量之间存在权衡。