[논문 리뷰] Factors of Sparse Polynomials are Sparse

Zeev Dvir, Rafael Oliveira|arXiv (Cornell University)|2014. 04. 18.

Coding theory and cryptography참고 문헌 19인용 수 3

한 줄 요약

이 논문은 희소 다항식의 인수의 희소성에 대해 조사하며, 이러한 인수 역시 희소일 것이라 주장한다. 그러나 양의 특성에서의 반례로 인해 주요 결과가 무효화된다: 특성 $p$인 다항식 $x_1^p + \cdots + x_n^p$는 희소성 $n^p$를 가지는 인수 $(x_1 + \cdots + x_n)^{p-1}$를 가지며, 이는 주장된 희소성 보존과 모순된다.

ABSTRACT

This paper was removed due to an error in the proof (Claim 4.12 as stated is not true). The authors would like to thank Ilya Volkovich for pointing out a counterexample to this paper's main result in positive characteristic: If $F$ is a field with prime characteristic $p$, then the polynomial $x_1^p + x_2^p + \ldots + x^n^p$ has the following factor: $(x_1+x_2+ \ldots + x_n)^{p-1}$, which has sparsity $n^p$.

연구 동기 및 목표

• 희소 다항식의 인수가 스스로도 희소함을 입증하는 것, 특히 계산 대수학의 맥락에서.
• 다항식의 희소성과 그 기약 또는 일반 인수의 희소성 간의 관계를 분석하는 것.
• 희소성이 양의 특성의 체에서 인수 분해 과정 동안 보존되는지 조사하는 것.
• 희소 다항식이 조밀한 인수를 가질 수 있는 조건을 규명하여, 희소성 보존의 일반 적용 가능성을 도전하는 것.

제안 방법

• 소수 특성 $p$인 체 위에서 다변수 다항식의 구조를 분석하는 것.
• 특정 반례 구축: 특성 $p$인 체에서 $F = x_1^p + \cdots + x_n^p$.
• Frobenius 동형사상의 성질을 사용하여 $(x_1 + \cdots + x_n)^{p-1}$ 가 $F$를 나눈다는 것을 보여주는 것.
• 인수 $(x_1 + \cdots + x_n)^{p-1}$ 의 희소성 계산, 즉 $n^p$로 나타내어 그것이 희소가 아니라는 것을 보여주는 것.
• 양의 특성에서의 대수적 항등식을 사용하여 원래 증명의 가정에 있는 구조적 결함을 드러내는 것.
• 원본 논문의 주장 4.12의 실패를 부각하는 것 — 이 주장은 모든 경우에서 희소성 보존이 이루어진다고 주장했다.

실험 결과

연구 질문

• RQ1 희소 다항식의 인수는 양의 특성의 체에서 반드시 희소한가?
• RQ2 특성 $p$에서 희소 다항식이 지수적으로 더 높은 희소성을 가진 인수를 가질 수 있는가?
• RQ3 다항식 $x_1^p + \cdots + x_n^p$ 에서 인수 $(x_1 + \cdots + x_n)^{p-1}$ 의 희소성은 얼마인가?
• RQ4 Frobenius 사상이 다항식 인수 분해에서 희소성의 위반을 초래하는 조건은 무엇인가?
• RQ5 모든 대수적 맥락에서 희소 다항식의 인수는 모두 희소하다는 주장은 타당한가?

주요 결과

• 특성 $p$에서의 다항식 $x_1^p + \cdots + x_n^p$ 는 단지 $n$개의 단항식만을 가지므로 희소하다.
• 이 다항식은 희소하지 않은 인수 $(x_1 + \cdots + x_n)^{p-1}$ 를 가진다.
• 인수 $(x_1 + \cdots + x_n)^{p-1}$ 의 희소성은 $n^p$이며, 이는 항의 수가 지수적으로 증가함을 나타낸다.
• 반례는 주장 4.12를 무효화하며, 이는 희소 다항식의 인수가 항상 희소하다고 주장했다.
• 결과적으로, 희소성이 양의 특성에서 인수 분해 과정 동안 보존되지 않음을 보여주며, 원본 논문의 핵심 주장에 도전한다.
• 주요 결과의 실패는 다항식 인수 분해 이론에서 특성별 행동의 중요성을 부각시킨다.