[論文レビュー] Maximum Intersecting Families of Permutations

Bahman Ahmadi|arXiv (Cornell University)|Nov 29, 2013

graph theory and CDMA systems参考文献 46被引用数 9

ひとこと要約

本稿では、群の表現論、特徴指標論、スペクトルグラフ理論を用いた表現論的アプローチである「モジュール法」を導入し、置換群におけるErdős-Ko-Rado（EKR）定理を証明する。対称群、PGL(2,q)、およびいくつかの他の群が厳密EKR性質を満たすことが示され、その最大交叉族は点安定化部分群の陪類に限りません。

ABSTRACT

It was first shown by Cameron and Ku that the group $G=Sym(n)$ has the strict EKR property. Then Godsil and Meagher presented an entirely different proof of this fact using some algebraic properties of the symmetric group. A similar method was employed to prove that the projective general linear group $PGL(2,q)$, with its natural action on the projective line $\mathbb{P}_q$, has the strict EKR property. The main objective in this thesis is to formally introduce this method, which we call the module method, and show that this provides a standard way to prove Erdos-Ko-Rado theorems for other permutation groups. We then, along with proving Erdos-Ko-Rado theorems for various groups, use this method to prove some permutation groups have the strict EKR property. We will also show that this method can be useful in characterizing the maximum independent sets of some Cayley graphs. To explain the module method, we need some facts from representation theory of groups, in particular, the symmetric group. We will provide the reader with a sufficient level of background from representation theory as well as graph theory and linear algebraic facts about graphs.

研究の動機と目的

• 置換群におけるErdős-Ko-Rado定理を証明する表現論的技法を形式化し一般化すること。
• 最大交叉族が点安定化部分群の陪類に限りませんような置換群を同定すること。
• モジュール法を用いて対称群、PGL(2,q)、および他の群における最大交叉族を分類すること。
• EKR問題をカイリー・グラフにおける最大独立集合の特徴付けと結びつけること。
• 表現論、線形代数、グラフ理論の自立的基盤を提供し、これらの道具に不慣れな研究者を対象とする。

提案手法

• 有限群の表現論、特に対称群に基づくモジュール法を用いる。
• 特徴指標論と置換モジュールの既約成分への分解を適用し、交叉集合の構造を分析する。
• 共轭類に関して群のデランジュメント・グラフを構築し、スペクトルグラフ理論を用いて独立数の上限を求める。
• クリーク-コクリーク境界と隣接行列の固有値解析を用いて最大独立集合を特徴付ける。
• ムルガナ・ナカヤマの規則とヤング盤を用いて、誘導表現における既約指標と重複度を計算する。
• 最大交叉族のサイズが点安定化部分群のサイズに等しく、スペクトル的および代数的制約により、その等号が陪類でのみ達成されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの置換群が、最大交叉族が点安定化部分群の陪類に限りませんような厳密Erdős-Ko-Rado性質を満たすか？
• RQ2 モジュール法を新しいクラスの置換群に対して体系的に応用してEKR型定理を証明できるか？
• RQ3 スペクトルグラフ理論と表現論をどのように組み合わせて、カイリー・グラフにおける最大独立集合を特徴付けるか？
• RQ4 既約表現と指標の直交性は、交叉族のサイズを制限するために果たす役割は何か？
• RQ5 モジュール法は、対称群や射影線形群を越えて、どの程度一般化可能か？

主な発見

• 対称群 $\operatorname{Sym}(n)$ は厳密EKR性質を満たし、最大交叉族は点安定化部分群の陪類に限りません。
• 射影一般線形群 $\operatorname{PGL}(2,q)$ はその射影直線上への自然な作用に関して、厳密EKR性質を満たします。
• モジュール法は、$\operatorname{PSL}(2,q)$、$\operatorname{Alt}(n)$、およびさまざまなワレーン積や拡張群に対しても、EKR性質を成功裏に証明しました。
• この方法により、群のデランジュメント・グラフにおける最大独立集合は、最大交叉族と等価であることが特徴付けられました。
• $\operatorname{PSL}(2,16)$ や $\operatorname{PSL}(2,17)$ のような群に対し、この方法は厳密EKR性質が成り立つことを確認し、最大交叉族のサイズが $|G|/n$ であることを示しました。
• 代数的およびスペクトル的技法を用いて、多様な置換群にわたるEKR型定理を統一的に証明するフレームワークを提供しました。