Preperiodic integers for $x^d+c$ in large degree

Basic Information

• Paper ID: 2510.14067
• Title: Preperiodic integers for $x^d+c$ in large degree
• Authors: John R. Doyle, Wade Hindes
• Classification: math.NT (Number Theory)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14067

Abstract

Given a number field $K$, this paper provides a complete classification of preperiodic portraits for the map $x^d+c$, where $c\in K$ is an algebraic integer and $d$ is sufficiently large (depending on the degree of $K$). Specifically, the authors prove that under the natural action of roots of unity, there are exactly thirteen such portraits. In particular, by replacing the use of the abc conjecture with bounds from linear forms in logarithms, the authors obtain unconditionally the main results of their recent work for algebraic integers. Subsequently, this work is applied to several problems in semigroup dynamics, including the construction of irreducible polynomials and the classification of postcritically finite sets.

Research Background and Motivation

Core Problem

This research addresses a fundamental problem in arithmetic dynamics: determining how the set of preperiodic points $\text{PrePer}(f,K)$ of a polynomial $f \in K[x]$ of degree at least 2 over a number field $K$ depends on $f$ and $K$.

Problem Significance

1. Morton-Silverman Conjecture: Predicts that $|\text{PrePer}(f,K)|$ is bounded by a constant depending only on the degree of $f$ and $K$
2. Foundations of Arithmetic Dynamics: Classification of preperiodic points is key to understanding the dynamical properties of polynomials
3. Galois Theory Applications: Closely related to the theory of dynamical Galois groups

Limitations of Existing Methods

1. Previous results either impose restrictive conditions (e.g., $f$ defined over the ring of integers)
2. Or depend on the unproven abc conjecture
3. Lack complete classification for the general case

Research Motivation

This paper provides unconditional results for algebraic integers by replacing the abc conjecture with bounds from linear forms in logarithms via Baker's method, and gives a complete classification of preperiodic portraits.

Core Contributions

1. Complete Classification Result: Proves that for sufficiently large $d$, the map $f_{d,c}(x) = x^d + c$ (with $c$ an algebraic integer) has exactly 13 possible preperiodic portraits
2. Unconditional Proof: Replaces the abc conjecture with Baker's method to obtain unconditional results for algebraic integers
3. Uniform Bounds: Establishes bounds on the number of preperiodic points independent of the degree $d$
4. Semigroup Dynamics Applications:
   • New methods for constructing irreducible polynomials
   • Classification of postcritically finite sets
   • Bounds on points with finite orbits

Detailed Methods

Problem Setup

Given a number field $K$, a finite set of places $S$ (including all infinite places), and the ring of $S$-integers $o_{K,S}$, classify all possible preperiodic portraits of the map $f_{d,c}(x) = x^d + c$ (with $c \in o_{K,S}$) when $d$ is sufficiently large.

Core Technical Methods

1. Baker's Method Replacing the abc Conjecture

