[논문 리뷰] Combinatorial and algorithmic aspects of hyperbolic polynomials

Leonid Gurvits|ArXiv.org|2004. 04. 27.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 24

한 줄 요약

이 논문은 쌍곡다항식에 대해, 단항식 $x_1 x_2 \cdots x_n$ 이 지지집합에 포함되는지 여부(문제 1)와 점 $(1,1,\dots,1)$ 이 뉴턴 다면체에 포함되는지 여부(문제 2)가 동치이며, 오라클 알고리즘을 통해 결정론적 다항시간에 해결 가능하다는 것을 증명한다. 핵심 기여는 라도의 정리를 쌍곡다항식으로 일반화한 것으로, 이는 쌍곡다항식의 조합론적 및 알고리즘적 성질을 통합하고, 행렬식 및 영상의 일반화된 결과를 확장한다.

ABSTRACT

Let $p(x_1,...,x_n) =\sum_{(r_1,...,r_n) \in I_{n,n}} a_{(r_1,...,r_n)} \prod_{1 \leq i \leq n} x_{i}^{r_{i}}$ be homogeneous polynomial of degree $n$ in $n$ real variables with integer nonnegative coefficients. The support of such polynomial $p(x_1,...,x_n)$ is defined as $supp(p) = \{(r_1,...,r_n) \in I_{n,n} : a_{(r_1,...,r_n)} eq 0 \}$ . The convex hull $CO(supp(p))$ of $supp(p)$ is called the Newton polytope of $p$ . We study the following decision problems, which are far-reaching generalizations of the classical perfect matching problem : {itemize} {\bf Problem 1 .} Consider a homogeneous polynomial $p(x_1,...,x_n)$ of degree $n$ in $n$ real variables with nonnegative integer coefficients given as a black box (oracle) . {\it Is it true that $(1,1,..,1) \in supp(p)$ ?} {\bf Problem 2 .} Consider a homogeneous polynomial $p(x_1,...,x_n)$ of degree $n$ in $n$ real variables with nonnegative integer coefficients given as a black box (oracle) . {\it Is it true that $(1,1,..,1) \in CO(supp(p))$ ?} {itemize} We prove that for hyperbolic polynomials these two problems are equivalent and can be solved by deterministic polynomial-time oracle algorithms . This result is based on a "hyperbolic" generalization of Rado theorem .

연구 동기 및 목표

• 비음수 정수 계수를 가진 동차 쌍곡다항식의 지지집합에 단항식 $x_1 x_2 \cdots x_n$ 이 포함되는지 여부를 결정하는 것.
• 해당 다항식의 뉴턴 다면체에 점 $(1,1,\dots,1)$ 이 포함되는지 여부를 판단하는 것.
• 쌍곡다항식에 대해 이 두 결정 문제의 동치성을 확립하는 것.
• 라도의 정리를 쌍곡다항식 설정으로 일반화하고, 다형체와 같은 조합론적 및 대수적 구조에 적용하는 것.
• 볼록 최적화 기법을 사용하여 다항시간 결정론적 오라클 알고리즘을 개발하는 것.

제안 방법

• 행렬식과 영상의 성질을 일반화한 $P$-쌍곡다항식과 $S$-쌍곡다항식의 개념을 도입한다.
• 다항식 $p$ 의 지지집합 $\mathrm{supp}(p)$ 과 뉴턴 다면체 $\mathrm{CO}(\mathrm{supp}(p))$ 를 정의한다.
• 라도의 정리에 대한 쌍곡다항식의 해석적 대응(정리 2.2)을 제안하여 조합론적 조건과 쌍곡다항식의 대수적 성질을 연결한다.
• 타원체 방법을 적용하여 비선형 볼록 프로그래밍을 통해 결정 문제를 해결하고, 유리수 점에서 $p$ 를 평가하는 오라클 쿼리를 사용한다.
• 이중확률적 쌍곡다항식에 대해 싱크혼 스케일링의 다항시간 일반화를 제안한다.
• 정수 다형체 이론을 사용하여 $P$-쌍곡다항식의 지지집합을 $\sum r_i = n$ 과의 교차로 특성화한다.

실험 결과

연구 질문

• RQ1 주어진 $P$-쌍곡다항식의 지지집합에 단항식 $x_1 x_2 \cdots x_n$ 이 존재하는가?
• RQ2 해당 다항식의 뉴턴 다면체에 점 $(1,1,\dots,1)$ 이 포함되는가?
• RQ3 다항식에 오직 오라클 액세스만을 사용하여 이 두 문제를 결정론적 다항시간에 해결할 수 있는가?
• RQ4 지지집합 소속에 대한 조합론적 조건과 대수적 조건을 통합하는 쌍곡다항식 버전의 라도 정리가 존재하는가?
• RQ5 쌍곡다항식 버전의 반-바우어만 추측을 증명할 수 있는가? 이는 영상에 대한 고전적 결과를 확장한다.

주요 결과

• 쌍곡다항식에 대해 문제 1과 문제 2는 동치이며, 오라클 쿼리를 사용하여 결정론적 다항시간에 해결 가능하다.
• 쌍곡다항식 라도 정리(정리 2.2)는 $P$-쌍곡다항식의 지지집합이 정수 다형체와 초평면 $\sum r_i = n$ 의 교차로 나타남을 구조적으로 특성화한다.
• 비선형 볼록 프로그래밍에 적응된 타원체 알고리즘은 $n$ 과 $\log p(1,\dots,1)$ 에 다항적인 쿼리 수로 두 문제를 다항시간 내에 해결한다.
• $P$-쌍곡다항식의 지지집합은 차수 $n$ 의 초평면과의 교차로 나타나며, 이는 [7]의 결과를 일반화한다.
• 쌍곡다항식 반-바우어만 추측은 혼합 도함수 $\partial^n p / \partial x_1 \cdots \partial x_n$ 를 다항식 시간 오라클 알고리즘으로 승수 인자 $n^n / n!$ 으로 근사할 수 있음을 암시한다.
• 이 논문은 문제 1의 모든 어려운 사례가 반드시 불안정한 다항식임을 증명하며, 복잡도와 쌍곡다항식의 안정성 간의 연결 고리를 맺는다.