[論文レビュー] Determination of division algebras with 243 elements

I. F. Rúa, Elías F. Combarro+1 more|arXiv (Cornell University)|Oct 1, 2010

Coding theory and cryptography参考文献 13被引用数 3

ひとこと要約

本稿では、先行研究のアルゴリズムと行列表現を用いて、243要素を持つ有限非可換除法代数（半体）を同型型の観点から完全に分類する。9つの非同型の半体が同定され、そのうち2つは以前に知られていなかった新規のものであり、中心、核、自己同型群、および基本的同型三角形内の軌道構造といった代数的不変量が完全に特徴づけられている。

ABSTRACT

Finite nonassociative division algebras (i.e., finite semifields) with 243 elements are completely classified.

研究の動機と目的

• 256未満の半体平面を分類するプログラムにおける残りのケースとして、243要素の有限半体の分類を完了すること。
• 16、32、64、81を超える次数の有限半体を分類するための計算手法を拡張すること。
• 行列ベースの表現とアルゴリズム探索を用いて、243要素を持つすべての同型型クラスの半体を同定・特徴づけること。
• 各クラスについて、中心、核、自己同型群の位数、および基本的同型三角形における軌道構造といった主要な不変量を計算すること。
• アーベルのねじれ体やカウルター＝マシュー.cls型代数といった既知の構成法を検証・拡張し、新たな構成法を発見すること。

提案手法

• 各半体を、特定の条件を満たす5つの可逆な5×5行列（𝔽₃上）の標準基底で表現する：A₁は単位行列であり、すべての非自明な線形結合が可逆であり、Aᵢのi番目の対角成分が1である。
• 行列の要素を特定の順序で並べ、それを3進数としてエンコードすることで、計算と保存を効率化する。
• 64要素の半体に関する先行研究のアルゴリズムフレームワークを用い、半体公理を満たす5つの行列の組を体系的に探索する。
• 重複を避けるために、同型型の簡約を実施し、A₂を6つの標準形（5次またはブロック対角多項式の同伴行列）のいずれかに固定する。
• 中心、核、同型群の位数、およびS₃作用下での基本的同型三角形（Lₓ, L∞, Ly）の軌道構造といった不変量を計算する。
• 計算ツールとスーパーコンピュータリソースを用いて、すべての同型型クラスを検証・列挙し、2つの新規半体（クラスVIIIおよびIX）を同定した。

実験結果

リサーチクエスチョン

• RQ1 243要素を持つ非同型の半体はいくつ存在するか。それらの構造的不変量は何か？
• RQ2 243要素の半体の中で、新しいものとは何か。アーベルのねじれ体やカウルター＝マシュー.cls型代数といった既知の構成法とはどのように異なるか？
• RQ3 各半体クラスにおける自己同型群および自己同型群の位数と構造は何か？
• RQ4 基本的同型三角形（Lₓ, L∞, Ly）の軌道構造は、同型型クラスごとにどのように変化するか？
• RQ5 効率的な符号化と探索を伴う行列ベースの計算的手法を用いて、243要素の半体の分類を完了できるか？

主な発見

• 243要素を持つ有限半体の同型型クラスは、ちょうど9つ存在する。
• そのうち2つ（クラスVIIIおよびIX）は新規であり、以前に知られていた半体とは同型でない。
• 9つのクラスには、可換体𝔽₂₄₃、アーベルのねじれ体（クラスIIおよびIII）、およびカウルター＝マシュー.clsやディング＝ユアンといった既知の族が含まれる。
• 自己同型群の位数は、クラスVIIIおよびIXの4から、クラスIの292,820まで変動する。クラスIは可換体であり、最大の対称性を示す。
• 基本的同型三角形の軌道構造は、クラスI～VIIでは2[1]+1[242]または2[1]+1[2]+24[10]の形をとり、クラスVIIIおよびIXでは2[1]+121[2]の形をとる。これは、それらの同型型軌道に高い対称性があることを示している。
• すべての半体の中心および核のサイズは3であるが、クラスIを除き、クラスIは中心および核のサイズが243であり、可換体であることを確認している。