[論文レビュー] New Semifield Planes of order 81

I. F. Rúa, Elías F. Combarro|arXiv (Cornell University)|Mar 4, 2008

Coding theory and cryptography参考文献 15被引用数 6

ひとこと要約

本稿では、同型を除いて81乗の有限半体を完全に計算的に分類し、27個の非同型半体平面を特定した。そのうち12個は新しいものであり、そのうち5つは既存のすべての半体平面と非同型である。行列表現と同型不変量を用いて、81要素の半体平面の約半分が以前に未知であったことを検証し、この順序の有限半体の既知の分類を顕著に拡張した。

ABSTRACT

A finite semifield is a finite nonassociative ring with identity such that the set of its nonzero elements is closed under the product. From any finite semifield a projective plane can be constructed. In this paper we obtain new semifield planes of orders 81 by means of computational methods. These computer-assisted results yield to a complete classification (up to isotopy) of 81-element finite semifields.

研究の動機と目的

• 81乗の有限半体を同型を除いて完全に分類すること。
• 計算代数的手法を用いて、81乗の非同型半体平面をすべて特定・特徴づけること。
• 文献に既に知られていなかった新しい半体平面の数を特定すること。
• 各半体代表元の自己同型群の位数、同型群の位数、および主同型を計算すること。
• 27個の非同型半体平面（うち5つは以前に知られていなかった）が存在することを検証し、それらの構造的不変量を分析すること。

提案手法

• 著者らは、行列表現に基づいて、81乗のすべての有限半体を生成・分類する計算的列挙を用いる。
• 各半体は、各行列の最後の3列に3進数の位置表記法を適用して整数に符号化した、行列のタプル (A₁, A₂, A₃, A₄) で表現される。
• 同型性は、すべての a, b に対して H(ab) = F(a)G(b) を満たす双曲的線形写像の三重組 (F, G, H) を用いてテストされる。
• 各半体代表元について、自己同型群の位数と主同型の数を計算し、非同型構造を区別する。
• S₃軌道構造を分析して同型類を分類し、行列タプルに対する対称群の作用における同型類の数を計算する。
• 自己同型の数や同型の総和（S/A 合計）といった不変量を比較することで、分類が妥当であることを検証し、重複がないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 81乗の非同型半体平面は、同型を除いていくつ存在するか？
• RQ2 81要素の半体平面の中で、以前に知られていなかったもので、かつ既存のすべての半体平面と非同型であるものはどれか？
• RQ3 各半体代表元の構造的不変量（例えば、自己同型群の位数や主同型の数）は何か？
• RQ4 既知の半体（例えば、ディクソンのもの、クヌースのもの、可換なものなど）は、同型を除いてどのように同型類と同型類に分類されるか？
• RQ5 81要素の有限半体の同型類と同型類の合計数はいくつか？

主な発見

• 81乗の非同型半体平面は、同型を除いて合計27個存在し、そのうち12個が異なる同型類として特定された。
• 12個の同型類のうち5つは新しいものであり、かつ既存のすべての半体平面と非同型であるため、既知の分類を顕著に拡張した。
• 27個のうち、デルガルスィアン平面（GF(81)で座標化されたもの）とディクソンの可換半体のみが可換半体平面であり、第3の可換半体はディクソンの半体の同型として現れる。
• 自己同型群の位数は16から25600の間で変動し、最大の群（25600）はデルガルスィアン平面（I）に対応し、最小の群（16）は新しい半体XIに対応する。
• 主同型の数は大きくばらつきを示す。例えば、平面IXは200個の同型を有するが、平面XIは400個であり、一部の新しい構造に高い対称性があることを示している。
• S₃軌道分解により、12個の同型類がすべて異なることが確認され、例えば平面VIIIでは24/1 + 1/2 + 2/4の軌道構造、平面VIIでは100/1の構造が得られ、新規平面の非同型性を裏付けた。