[논문 리뷰] Closure of VP under taking factors: a short and simple proof

Chi-Ning Chou, Mrinal Kumar외 1명|arXiv (Cornell University)|2019. 03. 06.

semigroups and automata theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 복잡도 클래스 VP가 인수를 취할 때 닫혀 있음을 간결하고 자가 포함적인 방식으로 증명한다. 즉, VP에 속한 다항식의 인수는 모두 다항식 크기의 산술 회로로 계산 가능하다는 것을 보여준다. 증명은 다변수 뉴턴 반복과 결과식(resultant)을 활용하여 직접적으로 인수를 재구성함으로써, 헨젤 상승(Hensel lifting)이나 힐베르트의 기약성 정리(Hilbert's Irreducibility Theorem)와 같은 고급 도구를 필요로 하지 않는다.

ABSTRACT

In this note, we give a short, simple and almost completely self contained proof of a classical result of Kaltofen [Kal86, Kal87, Kal89] which shows that if an $n$ variate degree $d$ polynomial $f$ can be computed by an arithmetic circuit of size $s$, then each of its factors can be computed by an arithmetic circuit of size at most $ extsf{poly}\left(s, n, d ight)$. However, unlike Kaltofen's argument, our proof does not directly give an efficient algorithm for computing the circuits for the factors of $f$.

연구 동기 및 목표

• 클래식한 결과인 VP가 인수를 취할 때 닫혀 있음을 단순하고 접근하기 쉬운 방식으로 증명하는 것.
• 헤젤 상승이나 효과적 힐베르트의 기약성 정리와 같은 복잡한 대수기계를 대체할 수 있는 원시적인 기법들을 제시하는 것.
• 산술 회로를 통한 인수 계산이 다변수 뉴턴 근사의 반복적 접근과 결과식을 이용한 GCD 탐지 기반으로 수행될 수 있음을 보여주는 것.
• 심층적인 대수적 배경이 없는 연구자들도 접근할 수 있도록 거의 완전히 자가 포함적인 증명을 제공하는 것.
• 대수적 복잡도 이론에서 인수 분해의 구조적 통찰을 단순화된 증명 프레임워크를 통해 부각하는 것.

제안 방법

• 다항식의 인수의 동차 성분들을 반복적으로 근사하기 위해 다변수 뉴턴 반복을 사용한다.
• 각 반복 단계에서, 근사된 인수의 곱이 고차항 모듈로 원래 다항식과 일치하도록 하는 선형 방정식계를 푼다.
• 두 개의 단변수 다항식 간에 공통 인수가 존재하는지 탐지하기 위해 결과식을 활용하여 인수 복구를 가능하게 한다.
• 차수 d까지 단계별로 근사를 올려가며 인수 다항식용 회로를 구성한다.
• 결과로 얻어진 회로를 동차화하여 인수의 전체 동차 성분을 복원한다.
• 반복 인수의 경우 f = z^e - g^e의 분해를 통해 반복 인수의 경우를 서로소 인수의 경우로 환원하고, 이후 주요 보조정리를 적용한다.

실험 결과

연구 질문

• RQ1 헤젤 상승이나 힐베르트의 기약성 정리와 같은 깊은 대수적 도구에 의존하지 않고, VP가 인수 분해에 대해 닫혀 있음을 증명할 수 있는가?
• RQ2 오직 뉴턴 반복과 결과식을 통한 GCD 탐지만을 사용하여 다항식의 인수를 직접적이고 반복적으로 재구성할 수 있는가?
• RQ3 정확성을 유지하면서도 인수 분해에 대한 VP의 닫힘성 증명을 상당히 단순화하고 접근하기 쉽게 만들 수 있는가?
• RQ4 다변수 뉴턴 반복 접근법으로 원래 다항식에 대해 작은 회로가 주어졌을 때 모든 인수를 회복하는 데에 충분한가?
• RQ5 반복 인수의 경우를 원시적인 대수적 변환을 통해 서로소 인수의 경우로 환원할 수 있는가?

주요 결과

• 논문은 VP에 속한 다항식의 인수는 모두 크기가 최대 poly(s, n, d) 이하인 산술 회로로 계산 가능하다는 것을 입증한다. 여기서 s는 원래 다항식의 회로 크기이다.
• 증명은 인수의 알고리즘적 구축을 피하고 존재성 닫힘에 초점을 맞추며, 그러한 회로가 존재한다는 것을 보여주지만 효율적인 구축 알고리즘을 제공하지는 않는다.
• 다변수 뉴턴 반복 기법은 차수 d까지의 인수 성분을 단계적으로 재구성할 수 있게 하여, 이상 ⟨x⟩의 고차항 모듈로 정확성을 보장한다.
• 결과식의 사용은 단변수 다항식 간의 공통 인수 탐지를 가능하게 하며, 이는 반복 과정 중 GCD 조건을 검증하는 데 핵심적인 역할을 한다.
• 반복 인수의 경우 f = g^e일 때, 문제를 f = z^e - g^e로 변환하여 서로소의 경우로 환원하고, 이후 z - g에 주요 결과를 적용한다.
• 최종 인수 g용 회로는 동차화와 출력의 선형 조합을 통해 구성되며, 이 과정에서 크기의 증가 폭이 poly(s, n, d) 이내로 제한된다.