[논문 리뷰] Algebraic osculation and factorization of sparse polynomials

Martin Weimann|ArXiv.org|2009. 04. 01.

Polynomial and algebraic computation참고 문헌 28인용 수 3

한 줄 요약

이 논문은 토릭 다양체에서의 대수적 접촉을 활용하여 희박 이변수 다항식의 절대 인수분해를 위한 새로운 알고리즘을 제안한다. 뉴턴 다면체의 기하학을 통해 잔여 기반 기준을 사용하여 기약 인수를 탐지한다. 주요 기여는 고전적 알고리즘인 Galligo-Rupprecht와 비교해 재조합 수를 줄이는 결정론적이고 기하학적 인식 Hensel 상승이다.

ABSTRACT

We prove a theorem on algebraic osculation and we apply our result to the Computer Algebra problem of polynomial factorization. We consider X a smooth completion of the complex plane and D an effective divisor supported on the boundary of X. Our main result gives explicit conditions equivalent to that a given Cartier divisor on D extends to X. These osculation criterions are expressed with residues. We derive from this result a toric Hensel lifting which permits to compute the absolute factorization of a bivariate polynomial by taking in account the geometry of its Newton polytope. In particular, we reduce the number of possible recombinations when compared to the Galligo-Rupprecht algorithm.

연구 동기 및 목표

• 기존의 LR-알고리즘에서 희박 다항식에 대해 일반적인 좌표 변경의 비효율성을 해결하기 위해.
• 뉴턴 다면체 기하학을 이용하여 절대 인수분해에서 가능한 재조합 사례의 수를 줄이기 위해.
• 확률적 가정과 점근적 근사치를 피하는 결정론적 알고리즘을 개발하기 위해.
• 토릭 해소를 통해 특이 곡선에 대한 잔여 기반 확장 기준을 확장하기 위해.
• 경계 교차 데이터와 카르티에 분할형 확장의 인수분해에 대한 이론적 기반을 제공하기 위해.

제안 방법

• 다항식 $f$ 가 정의하는 곡선 $C$ 를 포함시키기 위해 $\mathbb{C}^2$ 의 매끄러운 토릭 컴actsification $X$ 를 사용하여 뉴턴 다면체 정보를 유지한다.
• 모든 $\Psi \in H^0(X, \Omega_X^2(D))$ 에 대해 잔여 쌍 $\langle \gamma, \Psi \rangle = 0$ 이 성립할 경우, 경계 $D = \partial X$ 상의 카르티에 분할형 $\gamma$ 가 $X$ 로 확장되는지 판단하기 위해 적용한다.
• 코homological 장애를 계산하기 위해 고투르드 레지드와 Dolbeault $\bar{\partial}$-해소를 사용한다.
• 인수분해 문제를 크기가 $2\operatorname{Vol}(Q) + \deg(\gamma' \cdot \partial X)$ 인 희박 선형 시스템으로 감소시키며, 미지수는 $\operatorname{Card}(Q \cap \mathbb{Z}^2)$ 개이다.
• Minkowski 합 분해 $N_f = P + Q$ 를 사용하여 선형 번들 분해 $\mathcal{O}_X(C) \simeq \mathcal{L}_P \otimes \mathcal{L}_Q$ 를 연결한다.
• 고차의 은밀한 함수 계산(최대 순서 $na^2$)을 포함한 토릭 Hensel 상승 과정을 적용하여 인수의 결정론적 탐지를 보장한다.

실험 결과

연구 질문

• RQ1 잔여 기반 기반의 대수적 접촉 기준을 사용하여 희박 이변수 다항식의 기약 인수를 탐지할 수 있는가?
• RQ2 뉴턴 다면체의 기하학은 절대 인수분해에서 재조합 수를 어떻게 줄일 수 있는가?
• RQ3 토릭 표면의 경계 분할형 $D$ 상의 카르티에 분할형이 전체 표면으로 확장되는 정확한 조건은 무엇인가?
• RQ4 제안된 방법은 고전적 Hensel 상승과 Galligo-Rupprecht 알고리즘에 비해 복잡도와 정밀도 측면에서 어떻게 비교되는가?
• RQ5 경계에 존재하는 비토릭 특이점은 인수분해에서 재조합 수를 추가로 줄이는 데 활용될 수 있는가?

주요 결과

• 경계 $D = \partial X$ 상의 카르티에 분할형 $\gamma$ 는 모든 $\Psi \in H^0(X, \Omega_X^2(D))$ 에 대해 $\langle \gamma, \Psi \rangle = 0$ 이면 $X$ 로 확장된다. 이는 잔여 기반 확장 기준을 제공한다.
• 고전적 알고리즘인 Galligo-Rupprecht 알고리즘과 비교해 좌표의 일반성 대신 다면체 기하학을 사용함으로써 가능한 재조합 수를 줄인다.
• 이중도-$(a,b)$ 다항식의 경우, 본 방법은 각각 순서 $b$ 와 $a$ 까지의 $a$ 개와 $b$ 개의 은밀한 함수를 계산하지만, GR-알고리즘은 순서 $a+b$ 까지의 $a+b$ 개의 함수를 계산한다.
• 본 방법에서 요구하는 은밀한 함수의 정밀도는 최대 $na^2$ 에 이르며, 고전적 Hensel 상승의 $2na = \deg(f)$ 한계를 크게 초월한다.
• 모든 면 다항식이 제곱-free일 경우, 알고리즘은 잔여 조건을 통한 결정론적 탐지를 보장하는 영점 합 LR-알고리즘이 된다.
• 경계에 특이점이 존재하는 곡선의 경우, 비토릭 해소 $\widetilde{X}$ 를 사용하면 정리 1을 적용할 수 있으며, 추가된 특수 분할형이 재조합 수를 추가로 줄인다.