[논문 리뷰] Polynomial Mappings mod p^n

David L. desJardins, Michael E. Zieve|ArXiv.org|2001. 03. 07.

Advanced Differential Equations and Dynamical Systems인용 수 9

한 줄 요약

이 논문은 홀수 소수 거듭제곱 $p^n$ 모듈로에서 다항형사상의 사이클 구조를 분석하기 위한 프레임워크를 개발한다. 타일러 전개와 리프팅 기법을 사용하여 $\mathbb{Z}/p^n\mathbb{Z}$ 에서 $\mathbb{Z}/p^{n+1}\mathbb{Z}$ 로의 사이클 진화를 분류한다. 주요 기여는 도함수와 이격도를 $p$ 모듈로 기반으로 하여 사이클 리프팅 행동(성장, 분할, 尾 성장, 부분 분할)을 완전히 분류한 것이다. 이는 사이클 길이를 신속하게 계산하고 원하는 역학을 갖는 다항형사를 구성하는 데 기여한다.

ABSTRACT

Let f(x) be a polynomial with integer coefficients, let n be a positive integer, and let p be an odd prime. Then the mapping x-->f(x) sends Z/p^n into Z/p^n. We study the topological structure of this mapping.

연구 동기 및 목표

• 홀수 소수 $p$ 와 양의 정수 $n$ 에 대해 다항형사상 $f: \mathbb{Z}/p^n\mathbb{Z} \to \mathbb{Z}/p^n\mathbb{Z}$ 의 위상적 구조를 이해하기 위해.
• 특히 사이클이 성장, 분할, 또는 尾 를 형성하는 조건을 밝혀내기 위해 $f_n$ 의 사이클이 $f_{n+1}$ 로 어떻게 리프팅되는지 파악하기 위해.
• 주어진 다항형사상 $f$ 를 바탕으로 모든 $n$ 에 대해 $f_n$ 의 사이클 길이를 효율적으로 계산하는 알고리즘을 제공하고, $p^n$ 모듈로에서 특정 사이클 구조를 갖는 다항형사를 구성할 수 있도록 하기 위해.
• 관련 사이클에서 $g$ 가 $p$ 와 가소수인 조건 하에, $h = f/g$ 와 같은 유리형사상으로 결과를 확장하기 위해, $p^{2n}$ 모듈로에서 호환성 있는 다항형사상 근사치를 구성하기 위해.

제안 방법

• 사이클 점 $x_1$ 근처에서 $k$ 번째 반복 $g = f^k$ 의 타일러 전개를 사용하여 $g(x_1 + p^n t) \equiv x_1 + p^n b_n + p^n a_n t \pmod{p^{2n}}$ 를 유도한다. 여기서 $a_n = g'(x_1)$, $b_n = (g(x_1) - x_1)/p^n$ 이다.
• 맵 $\Phi: \mathbb{Z}/p\mathbb{Z} \to \mathbb{Z}/p\mathbb{Z}$ 를 $\Phi(t) = b_n + a_n t$ 로 정의하여, 사이클 리프팅에서 $f_{n+1}$ 의 작용을 모델링하고 선형 역학을 드러낸다.
• $a_n \mod p$ 와 $b_n \mod p$ 를 기반으로 사이클 리프팅 행동을 분류한다: $a_n \equiv 1$ 이고 $b_n \not\equiv 0$ 이면 사이클은 길이 $pk$ 로 성장한다; $a_n \equiv 1$ 이고 $b_n \equiv 0$ 이면 사이클은 $p$ 개의 길이 $k$ 의 서로소 사이클로 분할된다; $a_n \equiv 0$ 이면 사이클은 尾 를 형성한다; 그 외의 경우 부분 분할된다.
• 대부분의 경우 $a_n$ 과 $b_n$ 이 사이클과 대표원의 선택에 관계없이 $p$ 모듈로에서 잘 정의되며, 이는 리프팅 행동이 다양한 대표원에 대해 불변임을 보장한다.
• 유리형사상 $h = f/g$ 에 대해, $g(x) \not\equiv 0 \pmod{p}$ 인 경우에 $p^{2n}$ 모듈로에서 $h$ 와 일치하는 다항형사상의 수열 $h_n = f \cdot g^{\phi(p^{2n})-1}$ 을 구성함으로써 결과를 확장한다. 이는 $a_i$ 와 $b_i$ 가 수준 간에 호환됨을 보장한다.
• $a_i$ 와 $b_i$ 가 $n$ 에 걸쳐 호환됨을 이용하여, $h$ 의 사이클 리프팅 행동이 근사 다항형사상 $h_n$ 과 일치함을 보이고, 결과를 유리형사상으로 일반화한다.

