[论文解读] Extremal problems in ordered graphs

Craig Weidert|ArXiv.org|Jul 15, 2009

Limits and Structures in Graph Theory参考文献 7被引用 7

一句话总结

本文研究有序图中的极值问题，聚焦于避免固定禁止子图时，有序图最多可拥有的边数。通过迭代密度增加构造和涉及良好帽子及区间划分的组合论证，本文为一种特定的有序二分图——'帆船图'——建立了极值函数的上界，推动了Pach与Tardos关于树的极值函数的猜想的进展。

ABSTRACT

In this thesis we consider ordered graphs (that is, graphs with a fixed linear ordering on their vertices). We summarize and further investigations on the number of edges an ordered graph may have while avoiding a fixed forbidden ordered graph as a subgraph. In particular, we take a step toward confirming a conjecture of Pach and Tardos regarding the number of edges allowed when the forbidden pattern is a tree by establishing an upper bound for a particular ordered graph for which existing techniques have failed. We also generalize a theorem of Geneson by establishing an upper bound on the number of edges allowed if the forbidden graphs fit a generalized notion of a matching.

研究动机与目标

• 针对有序二分图的极值函数 $ ex_2(n,P) $，特别是针对'帆船图' $ P $，其中紧致界仍未知。
• 扩展现有用于界定有序图中极值函数的技术，尤其针对标准方法失效的模式。
• 研究 $ m $-元匹配及其他广义匹配模式在有序图中的极值行为。
• 为确认Pach与Tardos关于有序图中树的极值函数的猜想提供渐进性进展。
• 探索用于帆船图的方法是否可推广至其他固定有序图，而不仅限于本文研究的图。

提出的方法

• 使用迭代构造过程，构建一系列有序二分图 $ G_0, G_1, \dots, G_i $，其边密度逐步增加，同时避免禁止模式 $ P $。
• 该方法依赖于在图中识别'良好帽子'——形成特定构型的三元边组，并根据结构约束将其分类为三种类型。
• 应用计数论证以界定良好帽子的总数，利用顶点集的区间划分和度约束，推导出此类构型数量的上界。
• 证明使用递归密度提升：从 $ G_{i-1} $ 到 $ G_i $，顶点数 $ n_i $ 减少为 $ \lfloor n_{i-1}/t_{i-1} \rfloor $，而最小度 $ t_i $ 提升约 $ 1/(80 \log n_{i-1}) $ 的因子。
• 当最小度超过 $ 24 \lceil \log n_i \rceil $ 时，若初始边数过高，则导出矛盾。
• 通过分析序列 $ t_0, t_1, \dots, t_{i_0} $ 的增长，推导出 $ ex_2(n,P) $ 的上界，以 $ n $ 和对数因子表示。

实验结果

研究问题

• RQ1 对于'帆船'有序二分图 $ P $，极值函数 $ ex_2(n,P) $ 的渐近行为是什么？
• RQ2 能否使用广义匹配模式和区间分解技术，界定有序图中 $ m $-元匹配的极值函数？
• RQ3 用于帆船图的迭代密度增加方法是否适用于其他有序图，特别是超过六条边的树？
• RQ4 为帆船图推导出的上界是否紧致，且其是否可作为Pach与Tardos关于树的极值函数猜想的反例？
• RQ5 区间色数和顶点划分为独立集的方式如何影响有序图的极值行为？

主要发现

• 为 $ ex_2(n,P) $，即'帆船图' $ P $ 的极值函数，建立了上界，表明 $ ex_2(n,P) = O(n \cdot 80^{\sqrt{\log n \log \log n}}) $，该结果优于此前针对此模式的上界。
• 该方法成功克服了现有技术在一类有序图（包括帆船图）中的局限性，而此前方法在此类图上失效。
• 迭代构造过程确保每一步边密度均增加，同时保持对禁止模式 $ P $ 的避免，若初始边数过高，则导致矛盾。
• 图中'良好帽子'的总数被限定为 $ 3npt $，该界用于在假设此类构型过多时导出矛盾。
• 分析确认，帆船图的极值函数增长速度慢于任何多项式函数，但快于任何多对数函数。
• 该结果支持上界可能为紧致的推测；若属实，则帆船图将作为Pach与Tardos关于树的极值函数猜想的反例。