[論文レビュー] Lubell mass and induced partially ordered sets

Arès Méroueh|arXiv (Cornell University)|Jun 23, 2015

Advanced Topology and Set Theory被引用数 1

ひとこと要約

本稿は、任意の固定された部分順序集合 P に対して、P の誘導部分集合を含まない [n] の部分集合族 F のラビリンス質量（Lubell mass）が定数 c(P) で有界であることを証明する。証明では、層の分布を制御するための一般化されたピボットおよびアンチピボット構造を導入し、Lu と Milans の予想を確認するとともに、ラビリンス型不等式を用いて、部分順序集合論における従来の極値境界を強化する。

ABSTRACT

We prove that for every partially ordered set $P$, there exists $c(P)$ such that every family $\mathcal{F}$ of subsets of $[n]$ ordered by inclusion and which contains no induced copy of $P$ satisfies $\sum_{F\in \mathcal{F}}1/{n\choose |F|}\leq c(P)$. This confirms a conjecture of Lu and Milans.

研究の動機と目的

• 誘導部分順序集合を避ける族におけるラビリンス質量の有界性に関する Lu と Milans の予想を解決すること。
• ブール畳み込みにおける誘導部分順序集合の包含に関する極値組合せ論の結果を拡張すること。
• ラビリンス質量に対する一様上界を提供し、誘導部分順序集合を含まない族に対する従来のサイズに基づく境界を改善すること。
• ピボットの概念を一般化し、ブール畳み込みの複数の層にわたる誘導部分順序集合の回避を制御すること。

提案手法

• 誘導部分順序集合の包含関係をブール畳み込みの各層にわたって分析するため、一般化されたピボットおよびアンチピボット構造を導入する。
• 家族 F, B, A 及びそれらの制限を追跡するための再帰的数列構成を用い、層間の包含条件を保証する。
• ラビリンス質量を、各レベルにおける家族の密度の重み付き測度として用い、最大チェーンの交差と関連付ける。
• 埋め込みに十分な構造を保証するため、部分集合に「太り度」条件（ǫ-太り度）を適用する。
• 問題を、大きな部分集合 X に D(|X|, m, ǫ) や U(|X|, m, ǫ) の誘導部分集合が存在するかを調べることに還元する。
• 証拠集合と部分順序集合構造との間の同型性を用いて、誘導埋め込みを導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の部分順序集合 P に対して、P の誘導部分集合を含まないすべての族 F ⊆ P[n] に対して、l(F) ≤ c(P) を満たす定数 c(P) が存在するか？
• RQ2 ラビリンス質量を用いて、n に依存しない一様な上界を、誘導部分順序集合を含まない族のサイズに適用できるか？
• RQ3 ピボットの概念をどのように一般化すれば、ブール畳み込みの複数の層にわたる誘導部分順序集合の回避を制御できるか？
• RQ4 どのような構造的条件が、D(|X|, m, ǫ) や U(|X|, m, ǫ) のような誘導ユニバーサル部分順序集合の存在を保証するか？

主な発見

• 本稿は、任意の部分順序集合 P に対して、P の誘導部分集合を含まないすべての族 F ⊆ P[n] に対して l(F) ≤ c(P) となる定数 c(P) が存在することを確認した。
• ラビリンス質量 l(F) は一様に有界であり、これは、|F| ≤ c(P) · binom(n, floor(n/2)) であるという従来の結果を強化する。
• 証明により、ラビリンス質量が m と ǫ に依存する閾値を超える場合、F は D(|X|, m, ǫ) や U(|X|, m, ǫ) に埋め込まれることで、P の誘導部分集合を含むことが保証される。
• 一般化されたピボットおよびアンチピボット構造により、層構造の再帰的制御が可能となり、ユニバーサル部分順序集合族への同型写像の導出が可能になった。
• この結果は、ラビリンス質量がサイズ以上の構造的制約を捉えていることを示し、極値部分順序集合論における洗練された道具を提供する。
• 主要な技術的補題（補題 5.3）は、層間の包含および太り度条件を満たす数列の存在を確立し、最終的な埋め込み議論を可能にする。