[論文レビュー] 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 の reversing ファミリーへとつながり、新しい表現論的恒等式を展開する。

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-正規グラフの独立数を界づける。
• Murnaghan–Nakayama および hook/二行の表現を用いた表現論により正規 Cayley グラフの固有値を計算する。
• 隣接行列を重み付けする permutations に対する興味深い一対対応を導入・活用し、界に等式を達成する。
• n が 2 のべき乗のとき Sylow 2-部分群（およびそのダブル翻訳）が極値になることを、明示的な固有値解析と表現論的議論を通じて示す。

実験結果

リサーチクエスチョン

• RQ1 S_n における偶巡回交叉ファミリーの最大サイズはいくらか？
• RQ2 最大サイズの等式が成立するのはいつか、極値ファミリーはどのような構造をしているか？
• RQ3 Sylow 2-部分群（およびそのダブル翻訳）はすべての n に対して極値偶巡回交叉ファミリーを特徴づけるか？
• RQ4 表現論的恒等は極値の奇巡回交叉ファミリーおよび Körner の reversing ファミリーとどう関連するか？

主な発見

• 偶数 n のとき、S_n における偶巡回交叉ファミリーのサイズは最大で 2^{n-1} である。
• 等式は n が 2 のべき乗のときおよびファミリーが S_n の Sylow 2-部分群のダブル翻訳であるときに成立する。
• この結果は eventown 問題の置換群類似を提供し、C=2 に関する Körner の reversing ファミリーの最大値の予想を確認する。
• 新しい表現論的恒等（フックと二行の表現の和を含む）が極値解析の基盤となり、S_n における奇巡回交叉ファミリーの特徴づけにも寄与する。
• 本研究は Sylow 2-部分群、Steinberg 型表現、群上の p-正規グラフの表現論的射影との関連を示し、極値解析の文脈を拡げる。