[논문 리뷰] Orbits of monomials and factorization into products of linear forms

Pascal Koiran, Nicolas Ressayre|arXiv (Cornell University)|2018. 07. 10.

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

한 줄 요약

이 논문은 다변수 다항식을 일차형식의 곱으로 분해하는 데 새로운 블랙박스 알고리즘을 제안한다. 불변론 이론과 리 대수를 활용하여 문제를 동시에 대각화하는 행렬 문제로 환원한다. 주요 기여는 일차형식의 수가 유한한 다항식, 특히 워링 분해와 대칭 텐서 분해의 맥락에서 기존 방법보다 더 효율적인 계산 방법을 제공한다는 점이다.

ABSTRACT

This paper is devoted to the factorization of multivariate polynomials into products of linear forms, a problem which has applications to differential algebra, to the resolution of systems of polynomial equations and to Waring decomposition (i.e., decomposition in sums of d-th powers of linear forms; this problem is also known as symmetric tensor decomposition). We provide three black box algorithms for this problem. Our main contribution is an algorithm motivated by the application to Waring decomposition. This algorithm reduces the corresponding factorization problem to simultaenous matrix diagonalization, a standard task in linear algebra. The algorithm relies on ideas from invariant theory, and more specifically on Lie algebras. Our second algorithm reconstructs a factorization from several bi-variate projections. Our third algorithm reconstructs it from the determination of the zero set of the input polynomial, which is a union of hyperplanes.

연구 동기 및 목표

• 다변수 다항식을 일차형식의 곱으로 효율적으로 인수분해하는 블랙박스 알고리즘을 개발하는 것. 이는 워링 분해와 대칭 텐서 분해의 핵심 문제이다.
• 다항식의 평가값만을 이용할 수 있는 블랙박스 모델에서 인수분해의 계산적 과제를 해결하는 것.
• 특히 리 대수와 궤도 폐쇄를 포함한 불변론 이론 도구를 활용하여 다변수 다항식 인수분해의 기본 문제를 해결하는 것.
• 특히 일차형식들이 선형적으로 독립인 다항식에 대해 기존 알고리즘의 실용적이고 효율적인 대안을 제공하는 것.
• 일반화 헤시안의 일차형식으로의 인수분해로 환원함으로써 워링 분해의 효율적 재구성 가능성을 제시하는 것.

제안 방법

• 주요 알고리즘은 다항식과 관련된 리 대수로부터 유도된 가환 행렬의 동시에 대각화 문제로 인수분해 문제를 환원한다.
• 일차형식들의 거듭제곱으로 인수분해 가능한 다항식의 궤도를 단항식에 대한 일반선형군의 작용을 통해 특성화한다.
• 다항식의 도함수로부터 리 대수를 구성하고, 그 구조를 이용해 인수분해에 포함된 일차형식을 식별한다.
• 재구성 과정에서는 선형 변환을 통해 다항식을 이변수 부분공간에 투영하고, 투영된 다항식에 대해 단변수 인수분해를 수행한다.
• 다항식의 영점 집합(초평면들의 합집합으로 가정됨)으로부터 인수분해를 재구성하며, 초평면과 그 중복도를 식별한다.
• 빠른 보간을 위해 FFT를 사용하여 단위근에서 다항식을 평가함으로써, 각 투영에 대해 O(d log d) 연산으로 단변수 보간을 효율적으로 수행한다.

실험 결과

연구 질문

• RQ1 불변론적 방법을 활용해 블랙박스 모델에서 다변수 다항식을 일차형식의 곱으로 효율적으로 인수분해할 수 있는가?
• RQ2 다항식과 관련된 리 대수의 구조는 어떻게 활용되어 그 일차형식 인수를 복원할 수 있는가?
• RQ3 이변수 투영 또는 다항식의 영점 집합으로부터 인수분해를 재구성하는 데 드는 계산 복잡도는 무엇인가?
• RQ4 어떤 조건에서 리 이론적 접근이 기존의 블랙박스 인수분해 알고리즘을 능가하는가?
• RQ5 이 방법을 사용해 헤시안 인수분해를 통해 동차 다항식의 워링 분해를 효율적으로 계산할 수 있는가?

주요 결과

• 제안된 리 이론 기반 알고리즘은 인수분해 문제를 표준적인 선형대수 문제인 동시에 대각화로 환원하여 효율적인 계산이 가능하다.
• 블랙박스 모델에서 산술 복잡도는 O(n²θ + n³d)이며, 화이트박스 모델에서는 O(n²θ)로 크게 향상된다.
• k ≤ d개의 서로 다른 일차형식 인수를 가진 다항식의 경우 복잡도는 O(k(kn² + nθ) + dn(n + log d))이며, d가 n에 대해 다항식일 경우 유리하다.
• d > n²θ⁻²일 경우, 헤시안 인수분해의 맥락에서 칼토펜의 알고리즘보다 이 방법이 더 뛰어나다.
• FFT의 사용으로 각 투영에 대해 O(d log d) 연산으로 단변수 보간이 가능해져, 다항식 평가 및 인수분해의 비용을 크게 감소시킨다.
• 이 알고리즘은 이변수 투영 또는 다항식의 영점 집합으로부터 모두 인수분해를 성공적으로 재구성할 수 있으며, 두 방법 모두 강건하고 효율적이다.