[논문 리뷰] First Steps in Algorithmic Fewnomial Theory

Frédéric Bihan, J. Maurice Rojas외 1명|ArXiv.org|2004. 11. 05.

Polynomial and algebraic computation참고 문헌 31인용 수 6

한 줄 요약

이 논문은 희소 다항식의 실근 존재성 문제에 대한 계산 복잡도에서 단서 전이를 규명한다: n개의 변수를 가진 (n+2)-항 다항식이 실근을 가지는지 여부를 결정하는 것은 다항시간 내에 해결 가능하지만, 항의 수가 n + n^ε 이상이 되면 NP-난이도로 변한다. 분석은 디오판틴 추측 이론과 A-판별식의 도구를 활용하여 특정 종류의 소수항 다항식에 대해 효율적인 결정 기준을 도출한다.

ABSTRACT

Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEAS_R denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a real root or not. We describe a phase-transition for when m is large enough to make FEAS_R be NP-hard, when restricted to inputs consisting of a single n-variate polynomial with exactly m monomial terms: polynomial-time for m<=n+2 (for any fixed n) and NP-hardness for m<=n+n^{epsilon} (for n varying and any fixed epsilon>0). Because of important connections between FEAS_R and A-discriminants, we then study some new families of A-discriminants whose signs can be decided within polynomial-time. (A-discriminants contain all known resultants as special cases, and the latter objects are central in algorithmic algebraic geometry.) Baker's Theorem from diophantine approximation arises as a key tool. Along the way, we also derive new quantitative bounds on the real zero sets of n-variate (n+2)-nomials.

연구 동기 및 목표

• 희소 다항식계의 실근 존재성 문제(FEAS_R)의 계산 복잡도를 규명하고, 특히 소수항 다항식의 경우에 집중한다.
• n변수 m-항 다항식의 맥락에서 실근 존재성 문제가 다항시간 해결 가능성에서 NP-난이도로 전이되는 임계점(임계값)을 규명한다.
• 특히 (n+2)-항 다항식과 특정 A-판별식 가족에 속하는 소수항 다항식의 실근 존재 여부를 결정하는 효율적인 알고리즘을 개발한다.
• 실근 존재 문제의 복잡도를 디오판틴 추측의 깊이 있는 결과, 특히 베이커의 정리와 연결하고, 이를 A-판별식에 적용한다.
• n변수 (n+2)-항 다항식의 실근의 수와 구조에 대한 정량적 경계를 제공하여 알고리즘 기반 소수항 다항식 이론을 발전시킨다.

제안 방법

• 지지집합의 차원을 이용하여 n변수 m-항 다항식의 실근 존재 문제를 더 낮은 차원의 토러스 위 문제로 환원한다. 이때 단순형 변환(unimodular transformations)을 활용한다.
• 디오판틴 추측 이론에서의 베이커의 정리를 적용하여 실근의 크기를 경계하고, 로렌트 다항식의 부호 패턴에 대한 결정 기준을 도출한다.
• 스미스 표준형과 단순형 행렬을 사용하여 지수 행렬을 대각형으로 변환하고, 실토러스 위에서의 부호 조건을 분석할 수 있도록 한다.
• 변수를 스케일링하여 (n+2)-항 다항식의 표준형을 도입하고, 계수를 정규화함으로써 근 존재 문제를 변환된 지수 행렬의 부호 조건 검증 문제로 환원한다.
• A-판별식의 구조와 그 부호 패턴을 활용하여 다항시간 결정 가능 가족의 희소 시스템을 식별한다.
• 아핀 독립성과 지지집합 차원의 개념을 활용하여 소수항 다항식계가 언제 하위차원 등가체로 환원될 수 있는지 분류함으로써, 존재성 분석을 단순화한다.

실험 결과

연구 질문

• RQ1 n변수 m-항 다항식의 실근 존재성 문제가 다항시간 내에 해결 가능한 m의 값은 무엇인가?
• RQ2 n에 대한 함수로서 실근 존재성 문제가 NP-난이도로 전이되는 항의 수 m의 정확한 임계값은 무엇인가?
• RQ3 일부 희소 다항식 가족에 대해 A-판별식의 부호를 다항시간 내에 결정할 수 있는가?
• RQ4 n변수 (n+2)-항 다항식의 실근 집합은 연결 성분의 수와 구조 측면에서 어떻게 행동하는가?
• RQ5 디오판틴 추측의 베이커의 정리를 얼마나 효과적으로 활용하여 희소 다항식의 실근에 대한 효과적 경계를 도출할 수 있는가?

주요 결과

• 고정된 n에 대해 n변수 (n+2)-항 다항식의 실근 존재성 문제는 표준형과 부호 기반 결정 기준 덕분에 다항시간 내에 해결 가능하다.
• 항의 수 m이 임의의 ε > 0에 대해 m ≥ n + n^ε 를 만족할 경우, n변수 m-항 다항식의 실근 존재성 문제는 NP-난이도가 된다.
• n변수 (n+2)-항 다항식의 경우, (R*)^n 내 실근 존재 여부는 변환 후 지수 행렬의 홀수 성분이 존재하는지 여부에 따라 다항시간 내에 결정 가능하다.
• n변수 (n+2)-항 다항식이 R^n_+ 내 실근을 가질 조건은 양항의 수가 n보다 작을 때에 해당한다.
• 이 논문은 n변수 (n+2)-항 다항식의 실근 집합의 연결 성분 수에 대한 새로운 정량적 경계를 제공하며, 이들이 유한하고 효과적으로 유계임을 보였다.
• 일부 희소 지지집합에 관련된 A-판별식의 부호는 다항시간 내에 결정 가능하며, 이는 희소 대수기하학의 알고리즘 도구를 확장한다.