[論文レビュー] A Proof of the Deza-Frankl Conjecture

David Ellis|arXiv (Cornell University)|Jul 19, 2008

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

ひとこと要約

この論文は、$S_n$ 内の $t$-交差する置換族についての正確な安定性結果を確立することで、Deza-Frankl予想を証明する。十分に大きな $n$ に対して、$t$-コセットに含まれないような任意の族は、サイズが $(1 - 1/e + o(1))(n-t)!$ 以下である。等号が成り立つのは、特定の極値族の「二重平行移動」に限る。この結果は交代群 $A_n$ に拡張可能である。

ABSTRACT

A family of permutations (\mathcal{A} \subset S_{n}) is said to be (t)- extit{intersecting} if any two permutations in (\mathcal{A}) agree on at least (t) points, i.e. for any (\sigma, \pi \in \mathcal{A}), (|\{i \in [n]: \sigma(i)=\pi(i)\}| \geq t). It was recently proved by Friedgut, Pilpel and the author that for (n) sufficiently large depending on (t), a (t)-intersecting family (\mathcal{A} \subset S_{n}) has size at most ((n-t)!), with equality only if (\mathcal{A}) is a coset of the stabilizer of (t) points (or `(t)-coset' for short), proving a conjecture of Deza and Frankl. Here, we first obtain a rough stability result for (t)-intersecting families of permutations, namely that for any (t \in \mathbb{N}) and any positive constant (c), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family of permutations of size at least (c(n-t)!), then there exists a (t)-coset containing all but at most a (O(1/n))-fraction of (\mathcal{A}). We use this to prove an exact stability result: for (n) sufficiently large depending on (t), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family which is not contained within a (t)-coset, then (\mathcal{A}) is at most as large as the family \mathcal{D} & = & \{\sigma \in S_{n}: \sigma(i)=i \forall i \leq t, \sigma(j)=j extrm{for some} j > t+1\} && \cup \{(1 t+1),(2 t+1),...,(t t+1)\} which has size ((1-1/e+o(1))(n-t)!). Moreover, if (\mathcal{A}) is the same size as (\mathcal{D}) then it must be a `double translate' of (\mathcal{D}), meaning that there exist (\pi, au \in S_{n}) such that (\mathcal{A}=\pi \mathcal{D} au). We also obtain an analogous result for (t)-intersecting families in the alternating group (A_{n}).

研究の動機と目的

• $S_n$ 内の $t$-交差する族についての正確な安定性結果を確立し、Deza-Frankl 予想を拡張する。
• $t$-コセットに含まれない $t$-交差する族の最大サイズを特徴付ける。
• このような極値族が、標準的構成の「二重平行移動」でなければならないことを証明する。
• $t$-交差する族が交代群 $A_n$ においても同様に成り立つことを示す。
• 十分に大きな $n$ における $t$-コセット構造からの逸脱の定量的バインディングを提供する。

提案手法

• 粗い安定性結果を用いて、$c(n-t)!$ 以上のサイズを持つ任意の $t$-交差族が、$O(1/n)$ の誤差を除いて $t$-コセットにほとんど含まれることを示す。
• スペクトル的および組合せ的技法を用いて、$t$-コセット構造を避ける族の構造を分析する。
• 極値族 $\mathcal{D}$ を、$[t]$ の点ごとの安定化部分群と、$t+1$ を含む互換 $(i, t+1)$ の集合の和集合として構成する。
• $t$-コセットに含まれない任意の $t$-交差族は、$\mathcal{D}$ のサイズを超えることはなく、そのサイズは $(1 - 1/e + o(1))(n-t)!$ に達する。
• 群作用の不変性を用いて「二重平行移動」を定義し、サイズが等しい場合にその構造をとることを示す。
• 偶置換に制限し、対応する安定化部分群構造を分析することで、$A_n$ における方法を適応する。

実験結果

リサーチクエスチョン

• RQ1 $S_n$ 内の $t$-交差する置換族で、$t$-コセットに含まれないものの最大サイズは何か？
• RQ2 このような族は、サイズの面で $t$-コセットの境界からどの程度近いか？
• RQ3 最大サイズの $t$-交差族（$t$-コセットを除く）がとる構造的形態は何か？
• RQ4 群作用の下で極値構造を特徴づけられるか。もしそうなら、正確な形は何か？
• RQ5 $A_n$ においても同様の安定性および極値構造の結果が成り立つか？

主な発見

• 十分に大きな $n$（$t$ に依存）に対して、$S_n$ 内の $t$-交差族で $t$-コセットに含まれないものは、すべてサイズが $(1 - 1/e + o(1))(n-t)!$ 以下である。
• 極値族 $\mathcal{D}$ は、$[t]$ の安定化部分群と $i \leq t$ に対する互換 $(i, t+1)$ の和集合として定義され、この境界に達する。
• サイズが $\mathcal{D}$ と同じであるような $t$-交差族 $\mathcal{A} \subset S_n$ が存在するならば、$\mathcal{A}$ は $\mathcal{D}$ の「二重平行移動」でなければならない。すなわち、ある $\pi, \tau \in S_n$ に対して $\mathcal{A} = \pi \mathcal{D} \tau$ である。
• 粗い安定性結果により、$c(n-t)!$ 以上のサイズを持つ任意の $t$-交差族は、$O(1/n)$ 要素の誤差を除いて $t$-コセットに含まれる。
• $A_n$ 内の $t$-交差族に対しても、同様の極値境界と構造的特徴付けが成り立つ。
• この結果により、Deza-Frankl 予想が正確な形で確認され、$t$-コセットを除く極値族の正確な特徴付けが得られた。