[論文レビュー] Classification of maximal arcs in small projective Hjelmslev geometries

Thomas Honold, Kiermaier, Michael|arXiv (Cornell University)|Mar 10, 2015

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

ひとこと要約

この論文は、nautyに基づく同型を避ける全列挙法を点-超平面接続グラフに適用することで、16以下の順序をもつ有限鎖環上の小さな射影ヘルムスレーヴ幾何における最大弧を計算的に分類する。主な貢献は、幾何的同値関係に関して完全な最大弧の分類および一般化グレイ写像による関連コードのパラメータの特定であり、有限体上の最適または準最適線形コードが得られる。

ABSTRACT

Maximal arcs in small projective Hjelmslev geometries are classified up to isomorphism, and the parameters of the associated codes are determined.

研究の動機と目的

• 小規模な有限鎖環上での射影ヘルムスレーヴ幾何における最大弧を幾何的同値関係に関して分類すること。
• 一般化グレイ写像を用いて、これらの弧に関連する線形コードのパラメータを特定すること。
• ヘルムスレーヴ幾何における最大弧から導かれる有限体上の最適または準最適コードを同定すること。
• 古典的射影幾何から、より一般的な鎖環上のヘルムスレーヴ幾何へと組合せ符号理論の結果を拡張すること。
• 小次元のヘルムスレーヴ幾何に対して、最大弧の構成とそれに対応するコードパラメータの包括的データベースを提供すること。

提案手法

• PHG(k,R)の点-超平面接続グラフにnautyの同型を避ける全列挙アルゴリズムを適用し、完全な弧を分類する。
• 一般化グレイ写像 ψ: R → F_q^{q^{m−1}} を用いて、R-線形コードを有限体上のコードに持ち上げる。
• PHG(k,R)における弧構成の幾何的情報を用いて、画像コードの重み分布を計算する。
• 定義：(n,u)-弧は、PHG(k,R)における任意の超平面上に高々u個の点（重複度を含む）を含むn多重集合である。
• 最大性は、n = m_u(k,R) を達成することとして定義し、幾何的同値関係に関してそれらの弧を分類する。
• 計算探索を用いて、Rの順序 ≤16 および小規模なk, uについて、非退化最大弧およびその同値類をすべて列挙する。

実験結果

リサーチクエスチョン

• RQ1 16以下の順序をもつ小さな有限鎖環上の射影ヘルムスレーヴ幾何における最大弧の構成は何か？
• RQ2 これらの弧から導かれる線形コードのパラメータは、既知の有限体上の最適コードと比べてどうなるか？
• RQ3 どの最大弧が一般化グレイ写像のもとで最適または準最適コードを生成するか？
• RQ4 特定のヘルムスレーヴ幾何において、最大弧が同値を除いて一意的であるか、その条件は何か？
• RQ5 さまざまな鎖環Rおよび小次元kについて、PHG(k,R)における最大弧の同値類の構造と数は何か？

主な発見

• PHG(2,Z_4)における(22,5)-弧は、重み列挙多項式 1+6X^20+48X^22+6X^24+2X^28+X^32 をもつ二進[44,6,20]-コードを生成し、同長・同次元の最良既知の線形二進コードと一致する。
• PHG(2,Z_8)における(21,3)-弧は、重み列挙多項式 1+14X^36+168X^38+196X^42+42X^44+7X^48+84X^50 をもつ二進[84,9,36]-コードを生成し、パラメータに関して最適である。
• PHG(3,Z_9)における(10,3)-弧は、重み列挙多項式 1+720X^15+1680X^18+3240X^21+900X^24+20X^27 をもつ三進[30,8,15]-コードを生成し、既知のすべての線形三進[30,8]-コードよりも最適で優れている。
• PHG(2,G_4,2)における(21,2)-弧は、重み列挙多項式 1+2520X^60+63X^64+1512X^68 をもつ四進[84,6,60]-コードを生成し、最小距離59の既知の最良線形四進[84,6]-コードを上回る。
• PHG(2,T_4)における(18,2)-弧は、重み列挙多項式 1+12X^48+864X^50+960X^51+96X^52+576X^54+144X^56+864X^58+576X^59+3X^64 をもつ線形四進[72,6,48]-コードを生成し、パラメータに関して最適である。
• PHG(2,Z_4)、PHG(2,S_2,2)、PHG(3,Z_4)などの幾何において、分類表の太字表記に示されるように、最大弧は同値を除いて一意的である。