Prime-powered images and irreducible polynomials in dynamical semigroups

Basic Information

• Paper ID: 2510.10310
• Title: Prime-powered images and irreducible polynomials in dynamical semigroups
• Authors: Aristaa Bhardwaj, Adrian Boyer-Paulet, Wade Hindes, Emma Qiu, Alexander Sun
• Classification: math.NT (Number Theory), math.DS (Dynamical Systems)
• Publication Date: August 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10310

Abstract

This paper investigates the distribution of irreducible polynomials in the semigroup $G$ generated by unicritical polynomials $x^d + c_1, \ldots, x^d + c_s$. The main result demonstrates that, with the exception of a single-parameter family, $G$ contains a positive proportion of explicit irreducible polynomial subsets if and only if it contains at least one irreducible polynomial. This conclusion holds when $d$ is odd and $s \geq 3$, or when $d$ is even and $s \geq 5$. To prove this result, the authors establish a classification theorem concerning prime-powered iterative images under $f(x) = x^d + c$ (where $c \in \mathbb{Z}$ is nonzero).

Research Background and Motivation

Problem Background

1. Irreducibility in Dynamical Systems: In arithmetic dynamics, a natural question is to determine conditions ensuring that a semigroup $G$ contains many irreducible polynomials. This is crucial for understanding the algebraic structure of polynomial composition semigroups.
2. Importance of Unicritical Polynomials: Polynomials of the form $x^d + c$ are fundamental objects in dynamical systems theory, with their iterative behavior closely related to number-theoretic properties.
3. Connection between Prime Powers and Periodic Points: If an orbit exhibits special arithmetic properties (such as containing large prime powers), there typically exists a good dynamical or geometric reason (such as the orbit being finite).

Research Motivation

• Theoretical Completeness: Establish a comprehensive theory of irreducible polynomial distribution in unicritical polynomial semigroups
• Methodological Innovation: Investigate irreducibility through classification of prime-powered iterative images, a novel technical approach
• Applied Value: Provide new tools and insights for arithmetic dynamics and algebraic number theory

Core Contributions

1. Main Theorem: Proves that for $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$, except in exceptional cases, $G$ contains a positive proportion of irreducible polynomials if and only if it contains at least one irreducible polynomial.
2. Prime-Power Classification Theorem: Establishes a complete classification of prime-powered iterative images under $f(x) = x^d + c$, which is the technical core.
3. Explicit Construction: Provides explicit descriptions of irreducible polynomial subsets, including three types:
   • $\{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\}$
4. Characterization of Exceptional Cases: Completely characterizes the exceptional single-parameter families, where critical orbits contain prime-power fixed points.

Methodology Details

Problem Formulation

