[論文レビュー] A note on traces of set families

Balázs Patkós|arXiv (Cornell University)|Nov 20, 2011

Limits and Structures in Graph Theory参考文献 13被引用数 9

ひとこと要約

本稿は、$(n-l')$-トレース $k$-Sperner な集合族のサイズに対する漸近的にタイトな上界を確立し、このような族のサイズが $(k - l' + o(1))\binom{n}{\lfloor n/2\rfloor}$ 以下であることを証明している。この結果は、極値集合論的手法、特にタイトパスを避ける族の境界と、禁止部分順序集合問題との関連を活用することで、漸近的に予想を裏付けている。

ABSTRACT

A family of sets $\mathcal{F} \subseteq 2^{[n]}$ is defined to be $l$-trace $k$-Sperner if for any $l$-subset $L$ of $[n]$ the family of traces $\mathcal{F}|_L=\{F \cap L: F \in \mathcal{F}\}$ does not contain any chain of length $k+1$. In this paper we prove that for any positive integers $l',k$ with $l'

研究の動機と目的

• 固定された $k$ および $l'$ に対して $l' < k$ を満たす $(n-l')$-トレース $k$-Sperner な族の最大サイズに関する予想を解消すること。
• 中央二項係数を用いて、このような族のサイズに対する漸近的にタイトな上界を確立すること。
• トレース問題を、特にブール順序集合におけるタイトパスを含む禁止部分順序集合問題と結びつけること。
• 従来のトレース族に関する結果を一般化し、$l' < k$ を満たす $k$ と $l'$ の全範囲に拡張すること。
• 大きな部分集合におけるトレースにおける長い鎖を避ける族の構造を理解するための枠組みを提供すること。

提案手法

• 禁止部分順序集合に関する Bukh の定理を用いて、長さ $l'$ のタイトパスを避ける族のサイズを制限する。
• $l'$ に関する帰納法を用い、レベル $i$ における長さ $l'$ のタイトパスを含まない族のサイズをシャドーの議論で制限する。
• 重複する集合を特定し、矛盾を導くために、修正されたシャドー構成を用いる。
• 濃度の不等式を適用して、中央の $n^{2/3}$ レベル以外の族が全体のサイズにほとんど寄与しないことを示す。
• $f(n,l',n-l')$ と $f(n,k,n-l')$ の結果を組み合わせ、再帰的不等式を用いて主な上界を導出する。
• $|\{X : ||X| - n/2| \geq n^{2/3}\}| = o(\frac{1}{n}\binom{n}{\lfloor n/2\rfloor})$ であるという事実を用いて、中央のレベルに注目を限定する。

実験結果

リサーチクエスチョン

• RQ1 固定された $k$ および $l'$ に対して $l' < k$ を満たす $\mathcal{F} \subseteq 2^{[n]}$ で、$(n-l')$-トレース $k$-Sperner である族の最大サイズは何か？
• RQ2 予想される上界 $f(n,k,n-l') = \sum_{i=1}^{k-l'}\binom{n}{\lfloor \frac{n - (k-l')}{2} + i \rfloor}$ は漸近的にタイトか？
• RQ3 特にタイトパスを含む禁止部分順序集合の技法を用いて、このようなトレース族の極値的サイズを制限できるか？
• RQ4 固定された $k$ および $l'$ に対して $n \to \infty$ のとき $f(n,k,n-l')$ の漸近的挙動はいかなるものか？
• RQ5 $k \leq l'$ のとき $f(n,k,n-l')$ の正しい漸近的オーダーは何か？また、これは $n$ に対してべき乗則の減衰に従うか？

主な発見

• $(n-l')$-トレース $k$-Sperner 族の最大サイズは $|\mathcal{F}| \leq (k - l' + o(1))\binom{n}{\lfloor n/2\rfloor}$ を満たし、これは漸近的にタイトである。
• この上界は、$n/2$ のまわりに中心を置いた $k - l'$ 個の連続するレベルの和集合からなる族によって達成され、予想された構造を確認している。
• この結果は、$l' < k$ を満たすすべての $k$ と $l'$ に対して、予想 1.1 を漸近的に確認している。これは、$l'=1, k=2$ の場合の先行結果を拡張している。
• $f(n,l',n-l')$ のサイズは $O_{l'}(n^{-1/3}\binom{n}{\lfloor n/2\rfloor})$ で抑えられ、$O_{l'}(n^{-1}\binom{n}{\lfloor n/2\rfloor})$ への改善が可能性である。
• 証明は、長さ $l'$ のタイトパスを避ける族のサイズを制限することに依存しており、帰納的シャドー議論と測度濃縮の性質を用いている。
• この結果は、大きなトレースにおける長い鎖を避けるトレース族は構造的に制約を受け、中央二項係数の定数倍を超えることはできないことを示している。