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

소수 거듭제곱 상(image)과 동역학 반군의 기약 다항식

기본 정보

논문 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\}$
예외 경우의 특성화: 예외적 단일 매개변수 족을 완전히 특성화했으며, 이 경우들에서 임계 궤도는 소수 거듭제곱 고정점을 포함한다.

방법 상세 설명

작업 정의

반군 $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 \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\}$