[논문 리뷰] On Ritt's polynomial decomposition theorems

Michael E. Zieve, Mueller, Peter|ArXiv.org|2008. 07. 23.

Coding theory and cryptography참고 문헌 33인용 수 37

한 줄 요약

이 논문은 다항식의 분해를 복소수에서 새롭게 특성화하며, 분해의 완전한 불변량으로 단일화된 모노드로미 군을 도입함으로써 리트의 고전적 결과를 일반화한다. 다항식의 모든 완전한 분해는 그 모노드로미 군의 순서(동형과 순열을 고려한 바)로 유일하게 결정됨을 증명하여, 무한한 리트 이동 수열 문제를 해결한다. 이는 분해 동치류의 유한하고 구조적인 기술을 제시한다.

ABSTRACT

Ritt studied the functional decomposition of a univariate complex polynomial f into prime (indecomposable) polynomials, f = u_1 o u_2 o ... o u_r. His main achievement was a procedure for obtaining any decomposition of f from any other by repeatedly applying certain transformations. However, Ritt's results provide no control on the number of times one must apply the basic transformations, which makes his procedure unsuitable for many theoretical and algorithmic applications. We solve this problem by giving a new description of the collection of all decompositions of a polynomial. Our results have been used by Ghioca, Tucker and Zieve (arXiv:0807.3576) to describe the polynomials f,g having orbits with infinite intersection; they have also been used by Medvedev and Scanlon to describe the affine curves invariant under a coordinatewise polynomial action.

연구 동기 및 목표

• 한 다항식의 분해를 다른 분해로 변환하는 데 필요한 리트 이동의 수를 통제할 수 없는 문제를 해결하기 위해.
• 리트의 차수 불변량과 비어돈-낭의 순열군 불변량을 단일한 통합 불변량으로 일반화하기 위해 모노드로미 군을 사용하기 위해.
• 리트 이동 절차의 무한성 문제를 피하고 다항식의 모든 완전한 분해를 유한하고 구조적으로 기술하기 위해.
• 모노드로미 군 순서(동형과 순열을 고려한 바)가 주어진 다항식의 모든 분해를 유일하게 결정함을 증명하기 위해.
• 안정적이고 알고리즘적으로 사용 가능한 불변량을 제공함으로써 산술 동역학 및 불변 곡선 이론에의 적용 기반을 마련하기 위해.

제안 방법

• 다항식의 모노드로미 군을 $ u(X) - t $ 가 $ \mathbb{C}(t) $ 위에서의 갈루아 군으로 정의하며, 이를 근에 대한 치환군으로 간주한다.
• 다항식 분해의 갈루아 이론적 구조를 이용해 모노드로미 군과 함수 합성 구조 사이의 관계를 규명한다.
• 모노드로미 군이 리트의 기본 변환에 대해 보존됨을 증명함으로써 이들이 불변량이 됨을 확립한다.
• 군론적 및 산술 기법을 적용하여 분해 순서의 구조를 분석하고, 특히 차수와 군 작용 간의 상호작용에 초점을 맞춘다.
• 원래 리트의 증명을 단순화하고 재정렬한 버전을 다항식 산술과 군 작용의 관점에서 재구성하여 주정리를 증명한다.
• 특히 $ \#\Gamma_0(u) = 1 $ 이며 $ \operatorname{Mon}(u) $ 가 순환군이 아닐 경우에만 성립함을 이용하여, 비어돈-낭 불변량과의 등가성을 보인다.

실험 결과

연구 질문

• RQ1 다항식 분해에서 비가소 인수들의 모노드로미 군 순서는 순열을 고려한 바에서 완전한 불변량이 될 수 있는가?
• RQ2 모노드로미 군 불변량이 리트의 차수 및 비어돈-낭의 순열군 불변량을 일반화하여 주어진 다항식의 모든 완전한 분해를 유일하게 결정하는가?
• RQ3 모든 다항식 분해에 대해 무한한 리트 이동 과정을 피하는, 유한하고 알고리즘적으로 사용 가능한 기술이 존재하는가?
• RQ4 합성 $ a \circ b $ 가 $ f $ 의 고차 반복합성인 경우, $ a $ 또는 $ b $ 가 $ f $ 와의 합성임을 의미하는 조건은 무엇인가?
• RQ5 비가소 인수들의 모노드로미 군은 기능적 분해 레이스터의 구조와 어떻게 관련되어 있는가?

주요 결과

• 모노드로미 군 순서 $ (\operatorname{Mon}(u_1), \dots, \operatorname{Mon}(u_r)) $ 는 동형과 순열을 고려한 바에서 다항식 $ f $ 의 모든 완전한 분해를 유일하게 결정하며, 리트의 차수 불변량을 일반화한다.
• 비어돈-낭 불변량은 선형 대칭의 수 $ \#\Gamma_0(u) $ 를 기반으로 하며, 이는 분해에서 순환 모노드로미 군의 부분순서와 등가하다.
• 만약 $ f $ 가 $ X^n $ 또는 $ \pm T_n $ 와 동형이 아니며, $ k > \log_2(n+2) $ 일 때 $ a \circ b = f^{(k)} $ 이면, 어떤 다항식 $ c $ 가 존재하여 $ a = f \circ c $ 또는 $ b = c \circ f $ 를 만족함을 의미하며, 이는 분해 구조의 강력한 유연성(강성)을 시사한다.
• 다항식의 모노드로미 군은 $ u(X) - t $ 가 $ \mathbb{C}(t) $ 위에서의 갈루아 군과 동형이며, 이 군은 분해의 전체 조합론적 및 대수적 구조를 포괄한다.
• 주정리의 증명은 리트의 원래 논증을 단순화하고 재정렬한 것으로, 이제 다항식 산술과 군 작용의 관점에서 표현되어 더 접근 가능하고 투명하다.
• 본 논문은 두 분해를 연결하는 데 필요한 리트 이동의 수가 모노드로미 군 구조에 따라 유계임을 증명하여, 기능적 분해 이론에서 오랫동안 남아있던 문제를 해결한다.