[论文解读] Index Divisibility in Dynamical Sequences and Cyclic Orbits Modulo $p$

Annie S. Chen, T. Alden Gassert+1 more|arXiv (Cornell University)|Aug 7, 2016

Mathematical Dynamics and Fractals参考文献 30被引用 4

一句话总结

本文研究由多项式映射 φ(x) = x^d + c 生成的动力序列中的索引可除性，重点关注满足 n 整除 φ^n(0) 的整数 n。提出一种有向图来刻画此类 n 的集合 D_{d,c}，并证明该集合恰好等于图的顶点集。主要结果表明：当 d 为偶数时，满足 0 模 p 下具有唯一 p-循环的素数 p 的集合是有限的（仅 p=2 或为空集）；当 d 为奇数时，此类素数的集合被猜想为无限，其结构受模运算和置换循环的约束。

ABSTRACT

Let $ϕ(x) = x^d + c$ be an integral polynomial of degree at least 2, and consider the sequence $(ϕ^n(0))_{n=0}^\infty$, which is the orbit of $0$ under iteration by $ϕ$. Let $D_{d,c}$ denote the set of positive integers $n$ for which $n \mid ϕ^n(0)$. We give a characterization of $D_{d,c}$ in terms of a directed graph and describe a number of its properties, including its cardinality and the primes contained therein. In particular, we study the question of which primes $p$ have the property that the orbit of $0$ is a single $p$-cycle modulo $p$. We show that the set of such primes is finite when $d$ is even, and conjecture that it is infinite when $d$ is odd.

研究动机与目标

• 刻画满足 n 整除动力序列中 φ^n(0) 的正整数 n 的集合 D_{d,c}，其中 φ(x) = x^d + c。
• 研究素数 p 的集合 S_{d,c}，使得 0 模 p 的轨道形成唯一的 p-循环。
• 确定 S_{d,c} 为有限或无限的条件，尤其区分 d 为偶数与奇数的情形。
• 构建图论框架（索引可除性图）以表示并分析 D_{d,c} 和 P_{d,c}（D_{d,c} 中的素数元素）。
• 研究刚性可除序列与本原素因子在理解这些动力序列算术结构中的作用。

提出的方法

• 构造一个有向图 G，其顶点为 D_{d,c} 的元素，根据 p-进赋值条件添加边：(1) 若 vp(φ^n(0)) > vp(n)，或 (2) 若 p 是 P_{d,c} 中的素数且 p 不整除 n。
• 证明该图的顶点集 GV 恰好等于 D_{d,c}，从而通过图结构完全刻画索引可除性。
• 利用乘法群 (Z/pZ)^* 的性质及模 p 下映射 x ↦ x^d 的置换循环，分析 0 何时具有完整的 p-循环。
• 应用 Hensel 引理将模 d 的解提升为 d-进解，表明当 d 为素数时，对某些 c 模 d^n，有 d^n ∈ D_{d,c}。
• 利用刚性可除序列理论，确保若 d^n 整除 φ^n(0)，则 d^n 也整除 φ^{d^n}(0)，从而在迭代中保持可除性。
• 分析动多项式 Φ_n,0(c)，将模 p 下满足 p ∈ S_{d,c} 的 c 的数量与 Φ_p,0(c) 模 p 的根数关联起来。

实验结果

研究问题

• RQ1 对于哪些素数 p，0 在模 p 下沿 x^d + c 的轨道形成唯一的 p-循环？
• RQ2 集合 S_{d,c} 是有限还是无限，尤其当 d 为奇数与偶数时？
• RQ3 基于模 4 或 12 的同余条件，S_{d,c} 存在哪些结构约束？
• RQ4 如何通过图论构造完全刻画满足 n | φ^n(0) 的索引集合 D_{d,c}？
• RQ5 c 的算术性质与此类循环存在性之间的关系如何，尤其在 Hensel 引理的提升与可除性方面？

主要发现

• 当 d 为偶数且 c 为奇数时，唯一满足 0 模 p 具有唯一 p-循环的素数为 p = 2；当 d 为偶数且 c 为偶数时，不存在此类素数。
• 当 d 为偶数时，P_{d,c} = {2} ∪ {p 素数 : p 整除 c}，因此此类素数的集合是有限的。
• 当 d 为奇数时，S_{d,c} 被猜想为无限，依据数值数据与启发式分析。
• 若 d ≡ 3 (mod 4) 且 p ≡ 1 (mod 4)，则 p 不可能属于 S_{d,c}，因此当 d = 3^k 时，仅满足 p ≡ 11 (mod 12) 的素数可能属于 S_{d,c}。
• 当 d 为素数时，存在 d-进整数 a_1, ..., a_{d-1}，使得若 c ≡ a_i (mod d^n)，则 d^n 整除 φ^{d^n}(0)，故 d^n ∈ D_{d,c}。
• 模 p 下满足 p ∈ S_{d,c} 的 c 的数量，等于模 p 下 dynatomic 多项式 Φ_p,0(c) 的非零根的数量。