[論文レビュー] On Cross-intersecting Sperner Families

Wiseley Wong, Eng Guan Tay|arXiv (Cornell University)|Jan 7, 2020

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

ひとこと要約

本稿は、$n$-要素集合上における2つのクロス交差するSperner族（反鎖）のサイズの和について、タイトな上界を確立し、$|\mathscr{A}| + |\mathscr{B}| \leq \binom{n}{\lfloor n/2 \rfloor} + \binom{n}{\lceil n/2 \rceil}$ を証明している。等号成立は、ちょうど $\lfloor n/2 \rfloor$-集合と $\lceil n/2 \rceil$-集合の全集合である場合に限る。証明はSperner操作とシャドウ／シェード技法を用いて、極値およびほぼ極値の構造を同定している。

ABSTRACT

Two sets $\mathscr{A}$ and $\mathscr{B}$ are said to be cross-intersecting if $X\cap Y eq\emptyset$ for all $X\in\mathscr{A}$ and $Y\in\mathscr{B}$. Given two cross-intersecting Sperner families (or antichains) $\mathscr{A}$ and $\mathscr{B}$ of $\mathbb{N}_n$, we prove that $|\mathscr{A}|+|\mathscr{B}|\le 2{{n}\choose{\lceil{n/2} ceil}}$ if $n$ is odd, and $|\mathscr{A}|+|\mathscr{B}|\le {{n}\choose{n/2}}+{{n}\choose{(n/2)+1}}$ if $n$ is even. Furthermore, all extremal and almost-extremal families for $\mathscr{A}$ and $\mathscr{B}$ are determined.

研究の動機と目的

• $\mathbb{N}_n$ 上の2つのクロス交差するSperner族のサイズの和の最大値を特定すること。
• これらの境界に達するすべての極値およびほぼ極値の族を特徴付けること。
• 交差族に関する古典的結果を、クロス交差制約付きのSperner（反鎖）設定に拡張すること。
• 既存の手法とは異なり、Sperner操作を用いた新たな証明を与えること。
• 極値集合論的結果を、特に $G$-頂点乗算における最適向き付きグラフと関連付けること。

提案手法

• シャドウとシェードを含むSperner操作を用いて、クロス交差性および反鎖性を保ちつつ族を解析・変形する。
• ルービル＝ヤマモト＝メシャルキン（LYM）不等式枠組みと関連するシャドウ定理を用いて族のサイズを評価する。
• 中間レベル $\lfloor n/2 \rfloor$ および $\lceil n/2 \rceil$ の族のサイズに基づく場合分けを実施し、シャドウ成長に関する既知の不等式を活用する。
• 非極値構成に対して矛盾を導くために、二重数え上げと極値集合論的手法を用いる。
• シャドウサイズの推定を通じてクルスカル＝カトーナ定理を暗黙的に適用し、上位レベルの集合数を評価する。
• 任意の逸脱が $|\mathscr{A}| + |\mathscr{B}|$ の厳密な減少を引き起こすことを示すことにより、極値族の一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{N}_n$ 上の2つのクロス交差するSperner族について、$|\mathscr{A}| + |\mathscr{B}|$ の最大値は何か？
• RQ2 この最大値はいつ達成され、極値族の正確な構造は何か？
• RQ3 ほぼ極値の構成は何か？ そして、極値構成からどのように逸脱しているか？
• RQ4 著者らの示唆するように、極値境界をLYM型不等式に強化できるか？
• RQ5 これらの結果は、グラフの $G$-頂点乗算における最適向き付きとどのように関係しているか？

主な発見

• $n$ が奇数のとき、最大和 $|\mathscr{A}| + |\mathscr{B}|$ は $2\binom{n}{\lceil n/2 \rceil}$ であり、$\{\mathscr{A}, \mathscr{B}\} = \left\{ \binom{\mathbb{N}_n}{\lfloor (n+1)/2 \rfloor}, \binom{\mathbb{N}_n}{\lceil (n+1)/2 \rceil} \right\}$ のときに限り達成される。
• $n$ が偶数のとき、最大和は $\binom{n}{n/2} + \binom{n}{n/2 + 1}$ であり、1つの族が $n/2$-集合の全集合、もう1つの族が $(n/2+1)$-集合の全集合のときに限り達成される。
• $n$ が奇数のとき、ほぼ極値の場合は、1つの族が $\lceil n/2 \rceil$-集合の全集合であり、もう1つの族が $\binom{n}{\lceil n/2 \rceil} - 1$ 個の部分族である場合にのみ発生する。
• $n$ が偶数のとき、ほぼ極値和 $\binom{n}{n/2} + \binom{n}{n/2 + 1} - 1$ は、ちょうど2つの対称的構成で達成される：1つの族がレベル $n/2$ で全集合、もう1つの族がレベル $n/2 + 1$ でほぼ全集合、またはその逆。
• 極値およびほぼ極値のすべての構成が完全に特徴付けられており、それ以外の族はこれらの境界に達しない。
• Sperner操作を用いた証明手法により、従来の $t$-交差族に基づく証明とは異なる、新規で自己完結的な導出が可能である。