[论文解读] 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$-相交族的最大可能大小。
• 证明此类极值族必为某一标准构造的“双重平移”。
• 将结果推广至交错群 $A_n$ 中的 $t$-相交族。
• 为大 $n$ 时偏离 $t$-陪集结构的程度提供定量界。

提出的方法

• 利用粗糙稳定性结果，表明任何大小至少为 $c(n-t)!$ 的 $t$-相交族，其大部分元素均包含在某个 $t$-陪集中，误差以 $O(1/n)$ 的速率衰减。
• 应用谱方法与组合技术，分析避开 $t$-陪集结构的排列族的结构。
• 将极值族 $\mathcal{D}$ 构造为 $[t]$ 的点固定子群与涉及 $t+1$ 的对换的并集。
• 证明任何不位于 $t$-陪集中的 $t$-相交族，其大小不可能超过 $\mathcal{D}$，而 $\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$），任何不包含在 $t$-陪集中的 $S_n$ 中的 $t$-相交族，其大小至多为 $(1 - 1/e + o(1))(n-t)!$。
• 极值族 $\mathcal{D}$（定义为 $[t]$ 的稳定子群与满足 $i \leq t$ 的对换 $(i, t+1)$ 的并集）达到了该界。
• 若 $S_n$ 中的 $t$-相交族 $\mathcal{A}$ 与 $\mathcal{D}$ 大小相同，则 $\mathcal{A}$ 必为 $\mathcal{D}$ 的“双重平移”，即存在 $\pi, \tau \in S_n$ 使得 $\mathcal{A} = \pi \mathcal{D} \tau$。
• 粗糙稳定性结果表明，任何大小至少为 $c(n-t)!$ 的 $t$-相交族，其元素在 $t$-陪集中，至多有 $O(1/n)$ 的误差。
• 在交错群 $A_n$ 中的 $t$-相交族中，相同的极值界与结构表征依然成立。
• 该结果以精确形式确认了 Deza-Frankl 猜想，对超出 $t$-陪集情形的极值族给出了精确的结构表征。