[論文レビュー] Asymptotic upper bounds on the shades of t-intersecting families

James Hirschorn|ArXiv.org|Aug 11, 2008

Limits and Structures in Graph Theory参考文献 5被引用数 6

ひとこと要約

本稿は、フランクルの一般予想を拡張し、$m$-シャドウのサイズに対する漸近的上限を提案する。アールスウェイ＝カハチャトリアンの定理を基盤として、$m \to \infty$ のとき、$[2m]$ 内の $k(m)$-部分集合の $t(m)$-交差族の $m$-シャドウに対して、正確な漸近的上限を導出する。特に、$t(m)$ および $k(m)$ の成長条件のもとで、シャドウ積の正規化されたサイズがゼロに収束することを示す。

ABSTRACT

We examine the m-shades of t-intersecting families of k-subsets of [n], and conjecture on the optimal upper bound on their cardinalities. This conjecture extends Frankl's General Conjecture that was proven true by Ahlswede-Khachatrian. From this we deduce the precise asymptotic upper bounds on the cardinalities of m-shades of t(m)-intersecting families of k(m)-subsets of [2m], as m -> infinity. A generalization to cross-t-intersecting families is also considered.

研究の動機と目的

• 集合 $[n]$ の $k$-部分集合の $t$-交差族の $m$-シャドウのサイズに対する漸近的上限を確立すること。
• 特に $[2m]$ における $k(m)$-部分集合の設定において、フランクルの一般予想をシャドウの基数に拡張すること。
• $m \to \infty$ の極限において、クロス-$t$-交差族の $m$-シャドウ積の漸近的挙動を調査すること。
• コーエンおよびランダムフォーシングに関連する記述的集合論における二分法の理論的基盤を提供すること。

提案手法

• アールスウェイ＝カハチャトリアンの定理を用いて、最大の $t$-交差族を特定の族 $\mathcal{F}_i(n,k,t)$ の和集合として特徴付ける。
• シャドウ作用素 $\nabla_{\to m}$ を $t$-交差族に適用し、それらの $m$-シャドウのサイズを分析する。
• 二項係数の組合せ的推定と漸近的解析を用いて、$\nabla_{\to m}(\mathcal{F}_i)$ のサイズを上限づける。
• クロス-$t$-交差族のペアとそれらの $m$-シャドウをモデル化するため、族 $\mathcal{G}_{ij}(n,k,t)$ を導入・分析する。
• 補題1を適用し、$[2m]\choose{m}$ 内の非一様着色と $t$-交差族の $m$-シャドウのサイズを関連付ける。
• $M(2m,m,t)$ が $\mathcal{F}_{l(m)}(2m,m,t)$ で最大であるという予想を用いて、漸近的減衰結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 $m \to \infty$ のとき、$[2m]$ の $k(m)$-部分集合の $t(m)$-交差族の $m$-シャドウのサイズに対する漸近的上限は何か？
• RQ2 $t(m)$ および $k(m)$ のある成長条件のもとで、$[2m]$ 内の $k(m)$-部分集合の $t(m)$-交差族の $m$-シャドウの正規化されたサイズはゼロに収束するか？
• RQ3 $m \to \infty$ の極限において、クロス-$t$-交差族の $m$-シャドウ積の漸近的挙動はどのように特徴づけられるか？
• RQ4 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ の条件下で、$N_0(2m,m,m,k,k,t)$ が漸近的にゼロに収束するという予想は正しいか？

主な発見

• 条件 $k(m) = o(m)$ および $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ のもとで、$[2m]$ 内の $k(m)$-部分集合の $t(m)$-交差族の $m$-シャドウの漸近的上限はゼロに収束することが示された。
• 同じ条件下で、最大の $t$-交差族 $\mathcal{F}_{l(m)}(2m,m,t)$ の $m$-シャドウの正規化されたサイズは、$\lim_{m\to\infty} \frac{|\nabla_{\to m}(\mathcal{F}_{l(m)})|}{{2m \choose m}} = 0$ を満たす。
• $k(m) = o(m)$ および $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ のとき、クロス-$t$-交差族の $m$-シャドウ積は $\lim_{m\to\infty} \frac{\sqrt{N_1(2m,m,k(m),t(m))}}{{2m \choose m}} = 0$ を満たし、これにより予想6が支持される。
• 条件を満たすとき、$|\mathcal{F}_i(2m,m,t)|$ の式における二項係数の和の漸近的挙動が、正規化形で1に近づくことから、結果が導かれる。
• 本稿では、$t$-交差族の $m$-シャドウのサイズが $2|\nabla_{\to m}(X)|$ で上限づけられることを確立し、組合せ的シャドウサイズと非一様着色のサイズを結びつける。
• 系7では、予想1（$M$ に関して）が成り立てば、予想2（$M_0$ に関して）も成り立つことが示され、$m$-シャドウサイズの漸近的減衰についての条件付き証明が得られた。