[论文解读] Polynomial Mappings mod p^n

David L. desJardins, Michael E. Zieve|ArXiv.org|Mar 7, 2001

Advanced Differential Equations and Dynamical Systems被引用 9

一句话总结

本文提出一个框架，用于分析模奇素数幂 $p^n$ 的多项式映射的循环结构，利用泰勒展开和提升技术，对从 $\mathbb{Z}/p^n\mathbb{Z}$ 到 $\mathbb{Z}/p^{n+1}\mathbb{Z}$ 的循环演化进行分类。主要贡献是基于导数和位移模 $p$，对循环提升行为（增长、分裂、尾部增长和部分分裂）进行了完整分类，从而实现循环长度的快速计算，并可构造具有指定动力学行为的多项式。

ABSTRACT

Let f(x) be a polynomial with integer coefficients, let n be a positive integer, and let p be an odd prime. Then the mapping x-->f(x) sends Z/p^n into Z/p^n. We study the topological structure of this mapping.

研究动机与目标

• 理解奇素数 $p$ 和正整数 $n$ 下多项式映射 $f: \mathbb{Z}/p^n\mathbb{Z} \to \mathbb{Z}/p^n\mathbb{Z}$ 的拓扑结构。
• 确定 $f_n$ 的循环如何提升为 $f_{n+1}$ 的循环，特别是循环增长、分裂或发展出尾部的条件。
• 提供一种高效算法，用于计算给定多项式 $f$ 在所有 $n$ 下 $f_n$ 的循环长度，并支持构造模 $p^n$ 下具有指定循环结构的多项式。
• 通过在相关循环上构造模 $p^{2n}$ 的相容多项式逼近，将结果推广到有理函数 $h = f/g$，前提是 $g$ 与 $p$ 互素。

提出的方法

• 在循环点 $x_1$ 处对 $k$ 阶迭代 $g = f^k$ 进行泰勒展开，得到 $g(x_1 + p^n t) \equiv x_1 + p^n b_n + p^n a_n t \pmod{p^{2n}}$，其中 $a_n = g'(x_1)$ 且 $b_n = (g(x_1) - x_1)/p^n$。
• 通过 $\Phi(t) = b_n + a_n t$ 定义映射 $\Phi: \mathbb{Z}/p\mathbb{Z} \to \mathbb{Z}/p\mathbb{Z}$，该映射刻画了 $f_{n+1}$ 在循环提升上的作用，揭示出线性动力学行为。
• 根据 $a_n \mod p$ 和 $b_n \mod p$ 对循环提升行为进行分类：若 $a_n \equiv 1$ 且 $b_n \not\equiv 0$，则循环增长为长度 $pk$；若 $a_n \equiv 1$ 且 $b_n \equiv 0$，则分裂为 $p$ 个长度为 $k$ 的不相交循环；若 $a_n \equiv 0$，则产生尾部；否则发生部分分裂。
• 利用 $a_n$ 和 $b_n$ 在循环和代表元选择下模 $p$ 下的定义良好性，确保提升行为在不同代表元下保持不变。
• 通过构造在 $g(x) \not\equiv 0 \pmod{p}$ 时与 $h$ 模 $p^{2n}$ 一致的多项式序列 $h_n = f \cdot g^{\phi(p^{2n})-1}$，将结果推广到有理函数 $h = f/g$，确保各层级上 $a_i$ 和 $b_i$ 的相容性。
• 利用 $a_i$ 和 $b_i$ 在 $n$ 上的相容性，证明有理函数 $h$ 的循环提升行为与逼近多项式 $h_n$ 一致，从而将结果推广至有理函数。

实验结果

研究问题

• RQ1 多项式映射 $f: \mathbb{Z}/p^n\mathbb{Z} \to \mathbb{Z}/p^n\mathbb{Z}$ 的循环如何提升为模 $p^{n+1}$ 的循环？
• RQ2 导数 $f^{(k)\prime}(x_1)$ 和位移 $(f^k(x_1) - x_1)/p^n$ 的什么条件决定了循环在提升到 $\mathbb{Z}/p^{n+1}\mathbb{Z}$ 时发生增长、分裂或产生尾部？
• RQ3 是否可以高效计算所有 $n$ 下 $f_n$ 的循环结构？是否存在一种算法，可构造模 $p^n$ 下具有指定循环结构的多项式？
• RQ4 多项式结果在多大程度上可推广到有理函数 $f/g$，其中 $g$ 在关注的循环上与 $p$ 互素？
• RQ5 $p$-进结构在决定模 $p^n$ 下迭代多项式映射行为方面起什么作用？

主要发现

• 循环提升由 $\mathbb{Z}/p\mathbb{Z}$ 上的线性映射 $\Phi(t) = b_n + a_n t$ 决定，其中 $a_n = g'(x_1)$ 且 $b_n = (g(x_1) - x_1)/p^n$（$g = f^k$），从而实现对提升行为的完整分类。
• 若 $a_n \equiv 1 \pmod{p}$ 且 $b_n \not\equiv 0 \pmod{p}$，则循环增长为长度 $pk$；此称为循环的‘增长’。
• 若 $a_n \equiv 1 \pmod{p}$ 且 $b_n \equiv 0 \pmod{p}$，则循环分裂为 $p$ 个长度为 $k$ 的不相交循环；此称为‘分裂’。
• 若 $a_n \equiv 0 \pmod{p}$，则循环产生尾部：一个 $k$-循环，其余 $p-1$ 个点在 $k$ 次迭代后映射到该循环。
• 若 $a_n \not\equiv 0,1 \pmod{p}$，则循环发生部分分裂：一个 $k$-循环和 $(p-1)/d$ 个长度为 $kd$ 的循环，其中 $d$ 是 $a_n$ 模 $p$ 的乘法阶。
• 对于满足 $p \nmid g(x)$ 的有理函数 $h = f/g$，通过构造模 $p^{2n}$ 的相容多项式逼近 $h_n$，可将结果推广，确保相同的提升行为成立。