[論文レビュー] 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

ひとこと要約

この論文は、極値poset理論における予想を解消するための新しい放電法を導入する。$ n \geq k+1 $ に対して、$[n]$ の部分集合族で、$ Y_{k,2} $ およびその双対 $ Y'_{k,2} $ を誘導部分posetとして含まない最大族のサイズは、正確に $ \Sigma(n,k) $ である。ここで $ \Sigma(n,k) $ は $ n $ 次の二項係数のうち $ 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 が提起した、誘導部分poset $ Y_{k,2} $ 及びその双対 $ Y'_{k,2} $ を避ける族の極値サイズに関する予想を解決すること。
• $ \mathrm{La}^\sharp(n,\{Y_{k,2},Y'_{k,2}\}) = \Sigma(n,k) $ をすべての $ n \geq k+1 $ に対して確立すること。ここで $ \Sigma(n,k) $ は $ n $ 次の二項係数のうち $ k $ 個の最大値の和である。
• ブール格子における禁止された誘導部分poset問題に適した、新しい放電法を導入し、その有効性を示すこと。
• 極値境界における等号が達成されるのは、族がブール格子の $ 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} $ の誘導部分posetを含むことになる。

実験結果

リサーチクエスチョン

• RQ1 誘導部分posetとして $ Y_{k,2} $ および $ Y'_{k,2} $ を含まない族 $ \mathcal{F} \subseteq 2^{[n]} $ の最大サイズは何か？
• RQ2 新しい組合せ的手法を用いて、$ n \geq k+1 $ のとき $ \mathrm{La}^\sharp(n,\{Y_{k,2},Y'_{k,2}\}) = \Sigma(n,k) $ という予想を証明できるか？
• RQ3 サイズ $ \Sigma(n,k) $ の族が、ブール格子の $ k $ 個の中央レベルからなるという構造的根拠は何か？
• RQ4 族がそれ以外に最大である場合、$ \varnothing $ または $ [n] $ が $ \mathcal{F} $ に含まれていると、なぜ極値族がサイズ $ \Sigma(n,k) $ を達成できなくなるのか？

主な発見

• $ n \geq k+1 $ に対して、誘導部分poset $ 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}| = \Sigma(n,k) $ における等号は、$ \mathcal{F} $ がブール格子の $ k $ 個の中央レベルからなる場合にのみ達成可能である。
• $ \mathcal{F} $ に $ \varnothing $ または $ [n] $ が含まれる場合、$ |\mathcal{F}| \leq \Sigma(n,k) - 1 $ となるため、極値族は全集合または空集合を含めない。
• $ k $ 個の中央レベルから成らないサイズ $ \Sigma(n,k) $ の族は、誘導部分posetとして $ Y_{k,2} $ または $ Y'_{k,2} $ を含む必要があることが証明され、仮定に反する。
• この結果により、$ \{Y_{k,2}, Y'_{k,2}\} $ の誘導部分poset問題において、$ k $ 個の中央レベルが唯一の極値族であることが確認された。