[论文解读] 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 $ 下的置换多项式）的必要且充分条件。
• 估计模 $ m $ 下次数不超过 $ n $ 的不同置换多项式的数量，以及它们所诱导的不同双射的数量。
• 开发一种实用方法，给定一个已知的（部分）双射，枚举所有模 $ m $ 下次数为 $ n $ 的置换多项式。
• 解决从诱导函数重构等价多项式的挑战，特别是在 $ n \geq p $ 模 $ p^d $ 的情况下。

提出的方法

• 通过基于 $ p $-进展开的分层分解，推导出模 $ p^d $ 下置换多项式的必要且充分条件。
• 通过变量的 $ p $-进展开对多项式进行递归分解，每一步将问题约化为模 $ p^{d-i} $。
• 利用系数消去的结构：高阶系数模 $ p $ 为零，从而实现从低阶多项式递归重构。
• 采用矩阵求逆技术（通过伴随矩阵和行列式条件），在 $ \gcd(|A|, m) = 1 $ 条件下求解系数方程组。
• 提出一种递归算法，给定一个双射，通过在模递减的 $ p $ 幂下求解子多项式的系数，恢复所有等价多项式。
• 利用仅需 $ p^{\lceil (d-1)/p \rceil + 1} $ 个输入-输出对即可重构模 $ p^d $ 下任意次数的多项式，前提是采样具有适当的 $ p $-进分布。

实验结果

研究问题

• RQ1 具有整系数的多项式在模 $ m $ 下诱导双射的必要且充分条件是什么？
• RQ2 模 $ m $ 下次数不超过 $ n $ 的不同置换多项式有多少个，它们诱导的不同置换又有多少个？
• RQ3 是否存在一种高效方法，用于重构所有诱导给定双射的等价多项式？
• RQ4 从部分或完整的函数数据重构置换多项式的计算复杂度是多少，特别是在次数 $ n \geq p $ 的情况下？

主要发现

• 通过递归分解和系数分析，建立了模 $ p^d $ 下置换多项式的必要且充分条件。
• 对模 $ m $ 下次数不超过 $ n $ 的不同置换多项式的数量进行了估计，对素数幂模数得出了明确的界。
• 此类多项式所诱导的不同置换的数量是有限的，且可通过模 $ m $ 下多项式环的结构进行估计。
• 提出了一种递归算法，用于重构模 $ p^d $ 下诱导给定双射的所有等价多项式，其复杂度降低至 $ O(d^3 p^{\lceil (d-1)/p \rceil + 3}) $。
• 在适当的 $ p $-进分布采样下，仅需 $ p^{\lceil (d-1)/p \rceil + 1} $ 个输入-输出对，即可重构模 $ p^d $ 下任意次数的多项式。
• 复杂度降低的原因在于高阶系数模更高次幂的 $ p $ 逐渐消失，从而实现了高效的递归系数恢复。