[论文解读] Cycle structures of autotopisms of the Latin squares of order up to 11

Raúl Manuel Falcón Ganfornina|arXiv (Cornell University)|Sep 19, 2007

graph theory and CDMA systemsEngineering参考文献 6被引用 20

一句话总结

本文对阶数不超过11的拉丁方中自同构的全部可能循环结构进行了分类，确立了承认给定同构的拉丁方数量仅取决于该同构的循环结构。作者利用置换循环分解和不动点分析推导出理论约束，随后实现了一种计算算法，枚举所有有效的自同构循环类型，为阶数1至11提供了完整的目录。

ABSTRACT

The cycle structure of a Latin square autotopism $Θ=(α,β,γ)$ is the triple $(\mathbf{l}_α,\mathbf{l}_β,\mathbf{l}_γ)$, where $\mathbf{l}_δ$ is the cycle structure of $δ$, for all $δ\in\{α,β,γ\}$. In this paper we study some properties of these cycle structures and, as a consequence, we give a classification of all autotopisms of the Latin squares of order up to 11.

研究动机与目标

• 对阶数不超过11的拉丁方中自同构的所有可能循环结构进行分类。
• 确定哪些同构的循环结构实际上可作为某些拉丁方的自同构出现。
• 确立承认给定同构的拉丁方数量仅取决于该同构的循环结构。
• 为阶数1至11提供所有此类有效循环结构的计算目录。

提出的方法

• 置换的循环结构定义为元组 (l₁, l₂, ..., lₙ)，其中 lᵢ 表示长度为 i 的循环的数量。
• 本文采用 McKay、Meynert 和 Myrvold 的非平凡自同构分类方法，根据不动点和循环结构对称性将自同构分为三种情况。
• 对于每个同构 Θ = (α, β, γ)，计算其循环结构 (l_α, l_β, l_γ)，并根据来自准群同构和拉丁方正交性的必要条件进行验证。
• 实现一个计算机程序，系统性地生成并筛选所有满足理论约束且对应实际自同构的循环结构三元组。
• 该算法检查给定的循环结构三元组是否可通过正交数组表示和同构不变性生成拉丁方。
• 该方法验证仅与定理1及不动点约束一致的循环结构被保留，排除了如 n=6 时的无效配置 (0,0,1,0,0,1,0,0,0,0)。

实验结果

研究问题

• RQ1 哪些循环结构三元组 (l_α, l_β, l_γ) 可由阶数不超过11的拉丁方的自同构产生？
• RQ2 不动点和循环类型对称性如何约束拉丁方中可能的自同构结构？
• RQ3 是否可仅从同构 Θ 的循环结构确定承认该同构的拉丁方数量？
• RQ4 阶数1至11的拉丁方中作为自同构出现的循环结构的完整集合是什么？
• RQ5 哪些循环结构三元组在理论上是可能的，但并不对应于任何实际的拉丁方自同构？

主要发现

• 本文为阶数1至11的拉丁方自同构的所有循环结构提供了完整目录，表4至表6列出了所有有效的 (l_α, l_β, l_γ) 三元组。
• 对于阶数11，所有分量中仅含一个11-循环的循环结构为 (0,0,0,0,0,0,0,0,0,0,1)，且该结构至少在某个拉丁方的自同构群中出现。
• 所有三个置换的循环结构 (3,4,0,0,0,0,0,0,0,0,0) 是有效的，并对应于一个阶数11的拉丁方的自同构。
• 所有三个置换的循环结构 (0,5,0,0,0,0,0,0,0,0,0) 对于 n=11 是无效的，因为它不对应于任何实际自同构。
• 对于 n=10，所有分量中循环结构为 (0,0,0,0,0,0,0,0,0,1) 是有效的，并对应于每个置换中仅含一个10-循环的拉丁方。
• 本文识别并排除了若干理论上可能的循环结构（如 n=6 时的 (0,0,1,0,0,1,0,0,0)），这些结构并不对应于任何实际自同构，通过全面计算确认了其不可实现性。