[论文解读] 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

一句话总结

本文通过在三阶射影平面上的组合游戏构造了 Mathieu 群 $M_{12}$ 及其伪群扩展 $M_{13}$，该构造类似于 15-puzzle 游戏。通过将移动定义为沿包含空位的直线进行对换，作者证明闭合移动序列生成 $M_{12}$，而所有移动序列构成伪群 $M_{13}$，后者表现出有限的六重传递性。一个关键贡献是引入了基于最小移动序列的 $M_{12}$ 和 $M_{13}$ 上的准 Cayley 度量，计算数据揭示了结构特征，包括在最大距离处出现的 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.

研究动机与目标

• 将 Mathieu 群 $M_{12}$ 构造为在 13 点射影平面 $\mathbb{P}_3$ 上的益智游戏中的闭合移动序列所生成的置换群。
• 定义并研究伪群 $M_{13}$，其由所有移动序列（不一定是闭合的）构成，作用于全部 13 个点，并表现出部分六重传递性。
• 基于最小移动序列，为 $M_{12}$ 和 $M_{13}$ 开发一种准 Cayley 度量，以支持对群结构的计算分析。
• 将构造扩展至带符号游戏，将双重覆盖 $2M_{12}$ 实现为三元 Golay 码 $\mathscr{C}_{12}$ 的自同构群，并研究 $2M_{13}$ 作为其伪群扩展。
• 通过双射游戏和 Hadamard 矩阵，为 $M_{12}$ 的外自同构提供新的几何与计算解释。

提出的方法

• 将 $M_{12}$ 实现为在 13 点游戏中由闭合移动序列诱导的置换群，其中空位通过沿包含它的直线进行对换移动。
• 将 $M_{13}$ 定义为通过任意移动序列可达的所有置换的集合，由于空位位置限制，其在连接时并非群。
• 利用三元 Golay 码 $\mathscr{C}_{12}$ 建模带符号游戏，其中计数器为双面且移动会翻转符号，从而得到双重覆盖 $2M_{12}$。
• 通过 $\mathbb{P}_3$ 上直线的双射游戏，利用 $12 \times 12$ Hadamard 矩阵提供 $M_{12}$ 的另一种构造方法。
• 通过枚举实现每个群元素的最小移动序列，利用计算机生成的位置分布数据计算准 Cayley 度量。
• 分析 $2M_{12}$ 和 $2M_{13}$ 的 Cayley 图中的深度分布与对称性，包括翻转所有计数器的中心对合 $-\mathbf{1}$ 的作用。

实验结果

研究问题

• RQ1 能否将 Mathieu 群 $M_{12}$ 实现为在 13 点射影平面 $\mathbb{P}_3$ 上的益智游戏所生成的置换群？
• RQ2 由该游戏中所有移动序列构成的伪群 $M_{13}$ 是否表现出某种形式的六重传递性？
• RQ3 $M_{12}$ 和 $M_{13}$ 上的准 Cayley 度量的结构是怎样的？其如何反映底层群与编码理论性质？
• RQ4 该游戏的带符号与双射扩展如何实现双重覆盖 $2M_{12}$ 和 $2M_{13}$？它们的度量结构是怎样的？
• RQ5 四元码与 $M_{12}$ 的外自同构能否通过游戏的配置空间实现几何解释？

主要发现

• 基本游戏群 $G_{\rm bas}$ 同构于 Mathieu 群 $M_{12}$，其作为 $\mathbb{P}_3$ 上闭合移动序列生成的置换群被实现。
• 伪群 $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)$，证实了度量结构中的部分对称性。