[论文解读] A new proof for the Erd\H{o}s-Ko-Rado Theorem for the alternating group

Bahman Ahmadi, Karen Meagher|arXiv (Cornell University)|Feb 28, 2013

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

一句话总结

本文使用关联方案中的团-共团界和表示理论，提出了一种关于交错群 $\operatorname{Alt}(n)$ 的 Erdös-Ko-Rado 定理的新代数证明。结果表明，当 $n \geq 5$ 时，$\operatorname{Alt}(n)$ 的任意相交子集的大小至多为 $\frac{(n-1)!}{2}$，且当且仅当该集合是某个点稳定子群的陪集时取等，从而证实了 $\operatorname{Alt}(n)$ 的严格 EKR 性质。

ABSTRACT

A subset $S$ of the alternating group on $n$ points is {\\it intersecting} if for any pair of permutations $\\pi,\\sigma$ in $S$, there is an element $i\\in \\{1,\\dots,n\\}$ such that $\\pi(i)=\\sigma(i)$. We prove that if $S$ is intersecting, then $|S|\\leq \\frac{(n-1)!}{2}$. Also, we prove that if $n \\geq 5$, then the only sets $S$ that meet this bound are the cosets of the stabilizer of a point of $\\{1,\\dots,n\\}$.

研究动机与目标

• 使用表示理论和关联方案，为交错群 $\operatorname{Alt}(n)$ 的 Erdös-Ko-Rado 定理提供一种替代证明。
• 建立 $\operatorname{Alt}(n)$ 的严格 EKR 性质，表明最大相交集合恰好是点稳定子的陪集。
• 证明 $\operatorname{Sym}(n)$ 的严格 EKR 性质可由 $\operatorname{Alt}(n)$ 的严格 EKR 性质推导得出。
• 应用关联方案中的团-共团界，结合群代数的不可约特征标和投影算子，证明 $\operatorname{Alt}(n)$ 的错位图。

提出的方法

• 构建群 $G = \operatorname{Alt}(n)$ 的错位图 $\Gamma_G$，其中顶点为群元素，若两个置换互为错位则连边。
• 在 $\Gamma_G$ 上应用关联方案中的团-共团界，利用与 $\operatorname{Alt}(n)$ 不可约特征标 $\chi$ 相关的投影算子 $E_\chi$。
• 证明中利用了 $\Gamma_G$ 中最大独立集 $S$ 对应于 $\operatorname{Alt}(n)$ 中的相交集合，通过不可约表示分析其特征向量 $v_S$。
• 通过 $\operatorname{Alt}(n)$ 的标准表示将 $v_S$ 分解为分量，并利用秩与支集分析证明 $v_S$ 必为点稳定子的特征向量。
• 该方法依赖于由 $\operatorname{Alt}(n)$ 在固定点集上的作用导出的矩阵 $M$ 的满秩性质，从而得出结论：$v_S$ 是恰好一个 $1$ 的 $01$-向量，意味着 $S$ 是点稳定子。
• 证明利用了 $\operatorname{Alt}(n)$ 的传递性与双传递性，并通过同态论证关联子群 $H \leq G$ 的 $\Gamma_H$ 与 $\Gamma_G$。

实验结果

研究问题

• RQ1 对于 $n \geq 5$，交错群 $\operatorname{Alt}(n)$ 中相交子集的最大大小是多少？
• RQ2 在 $\operatorname{Alt}(n)$ 中，哪些相交子集达到最大大小，且它们是否必为点稳定子的陪集？
• RQ3 能否由 $\operatorname{Alt}(n)$ 的严格 Erdös-Ko-Rado 性质推导出 $\operatorname{Sym}(n)$ 的严格 EKR 性质？
• RQ4 如何应用关联方案中的团-共团界，结合表示理论，证明 $\operatorname{Alt}(n)$ 的 EKR 定理？

主要发现

• 当 $n \geq 5$ 时，$\operatorname{Alt}(n)$ 的任意相交子集的大小至多为 $\frac{(n-1)!}{2}$，即点稳定子的大小。
• 唯一达到该上界的相交子集是 $\{1,\dots,n\}$ 中单个点稳定子的陪集，从而证实了 $\operatorname{Alt}(n)$ 的严格 EKR 性质。
• 错位图 $\Gamma_{\operatorname{Alt}(n)}$ 中任意最大独立集的特征向量必须是点稳定子的特征向量，此结论由秩与支集分析得出。
• 证明表明，由 $\operatorname{Alt}(n)$ 在固定点集上的作用导出的矩阵 $M$ 是满秩的，从而强制分解中的向量 $w$ 为零。
• 错位图的结构及其投影算子 $E_\chi$ 确保唯一最大独立集对应于点稳定子。
• 通过 $\operatorname{Alt}(n)$ 与 $\operatorname{Sym}(n)$ 错位图之间的同态论证，由 $\operatorname{Alt}(n)$ 的严格 EKR 性质推导出 $\operatorname{Sym}(n)$ 的严格 EKR 性质。