Study the density of irreducible polynomials in the semigroup $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{ and } g \text{ is irreducible over } \mathbb{Q}\}}{\#\{g \in G : \deg(g) \leq B\}}$

Core Technical Framework

1. Prime-Power Iterative Image Classification Theorem (Theorem 2.1)

For $f(x) = x^d + c$ (where $c \neq 0$), if $f^N(\alpha) = \epsilon y^p$, where:

• $N = 4$ (when $d = 2$) or $N = 3$ (when $d \geq 3$)
• $\alpha, y \in \mathbb{Z}$, $\epsilon = \pm 1$, $p$ is prime and $p|d$

then $\alpha$ is a preperiodic point and $\epsilon y^p$ is a periodic point.

2. System of Technical Lemmas

• Lemma 2.3: Growth estimate $x^d - (x-1)^d > x^{d-1}$ (when $x > 1$, $d \geq 2$)
• Lemma 2.4: If $\alpha^d + c = \epsilon y^p$, then $|\alpha| \leq \sqrt{|c|}$ (when $d > 2$)
• Lemma 2.5: Precise characterization of orbit escape properties

3. Irreducibility Criterion

Proposition 3.1: Let $w(x)$ be an irreducible monic polynomial and $u(x) = x^d + c$. If $d$ is even, assume $w$ has even degree. Then $w \circ u$ is irreducible unless $w(u(0)) = y^p$.

Technical Innovations

1. Optimality of Iteration Count: Proves that $n = 4$ (when $d = 2$) and $n = 3$ (when $d \geq 3$) are the minimal iteration counts for which the conclusion holds.
2. Comprehensive Case Analysis: Handles all possible parameter combinations through refined analysis, including special cases with small constant terms.
3. Integration of Geometry and Arithmetic: Organically combines dynamical properties (periodicity, preperiodicity) with arithmetic properties (prime powers).

Experimental Setup

Computational Verification

The authors use the Magma computer algebra system to verify results for small parameters, particularly:

• When $d = 2$, $c \in \{1, 2\}$, verify that the equation $f^4(\alpha) = \epsilon y^2$ has no solutions over $\mathbb{Z}/8\mathbb{Z}$
• Exhaustive verification for small constant term cases

Theoretical Analysis Methods

• Proof by Contradiction: Assume existence of prime-power images, then derive contradictions using growth estimates
• Pigeonhole Principle: Utilize finiteness of bounded sets to prove orbit periodicity
• Mason's abc Theorem: Prove freeness of the semigroup

Experimental Results

Main Results

Three Cases of Theorem 1.1:

1. General Case: $G$ contains a positive proportion of irreducible polynomials if and only if it contains at least one irreducible polynomial
2. Even Degree Exception: $d \geq 4$ even and $\{c_1, \ldots, c_s\} \subseteq \{y^p - y^{pd}, y^p, -y^p, -y^p - y^{pd}\}$
3. Odd Degree Exception: $d \geq 5$ odd and $\{c_1, \ldots, c_s\} \subseteq \{y^p - y^{pd}, y^p\}$

Sufficient Conditions of Corollary 1.2:

• $d \geq 5$ odd and $s \geq 3$
• $d \geq 4$ even and $s \geq 5$

Precision of Technical Results

• Optimal Iteration Count: Concrete examples prove that the iteration count lower bounds in Theorem 1.3 are optimal
• Necessity of Exceptional Cases: Specific constructions demonstrate that exceptional cases indeed exist

Related Work

Historical Development

1. Prior Work: The paper builds on foundations in 3, 6, 7, particularly research on quadratic polynomial semigroups
2. Single Polynomial Case: Proposition 3.2 generalizes stability results for quadratic polynomials from 8
3. Technical Methods: Improves Theorems 2.3 and 2.7 from 6, no longer requiring polynomials to be irreducible or have prime degree

Method Comparison

• Rational Point Techniques: Successfully applied in small degree cases ($d = 2, 3$), but impractical for large degrees
• Orbit Avoidance of Prime Powers: Classical method for studying irreducibility; this paper provides a new technical approach

Conclusions and Discussion

Main Conclusions

1. Establishes an almost complete theory of irreducible polynomial distribution in unicritical polynomial semigroups
2. Prime-power iterative image classification provides new tools for arithmetic dynamics
3. Exceptional cases have clear dynamical interpretations

Limitations

1. Exceptional Cases: While the authors conjecture that exceptional cases do not actually exist, current techniques cannot fully resolve this
2. Integer Restriction: Results primarily target integer-coefficient polynomials; generalization to arbitrary number fields requires further research
3. Degree Restriction: Theory remains incomplete for semigroups generated by polynomials of mixed degrees

Future Directions

1. Complete Resolution of Exceptional Cases: Seek new methods to handle exceptional families for large degrees
2. Generalization to Other Number Fields: Extend results to algebraic number fields
3. Mixed Degree Cases: Study semigroups generated by polynomials of different degrees

In-Depth Evaluation

Strengths

1. Technical Depth: The proof of the prime-power classification theorem demonstrates sophisticated techniques combining methods from multiple mathematical branches
2. Result Completeness: Nearly completely resolves the problem, leaving only small exceptional cases
3. Methodological Innovation: The connection between prime-power properties and dynamical behavior is insightful
4. Clear Exposition: Well-structured paper with careful treatment of technical details

Weaknesses

1. Computational Dependence: Some small parameter cases rely on computer verification; theoretical proofs are incomplete
2. Incomplete Exception Handling: Treatment of exceptional cases is not thorough enough
3. Limited Application Scope: Primarily theoretical results; practical applications remain to be developed

Impact

1. Theoretical Contribution: Provides important tools for arithmetic dynamics and algebraic number theory
2. Technical Value: The prime-power classification method may have applications to other problems
3. Research Direction: Opens new research directions that will inspire subsequent work

Applicable Scenarios

• Arithmetic dynamics research
• Polynomial irreducibility problems
• Orbit structure studies in algebraic number theory
• Polynomial factorization in computational algebra

References

The paper cites important works in the field, including:

• 3 Doyle & Hindes: Study of unicritical polynomials over abc-fields
• 6 Hindes et al.: Proportion of irreducible polynomials in unicritical generated semigroups
• 8 Jones: Prime factor density in arithmetic dynamics of quadratic polynomials
• 9 Lang: Related theoretical foundations in algebra textbooks