[論文レビュー] The Erdős-Ko-Rado property for some permutation groups

Bahman Ahmadi, Karen Meagher|arXiv (Cornell University)|Nov 27, 2013

Finite Group Theory Research参考文献 3被引用数 11

ひとこと要約

この論文は置換群におけるErdős-Ko-Rado (EKR)性質を調査し、巡回群が厳密EKR性質を満たし、二面体群およびFrobenius群がEKR性質を満たす（厳密バージョンについては特徴付けがなされている）、またEKR性質を持つ群の直積およびワーレル積もEKR性質を継承することを確立している。主な貢献は、いくつかの群族にわたる置換群のEKR性質および厳密EKR性質の包括的分類である。

ABSTRACT

A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group is either the stabilizer of a point or the coset of the stabilizer of a point. In this paper we look at several families of permutation groups and determine if the groups have either the EKR property or the strict EKR property. First, we prove that all cyclic groups have the strict EKR property. Next we show that all dihedral and Frobenius groups have the EKR property and we characterize which ones have the strict EKR property. Further, we show that if all the groups in an external direct sum or an internal direct sum have the EKR (or strict EKR) property, then the product does as well. Finally, we show that the wreath product of two groups with EKR property also has the EKR property.

研究の動機と目的

• 置換群がErdős-Ko-Rado (EKR)性質を満たす条件を特定すること。ここで最大の交差集合は点安定化子に一致する。
• より強い厳密EKR性質を満たす群を特徴付けること。ここで最大の交差集合サイズに達するものは、点安定化子の陪集合に限られる。
• 外部的および内部的直積（外部および内部）およびワーレル積などの群構成法に対してEKR性質を拡張すること。
• 特に$t$-交差集合および反例を用いて、EKR性質を持たない群の族を特定すること。

提案手法

• 群$G \leq \operatorname{Sym}(n)$に対して、頂点が群の元で、その積が固定点のない置換（derangement）であるような2つの置換が辺で結ばれる、導出グラフ$\Gamma_G$を定義する。
• グラフ理論的手法を用いる：EKR性質が成り立つのは、$\Gamma_G$における最大独立集合のサイズが最大の点安定化子のサイズと等しいときである。
• 群論的構成法を適用する：直積またはワーレル積の各因子がEKR性質を持つならば、その積に対してもEKR性質が成り立つことを証明する。
• $t$-交差集合（少なくとも$t$個の固定点を共有する置換）の概念を用いて、EKR性質が成り立たない反例を構成する。
• 安定化子およびその陪集合を分析することで、それらが最大独立集合の唯一の候補であるかどうかを特定し、厳密EKR条件のテストを行う。
• 対称群および交代群に関する既知の結果を活用して、新しい群族に対する帰納的および比較的議論を構築する。

実験結果

リサーチクエスチョン

• RQ1 すべての巡回群が厳密EKR性質を満たすか？ もし満たすならば、なぜその交差集合が点安定化子の陪集合に正確に一致するのか？
• RQ2 どの二面体群およびFrobenius群がEKR性質を満たし、どのような条件下で厳密EKR性質を満たすのか？
• RQ3 個々にEKR性質を持つ群の外部的および内部的直積に対して、EKR性質は成り立つか？
• RQ4 EKR性質を持つ2つの群のワーレル積に対してもEKR性質は成り立つか？
• RQ5 置換群$\operatorname{Sym}(n)$における$t$-交差集合を用いて、EKR性質を満たさない群を構成できるか？

主な発見

• すべての巡回群が厳密EKR性質を満たし、最大の交差集合は点安定化子の陪集合に限られる。
• すべての二面体群が厳密EKR性質を満たし、最大の交差集合が点安定化子の陪集合に正確に一致することが確認された。
• すべてのFrobenius群がEKR性質を満たし、論文ではその構造に基づいてどのFrobenius群が厳密EKR性質を満たすかを特徴付けた。
• EKR（または厳密EKR）性質を持つ群の外部的および内部的直積も、それぞれEKR（または厳密EKR）性質を継承する。
• EKR性質を持つ2つの群のワーレル積に対してもEKR性質が成り立ち、性質がより広いクラスの群構成法へ拡張された。
• EKR性質を持たない群が存在する。例えば$t \geq 4$の$t$-交差作用の下で$\operatorname{Sym}(8)$は、点安定化子のサイズを超えるより大きな$t$-交差集合を持つ。