[论文解读] 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定理。
• 確定哪些排列群滿足嚴格EKR性質，即最大相交家族恰好為點穩定子群的陪集。
• 將該方法應用於分類對稱群、PGL(2,q)及其他群的最大相交家族。
• 將EKR問題與Cayley圖中最大獨立集的特徵聯繫起來。
• 為不熟悉這些工具的研究者提供表示理論、線性代數與圖論的自包含基礎。

提出的方法

• 使用模方法，一種基於有限群表示理論（特別是對稱群）的技術。
• 應用特徵理論，並透過將排列模分解為不可約組分來分析相交集合的結構。
• 構造群相對於共轭類的錯位圖，並利用譜圖論來界定獨立數。
• 運用團-共團界與鄰接矩陣的特徵值分析，以特徵化最大獨立集。
• 使用Murnaghan-Nakayama法則與楊圖來計算誘導表示中的不可約特徵與重數。
• 利用最大相交家族大小等於點穩定子群大小的事實，並透過譜與代數約束證明僅當為陪集時等號成立。

实验结果

研究问题

• RQ1 哪些排列群滿足嚴格Erdős-Ko-Rado性質，使得唯一最大相交家族為點穩定子群的陪集？
• RQ2 模方法能否系統性地應用於證明新一類排列群上的EKR型定理？
• RQ3 如何結合譜圖論與表示理論來特徵化Cayley圖中的最大獨立集？
• RQ4 不可約表示與特徵正交性在界定相交家族大小時發揮何種作用？
• RQ5 模方法在多大程度上可推廣至超越對稱群與射影線性群的範疇？

主要发现

• 對稱群 $\operatorname{Sym}(n)$ 具有嚴格EKR性質，其最大相交家族恰好為點穩定子群的陪集。
• 在射影直線上的自然作用下，射影一般線性群 $\operatorname{PGL}(2,q)$ 同樣滿足嚴格EKR性質。
• 模方法成功證明了若干其他群的EKR性質，包括 $\operatorname{PSL}(2,q)$、$\operatorname{Alt}(n)$，以及多種馮戴克積與擴張群。
• 該方法將群的錯位圖中的最大獨立集特徵化為與最大相交家族等價。
• 對於 $\operatorname{PSL}(2,16)$ 與 $\operatorname{PSL}(2,17}$ 等群，該方法確認了嚴格EKR性質成立，最大相交家族大小為 $|G|/n$。
• 該方法提供了一個統一框架，可運用代數與譜技術證明多種排列群上的EKR型定理。