[論文レビュー] The Mathieu group $M_{12}$ and its pseudogroup extension $M_{13}$

J. Conway, Noam D. Elkies+1 more|ArXiv.org|Aug 31, 2005

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

ひとこと要約

本稿では、3次元射影平面の13点からなる構造に類似した15パズルに類似した組合せゲームを用いて、Mathieu群 $M_{12}$ 及びその擬群拡張 $M_{13}$ を構成する。穴を含む直線上での二重転置を移動手順と定義することで、閉じた手順列が $M_{12}$ を生成し、すべての手順列が擬群 $M_{13}$ を形成する。この $M_{13}$ は限定的な六重推移的性質を示す。主な貢献として、$M_{12}$ および $M_{13}$ に準ケイリー距離を導入し、計算データにより構造的洞察を得た。特に、最大距離に現れる9要素のテトラコードが明らかになった。

ABSTRACT

We study a construction of the Mathieu group $M_{12}$ using a game reminiscent of Loyd's ``15-puzzle''. The elements of $M_{12}$ are realized as permutations on~12 of the~13 points of the finite projective plane of order~3. There is a natural extension to a ``pseudogroup'' $M_{13}$ acting on all~13 points, which exhibits a limited form of sextuple transitivity. Another corollary of the construction is a metric, akin to that induced by a Cayley graph, on both $M_{12}$ and $M_{13}$. We develop these results, and extend them to the double covers and automorphism groups of $M_{12}$ and $M_{13}$, using the ternary Golay code and $12 \x 12$ Hadamard matrices. In addition, we use experimental data on the quasi-Cayley metric to gain some insight into the structure of these groups and pseudogroups.

研究の動機と目的

• 13点の射影平面 $\mathbb{P}_3$ 上のパズルゲームにおける閉じた手順列によって生成される置換群として、Mathieu群 $M_{12}$ を構成すること。
• すべての手順列（閉じていないものも含む）によって形成される擬群 $M_{13}$ を定義し、13点すべてに作用し、部分的な六重推移的性質を示すことを研究すること。
• 最小手順列に基づく準ケイリー距離を $M_{12}$ および $M_{13}$ に開発し、群構造の計算的分析を可能にすること。
• 符号付きゲームへの拡張により、二重被覆 $2M_{12}$ を12次元三進Golay符号 $\mathscr{C}_{12}$ の自己同型群として実現し、$2M_{13}$ をその擬群拡張として研究すること。
• 双対化ゲームおよびハダマード行列を用いて、$M_{12}$ の外部自己同型の幾何的・計算的解釈を提供すること。

提案手法

• 穴が含まれる直線上での二重転置による移動手順によって、13点のゲームにおける閉じた手順列が誘導する置換群として $M_{12}$ を実現すること。
• 任意の手順列によって到達可能な置換の集合として $M_{13}$ を定義する。穴の位置に依存する連結制約のため、これは群ではない。
• 2面性のカウンターを持つ符号付きゲームを、三進Golay符号 $\mathscr{C}_{12}$ を用いてモデル化し、移動で符号を反転させることで、二重被覆 $2M_{12}$ を得ること。
• 12×12のハダマード行列を用いて、$\mathbb{P}_3$ の直線における双対化ゲームを通じて $M_{12}$ の別構成を与えること。
• コンピュータで生成された位置分布データを用い、各群元を実現する最小手順列を列挙することで、準ケイリー距離を計算すること。
• $2M_{12}$ および $2M_{13}$ のケイリー図における深さ分布および対称性を分析し、すべてのカウンターを反転させる中心的対合 $-\mathbf{1}$ が果たす役割を検討すること。

実験結果

リサーチクエスチョン

• RQ1 13点の射影平面 $\mathbb{P}_3$ 上のパズルに類似したゲームによって、Mathieu群 $M_{12}$ が置換群として実現可能か？
• RQ2 このゲームにおけるすべての手順列によって形成される擬群 $M_{13}$ は、何らかの形の六重推移的性質を示すか？
• RQ3 準ケイリー距離の構造は $M_{12}$ および $M_{13}$ においてどのように構造的性質や符号理論的性質を反映しているか？
• RQ4 ゲームの符号付きおよび双対化拡張によって、二重被覆 $2M_{12}$ および $2M_{13}$ がどのように実現され、その距離構造はどのような性質を示すか？
• RQ5 テトラコードおよび $M_{12}$ の外部自己同型は、ゲームの配置空間を通じて幾何的に解釈可能か？

主な発見

• 基本ゲーム群 $G_{\rm bas}$ は、$\mathbb{P}_3$ 上の閉じた手順列による置換群として、Mathieu群 $M_{12}$ に同型である。
• 擬群 $M_{13}$ はすべての13点に作用し、限定的な六重推移的性質を示すが、完全な六重推移的性質は成立しない。
• $M_{13}$ の深さ分布から、最大距離（深さ9）に位置する9要素のテトラコードが明らかになった。
• $2M_{13}$ の深さ分布は極付近（深さ0–2および10–12）で対称的であるが、深さ3–5および7–9で対称性が崩れ、反対点距離の非一様性が示された。
• $2M_{13}$ において最大深さ12に位置する唯一の要素は $-\mathbf{1}$ であり、これはすべてのカウンターをその場で反転させる置換であり、$2M_{12}$ において中心的である。
• $\sigma \in 2M_{13}$ で $d(\sigma) \in \{1,2\}$ のとき、反対点距離は $d(-\sigma) = 12 - d(\sigma)$ を満たし、距離構造における部分的な対称性が確認された。