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

素数冪像と動力学半群における既約多項式

基本情報

論文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$ の下での素数冪反復像の完全な分類を確立した。これは技術的な核心である。
明示的構成：既約多項式部分集合の明示的記述を提供した。以下の3つのタイプを含む：
- $\{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\}$
例外的場合の特性化：例外的な単一パラメータ族を完全に特性化した。これらの場合、臨界軌道は素数冪不動点を含む。

方法論の詳細

問題設定

半群 $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$ における既約多項式の密度を研究する： $\liminf_{B \to \infty} \frac{\#\{g \in G : \deg(g) \leq B \text{ かつ } g \text{ は } \mathbb{Q} \text{ 上既約}\}}{\#\{g \in G : \deg(g) \leq B\}}$

核心的技術フレームワーク

1. 素数冪反復像分類定理（定理2.1）

$f(x) = x^d + c$ （ $c \neq 0$ ）に対して、 $f^N(\alpha) = \epsilon y^p$ ならば、ここで：

$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(u(0)) = y^p$ でない限り、 $w \circ u$ は既約である。

技術的革新点

反復回数の最適性： $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\}$