[論文レビュー] Sperner's Theorem and a Problem of Erdos-Katona-Kleitman

Shagnik Das, Wenying Gan+1 more|arXiv (Cornell University)|Feb 21, 2013

Limits and Structures in Graph Theory参考文献 8被引用数 7

ひとこと要約

この論文は、ブール格子の中央 $k+1$ レベルに中心を置く集合族が、$k$-チェーンの数を最小化することを証明し、$k$-中間二項係数の和までサイズが及ぶ場合に、$k$-チェーンの数を最小化する。著者らはすべての極値族を同定し、クライトマンの2-チェーン結果を $k$-チェーンに拡張し、エレドシュの $k$-チェーン自由族定理を定量的に強化した。

ABSTRACT

A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos extended this theorem to determine the largest family without a k-chain. Erdos and Katona, followed by Kleitman, asked how many chains must appear in families with sizes larger than the corresponding extremal bounds. In 1966, Kleitman resolved this question for 2-chains, showing that the number of such chains is minimized by taking sets as close to the middle level as possible. Moreover, he conjectured the extremal families were the same for k-chains, for all k. In this paper, making the first progress on this problem, we verify Kleitman's conjecture for the families whose size is at most the size of the $k+1$ middle levels. We also characterize all extremal configurations.

研究の動機と目的

• ブール格子の中央レベルに中心を置く族が $k$-チェーンを最小化するというクライトマンの予想を解決すること。
• 極値 $k$-チェーン自由族の境界 $M_{k-1}$ を超えるサイズの族における $k$-チェーンの最小数を特定し、エレドシュの定理を拡張すること。
• $k+1$ 中間二項係数の和までサイズが及ぶ場合に $k$-チェーンを最小化するすべての極値族を同定すること。
• スペナーおよびエレドシュの定理に対する、エレドシュ＝ラデマッハ型の定量的強化を $k$-チェーンに対して提供すること。

提案手法

• ブール格子における極値的構成を分析するため、対称的チェーン分解とレベルベース最適化の使用。
• 固定サイズの族における $k$-チェーン数の上限を求めるために、二重数え上げと凸性の議論の応用。
• 2-チェーンを最小化する範囲を定義するための半整数パラメータ $r$ の導入をし、$k$-チェーンに一般化すること。
• 構造的制約（集合サイズの制約、中間レベルの包含、端末レベルにおける反鎖条件）を用いた極値族の同定。
• 既知の反鎖およびスパナ族に関する結果を活用し、帰納法と既知の極値境界との比較による証明。
• レベル和制約を用いて、レベル間の指定されたステップサイズを持つ $k$-チェーンを制御する方法の拡張。

実験結果

リサーチクエスチョン

• RQ1 与えられたサイズ $s$ に対して $k$-チェーンの数を最小化する族は、ブール格子の $k+1$ 中央レベルからの集合からなるか？
• RQ2 $M_{k-1}$ を超えるサイズ $s > M_{k-1}$ の族において、$k$-チェーンの最小数は何か？（$k$-チェーン自由族の極値境界）
• RQ3 2-チェーンを最小化する族が、クライトマンの予想に従い、$k$-チェーンに対しても最適であるか？
• RQ4 $k$-チェーンを最小化する極値族は、集合サイズおよび包含パターンに関する構造的制約を含めて完全に同定可能か？
• RQ5 1つの2-チェーンにのみ含まれる集合が含まれるような族の最大サイズは何か？ これは極値境界とどのように関係するか？

主な発見

• クライトマンの予想は、$k+1$ 中間二項係数の和までサイズが及ぶ族に対して検証された。中央レベル族が $k$-チェーンを最小化することが確認された。
• 2-チェーンの場合、最小値は、族が集合サイズの中央区間内に含まれ、特定の包含および反鎖条件を満たす場合にのみ達成される。これは定理1.2で形式化されている。
• 2-チェーンを最小化するすべての極値族は同定された：それらは、中間の $2r-1$ レベルのすべての集合を含み、区間の外縁レベルでは反鎖を形成する必要がある。
• 指定されたステップサイズ $\alpha_i$ を持つ $k$-チェーンの数は、族が $\ell$ 個の連続する中央レベルに支持されている場合に最小化される。ただし $|\mathcal{F}| \leq M_\ell$ かつ最大集合サイズが制限されている場合に限る。
• 1を含まないすべての $m$-集合と、1を含むすべての $(m+1)$-集合からなる族は、スパナーベースを1つ超えるが、各集合はたかだか1つの2-チェーンにしか含まれない。これは、極値境界を超えた場合でも2-チェーンの分布が非常に均等に保たれることを示している。
• サイズ $2\binom{2m}{m}+1$ の任意の族は、少なくとも1つの集合が2つの2-チェーンに含まれることを含む。これは、比較可能なペairにおける避けられない重複の閾値を確認している。