[論文レビュー] Ahlswede-Khachatrian Theorems: Weighted, Infinite, and Hamming

Yuval Filmus|arXiv (Cornell University)|Oct 3, 2016

Limits and Structures in Graph Theory参考文献 10被引用数 3

ひとこと要約

この論文は、$μ_p$-測度枠組みにおいて原始的な証明を再考することで、重み付き、無限、ハミング設定へのアーツェーデ＝カハチャトリアン定理の拡張を実現する。すべての$p \in (0,1)$、特に$p > 1/2$の場合を含め、$t$-交差族の最大$μ_p$-測度を完全に特徴づけ、最適族を同定し、先行研究が最適族を記述できなかったり、$p < 1/2$にしか適用されなかった欠落を解消する。結果として、複数の分野にまたがる古典的極値組合せ論が統合的かつ一般化される。

ABSTRACT

The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of a $k$-uniform $t$-intersecting family on $n$ points, and describes all optimal families. We extend this theorem to several other settings: the weighted case, the case of infinitely many points, and the Hamming scheme. The weighted Ahlswede-Khachatrian theorem gives the maximal $μ_p$ measure of a $t$-intersecting family on $n$ points, where $μ_p(A) = p^{|A|} (1-p)^{n-|A|}$. As has been observed by Ahlswede and Khachatrian and by Dinur and Safra, this theorem can be derived from the classical one by a simple reduction. However, this reduction fails to identify the optimal families, and only works for $p &lt; 1/2$. We translate the two original proofs of Ahlswede and Khachatrian to the weighted case, thus identifying the optimal families in all cases. We also extend the theorem to the case $p &gt; 1/2$, using a different technique of Ahlswede and Khachatrian (the case $p = 1/2$ is Katona's intersection theorem). We then extend the weighted Ahlswede-Khachatrian theorem to the case of infinitely many points. The Ahlswede-Khachatrian theorem on the Hamming scheme gives the maximum cardinality of a subset of $\mathbb{Z}_m^n$ in which any two elements $x,y$ have $t$ positions $i_1,\ldots,i_t$ such that $x_{i_j} - y_{i_j} \in \{-(s-1),\ldots,s-1\}$. We show that this case corresponds to $μ_p$ with $p = s/m$, extending work of Ahlswede and Khachatrian, who considered the case $s = 1$. We also determine the maximum cardinality families. We obtain similar results for subsets of $[0,1]^n$, though in this case we are not able to identify all maximum cardinality families.

研究の動機と目的

• 有限点数$n$における最大$μ_p$-測度$t$-交差族の特徴づけを完成させること。特に、先行手法が失敗した$p > 1/2$の場合を含む。
• 重み付き設定におけるすべての最適族を同定し、過去の還元手法に欠けていた構造的記述を解消すること。
• 無限個の点を持つ場合へのアーツェーデ＝カハチャトリアン定理の拡張。$\{0,1\}^{\aleph_0}$における$t$-交差族の$μ_p$-測度の上界$w_{\infty}(p,t)$を定義すること。
• ハミングスキーム$\mathbb{Z}_m^n$への一般化。$p = s/m$に対応する$\u03bc_p$とみなされ、最大族を特定すること。
• $μ_p$設定におけるエレミス＝コ＝ラド定理の簡略化・統一的証明を提供すること。一般化された円周論法を用いる。

提案手法

• $μ_p$-測度設定におけるアーツェーデとカハチャトリアン（1997年）の2つの原始的証明を再構成し、最適族の構造的情報を保持すること。
• 確率的制限によるリフト補題を用いて、有限から無限設定への結果の転送を実現。$w_{\infty}(p,t) = \sup_n w(n,t,p)$を示すこと。
• ホーフィングの不等式と測度濃縮を用いて、$p$-バイアス抽出下での族の$μ_p$-測度を評価し、最適族との比較を可能にすること。
• カトナの円周法を$μ_p$設定に拡張し、重み付き状況におけるエレミス＝コ＝ラド定理の簡潔な証明を提供すること。
• $\mathcal{F}_{t,r} = \{S : |S \cap [t+2r]| \geq t+r\}$の家族を$μ_p$-測度枠組みで定義・分析し、$p$の最適閾値を特定すること。
• $p$-最適性下での族の同型不変性と最小性の議論を用いて、特に$p$が臨界分数$r/(t+2r-1)$でない場合の最適族の一意性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 すべての$p \in (0,1)$、特に$p > 1/2$の場合において、$n$点上の$t$-交差族の最大$μ_p$-測度は何か？
• RQ2 どの族がこの最大測度を達成するか。重み付き設定における完全な特徴づけは？
• RQ3 無限個の点上における$t$-交差族の$μ_p$-測度の上界は何か。有限ケースとどのように関係するか？
• RQ4 ハミングスキーム$\mathbb{Z}_m^n$へのアーツェーデ＝カハチャトリアン定理の拡張は何か。$p = s/m$に対応する$\u03bc_p$とどう関係するか？
• RQ5 カトナの円周論法を$μ_p$設定に一般化し、エレミス＝コ＝ラド定理のより簡潔な証明を得られるか？

主な発見

• 本論文は、すべての$n$、$t$、$p \in (0,1)$に対して、$n$点上の$t$-交差族の最大$μ_p$-測度$w(n,t,p)$を完全に特徴づけ、先行研究の不完全な図画像を解消する。
• $p \in \left[\frac{r}{t+2r-1}, \frac{r+1}{t+2r+1}\right]$の場合、最大測度は$\mu_p(\mathcal{F}_{t,r})$であり、すべての$n \geq t+2r$でこの族が最適であり、すべての最適族が明示的に同定される。
• $p > 1/2$の場合は、アーツェーデとカハチャトリアンの別手法を用いて解決され、最適族は依然として$\mathcal{F}_{t,r}$の形を保ち、$r$は$p$に応じて選ばれる。
• 無限の場合、$w_{\infty}(t,p) = \sup_n w(n,t,p)$が得られ、上界は極限で達成され、最適族は有限構成からリフトされる。
• ハミングスキーム$\mathbb{Z}_m^n$では、最大$t$-交差族は$\u03bc_p$（$p = s/m$）に対応し、最適族は再び適切な$r$に対する$\mathcal{F}_{t,r}$であり、$n$に関する明示的境界が得られる。
• $μ_p$設定における一般化された円周論法により、エレミス＝コ＝ラド定理の短く洗練された証明が得られ、ディヌール＝フリードギュートおよびフリードギュートの先行証明を簡略化する。