Key Lemma 2.4 (Baker's Method): For a number field $K$, nonzero elements $\alpha_1, \ldots, \alpha_n \in K$ and rational integers $b_1, \ldots, b_n$, if $\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1 \neq 0$, then there exist positive constants $c_1(t,n)$ and $V(t)$ such that:

$\log |\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1|_v > -c_1(t,n)\frac{N(v)}{\log N(v)}\left(\prod_{i=1}^n \max\{h(\alpha_i), V(t)\}\right)\log(\max\{|b_1|, \ldots, |b_n|, 3\})$

2. Height Bound Estimates

Lemma 2.2 (Improved Schinzel-Zassenhaus): For a number field $K$ of degree $t$ and a nonzero non-root-of-unity element $\alpha \in K$: $\max_{v \in M_K} |\alpha|_v > 1 + 2^{-(t+4)}$

3. Preperiodic Structure Analysis

By analyzing the preperiodic point structure of $f_{d,c}$, it is proven that when $d$ is sufficiently large:

• If $h(c) > \log(3)$ and preperiodic points exist, then all preperiodic points have the form $\{\zeta y : \zeta \in \mu_{K,d}\}$
• If $h(c) \leq \log(3)$, then all preperiodic points are 0 or roots of unity

Technical Innovations

1. Refined Application of Baker's Method: Skillfully applies bounds from linear forms in logarithms to estimates of $|\alpha^d - \beta^d|_v$
2. Combination of Height and Valuations: Utilizes the $S$-house function $H_S(\alpha)$ to connect height and valuation estimates
3. Unified Treatment Framework: Establishes a unified method for handling different height cases

Main Theorems and Results

Theorem 1.1 (Main Result)

Let $K/\mathbb{Q}$ be a number field, $S$ a finite set of places containing all infinite places, and $o_{K,S}$ the ring of $S$-integers. There exists a constant $D(q,t)$ (depending only on $t = [K:\mathbb{Q}]$ and the largest prime $q$ among non-infinite places in $S$) such that when $d \geq D(q,t)$, for all $c \in o_{K,S}$:

1. If $c$ is nonzero, then $f_{d,c}$ has no $K$-rational points of period greater than 3
2. If $h(c) > \log(3)$ and $\text{PrePer}(f_{d,c},K)$ is nonempty, then $c = y - y^d \text{ and } \text{PrePer}(f_{d,c},K) = \{\zeta y : \zeta \in \mu_{K,d}\}$ for some unique $y \in o_{K,S}$
3. If $h(c) \leq \log(3)$, then all $K$-rational preperiodic points are 0 or roots of unity

Corollary 1.2 (Uniform Bound)

There exists a constant $B(q,t)$ such that for all $d \geq 2$ and $c \in o_{K,S}$: $|\text{PrePer}(x^d + c, K)| \leq B(q,t)$

Corollary 1.3 (Portrait Classification)

When $d > D(q,t)$ and $c \in o_{K,S}$ is nonzero, the skeleton $S(x^d + c, K)$ is isomorphic to either the empty graph or one of the 12 graphs in Table 1.

Semigroup Dynamics Applications

Theorem 1.5 (Irreducible Polynomial Construction)

Let $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$. If the following conditions hold:

1. $h(c_i) > \log(3)$ for all $i$
2. Every prime divisor $p$ of $d$ satisfies $p > M(q,t)$
3. The number of generators $s > 2|\mu_{K,d}|$

then $G$ contains a positive proportion of irreducible polynomials if and only if it contains at least one irreducible polynomial.

Corollary 1.8 (Postcritical Finiteness)

Let $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$. If the orbit of 0 contains a point with finite orbit, then there exists a constant $s(t)$ depending only on $[\mathbb{Q}(c_1,\ldots,c_s):\mathbb{Q}]$ such that $s \leq s(t)$.

Key Proof Techniques

1. Height Control

Uses the relationship between the canonical height function $\hat{h}_{f_{d,c}}$ and the standard height $h$: $|h(\alpha) - \hat{h}_{f_{d,c}}(\alpha)| \leq \frac{1}{d-1}(h(c) + \log 2)$

2. Application of Baker's Method

For cases where $\beta/\alpha$ is not a $d$-th root of unity, Baker's method yields: $\log |1 - (\beta/\alpha)^d|_v > -C_1(q,t)\max\{h(\alpha/\beta), V(t)\}\log(d)$

3. Proof by Contradiction

Through refined height estimates, proves that certain configurations lead to contradictions when $d$ is sufficiently large, thereby determining the preperiodic structure.

Related Work

1. Morton-Silverman Conjecture: Foundational conjecture on the number of preperiodic points
2. Work of Benedetto et al.: Study of preperiodic points of polynomials over rings of integers
3. Authors' Previous Work: Conditional results based on the abc conjecture
4. Baker Theory: Lower bounds for linear forms in logarithms

Conclusions and Discussion

Main Conclusions

1. Completely resolves the classification of preperiodic portraits for unicritical polynomials of large degree
2. Provides unconditional, uniform bounds depending only on the degree of the number field and the denominator
3. Establishes deep connections between preperiodic theory and semigroup dynamics

Limitations

1. Results apply only to "sufficiently large" degrees $d$
2. The explicit value of the constant $D(q,t)$ may be very large
3. Methods primarily apply to unicritical polynomial families

Future Directions

1. Extend methods to more general polynomial families
2. Improve estimates of the constant $D(q,t)$
3. Study complete classification for small degrees

In-Depth Evaluation

Strengths

1. Theoretical Breakthrough: First unconditional complete classification result
2. Methodological Innovation: Cleverly replaces the abc conjecture with Baker's method
3. Broad Applications: Important applications in semigroup dynamics
4. Technical Excellence: Complex and rigorous proof techniques

Weaknesses

1. Constant Dependence: Key constants may be extremely large, limiting practical applications
2. Special Cases: Main results limited to unicritical polynomials
3. Computational Complexity: Computing preperiodic portraits remains difficult in practice

Impact

1. Theoretical Contribution: Provides important structural results for arithmetic dynamics
2. Methodological Value: Application of Baker's method offers new approaches to related problems
3. Application Potential: Possible applications in cryptography and computational number theory

Applicable Scenarios

1. Theoretical research in arithmetic dynamics
2. Constructive proofs of polynomial irreducibility
3. Theory of dynamical Galois groups
4. Analysis of semigroup dynamics

References

The paper cites 24 important references covering classical and cutting-edge work in arithmetic dynamics, Baker theory, height theory, and related fields, demonstrating the depth and breadth of the research.