[論文レビュー] Towards the full classification of exceptional scattered polynomials

Daniele Bartoli, Maria Montanucci|arXiv (Cornell University)|May 27, 2019

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

ひとこと要約

本稿は、$ q \leq 4 $ における指数 0 の例外的散在単monic多項式の分類を完了し、代数曲線理論とHasse-Weilの不等式を用いて特定の族に対して例外的ではないことを証明することで、指数 2 の場合を完全に分類している。散在多項式および MRD コードや最大散在線形集合との関連についての先行研究を拡張している。

ABSTRACT

Let $f(X) \in \mathbb{F}_{q^r}[X]$ be a $q$-polynomial. If the $\mathbb{F}_q$-subspace $U=\{(x^{q^t},f(x)) \mid x \in \mathbb{F}_{q^n}\}$ defines a maximum scattered linear set, then we call $f(X)$ a scattered polynomial of index $t$. The asymptotic behaviour of scattered polynomials of index $t$ is an interesting open problem. In this sense, exceptional scattered polynomials of index $t$ are those for which $U$ is a maximum scattered linear set in ${ m PG}(1,q^{mr})$ for infinitely many $m$. The complete classifications of exceptional scattered monic polynomials of index $0$ (for $q>5$) and of index 1 were obtained by Bartoli and Zhou. In this paper we complete the classifications of exceptional scattered monic polynomials of index $0$ for $q \leq 4$. Also, some partial classifications are obtained for arbitrary $t$. As a consequence, the complete classification of exceptional scattered monic polynomials of index $2$ is given.

研究の動機と目的

• 先行研究で残された未解決事例を解消するため、$ q \leq 4 $ における指数 0 の例外的散在単monic多項式の分類を完了すること。
• 指数 2 の例外的散在単monic多項式の完全な分類を提供すること。
• 代数曲線手法を用いて二項式および三項式を分析することで、例外的散在多項式の理解を拡張すること。
• 関連する曲線上に有理点が存在することを証明することで、散在多項式が例外的でないことを特定すること。
• 射影幾何学における散在多項式、MRD コード、最大散在線形集合との関係を確立すること。

提案手法

• 多項式 $ f $ が例外的散在であるかどうかを判定するために、比 $ f(x)/x = f(y)/y $ で定義される曲線 $ \mathcal{Y}_f $ を分析する。
• 関連する代数曲線 $ G(Y,Z) = 0 $ 上の有理点の数を推定するために、Hasse-Weilの不等式を用いる。
• 特に $ n < m $ の二項式に対して、曲線から導かれる方程式の有理解を分析するため、Kummer拡大理論を適用する。
• 曲線を $ (X,Y) \mapsto (X,XY) $ で変換することで方程式を単純化し、$ \overline{\mathbb{F}_q}(Y) $ 内の解の存在を検討する。
• 関数体の点における付値論を用いて、特に対称的でない三項式（特性 2）の既約性と有理解の非存在を証明する。
• 関連曲線が絶対的既約であり、かつ $ y/x \notin \mathbb{F}_q $ を満たす有理点を持つならば、$ f $ は例外的散在ではないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 $ q \leq 4 $ に対して、指数 0 の例外的散在単monic多項式は存在するか？ もし存在するならば、その完全な分類は何か？
• RQ2 指数 2 の例外的散在単monic多項式の分類を完全に完了できるか？
• RQ3 二項式および三項式のどの族に対して、関連曲線が絶対的既約となり、それは例外的散在性にどのような意味を持つのか？
• RQ4 有理点 $ (x_0, y_0) $ が $ x_0/y_0 \notin \mathbb{F}_q $ を満たすとき、どのような条件下で散在多項式が例外的でないことが示されるか？
• RQ5 Kummer拡大と付値論的議論は、特性 2 における散在多項式の非例外的性を証明するためにどのように役立つか？

主な発見

• すべての $ q \leq 4 $ に対して、指数 0 の例外的散在単monic多項式の完全な分類が確立され、先行研究で残されていた未解決事例が解消された。
• 本稿では、指数 2 の例外的散在単monic多項式の完全な分類が提供され、与えられた制約下で特定の形に限られることを示した。
• 二項式 $ X^{q^n} + bX^{q^m} $（$ n < m $）に対して、$ m-t = t-n $ でない限り、関連曲線上に $ y/x \notin \mathbb{F}_q $ を満たす有理点が存在し、他のすべての場合は非例外的であることが示された。
• 特性 2 における三項式 $ f_k(X) = X^{2^{k-2}} + aX^{2^{k-1}} + bX^{2^k} $ に対して、関連曲線が絶対的既約であることが証明され、$ k > 2 $ の場合、$ f_k $ は例外的散在ではない。
• Hasse-Weilの不等式と曲線の既約性を用いた手法により、広範な多項式族に対して例外的散在性が排除された。
• 分析により、既知の散在多項式族（例：$ \delta x^{q^s} + x^{q^{n-s}} $）が例外的散在性の主な候補のままであり、調査されたケースでは新たな族は発見されなかった。