[論文レビュー] 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ᵢ が長さ i のサイクルの個数であるタプル (l₁, l₂, ..., lₙ) として定義される。
• 論文は、McKay, Meynert, Myrvold による非自明な自己同型の分類を用い、固定点とサイクル構造の対称性に基づいて自己同型を3つのケースに分類している。
• 各同型 Θ = (α, β, γ) に対して、サイクル構造 (l_α, l_β, l_γ) を計算し、準同型とラテン方陣の直交性から導かれる必要条件を満たすか検証している。
• 理論的制約を満たし、実際に自己同型に対応するすべての可能なサイクル構造の三つ組を体系的に生成・フィルタリングするためのコンピュータプログラムを実装している。
• アルゴリズムは、直交配列表現と同型不変性を用いて、与えられたサイクル構造三つ組がラテン方陣を生成可能かどうかをチェックしている。
• 理論的制約に一致するもののみが保持され、(0,0,1,0,0,1,0,0,0,0) のような無効な構成（n=6の場合）は除外されている。

実験結果

リサーチクエスチョン

• RQ1 11次以下のラテン方陣の自己同型から生じるサイクル構造三つ組 (l_α, l_β, l_γ) はどのようなものか？
• RQ2 固定点とサイクル型の対称性は、ラテン方陣における自己同型構造にどのような制約を課えるか？
• RQ3 与えられた同型 Θ を許容するラテン方陣の数は、Θ のサイクル構造のみから決定可能か？
• RQ4 1次から11次までのラテン方陣において実際に自己同型として現れるサイクル構造の完全な集合は何か？
• RQ5 理論的には可能だが、実際のラテン方陣の自己同型に対応しないサイクル構造三つ組は何か？

主な発見

• 論文は、1次から11次までのラテン方陣における自己同型のサイクル構造を完全にカタログ化しており、表4～6にすべての有効な (l_α, l_β, l_γ) 三つ組が掲載されている。
• 11次の場合、すべての成分に11サイクルが1つだけ存在する唯一のサイクル構造は (0,0,0,0,0,0,0,0,0,0,1) であり、これは少なくとも1つのラテン方陣の自己同型群に現れる。
• すべての3つの置換に対してサイクル構造 (3,4,0,0,0,0,0,0,0,0,0) は有効であり、11次ラテン方陣の自己同型に対応する。
• 11次の場合、すべての3つの置換に対してサイクル構造 (0,5,0,0,0,0,0,0,0,0,0) は無効であり、実際の自己同型に対応しない。
• 10次の場合、すべての成分に (0,0,0,0,0,0,0,0,0,1) のサイクル構造は有効であり、各置換に10サイクルが1つだけ存在するラテン方陣に対応する。
• 論文は、(0,0,1,0,0,1,0,0,0) のような理論的に妥当と思われるが実際の自己同型に対応しないサイクル構造（n=6の場合）を同定・除外し、網羅的な計算によってその非実現性を確認している。