[论文解读] An Eventown Result for Permutations

Nathan Lindzey|arXiv (Cornell University)|Jan 18, 2026

Limits and Structures in Graph Theory被引用 0

一句话总结

本文证明，在 S_n 中的偶循环相交的排列族的大小至多为 2^{n-1}，且当 n 为 2 的幂且该族为 Sylow 2-子群的“双平移”时达到等号；它与 Körner 的翻转族相关联，并发展了新的表征理论恒等式。

ABSTRACT

A family of permutations $\mathcal{F} \subseteq S_n$ is even-cycle-intersecting if $σπ^{-1}$ has an even cycle for all $σ,π\in \mathcal{F}$. We show that if $\mathcal{F} \subseteq S_n$ is an even-cycle-intersecting family of permutations, then $|\mathcal{F}| \leq 2^{n-1}$, and that equality holds when $n$ is a power of 2 and $\mathcal{F}$ is a double-translate of a Sylow 2-subgroup of $S_n$. This result can be seen as an analogue of the classical eventown problem for subsets and it confirms a conjecture of János Körner on maximum reversing families of the symmetric group. Along the way, we show that the canonically intersecting families of $S_n$ are also the extremal odd-cycle-intersecting families of $S_n$ for all even $n$. While the latter result has less combinatorial significance, its proof uses an interesting new character-theoretic identity that might be of independent interest in algebraic combinatorics.

研究动机与目标

• 通过基于循环结构的代数-交集框架，动机化研究有限群中的交集族，尤其是置换群中的交集。
• 将 eventown 型极值问题从子集扩展到置换群，聚焦于 S_n 中的偶循环相交族。
• 确定此类族的最大可能大小并刻画极值情况，揭示与 Sylow 2-子群以及表示理论的联系。

提出的方法

• 用 p-正则图和正规 Cayley 图来建模交集，以研究对应于 p-奇异族的独立集。
• 应用 Delsarte–Hoffman界和 Lovász theta 函数来界定 S_n 上 2-正则图的独立数。
• 通过 S_n 的字符理论（Murnaghan–Nakayama 以及钩形/双行表）计算正规 Cayley 图的特征值。
• 引入并利用对置换上的一个有趣双射，以加权邻接矩阵，从而在界中实现等号。
• 通过显式的特征值分析和表示理论论证，证明当 n 为 2 的幂时，Sylow 2-子群及其双平移是极值族。

实验结果

研究问题

• RQ1 S_n 中偶循环相交族的最大尺寸是多少？
• RQ2 在最大尺寸界等号何时成立，以及极值族具备怎样的结构？
• RQ3 Sylow 2-子群（及其双平移）是否在所有 n 下刻画极值偶循环相交族的特征？
• RQ4 字符理论恒等式如何与极值 Odd-cycle 相交族以及 Körner 的翻转族相关？

主要发现

• 对于偶数 n，S_n 中的偶循环相交族的大小至多为 2^{n-1}。
• 当 n 为 2 的幂且族为 S_n 的 Sylow 2-子群的双平移时，等号成立。
• 该结果提供了 eventown 问题的置换群类比，并确认 Körner 针对最大翻转族（C=2）的猜想。
• 新的字符理论恒等式（涉及钩形和两行表的和）支撑极值分析，并刻画 S_n 中极值的 Odd-cycle 相交族。
• 工作将 Sylow 2-子群、Steinberg 型表征以及在 p-正则图中的表示理论投影联系起来。