[論文レビュー] Planar functions over fields of characteristic two

Kai‐Uwe Schmidt, Yue Zhou|arXiv (Cornell University)|Jan 29, 2013

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

ひとこと要約

本稿では、特徴が2の有限体における平面関数—奇数特性における古典的平面関数を偶数特性へ一般化する関数—を導入し、特徴づけている。代数幾何学およびZ4コード理論を用いて、f(x) = cx^t が無限に多くのnに対してGF(2^n)上で平面的であるような、唯一の奇数の指数tはt = 1に限ることを証明し、分類問題の核心的解決を達成した。

ABSTRACT

Classical planar functions are functions from a finite field to itself and give rise to finite projective planes. They exist however only for fields of odd characteristic. We study their natural counterparts in characteristic two, which we also call planar functions. They again give rise to finite projective planes, as recently shown by the second author. We give a characterisation of planar functions in characteristic two in terms of codes over $\mathbb{Z}_4$. We then specialise to planar monomial functions $f(x)=cx^t$ and present constructions and partial results towards their classification. In particular, we show that $t=1$ is the only odd exponent for which $f(x)=cx^t$ is planar (for some nonzero $c$) over infinitely many fields. The proof techniques involve methods from algebraic geometry.

研究の動機と目的

• 特徴が2の体における平面関数を定義・研究すること。これは、対称性の問題により古典的平面関数が存在しないためである。
• 特徴が2の平面関数とZ4上でのコードとの間の関係を確立することで、代数幾何学的ツールを活用できるようにすること。
• 無限に多くのnに対してGF(2^n)上で平面的であるような単項式関数f(x) = cx^tの分類を、特に奇数の指数に焦点を当てること。
• このような関数が無限に多くの特徴が2の体上で平面的であるような唯一の奇数の指数がt = 1であることを証明すること。
• 既存の代数幾何学および有限幾何学の研究に基づき、偶数特性における平面単項式の分類を拡張すること。

提案手法

• すべての非ゼロθに対してx → f(x+θ) + f(x) + θxが置換であるという条件により、特徴が2の体における平面関数を定義し、奇数特性の定義を一般化する。
• GF(2^n)上での関数の多項式表現に着目し、特にf(x) = cx^tという単項式に注目し、平面的条件を符号化する関数H_{t,a}(x,y)を分析する。
• 代数幾何学的手法を適用：H_{t,a}で定義される曲線の特異点および交点数を研究し、ベズォウの定理および絶対的既約因子の性質を用いる。
• 有限体上での因数分解理論を用いる：H_{t,a}を既約成分に分解し、ガロア理論を用いて拡張体上での分裂挙動を分析する。
• 交点数の上限および特異点の個数の上限を用いて、t = 1より大きな非自明な奇数の平面的指数が存在すると仮定した場合に矛盾を導き出し、特にnが大きい場合に有効である。
• 代数幾何学の結果と次数および因数分解に関する数論的制約を統合し、平面的条件を無限回満たすのはt = 1のみであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 GF(2^n)上でf(x) = cx^tという単項式関数が無限に多くのnに対して平面的であるのは、特に奇数の指数tに対してどのようなものか？
• RQ2 既知の例（t = 2^k、t = 2^k + 1、t = 4^k(4^k + 1)）を越えて、特徴が2の体における平面単項式の分類を拡張できるか？
• RQ3 代数幾何学は、特に無限に多くの奇数の指数の族を除外するために、偶数特性における単項式の平面的性を分析する上でどのような役割を果たすか？
• RQ4 t = 1が、無限に多くのGF(2^n)上で平面単項式を生成する唯一の奇数の指数であるという構造的根拠は何か？
• RQ5 特異点や因数分解を含む曲線H_{t,a}(x,y) = 0の幾何的性質が、平面単項式の存在にどのように制約を加えるか？

主な発見

• f(x) = cx^t が無限に多くのnに対してGF(2^n)上で平面的であるような唯一の奇数の指数tはt = 1に限ることを示し、定理1.3を証明した。
• t = 2^k + 1の場合、関数f(x) = cx^t はGF(4^k)上で平面的であることが確認され、特徴が2の体における非自明な平面単項式の例を裏付けた。
• t = 4^k(4^k + 1)の場合、関数f(x) = cx^t はGF(64^k)上で平面的であることが後でシュェルとツイーヴェによって確認され、平面的指数の予想リストを支持した。
• 著者らは、特徴が2の平面関数とZ4上でのコードとの間の関係を確立し、それらの研究に新たな代数幾何学的枠組みを提供した。
• 代数幾何学的手法により、H_{t,a}に絶対的既約因子が存在しない場合、交点数の上限と特異点の個数の上限から矛盾が生じ、特にk → 大きい場合に顕著であることが示された。
• H_{t,a}をC、D、Rという因子に分解し、ベズォウの定理および特異点の重複度による交点数の上限を用いる証明技法により、t = 5を除きすべての奇数t > 1が排除された。t = 5に対しても、次数の制約により同様に除外された。