[論文レビュー] An enumeration of certain projective ternary two-weight codes and their relationship to the cubic Segre variety

Michael Martis, John Bamberg+1 more|arXiv (Cornell University)|Jun 26, 2014

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

ひとこと要約

本稿は、PG(5,3)における位数7の両面変換に関して不変である長さ56、次元6の射影的三進二重符号をすべて列挙し、射影的同値関係のもとで6,635個のこのような符号を特定した。研究は立方的セグレ多様体とその関係を確立し、パラメータ (729, 364, 181, 182) の新しい強正則グラフを明らかにした。これは、ヒルの56キャップやガルリヴァーの例のような既知の構成を拡張するものである。

ABSTRACT

We detail the enumeration of all two-intersection sets of the five-dimensional projective space over the field of order 3 that are invariant under an element of order 7, which include the examples of Hill (1973) and Gulliver (1996). Up to projective equivalence, there are 6635 such two-intersection sets.

研究の動機と目的

• PG(5,3)における位数7の両面変換に関して不変な二交叉集合を体系的に列挙すること。
• F₃ 上の長さ56、次元6の射影的二重符号線形符号を射影的同値関係のもとで分類すること。
• これらの符号、立方的セグレ多様体、および強正則グラフとの幾何学的・代数的関係を調査すること。
• 対称性削減を用いて、ヒルの56キャップやガルリヴァーの符号のような既知の例を拡張し、新たな構造を同定すること。

提案手法

• PG(5,3)における二交叉集合の探索に線形計画法を活用し、位数7の元に関して不変な集合に焦点を当てた。
• q=3 のとき q²−q+1 = 7 であることに着目し、対称性を要因分解し、集合を立方的セグレ多様体と関連づけた。
• 二交叉集合の点から生成行列を構成し、射影的性および二重重み性を保証した。
• デルサルトの対応を用いて二交叉集合を二重符号に変換し、さらに強正則グラフに変換した。
• 計算機環境を活用して、射影的同値関係のもとですべての符号を体系的かつ検証的に分類した。
• 「SU2」と「CY2」の既知の構成法を用い、アスタリスクが付いた安定化子を有する特定の例を同定および検証した。

実験結果

リサーチクエスチョン

• RQ1 F₃ 上の長さ56、次元6の射影的二重符号で、位数7の両面変換に関して不変であるものは、射影的同値関係のもとでいくつ存在するか？
• RQ2 これらの二交叉集合とPG(5,3)における立方的セグレ多様体との正確な関係は何か？
• RQ3 ヒルの56キャップやガルリヴァーの符号といった既知の例は、この対称的二交叉集合族にどのように包含されるか？
• RQ4 これらの符号から得られる新しい強正則グラフは何か？ そのパラメータは？
• RQ5 これらの符号の安定化子構造は、アモーフィック関係スキームやその他の組合せデザインと関連しているか？

主な発見

• PG(5,3)における位数7の両面変換に関して不変な二交叉集合は、射影的同値関係のもとで正確に6,635個存在する。
• 本構成により、パラメータ (729, 364, 181, 182) の強正則グラフが21個得られ、安定化子位数14、42、168、21、546**、1092** の例を含む。
• 安定化子位数20160の例は、ヒルキャップの安定化子の導来部分群から得られ、パラメータ (182, 6, 56, 65) の二交叉集合を生成する。
• 21個のグラフのうち5つは「SU2」構成により部分スプレッドと関連し、2つは「CY2」構成により得られ、二重アスタリスクで示されている。
• これらの符号は重み36および45の射影的二重符号であり、二交叉集合の点から得られる生成行列の双対に相当する。
• 立方的セグレ多様体は、特に q ≡ 1 mod 3 のとき、これらの対称的二交叉集合を分類する自然な幾何的枠組みを提供する。