2025-11-24T07:07:18.078251

Prime-powered images and irreducible polynomials in dynamical semigroups

Bhardwaj, Boyer-Paulet, Hindes et al.

Let $G=\langle x^d+c_1,\dots,x^d+c_s\rangle$ be a semigroup generated under composition for some $c_1,\dots,c_s\in\mathbb{Z}$ and some $d\geq2$. Then we prove that, outside of an exceptional one-parameter family, $G$ contains a large and explicit subset of irreducible polynomials if and only if it contains at least one irreducible polynomial. In particular, this conclusion holds when $G$ is generated by at least $s\geq3$ polynomials when $d$ is odd and at least $s\geq5$ polynomials when $d$ is even. To do this, we prove a classification result for prime powered iterates under $f(x)=x^d+c$ when $c\in\mathbb{Z}$ is nonzero. Namely, if $f^n(Î±)=y^p$ for some $n\geq4$, some $Î±,y\in\mathbb{Z}$, and some prime $p|d$, then $Î±$ and $y^p$ are necessarily preperiodic and periodic points for $f$ respectively. Moreover, we note that $n=4$ is the smallest possible iterate for which one may make this conclusion.

academic

Prime-powered images and irreducible polynomials in dynamical semigroups

基本信息

论文ID: 2510.10310
标题: Prime-powered images and irreducible polynomials in dynamical semigroups
作者: Aristaa Bhardwaj, Adrian Boyer-Paulet, Wade Hindes, Emma Qiu, Alexander Sun
分类: math.NT (数论), math.DS (动力系统)
发表时间: 2025年8月 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.10310

摘要

本文研究由单临界多项式 $x^d + c_1, \ldots, x^d + c_s$ 生成的半群 $G$ 中不可约多项式的分布问题。主要结果表明，除了一个例外的单参数族外， $G$ 包含大量显式的不可约多项式子集当且仅当它至少包含一个不可约多项式。当 $d$ 为奇数且 $s \geq 3$ ，或 $d$ 为偶数且 $s \geq 5$ 时，这个结论成立。为证明这一结果，作者建立了关于 $f(x) = x^d + c$ （ $c \in \mathbb{Z}$ 非零）下素数幂迭代像的分类定理。

研究背景与动机

问题背景

动力系统中的不可约性问题：在算术动力学中，一个自然问题是确定条件以保证半群 $G$ 包含许多不可约多项式。这对理解多项式复合半群的代数结构具有重要意义。
单临界多项式的重要性：形如 $x^d + c$ 的单临界多项式是动力系统理论中的基本研究对象，其迭代行为与数论性质密切相关。
素数幂与周期点的联系：如果轨道具有特殊的算术性质（如包含大的素数幂），通常存在良好的动力学或几何原因（如轨道是有限集）。

研究动机

理论完善：建立单临界多项式半群中不可约多项式分布的完整理论
方法创新：通过素数幂迭代像的分类来研究不可约性，这是一个新颖的技术路线
应用价值：为算术动力学和代数数论提供新的工具和洞察

核心贡献

主定理：证明了对于 $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$ ，除了例外情况外， $G$ 包含正比例的不可约多项式当且仅当它包含至少一个不可约多项式。
素数幂分类定理：建立了 $f(x) = x^d + c$ 下素数幂迭代像的完整分类，这是技术核心。
显式构造：给出了不可约多项式子集的显式描述，包括三种类型：
- $\{f_1^3 \circ g : g \in G\}$
- $\{f_1^3 \circ f_2 \circ f_1 \circ g : g \in G\}$
- $\{f_1^3 \circ f_2^3 \circ g : g \in G\}$
例外情况的刻画：完全刻画了例外的单参数族，这些情况下临界轨道包含素数幂不动点。

$N = 4$ （当 $d = 2$ ）或 $N = 3$ （当 $d \geq 3$ ）
$\alpha, y \in \mathbb{Z}$ ， $\epsilon = \pm 1$ ， $p$ 是素数且 $p|d$

则 $\alpha$ 是预周期点， $\epsilon y^p$ 是周期点。

2. 技术引理系统

引理2.3：增长性估计 $x^d - (x-1)^d > x^{d-1}$ （当 $x > 1$ , $d \geq 2$ ）
引理2.4：如果 $\alpha^d + c = \epsilon y^p$ ，则 $|\alpha| \leq \sqrt{|c|}$ （当 $d > 2$ ）
引理2.5：轨道逃逸性质的精确刻画

3. 不可约性判别准则

命题3.1：设 $w(x)$ 是不可约的首一多项式， $u(x) = x^d + c$ 。如果 $d$ 为偶数时假设 $w$ 有偶数度，则 $w \circ u$ 不可约，除非 $w(u(0)) = y^p$ 。

技术创新点

迭代次数的最优性：证明了 $n = 4$ （ $d = 2$ 时）和 $n = 3$ （ $d \geq 3$ 时）是使结论成立的最小迭代次数。
完整的情况分析：通过精细的分析处理了所有可能的参数组合，包括小常数项的特殊情况。
几何与算术的结合：将动力学性质（周期性、预周期性）与算术性质（素数幂）有机结合。

实验设置

计算验证

作者使用Magma计算机代数系统验证了小参数情况下的结果，特别是：

当 $d = 2$ , $c \in \{1, 2\}$ 时，验证方程 $f^4(\alpha) = \epsilon y^2$ 在 $\mathbb{Z}/8\mathbb{Z}$ 上无解
对小常数项情况进行了穷举验证

理论分析方法

反证法：假设存在素数幂像，然后利用增长估计得出矛盾
鸽笼原理：利用有界集合的有限性证明轨道的周期性
Mason的abc定理：证明半群的自由性

一般情况： $G$ 包含正比例不可约多项式当且仅当包含至少一个不可约多项式
偶数度例外： $d \geq 4$ 为偶数且 $\{c_1, \ldots, c_s\} \subseteq \{y^p - y^{pd}, y^p, -y^p, -y^p - y^{pd}\}$
奇数度例外： $d \geq 5$ 为奇数且 $\{c_1, \ldots, c_s\} \subseteq \{y^p - y^{pd}, y^p\}$