[論文レビュー] Set families with forbidden subposets

Linyuan Lü, Kevin G. Milans|arXiv (Cornell University)|Aug 4, 2014

Limits and Structures in Graph Theory参考文献 20被引用数 4

ひとこと要約

本稿は、誘導部分順序集合を避ける集合族に対するツーラン閾値の新たな上界を確立する。特に、$2^{[2]}$-自由な族のルービル質量は、$2.5823284 + o(1)$未満であることを示し、誘導部分順序集合設定における既存の上界を改善する。著者らは、最大鎖を用いた確率的平均化と重み付き鎖数え上げ法を用いてこれらの上界を導出し、誘導ツーラン問題が拡張バージョンよりも本質的に複雑であることを示している。

ABSTRACT

Let $F$ be a family of subsets of $\{1,\ldots,n\}$. We say that $F$ is $P$-free if the inclusion order on $F$ does not contain $P$ as an induced subposet. The \emph{Turán function} of $P$, denoted $π^*(n,P)$, is the maximum size of a $P$-free family of subsets of $\{1,\ldots,n\}$. We show that $π^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2}$ if $P$ is an $r$-element poset of height at most $2$. We also show that $π^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2}$ where $S_r$ is the standard example on $2r$ elements, and that $π^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}$, where $B_2$ is the $2$-dimensional Boolean lattice.

研究の動機と目的

• 与えられた部分順序集合 $P$ を誘導部分順序集合として含まない $[n]$ の部分集合族の最大サイズを、ツーラン閾値 $\pi^*(P)$ で測定すること。
• 極値集合論におけるツーラン型問題の既知の結果を、包含関係が拡張バージョンよりも厳しい誘導部分順序集合設定に拡張すること。
• $2$ 次元ブール格子 $2^{[2]}$ のツーラン閾値の既知の下界と上界の差を埋めること。これは禁止されるダイヤモンド部分順序集合に対応する。
• 拡張設定では有効であるルービル型の議論が、誘導ケースでは $2.25$ を超える上界を改善できないことの証明を通し、両者の問題に本質的な違いがあることを示すこと。

提案手法

• 各集合 $A$ に重み $1/\binom{n}{|A|}$ を割り当てることで、ブール格子 $2^{[n]}$ 上に重み付けを行う。これにより、ランダムな最大鎖を用いた確率的解釈が可能になる。
• ルービル質量 $\ell(\mathcal{F}) = \sum_{A \in \mathcal{F}} \frac{1}{\binom{n}{|A|}}$ を定義し、これはランダムな最大鎖に属する $\mathcal{F}$ の集合の期待数を数える。
• 族 $\mathcal{F}$ を $\mathcal{G}$（$\mathcal{F}$ 内のシングルトン）と $\mathcal{M}_k$（特定の構造的制約を満たすサイズ $k$ の集合）に分割し、それぞれの部分がルービル質量に与える寄与を上界で抑え込む。
• サイズ $k$ の集合がルービル質量に与える最大寄与を、$a_k = \ell_A^-(\mathcal{F})$（$\mathcal{F} \cap [\emptyset, A]$ に属する集合の数）で定義される列を用いて上界で抑え込む。
• 最大集合が $\mathcal{F} \cap \mathcal{C}$ のレベル $i$ から $j$ に位置するという事象 $\mathcal{E}_{i,j}$ を定義し、固定されたシングルトン集合 $S$ との共通部分集合を用いた包含除算法によりその確率を上界で抑え込む。
• 変数 $x = |T|/n$（$T = [n] \setminus S$）における多項式式を最適化し、$\ell(\mathcal{F})$ のタイトな上界を導出し、最終的な閾値推定値に至る。

実験結果

リサーチクエスチョン

• RQ1 誘導部分順序集合として $2^{[2]}$ を含まない族 $\mathcal{F} \subseteq 2^{[n]}$ のルービル質量の上界としての上限は何か？
• RQ2 特に標準例 $S_r$ とダイヤモンド部分順序集合 $2^{[2]}$ に対して、高さ 2 の部分順序集合 $P$ のツーラン閾値 $\pi^*(P)$ はどのように振る舞うか？
• RQ3 拡張包含設定では有効であるルービル型の議論が、誘導部分順序集合設定においても上界を改善するために使用可能か？
• RQ4 $2^{[2]}$ のような部分順序集合に対して、誘導版と拡張版のツーラン問題の間には、本質的な複雑さの違いがあるか？
• RQ5 鎖の重み付けと確率的平均化手法のみを用いて、$2^{[2]}$-自由族の $\ell(\mathcal{F})$ の最良の可能な上界は何か？

主な発見

• $2$ 次元ブール格子 $2^{[2]}$ のツーラン閾値は、$\pi^*(2^{[2]}) \leq 2.5823284$ を満たし、誘導部分順序集合設定における既存の上界を改善している。
• 任意の高さが 2 以下の $r$ 要素部分順序集合 $P$ に対して、$\mathrm{La}^*(n,P) \leq (4r + O(\sqrt{r})) \binom{n}{\lfloor n/2 \rfloor}$ を示し、$r$ に対して線形依存を確立した。
• 標準例 $S_r$ に対しては、$\pi^*(S_r) = r + O(\sqrt{r})$ を得ており、閾値が $r$ に対して線形に増加することを示している。
• 任意の $2^{[2]}$-自由族のルービル質量は、$2.5823284 + o(1)$ 未満であり、この上界は提示された手法においてタイトである。これは、ルービル型の議論では、この値を超える改善が不可能であることを示唆している。
• この結果により、誘導ツーラン問題は拡張バージョンよりも厳密に複雑であることが示された。誘導ケースの最良の既知の上界（$2.582$）は、拡張ケースの最良の上界（$2.25$）を上回っており、ルービルに基づく手法ではこの差を埋められないことが明らかになった。
• 解析により、最大のルービル質量は、非シングルトン要素の割合 $x = |T|/n$ が約 $0.687$ のときに達成され、最適構成における重要な集合の分布が非一様であることが明らかになった。