[論文レビュー] On an extremal problem involving a pair of forbidden posets

Casey Tompkins, Yao Wang|arXiv (Cornell University)|Oct 30, 2017

Advanced Topology and Set Theory参考文献 3被引用数 4

ひとこと要約

この論文は、Methukuと最初の著者が提起した予想を解決する。n要素集合の部分集合族において、誘導部分順序型 $Y_k$ と $Y_k'$ を両方とも避ける最大サイズは、ブール格子における $k$ 個の最大サイズのレベルの和、$Σ(n,k)$ に正確に等しいことを証明する。証明は、円形配置における区間数を制限するための巡回置換法を用い、誘導 $Y_k$-および $Y_k'$-自由な族が重要な二重数え上げ不等式を満たすことを確立する。この不等式は、極値的境界を示す。

ABSTRACT

Resolving a conjecture of Methuku and the first author we determine the size of the largest family of subsets of an $n$-element set avoiding both $Y_k$ and $Y_k'$ as induced subposets. The result follows as a consequence of the analogous result on a cyclical grid poset.

研究の動機と目的

• ブール格子における、誘導部分順序型 $Y_k$ と $Y_k'$ を両方とも避ける族の極値的サイズに関する予想を解決すること。
• 極値関数 $\operatorname{La}^*(n,\{Y_k,Y_k'\})$ が、$2^{[n]}$ における $k$ 個の最大サイズのレベルの和 $Σ(n,k)$ に等しいことを確立すること。
• 従来、部分順序型自由族に用いられた巡回置換法を、誘導部分順序型設定に拡張すること。
• 円形配置におけるチェーンと区間グループ化の分析を通じて、誘導 $Y_k$ および $Y_k'$ を避ける族の構造的特徴を特定すること。

提案手法

• Katonaの巡回置換法を用い、部分集合を円周上の区間に写像することで、極値的族を分析する。
• 二重数え上げの議論を適用する：$π$ が任意の置換であるとき、$π$ に対して $π$ による $π$-巡回区間 $π$ と $π$ の交わり $|\mathcal{I}(n)^\pi \cap \mathcal{A}| \leq kn$ が成り立つ。
• サイズ、先頭、末尾のパラメータに基づくチェーングループ化を定義し、巡回区間内での比較可能な集合の数を制御する。
• グループ化の寄与を追跡するための重み関数 $w(E)$ を導入し、合計重みが非正であることを保証する。
• グループ化に沿った有向グラフを構築し、サイクルとパスを分析することで、合計重みが0以下であることを示し、境界が成立することを示す。
• 構造的制約（例：$1 \leq t(C_i) \leq k-2$、$2 \leq m(C_i) \leq k-1$）を用いて、チェーンの長さを制限し、禁止構成を防ぐ。

実験結果

リサーチクエスチョン

• RQ1 集合 $[n]$ の部分集合族で、誘導部分順序型 $Y_k$ と $Y_k'$ を両方とも避ける最大サイズは何か？
• RQ2 予想 $\operatorname{La}^*(n,\{Y_k,Y_k'\}) = \Sigma(n,k)$ は、すべての $k \geq 2$ および $n \geq k+1$ に対して成り立つか？
• RQ3 巡回置換法は、誘導部分順序型問題の極値的境界を示すために適応可能か？
• RQ4 チェーンと区間グループ化の構造的性質は、誘導 $Y_k,Y_k'$-自由族のサイズにどのように制約を加えるか？

主な発見

• 誘導部分順序型 $Y_k$ および $Y_k'$ を両方とも避ける族の極値的サイズは、正確に $\Sigma(n,k)$ に等しく、これはブール格子における $k$ 個の最大サイズのレベルの和である。
• 境界 $\operatorname{La}^*(n,\{Y_k,Y_k'\}) = \Sigma(n,k)$ はタイトであり、$2^{[n]}$ の $k$ 個の最大サイズのレベルの和によって達成される。
• 任意の置換 $\pi$ に対して、$π$ による $π$-巡回区間 $π$ と $π$ の交わりは $kn$ 以下であり、これは二重数え上げの議論の鍵となる。
• チェーングループ化の重み解析により、二重数え上げ和への合計寄与は0以下であることが示され、極値的境界が成立する。
• 証明により、$σ(n,k)$ より大きなサイズの族には、誘導 $Y_k$ または $Y_k'$ の構成が存在できないことが示され、予想が確認された。
• この結果は、Erdősの $k$-チェーン自由族に関する定理を一般化し、De Bonis, Katona, Swanepoel の部分順序型自由族に関する結果を誘導設定に拡張する。