[論文レビュー] Niho Bent Functions and Subiaco/Adelaide Hyperovals

Tor Helleseth, Alexander Kholosha+1 more|arXiv (Cornell University)|Oct 17, 2012

Advanced Topics in Algebra参考文献 3被引用数 3

ひとこと要約

本稿は、Dobbertin らによって構築された二項型 Niho bent 関数と、有限幾何学における Subiaco および Adelaide ハイパーオービットを生成する o-多項式の間の直接的な対応関係を確立する。これらの二つの数学的構造を結びつけることで、$ m \equiv 2 \pmod{4} $ の場合に、Subiaco ハイパーオービットに関連する既知の bent 関数のクラスを拡張し、有限体論、bent 関数、射影平面におけるハイパーオービット分類を統合するフレームワークを提供する。

ABSTRACT

In this paper, the relation between binomial Niho bent functions discovered by Dobbertin et al. and o-polynomials that give rise to the Subiaco and Adelaide classes of hyperovals is found. This allows to expand the class of bent functions that corresponds to Subiaco hyperovals, in the case when $m\equiv 2 (\bmod 4)$.

研究の動機と目的

• 二項型 Niho bent 関数と、Subiaco および Adelaide ハイパーオービットを生成する o-多項式との構造的関係を確立すること。
• $ m \equiv 2 \pmod{4} $ の場合に、Subiaco ハイパーオービットに対応する既知の bent 関数のクラスを拡張すること。
• 特定の Niho bent 関数の存在が、特定の $ q $-クランおよび o-多項式の存在と同値であることを示すこと。
• 有限体 $ \mathbb{F}_{2^m} $ 上のトレース関数と二変数形式を用いて、bent 関数とハイパーオービット構成を統一的に表現すること。

提案手法

• 著者らは、$ \mathbb{F}_{2^m} \times \mathbb{F}_{2^m} $ 上の bent 関数の二変数表現を用い、それらを二変数多項式のトレース関数として表現する。
• 特に $ f(t) = \mathrm{Tr}_1^m(a t^{2^m+1}) + \mathrm{Tr}_1^n(b t^{(2^m-1)/6 + 1}) $ の形をとる Niho bent 関数の単変数および二変数形式を分析し、$ b^{2^m+1} = a $ を満たす場合に注目する。
• bent 関数の構造から対応する o-多項式 $ G(z) $ を導出し、それが Subiaco および Adelaide ハイパーオービットの o-多項式の形と一致することを示す。
• $ \mathbb{F}_{2^n} $ 上でのトレース恒等式および代数的変形を用い、特に $ \mathrm{Tr}_m^n $ および $ \mathrm{Tr}_1^n $ を用いて、関数の指数と幾何的不変量との関係を特定する。
• 導出された $ G(z) $ が、$ G(0) = 0 $、$ G(1) = 1 $、およびすべての $ x \neq y $、$ x,y \in \mathbb{F}_{2^m}^* $ に対して $ G(x) + G(y) + G(x+y) $ が平方数であるという o-多項式の条件を満たすことを検証する。
• $ m \equiv 0 \pmod{4} $ の場合、o-多項式の形が既知の $ q $-クラン構成と一致することを示し、Adelaide 家族と同値であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 二項型 Niho bent 関数は、Subiaco および Adelaide ハイパーオービットの o-多項式とどのように関係しているか？
• RQ2 Subiaco ハイパーオービットに関連する bent 関数のクラスは、既知の例を超えて拡張可能か？
• RQ3 特定の Niho bent 関数がハイパーオービットの o-多項式に対応するための正確な代数的条件は何か？
• RQ4 特定の Niho bent 関数の存在は、対応する $ q $-クランまたは o-多項式の存在を示唆するか？
• RQ5 トレース関数は、これらの bent 関数の単変数および二変数表現を幾何的対象と結びつける際に果たす役割は何か？

主な発見

• 本稿は、$ b \in \mathbb{F}_{2^n}^* $ を満たす Niho bent 関数の集合が、正確に Subiaco および Adelaide ハイパーオービット族の o-多項式に対応することを証明する。
• $ m \equiv 2 \pmod{4} $ の場合、Subiaco ハイパーオービットに関連する bent 関数のクラスは、従来の構成法を超えて拡張される。
• 著者らは、$ w $、$ u $、$ z $ を含むトレース関数および有理式を用いて、o-多項式 $ G(z) $ の明示的表現を導出し、それが既知の形式と同値であることを示す。
• $ m \equiv 0 \pmod{4} $ の場合、o-多項式 $ G(z) $ が Adelaide 家族に関連する $ q $-クランから導かれる形式と一致することが示される。
• 本稿は、$ a = b = 1 $ の場合に、$ f(t) = \mathrm{Tr}_1^m(t^{2^m+1}) + \mathrm{Tr}_1^n(t^{(2^m-1)/6 + 1}) $ という bent 関数が、Adelaide ハイパーオービット構造と一致する o-多項式を生成することを確認する。
• 基底 $ (u,1) $ を用いて $ \mathbb{F}_{2^n} $ を $ \mathbb{F}_{2^m} $ 上に表現する際の単変数 bent 関数から二変数形式への変換により、一貫性があり検証可能な o-多項式の表現が得られる。