실험 결과

연구 질문

• RQ1 다항형사상 $f: \mathbb{Z}/p^n\mathbb{Z} \to \mathbb{Z}/p^n\mathbb{Z}$ 의 사이클이 $p^{n+1}$ 모듈로로 어떻게 리프팅되는가?
• RQ2 도함수 $f^{(k)\prime}(x_1)$ 와 이격도 $(f^k(x_1) - x_1)/p^n$ 에 대한 조건은 무엇이며, 이는 사이클이 $\mathbb{Z}/p^{n+1}\mathbb{Z}$ 로 리프팅될 때 성장, 분할, 또는 尾 를 형성하는지를 결정하는가?
• RQ3 모든 $n$ 에 대해 $f_n$ 의 사이클 구조를 효율적으로 계산할 수 있으며, $p^n$ 모듈로에서 특정 사이클 구조를 갖는 다항형사를 구성할 수 있는 알고리즘이 존재하는가?
• RQ4 다항형사상 결과가 $p$ 와 가소수인 사이클에서 $f/g$ 와 같은 유리형사상으로 얼마나 일반화될 수 있는가?
• RQ5 다항형사상의 반복적 행동을 결정하는 데 있어 $p$-adic 구조의 역할은 무엇인가?

주요 결과

• 사이클 리프팅은 $\mathbb{Z}/p\mathbb{Z}$ 에서의 선형 맵 $\Phi(t) = b_n + a_n t$ 에 의해 결정되며, 여기서 $a_n = g'(x_1)$, $b_n = (g(x_1) - x_1)/p^n$ 이고 $g = f^k$ 이다. 이는 리프팅 행동의 완전한 분류를 이끈다.
• $a_n \equiv 1 \pmod{p}$ 이고 $b_n \not\equiv 0 \pmod{p}$ 이면 사이클은 길이 $pk$ 로 성장한다; 이를 사이클의 '성장'이라 한다.
• $a_n \equiv 1 \pmod{p}$ 이고 $b_n \equiv 0 \pmod{p}$ 이면 사이클은 $p$ 개의 서로소 사이클로 분할되며, 각각 길이 $k$ 를 가진다; 이를 '분할'이라 한다.
• $a_n \equiv 0 \pmod{p}$ 이면 사이클은 尾 를 형성한다: 하나의 $k$-사이클과 나머지 $p-1$ 개의 점들이 $k$ 번의 반복 후에 그 사이클로 향한다.
• $a_n \not\equiv 0,1 \pmod{p}$ 이면 사이클은 부분 분할된다: 하나의 $k$-사이클과 $(p-1)/d$ 개의 길이 $kd$ 의 사이클이 존재하며, 여기서 $d$ 는 $a_n$ 이 $p$ 모듈로에서의 곱셈 순서이다.
• 사이클에서 $p \nmid g(x)$ 를 만족하는 유리형사상 $h = f/g$ 에 대해서도 결과가 확장되며, $p^{2n}$ 모듈로에서 호환성 있는 다항형사상 근사치 $h_n$ 을 구성함으로써 동일한 리프팅 행동이 유지됨을 보장한다.