[论文解读] A simple discharging method for forbidden subposet problems

Ryan R. Martin, Abhishek Methuku+2 more|arXiv (Cornell University)|Oct 13, 2017

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

一句话总结

本文提出一种新颖的放电方法，以解决极值偏序集理论中的一个猜想：当 $ n \geq k+1 $ 时，避免 $ Y_{k,2} $ 及其对偶 $ Y'_{k,2} $ 作为诱导子偏序集的 $[n]$ 的子集族的最大大小恰好为 $ \Sigma(n,k) $，即第 $ k $ 个最大的二项式系数之和。该方法在布尔格上使用电荷与转移论证来界定族的大小，证明只有当族由布尔格的 $ k $ 个中间层构成时，等号才能成立。

ABSTRACT

The poset $Y_{k+1, 2}$ consists of $k+2$ distinct elements $x_1$, $x_2$, \dots, $x_{k}$, $y_1$,$y_2$, such that $x_1 \le x_2 \le \dots \le x_{k} \le y_1$,~$y_2$. The poset $Y'_{k+1, 2}$ is the dual of $Y_{k+1, 2}$ Let $ m{La}^{\sharp}(n,\{Y_{k+1, 2}, Y'_{k+1, 2}\})$ be the size of the largest family $\mathcal{F} \subset 2^{[n]}$ that contains neither $Y_{k+1,2}$ nor $Y'_{k+1,2}$ as an induced subposet. Methuku and Tompkins proved that $ m{La}^{\sharp}(n, \{Y_{3,2}, Y'_{3,2}\}) = Σ(n,2)$ for $n \ge 3$ and they conjectured the generalization that if $k \ge 2$ is an integer and $n \ge k+1$, then $ m{La}^{\sharp}(n, \{Y_{k+1,2}, Y'_{k+1,2}\}) = Σ(n,k)$. In this paper, we introduce a simple discharging approach and prove this conjecture.

研究动机与目标

• 解决 Methuku 和 Tompkins 提出的关于避免诱导子偏序集 $ Y_{k,2} $ 及其对偶 $ Y'_{k,2} $ 的族的极值大小的猜想。
• 证明对所有 $ n \geq k+1 $，有 $ \mathrm{La}^\sharp(n,\{Y_{k,2},Y'_{k,2}\}) = \Sigma(n,k) $，其中 $ \Sigma(n,k) $ 是阶为 $ n $ 的 $ k $ 个最大二项式系数之和。
• 引入并展示一种新型放电方法在布尔格中禁止诱导子偏序集问题中的有效性。
• 证明极值界中的等号仅在族由布尔格的 $ k $ 个中间层构成时才能实现。

提出的方法

• 开发一种放电方法，其中每个子集 $ F \in \mathcal{F} $ 被赋予与 $ \binom{n}{|F|}^{-1} $ 成比例的初始电荷，并根据包含关系重新分配电荷。
• 以保持总电荷不变的方式，将电荷从较大集合转移到较小集合，确保 $ \mathcal{F} $ 上的总和不超过 $ k $。
• 该方法利用布尔格的规范链分解来定义依赖于 $ Y_{k,2} $ 和 $ Y'_{k,2} $ 结构的电荷转移规则。
• 通过电荷守恒推导出关键不等式 $ \sum_{F \in \mathcal{F}} \binom{n}{|F|}^{-1} \leq k $，从而推出 $ |\mathcal{F}| \leq \Sigma(n,k) $。
• 对空集或全集是否属于 $ \mathcal{F} $ 进行情况分析，在每种情况下均证明若 $ |\mathcal{F}| = \Sigma(n,k) $，则极值结构不可能实现。
• 证明利用了在逆二项式系数之和中取等号时，族必须集中于 $ k $ 个连续层级，任何偏离都将导致出现诱导的 $ Y_{k,2} $ 或 $ Y'_{k,2} $。

实验结果

研究问题

• RQ1 对于 $ \mathcal{F} \subseteq 2^{[n]} $，避免 $ Y_{k,2} $ 和 $ Y'_{k,2} $ 作为诱导子偏序集的最大族大小是多少？
• RQ2 能否使用一种新的组合方法证明猜想 $ \mathrm{La}^\sharp(n,\{Y_{k,2},Y'_{k,2}\}) = \Sigma(n,k) $ 对所有 $ n \geq k+1 $ 成立？
• RQ3 是否存在结构上的原因，使得达到 $ \Sigma(n,k) $ 个元素的族必须由布尔格的 $ k $ 个中间层构成？
• RQ4 为何当 $ \varnothing $ 或 $ [n] $ 属于 $ \mathcal{F} $ 时，即使族在其他方面是极大的，也无法实现大小为 $ \Sigma(n,k) $ 的极值族？

主要发现

• 对所有 $ n \geq k+1 $，避免诱导子偏序集 $ Y_{k,2} $ 和 $ Y'_{k,2} $ 的族的极值大小恰好为 $ \Sigma(n,k) $。
• 放电方法成功证明了猜想，通过显示 $ \sum_{F \in \mathcal{F}} \binom{n}{|F|}^{-1} \leq k $，从而推出 $ |\mathcal{F}| \leq \Sigma(n,k) $。
• 当且仅当 $ \mathcal{F} $ 由布尔格的 $ k $ 个中间层构成时，才能实现边界值 $ |\mathcal{F}| = \Sigma(n,k) $ 的等号。
• 若 $ \mathcal{F} $ 包含 $ \varnothing $ 或 $ [n] $，则 $ |\mathcal{F}| \leq \Sigma(n,k) - 1 $，因此极值族不能包含全集或空集。
• 证明表明，任何大小为 $ \Sigma(n,k) $ 但不完全由 $ k $ 个中间层构成的族，必然包含一个诱导的 $ Y_{k,2} $ 或 $ Y'_{k,2} $，与假设矛盾。
• 结果确认了 $ k $ 个中间层是 $ \{Y_{k,2}, Y'_{k,2}\} $ 诱导子偏序集问题下唯一的极值族。