[論文レビュー] Permutation Polynomials modulo m

Shujun Li|ArXiv.org|Sep 22, 2005

Coding theory and cryptography参考文献 23被引用数 8

ひとこと要約

本稿では、整数係数多項式が $ m $ を法として全単射を誘導するための必要十分条件を提示し、順列多項式およびそれらが誘導する順列の数え上げ推定を確立し、素数のべき $ p^d $ を法として与えられた全単射を誘導するすべての同値多項式を特定する再帰的アルゴリズムを導入する。主な貢献は、$ p $-進構造を活用し、モジュラス分解による係数消去を用いることで、その関数から順列多項式を再構成する体系的な手法を提供することであり、計算量が顕著に削減されている。

ABSTRACT

This paper mainly studies problems about so called "permutation polynomials modulo $m$", polynomials with integer coefficients that can induce bijections over Z_m={0,...,m-1}. The necessary and sufficient conditions of permutation polynomials are given, and the number of all permutation polynomials of given degree and the number induced bijections are estimated. A method is proposed to determine all equivalent polynomials from the induced polynomial function, which can be used to determine all equivalent polynomials that induce a given bijection. A few problems have not been solved yet in this paper and left for open study. Note: After finishing the first draft, we noticed that some results obtained in this paper can be proved in other ways (see Remark 2). In this case, this work gives different and independent proofs of related results.

研究の動機と目的

• 整数係数多項式が $ \mathbb{Z}_m $ 上で全単射を誘導する、すなわち $ m $ を法とする順列多項式であるための必要十分条件を特定すること。
• 次数が $ n $ 以下の順列多項式の個数を $ m $ を法として推定し、それらが誘導する異なる全単射の個数を推定すること。
• 既知の（部分的な）全単射が与えられたもとで、次数 $ n $ の $ m $ を法とするすべての順列多項式を列挙する実用的な手法を開発すること。
• 特に $ n \geq p $ を満たす場合に、同値多項式をその誘導関数から再構成するという課題に取り組むこと。

提案手法

• $ p $-進分解に基づく階層的分解を用いて、$ p^d $ を法とする順列多項式の必要十分条件を導出する。
• 変数の $ p $ 進展開を用いた多項式の再帰的分解を適用し、各段階で $ p^{d-i} $ を法として問題を簡約する。
• 係数消去の構造を活用する：高次係数は $ p $ を法として消えるため、低次の多項式から再帰的に係数を復元できる。
• $ \gcd(|A|, m) = 1 $ の下で、行列の逆行列（余因子と行列式の条件を用いて）を用いて係数系を解く。
• 与えられた全単射から、$ p $ の累乗を徐々に小さくするごとに部分多項式の係数を解くことで、すべての同値多項式を回復する再帰的アルゴリズムを導入する。
• $ p^d $ を法とする任意の次数の多項式を再構成するには、$ p^{\lceil (d-1)/p \rceil + 1} $ 個の入力出力ペアで十分であり、適切な $ p $-進分布に従ってサンプリングすればよいという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 整数係数多項式が $ m $ を法として全単射を誘導するための必要十分条件は何か？
• RQ2 次数が $ n $ 以下の順列多項式は $ m $ を法としていくつ存在するか？ また、それらが誘導する異なる順列はいくつか？
• RQ3 与えられた全単射を誘導するすべての同値多項式を再構成する効率的な手法は存在するか？
• RQ4 特に $ n \geq p $ の場合に、部分的または完全な関数データから順列多項式を再構成する計算量はどの程度か？

主な発見

• $ p^d $ を法とする順列多項式の必要十分条件が、再帰的分解と係数解析を通じて確立された。
• 次数が $ n $ 以下の順列多項式の個数が推定され、特に素数のべきを法とする場合に明示的な上限が導出された。
• このような多項式が誘導する異なる順列の個数は有界であり、$ m $ を法とする多項式環の構造を用いて推定可能である。
• 与えられた全単射を $ p^d $ を法として誘導するすべての同値多項式を再構成する再帰的アルゴリズムが提案され、計算量が $ O(d^3 p^{\lceil (d-1)/p \rceil + 3}) $ にまで削減された。
• 適切な $ p $-進分布に従ってサンプリングされた場合、任意の次数の多項式を $ p^d $ を法として再構成するには、$ p^{\lceil (d-1)/p \rceil + 1} $ 個の入力出力ペアで十分である。
• 計算量の削減は、高次係数が $ p $ の累乗を増加するごとに消えることによるものであり、これにより効率的な再帰的係数回復が可能になった。