[논문 리뷰] Some Results on the Functional Decomposition of Polynomials

Mark Giesbrecht|arXiv (Cornell University)|2010. 04. 30.

Coding theory and cryptography참고 문헌 23인용 수 12

한 줄 요약

이 학위논문은 특성 p를 가진 체 위에서 단변수 및 다변수 다항식과 유리함수의 기능적 분해를 조사하며, 외부 함수의 차수에 p가 나누어지는 '야수' 케이스에 초점을 맞춘다. 추가 다항식—극단적인 야수 행동을 보이는 다항식—에 대해서는 다항식 시간 알고리즘을 제공하고, 유리함수 분해에 대해서는 지수시간 해법을 수립하며, 야수 케이스에서의 분해 수와 알고리즘 복잡도에 대한 핵심 결과를 도출한다.

ABSTRACT

If g and h are functions over some field, we can consider their composition f = g(h). The inverse problem is decomposition: given f, determine the ex- istence of such functions g and h. In this thesis we consider functional decom- positions of univariate and multivariate polynomials, and rational functions over a field F of characteristic p. In the polynomial case, "wild" behaviour occurs in both the mathematical and computational theory of the problem if p divides the degree of g. We consider the wild case in some depth, and deal with those polynomials whose decompositions are in some sense the "wildest": the additive polynomials. We determine the maximum number of decompositions and show some polynomial time algorithms for certain classes of polynomials with wild decompositions. For the rational function case we present a definition of the problem, a normalised version of the problem to which the general problem reduces, and an exponential time solution to the normal problem.

연구 동기 및 목표

• 특성 p를 가진 체 위에서 다항식과 유리함수의 기능적 분해를 분석하며, 특히 외부 함수의 차수가 p로 나누어지는 '야수' 케이스에 중점을 두다.
• 추가 다항식의 구조와 분해 수를 이해하며, 이는 야수 행동의 가장 극단적인 형태를 나타낸다.
• 특히 희생적 및 야수 케이스에서 추가 다항식과 유리함수를 분해하기 위한 효율적인 알고리즘을 개발하다.
• 유리함수 분해의 정규형을 확립하고 일반 문제를 이 표준형으로 환원하다.
• 분해의 계산 복잡도를 조사하며, 분할체 차수의 하한과 분해 수에 대한 하한을 포함하다.

제안 방법

• 분해 분석을 위해 F(x)의 부분체, 분리된 다항식, 블록 분해와 같은 대수적 구조를 사용하다.
• f(x) = a_1x^p + a_2x^{p^2} + ... 로 정의되는 추가 다항식 이론을 적용하여 야수 분해 행동을 연구하다.
• 변환 보조정리를 통해 일반 케이스를 해법에 적합한 정규형으로 환원하는 정규화된 유리함수 분해 문제를 도입하다.
• 특히 희생적 및 완전 가소성 있는 케이스에서 소인수분해 및 근 찾기 기법에 기반한 다항식 시간 알고리즘을 활용하여 추가 다항식에 대해 적용하다.
• 추가 다항식의 링에서 유클리드 체계를 사용하여 분해 구조와 변환을 분석하다.
• 체 연산과 복잡도 분석(O(n log n M(n)))를 적용하여 알고리즘 비용을 근사화하며, 특히 유리함수 분해의 경우에 중점을 두다.

실험 결과

연구 질문

• RQ1 야수 케이스에서 다항식의 기능적 분해가 가능한 최대 수는 얼마인가, 특히 추가 다항식의 경우에 대해?
• RQ2 추가 다항식의 분해에 대해 조차도 다항식 시간 알고리즘을 구성할 수 있는가?
• RQ3 일반적인 유리함수 분해 문제는 어떻게 정규화된 형태로 환원될 수 있으며, 이는 알고리즘적 해법에 적합한가?
• RQ4 유리함수 분해의 계산 복잡도는 무엇이며, 다항식 시간 내에 해결될 수 있는가?
• RQ5 일부 다항식 클래스에 대해 분해 수에 지수하한이 존재하는가, 그리고 추가 다항식은 이에 어떻게 예시가 되는가?

주요 결과

• 다항식의 완전한 유리 정규 분해 수는 그 차수와 체의 특성에 관한 함수로 유계이며, 명시적 구성이 제공된다.
• 추가 다항식의 경우, 완전한 분해를 계산하기 위한 다항식 시간 알고리즘이 존재하며, 이러한 분해 수는 준다항식 함수로 유계이다.
• 일반적인 유리함수 분해 문제는 O(2^{2n} n log n M(n))의 체 연산 수로 해결 가능한 정규형으로 환원된다.
• 분해에 대한 분할체 차수에 하한이 확립되었으며, 이는 야수 케이스에서 초다항식 성장을 보임을 시사한다.
• 유사도 없이 분해 가능한 추가 다항식의 이중분해 문제는 다항식 시간 내에 해결 가능하며, 이는 특정한 구조를 가진 야수 케이스의 해법 가능성에 기여한다.
• 논문은 조건이 좋은 체, 예를 들어 유한체일지라도 절대적 분해가 지수적 차수의 확장체가 필요할 수 있음을 보여주며, 문제의 본질적 복잡성을 시사한다.