[論文レビュー] Piecewise constructions of inverses of cyclotomic mapping permutations

Yanbin Zheng, Yuyin Yu+1 more|arXiv (Cornell University)|Oct 14, 2015

Coding theory and cryptography被引用数 3

ひとこと要約

本稿では、有限体上の置換多項式の明示的逆元を、特に巡回写像置換および $x^r h(x^{(q-1)/d})$ の形の多項式に対して、計算的に非効率になる従来の方法とは対照的に、効率的に計算できるように一般化された区分的補間公式を導入する。この手法により、$q$ が非常に大きい場合でも閉形式での逆元計算が可能になる。

ABSTRACT

Given a permutation polynomial $f(x)$ of a small finite field $\mathbb{F}_q$, the inverse $f^{-1}(x)$ over $\mathbb{F}_q$ could be determined by using the Lagrange Interpolation Formula. But for a large $q$, finding the explicit expression of $f^{-1}(x)$ is usually a hard problem. A piecewise interpolation formula for the inverses of permutation polynomials of arbitrary finite fields is introduced, which extends the Lagrange Interpolation Formula. The explicit inverses of cyclotomic mapping permutations are constructed to demonstrate the formula. The explicit inverses of permutation polynomials of the form $x^rh(x^{(q-1)/d})$ are presented.

研究の動機と目的

• 大規模な有限体上での置換多項式の明示的逆元を計算する課題に対処すること。ここで標準的手法（例：ラグランジュ補間）は実用的でなくなる。
• ラグランジュ補間の公式を、任意の有限体および複雑な多項式構造に適用可能な区分的バージョンに一般化すること。
• 巡回写像の性質を活用して、$x^r h(x^{(q-1)/d})$ の形の置換多項式の明示的逆表現を構築すること。
• 暗号理論および符号理論的応用において、効率的な逆元計算が求められる文脈において、置換多項式の逆元を求める体系的な枠組みを提供すること。
• 巡回写像置換に対する明示的逆元の構成を通じて、提案手法の実行可能性と効率性を実証すること。

提案手法

• 有限体 $ackslash mathbb{F}_q$ を $q-1$ の乗法的構造に基づく巡回類に分割する区分的補間公式を提案する。
• 有限体 $ackslash mathbb{F}_q^\times$ 内の $d$ 次乗の部分群の各陪類上での補間セグメントを、巡回写像置換の代数的構造に基づいて定義する。
• 各巡回類内において、関数形 $f(x) = x^r h(x^{(q-1)/d})$ を活用して局所的な逆表現を導出する修正補間スキームを適用する。
• 各クラスからの局所的逆多項式を統合し、$ackslash mathbb{F}_q$ 上で区分的定義されたグローバルな逆関数 $f^{-1}(x)$ を構成する。
• 単位根および乗法的特徴の性質を用いて、各体元において区分的逆関数の整合性と正しさを保証する。
• 既知の置換多項式クラス（特に $d$ が $q-1$ を割り切る場合）に対して明示的逆元を構成することで、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 標準的補間が非現実的になる大規模な有限体上での置換多項式の逆元を、どのように効率的に計算できるか？
• RQ2 任意の有限体および $x^r h(x^{(q-1)/d})$ のような複雑な多項式形に適用可能な一般化された補間法を開発できるか？
• RQ3 巡回写像置換が示すどのような構造的性質が区分的逆元計算を可能にし、それをアルゴリズム的にどのように活用できるか？
• RQ4 フルラグランジュ補間と比較して、区分的補間公式は計算複雑性をどの程度低減するか？
• RQ5 本手法を用いて、$x^r h(x^{(q-1)/d})$ の形の置換多項式に対して明示的逆表現を導出できるか？

主な発見

• 提案された区分的補間公式は、任意の有限体に一般化されたラグランジュ補間を成功裏に拡張し、そうでなければ逆元が困難な置換多項式の明示的逆元計算を可能にする。
• 巡回類分解を活用することで、$x^r h(x^{(q-1)/d})$ の形の置換多項式に対して閉形式の逆表現を構築可能である。
• 巡回写像置換に対して明示的逆元が導出され、本手法の重要な置換多項式クラスへの適用可能性が実証された。
• 区分的アプローチにより、特に $q$ が大きい場合に、より小さな構造的集合上で作業することで、フルラグランジュ補間と比較して計算複雑性が低減される。
• 全探索や数値近似を必要とせず、体系的かつ代数的に整合性のある方法で逆元を計算するフレームワークを提供する。
• 結果から、$x^r h(x^{(q-1)/d})$ 多項式の構造が、巡回コセット上での局所的補間を通じて効率的な逆元計算を可能にすることが確認された。