[논문 리뷰] Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond

Osbert Bastani, Christopher J. Hillar외 2명|arXiv (Cornell University)|2011. 01. 13.

Polynomial and algebraic computation참고 문헌 15인용 수 9

한 줄 요약

이 논문은 ${\mathcal{A}}$-판별식과 효율적으로 계산 가능한 챔버 콘(cone)을 사용하여, 다항식의 차수 D에 대해 평균적으로 log D에 다항식 시간 복잡도를 가지는 다변수 사항식(일변수 사항식, 4개의 단항식 항을 가짐)의 실근을 세는 랜덤화 알고리즘을 제시한다. 이 방법은 이전의 스투름 수열 기반 접근 방식과 비교해 차수 D에 대해 초선형으로 증가하는 복잡도를 가지는 반면, 본 방법은 지수적 속도 향상을 달성한다. 또한, 희박한 다항식의 합의 제곱으로 표현 가능한 양의 정부호 희박 다항식에 대한 근본적인 제약 조건을 규명한다.

ABSTRACT

Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obstructions to expressing positive definite sparse polynomials as sums of squares of few sparse polynomials. Our key tool is the introduction of efficiently computable chamber cones, bounding regions in coefficient space where the number of real roots of f can be computed easily. Much of our theory extends to n-variate (n+3)-nomials.

연구 동기 및 목표

• 희박한 일변수 다항식의 실근을 세는 알고리즘을 개발하여, 기존의 스투름 수열과 같은 고전적 방법들이 D에 대해 초선형으로 증가하는 복잡도를 가지는 문제점을 해결하고, log D에 다항식 시간 복잡도를 달성하고자 한다.
• 사항식과 $n$-변수 $(n+3)$-항식에 대해 효율적인 근 수 세기 가능성을 가능하게 하는 ${\mathcal{A}}$-판별식과 챔버 콘의 역할을 탐색하고자 한다.
• 희박한 다항식의 합의 제곱으로 표현 가능한 양의 정부호 희박 다항식에 대한 이론적 한계를 규명하고자 한다.
• 안정적인 로그균일 측도 하에서 근 수 세기의 평균 복잡도를 분석하여, 랜덤화 방법이 결정론적 방법이 실패하는 상황에서 다항식 시간 알고리즘을 가능하게 함을 보여주고자 한다.

제안 방법

• 저자들은 계수 공간 내에서 챔버 콘을 도입하여, 사항식의 실근 수를 ${\mathcal{A}}$-판별식을 사용해 효율적으로 계산할 수 있는 영역를 정의한다.
• 안정적인 로그균일 측도를 사용하여 평균 복잡도 모델을 정의함으로써, 근 수 세기 알고리즘의 확률적 분석을 가능하게 한다.
• 다항식을 $x \mapsto x^{1/k}$로 변환하여 지수 행렬의 渐近적 행동을 분석하고, $[0,1]^{\ell \times m}$ 내의 극한 행렬 $\tilde{P}$를 도출한다.
• 핵심 기술 도구로는 합의 제곱 전개에서 단항식 항의 분석을 통해, $f_k = x^{2k} + x^{2k-1} + 1$의 주요 항과 끝항에 기여할 수 있는 것은 오직 극단적 지수($0$과 $k_s$)뿐임을 보여주는 것이다.
• 희박한 합의 제곱 표현을 가진 양의 정부호 삼항식에 대해 가정했을 때, 정규화된 지수 행렬의 컴팩트성과 부분수열 수렴성을 이용해 모순을 도출하는 증명을 수행한다.
• 저자들은 이 방법을 적용하여, 모든 양의 정부호 삼항식이 소수의 희박 다항식의 합의 제곱으로 표현될 수는 없음을 보이며, 명시적인 제약 조건을 규명한다.

실험 결과

연구 질문

• RQ1 사용 가능한 사항식에 대해 실근 수를 세는 것이 D에 대해 초선형이 아닌 log D에 다항식 시간 복잡도로 평균적으로 수행될 수 있는가?
• RQ2 ${\mathcal{A}}$-판별식이 희박 다항식의 효율적이고 랜덤화된 근 수 세기 가능성을 어떻게 가능하게 하는가?
• RQ3 희박한 다항식의 합의 제곱으로 표현 가능한 양의 정부호 희박 다항식에 대해 근본적인 제약 조건이 존재하는가?
• RQ4 계수 공간 내의 챔버 콘은 판별식 기반 방법으로 근 수를 계산할 수 있는 영역를 어떻게 분할하는가?
• RQ5 척도 조정 하에서 지수 행렬의 渐近적 행동은 희박한 합의 제곱 표현에 대한 구조적 제약 조건을 드러내는가?

주요 결과

• 사용 가능한 사항식의 실근 수를 세는 알고리즘이 안정적인 로그균일 측도 하에서 평균 복잡도가 log D에 다항식 시간 복잡도를 가지며, 이는 이전의 스투름 수열 기반 방법에 비해 지수적 속도 향상을 달성한다.
• ${\mathcal{A}}$-판별식과 챔버 콘의 사용은 근 수가 일정하고 판별식의 부호 분석을 통해 계산 가능한 계수 공간의 영역에서 효율적인 근 수 세기를 가능하게 한다.
• 논문은 모든 양의 정부호 삼항식이 소수의 희박 다항식의 합의 제곱으로 표현될 수는 없음을 증명하며, $f_k = x^{2k} + x^{2k-1} + 1$을 구체적인 반례로 제시한다.
• 증명은 이러한 표현이 중간 지수에 대한 비영인 계수를 요구할 것임을 보여주며, 이는 $f_k$가 오직 지수 $0$, $2k-1$, $2k$에서만 비영인 계수를 가지므로 구조적으로 모순된다.
• 저자들은 희박성 제약 조건 하에서 조차도, 삼항식의 경우에도 합의 제곱 표현의 항 수가 차수에 따라 증가해야 함을 규명한다.
• 이 방법은 $n$-변수 $(n+3)$-항식으로 일반화되어, 일변수 경우를 초월하여 챔버 콘과 판별식 기반 접근의 적용 가능성을 넓힌다.