[論文レビュー] Skew Hadamard difference sets from the Ree-Tits slice symplectic spreads in PG(3,3^{2h+1})

Cunsheng Ding, Zeying Wang+1 more|ArXiv.org|Sep 21, 2006

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

ひとこと要約

この論文は、$\ mathrm{PG}(3,3^{2h+1})$ 内の Ree-Tits スライス歪的スオールスプレッドから導かれる置換多項式を用いて、$\ mathbb{F}_{3^{2h+1}}$ の加法群における新しいスケュー Hadamard 差集合族を構成する。この構成により、$h=2$ および $h=3$ に対して新しい差集合が得られ、著者らは $h>3$ に対してもそれが新しいと予想している。また、非同型のスケュー Hadamard 差集合が非同型の双子素数巾差集合を生成することも示している。

ABSTRACT

Using a class of permutation polynomials of $F_{3^{2h+1}}$ obtained from the Ree-Tits symplectic spreads in $PG(3,3^{2h+1})$, we construct a family of skew Hadamard difference sets in the additive group of $F_{3^{2h+1}}$. With the help of a computer, we show that these skew Hadamard difference sets are new when $h=2$ and $h=3$. We conjecture that they are always new when $h>3$. Furthermore, we present a variation of the classical construction of the twin prime power difference sets, and show that inequivalent skew Hadamard difference sets lead to inequivalent difference sets with twin prime power parameters.

研究の動機と目的

• 有限幾何構造を用いてアーベル群における新しいスケュー Hadamard 差集合を構成すること。
• 小規模な $h$ に対する計算的検証を通じて、これらの差集合の新規性と同型性を調査すること。
• スケュー Hadamard 差集合と双子素数巾差集合との関係を探索すること。
• パレ-型の構成を超えて、スケュー Hadamard 差集合の既知の分類を拡張すること。
• ガウス和とスティッケルベルガーの定理を用いた理論的基盤を提供し、差集合性質を検証すること。

提案手法

• $\mathrm{PG}(3,3^{2h+1})$ 内の Ree-Tits スライス歪的スプレッドから得られる置換多項式を用いて、$\mathbb{F}_{3^{2h+1}}^+$ 内の候補差集合を定義する。
• ガウス和理論と素イデアル分解に関するスティッケルベルガーの定理を適用し、差集合性質を検証する。
• 群環の恒等式と特徴和解析を用いて、候補集合がスケュー Hadamard 条件 $D + D^{(-1)} = G \setminus \{1\}$ を満たすことを示す。
• 計算的検証を用いて、$h=2$ および $h=3$ の場合に、構成された集合が既知の構成と同型でないことを確認する。
• 古典的な双子素数巾差集合構成の変種を導入し、非同型のスケュー Hadamard 集合が非同型の双子素数巾集合を生成することを関連付ける。
• ガウス和の指数における桁和および $p$ 進展開の技術を用いて、特徴値を分析し、必要な代数的恒等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 $\ mathrm{PG}(3,3^{2h+1})$ 内の Ree-Tits スライス歪的スプレッドから得られるスケュー Hadamard 差集合は、$h=2$ および $h=3$ の場合に新しいものか？
• RQ2 ガウス和とスティッケルベルガーの定理を用いて、構成された差集合がスケュー Hadamard であることを証明できるか？
• RQ3 これらの差集合は、パレーやディクソンに基づく既知の構成と同型でないか？
• RQ4 非同型のスケュー Hadamard 差集合は、変更された構成により非同型の双子素数巾差集合を生成するか？
• RQ5 著者らの予想であるように、$h>3$ の場合にすべての構成差集合が新しいものであると真であるか？

主な発見

• すべての $h \geq 1$ に対して、構成された差集合は $\mathbb{F}_{3^{2h+1}}$ の加法群においてスケュー Hadamard であり、$|D| = (3^{2h+1}-1)/2$ および $\lambda = (3^{2h+1}-3)/4$ を満たす。
• $h=2$ および $h=3$ の場合、構成された差集合は計算的に新規であり、既知のスケュー Hadamard 差集合と同型でないことが確認された。
• 著者らは、構成された差集合が $h > 3$ に対しても常に新規であると予想している。これは、既知のパレーやディクソンに基づく構成を超えるものである。
• Ree-Tits スライス歪的スプレッドから得られる置換多項式は、有限体における差集合の構成に新たな幾何的出処を提供する。
• 本論文は、修正された古典的構成を用いて、非同型のスケュー Hadamard 差集合と非同型の双子素数巾差集合との間の関係を確立した。
• 証明は、特にガウス和の因数分解に関するスティッケルベルガーの定理を用いた、深い代数的数論に依拠しており、特徴和条件 $\phi(D) = (-1 \pm \sqrt{-v})/2$ の検証に使われた。