[논문 리뷰] Index Divisibility in Dynamical Sequences and Cyclic Orbits Modulo $p$

Annie S. Chen, T. Alden Gassert외 1명|arXiv (Cornell University)|2016. 08. 07.

Mathematical Dynamics and Fractals참고 문헌 30인용 수 4

한 줄 요약

이 논문은 다항식 사상 φ(x) = x^d + c에 의해 생성되는 동적 수열에서 인덱스의 나눗셈 가능성을 연구하며, n이 φ^n(0)을 나누는 정수 n에 초점을 맞춘다. 이는 D_{d,c}로 표기되는 이러한 n의 집합을 특성화하기 위해 방향 그래프를 도입하며, 이 그래프의 정점 집합과 정확히 일치함을 증명한다. 주요 결과로는, 짝수 d일 경우 0이 모듈로 p에서 단일 p-사이클을 갖는 소수 p의 집합은 유한함(오직 p=2이거나 공집합임)을 보이고, 홀수 d일 경우 이러한 소수는 무한일 것이라 추측되며, 이는 모듈로 산술과 순열 사이클에 기반한 구조적 제약 조건을 가짐을 보여준다.

ABSTRACT

Let $ϕ(x) = x^d + c$ be an integral polynomial of degree at least 2, and consider the sequence $(ϕ^n(0))_{n=0}^\infty$, which is the orbit of $0$ under iteration by $ϕ$. Let $D_{d,c}$ denote the set of positive integers $n$ for which $n \mid ϕ^n(0)$. We give a characterization of $D_{d,c}$ in terms of a directed graph and describe a number of its properties, including its cardinality and the primes contained therein. In particular, we study the question of which primes $p$ have the property that the orbit of $0$ is a single $p$-cycle modulo $p$. We show that the set of such primes is finite when $d$ is even, and conjecture that it is infinite when $d$ is odd.

연구 동기 및 목표

• φ(x) = x^d + c의 동적 수열에서 φ^n(0)을 나누는 양의 정수 n의 집합 D_{d,c}를 특성화하는 것.
• 0의 모듈로 p에서 단일 p-사이클을 형성하는 소수 p의 집합 S_{d,c}를 연구하는 것.
• S_{d,c}가 유한한지 무한한지의 조건을 규명하며, 특히 짝수 d와 홀수 d 간의 차이를 구분하는 것.
• D_{d,c}와 P_{d,c}(D_{d,c}의 소수 원소)를 표현하고 분석하기 위해 그래프 이론적 프레임워크(인덱스 나눗셈 가능성 그래프)를 개발하는 것.
• 이러한 동적 수열의 산술적 구조를 이해하는 데 있어 강성 나눗셈 수열과 원시 소수 인수의 역할을 조사하는 것.

제안 방법

• D_{d,c}의 원소를 정점으로 하는 방향 그래프 G를 구성하며, p-진 값의 조건에 따라 간선을 추가: (1) vp(φ^n(0)) > vp(n)이거나, (2) n을 나누지 않는 P_{d,c}의 소수 p이면.
• 이 그래프의 정점 집합 GV가 정확히 D_{d,c}임을 증명하여, 그래프의 구조를 통해 인덱스 나눗셈 가능성을 완전히 특성화함.
• 곱셈군 (Z/pZ)^*와 모듈로 p에서 x ↦ x^d의 순열 사이클 성질을 이용하여 0이 완전한 p-사이클을 갖는 조건을 분석함.
• 헤젤의 보조정리를 적용하여 모듈로 d의 해를 d-진 해로 상향 조정함으로써, 소수 d에 대해 특정한 c가 d^n에 대해 d^n ∈ D_{d,c}임을 보임.
• 강성 나눗셈 수열 이론을 활용하여, d^n이 φ^n(0)을 나누면 d^n이 φ^{d^n}(0)을 나눈다는 것을 보장함으로써 반복 과정에서 나눗셈 가능성이 유지됨을 보임.
• 다이나토믹 다항식 Φ_n,0(c)를 분석하여, p에 대해 p ∈ S_{d,c}인 c의 개수를 모듈로 p에서 Φ_p,0(c)의 근의 개수와 연결함.

실험 결과

연구 질문

• RQ1 모듈로 p에서 x^d + c에 의한 0의 궤도가 단일 p-사이클을 형성하는 소수 p는 무엇인가?
• RQ2 S_{d,c}의 이러한 소수 집합은 유한한가 무한한가 하는가, 특히 d가 홀수일 때와 짝수일 때의 차이를 고려하여?
• RQ3 4 또는 12를 모듈로로 하여 정의된 합동 조건에 기반한 S_{d,c}에 대한 구조적 제약 조건은 무엇인가?
• RQ4 그래프 이론적 구성 방법을 통해 n | φ^n(0)을 만족하는 인덱스 n의 집합 D_{d,c}를 완전히 특성화할 수 있는가?
• RQ5 c의 산술적 성질과 이러한 사이클의 존재 사이의 관계는 무엇인가, 특히 헤젤의 보조정리를 통한 상향 조정과 나눗셈 측면에서?

주요 결과

• 짝수 d와 홀수 c일 경우, 0이 모듈로 p에서 단일 p-사이클을 갖는 유일한 소수는 p = 2뿐이며, 짝수 d와 짝수 c일 경우 그러한 소수는 존재하지 않음.
• d가 짝수일 경우, P_{d,c} = {2} ∪ {p 소수 : p가 c를 나눔}이므로 이러한 소수의 집합은 유한함.
• d가 홀수일 경우, S_{d,c}는 수치적 데이터와 히وري스틱에 기반해 무한일 것이라 추측됨.
• d ≡ 3 (mod 4)이고 p ≡ 1 (mod 4)일 경우, p는 S_{d,c}에 속할 수 없으며, 따라서 d = 3^k일 경우 S_{d,c}에 속할 수 있는 소수는 오직 p ≡ 11 (mod 12)일 수 있음.
• 소수 d에 대해, d^n이 φ^{d^n}(0)을 나누는 조건을 만족시키는 d-진 정수 a_1, ..., a_{d-1}가 존재함. 즉, c ≡ a_i (mod d^n)이면 d^n ∈ D_{d,c}임.
• p에 대해 p ∈ S_{d,c}인 c의 개수는 모듈로 p에서 다이나토믹 다항식 Φ_p,0(c)의 비영근 개수와 정확히 일치함.