[论文解读] All $2$-transitive groups have the EKR-module property

Karen Meagher, Peter Sin|arXiv (Cornell University)|Nov 25, 2019

Finite Group Theory Research参考文献 22被引用 7

一句话总结

本文证明了所有2-传递置换群均具有EKR-模性质，即任意最大相交集合的特征向量可表示为点稳定子群及其陪集的特征向量的线性组合。关键结果通过表示理论与关联方案，对2-传递群中最大相交集合的结构进行了表征，表明它们与点稳定子群具有相同的内分布。

ABSTRACT

We prove that every 2-transitive group has a property called the EKR-module property. This property gives a characterization of the maximum intersecting sets of permutations in the group. Specifically, the characteristic vector of any maximum intersecting set in a 2-transitive group is the linear combination of the characteristic vectors of the stabilizers of a points and their cosets. We also consider when the derangement graph of a 2-transitive group is connected and when a maximum intersecting set is a subgroup or a coset of a subgroup.

研究动机与目标

• 建立每个2-传递置换群均满足EKR-模性质，即对最大相交集合的结构性条件。
• 通过证明2-传递群中最大相交集合受稳定子特征向量线性张成的约束，推广EKR型结果。
• 利用关联方案与不可约表示，提供最大相交集合的表示理论表征。
• 研究在导出图连通时，2-传递群中最大相交集合是否可能为非典范、非子群且非陪集结构。

提出的方法

• 作者使用群G的正则模，并为点稳定子及其陪集定义特征向量。
• 他们应用有限群的表示理论，特别是正则模分解为不可约表示的分解，以分析最大相交集合的结构。
• 通过二次型 v_S^T A_c v_S / |S| 计算最大相交集合S的内分布，其中A_c为共轭类关联方案的矩阵。
• 分析对偶分布 v_S^T E_φ v_S / |S|，表明仅有平凡表示和唯一的非平凡不可约表示ψ_G有贡献，从而得出所有最大相交集合具有固定的对偶分布。
• 利用关联方案基之间的对偶性，通过逆特征值矩阵证明任意最大相交集合的内分布与点稳定子的内分布一致。
• 证明依赖于2-传递群中正则模可分解为平凡模与另一个不可约模之和，从而简化了分析。

实验结果

研究问题

• RQ1 每个2-传递群是否都满足EKR-模性质，即任意最大相交集合的特征向量是否位于稳定子特征向量张成的空间中？
• RQ2 当导出图连通时，2-传递群中的最大相交集合是否可能为非典范、非子群且非陪集结构？
• RQ3 2-传递群中所有最大相交集合是否具有相同的内分布，即每类共轭类相关的对数相同？
• RQ4 即使严格EKR性质不成立，EKR-模性质是否足以表征2-传递群中最大相交集合的结构？

主要发现

• 所有2-传递群均满足EKR-模性质：任意最大相交集合的特征向量可表示为点稳定子及其陪集的特征向量的线性组合。
• 2-传递群中所有最大相交集合的内分布与点稳定子相同，即每类共轭类相关的对数相同。
• 任意最大相交集合的对偶分布是固定的：仅平凡表示与唯一的非平凡不可约表示ψ_G有贡献，其值分别为1/n与1−1/n。
• 最大相交集合的内分布完全由对偶分布与共轭类关联方案的特征值矩阵决定。
• 该结果证实了文献[25]中的猜想1.3，确立EKR-模性质为2-传递群的普遍特征。
• 通过内分布的表征，对先前结果进行了细化，并为最大相交集合提供了超越EKR性质的结构性约束。