[논문 리뷰] A probabilistic algorithm to compute the real dimension of a semi-algebraic set

Mohab Safey El Din, Elias Tsigaridas|arXiv (Cornell University)|2013. 04. 06.

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

한 줄 요약

이 논문은 (sD)^O(n) 산술 연산 내에서 반세미대수집합의 실제 차원을 계산하는 확률적 알고리즘을 제안하며, n에 대해 선형인 지수를 가진 단일 지수 복잡도를 달성함으로써 계산 실대수기하학 분야에서 오랫동안 미해결된 문제를 해결한다. 이 방법은 양자화 제거, 무한소 변형을 통한 극한 계산, 임계점의 유리 매개변수화를 활용하여 부호 조건 실현 가능성 검사를 통해 효율적으로 차원을 결정한다.

ABSTRACT

Let $\\RR$ be a real closed field (e.g. the field of real numbers) and $\\mathscr{S} \\subset \\RR^n$ be a semi-algebraic set defined as the set of points in $\\RR^n$ satisfying a system of $s$ equalities and inequalities of multivariate polynomials in $n$ variables, of degree at most $D$, with coefficients in an ordered ring $\\ZZ$ contained in $\\RR$. We consider the problem of computing the {\\em real dimension}, $d$, of $\\mathscr{S}$. The real dimension is the first topological invariant of interest; it measures the number of degrees of freedom available to move in the set. Thus, computing the real dimension is one of the most important and fundamental problems in computational real algebraic geometry. The problem is ${\ m NP}_{\\mathbb{R}}$-complete in the Blum-Shub-Smale model of computation. The current algorithms (probabilistic or deterministic) for computing the real dimension have complexity $(s \\, D)^{O(d(n-d))}$, that becomes $(s \\, D)^{O(n^2)}$ in the worst-case. The existence of a probabilistic or deterministic algorithm for computing the real dimension with single exponential complexity with a factor better than ${O(n^2)}$ in the exponent in the worst-case, is a longstanding open problem. We provide a positive answer to this problem by introducing a probabilistic algorithm for computing the real dimension of a semi-algebraic set with complexity $(s\\, D)^{O(n)}$.

연구 동기 및 목표

• 반세미대수집합의 실제 차원이 최악의 경우 지수 O(n)로 단일 지수 시간 내에 계산될 수 있는지 여부라는 열린 문제를 다루는 것.
• d가 클 경우 비효율적인 (sD)^O(n²) 또는 (sD)^O(d(n−d)) 복잡도를 가진 기존 알고리즘보다 개선하는 것.
• 계산 실대수기하학에서 기본적인 위상적 불변량인 실제 차원을 계산하기 위한 실용적이고 효율적인 해결책을 제공하는 것.
• 양자화 제거, 극한 계산, 부호 조건 분석을 통합한 차원 계산 프레임워크를 구축하는 것.

제안 방법

• 알고리즘은 무한소 변형과 극한 계산에 기반한 확률적 접근을 사용하여 반세미대수집합의 차원을 분석한다.
• 무한소 매개변수 ε가 0에 접근할 때 매개변수화된 반세미대수집합의 극한을 실수 위에서의 양자화 제거를 통해 계산한다.
• 비율 매개변수화 기법을 활용해 투영의 임계점을 계산함으로써 효율적인 극한 계산과 부호 결정을 가능하게 한다.
• 주어진 부호 패턴이 비어 있지 않은 반세미대수집합에 해당하는지 여부를 평가하는 서브루틴을 통해 부호 조건의 실현 가능성을 검사한다.
• 계수 환 위의 단변수 다항식에 대한 결과계열을 활용하여 부호 계산과 차수 성장 제어를 갖는 매개변수화를 수행한다.
• 전반적인 구조는 실린드리컬 대수적 분할, 로드맵 구성, 무한소 변형 기법을 통합하여 최적의 복잡도를 달성한다.

실험 결과

연구 질문

• RQ1 반세미대수집합의 실제 차원이 O(n²)가 아니라 O(n) 지수를 가진 단일 지수 시간 내에 계산될 수 있는가?
• RQ2 실제 차원 계산에 대해 (sD)^O(n) 복잡도를 달성하는 확률적 알고리즘이 존재하는가? 이는 이전의 복잡도 상한을 향상시키는가?
• RQ3 극한 계산과 부호 조건 실현 가능성 검사를 효과적으로 조합하여 전체 양자화 제거 없이도 차원을 결정할 수 있는가?
• RQ4 무한소 변형과 유리 매개변수화의 사용이 기존 방법보다 더 효율적인 차원 계산을 가능하게 하는가?
• RQ5 차원 계산의 복잡도를 출력에 민감하게 만들고 지수에서 차원 d에 대한 의존성을 제거할 수 있는가?

주요 결과

• 논문은 (sD)^O(n) 산술 연산 내에서 반세미대수집합의 실제 차원을 계산하는 확률적 알고리즘을 제시하며, n에 대해 선형인 지수를 가진 단일 지수 복잡도를 달성한다.
• 이것은 Koiran과 Vorobjov가 제기한 실제 차원이 (sD)^O(n) 시간 내에 계산될 수 있는가에 대한 오랫동안 미해결된 문제를 해결한다.
• 알고리즘은 실수 위의 양자화 제거, 무한소 변형을 통한 극한 계산, 임계점의 유리 매개변수화를 결합하여 이를 달성한다.
• 복잡도 상한은 변수 수 n에 대해 날카롭게 조밀하며, Koiran의 (sD)^O(n²) 상한과 Vorobjov의 (sD)^O(d(n−d)) 상한보다 크게 향상된다.
• 이 방법은 실수 닫힌 체에 대해 안정적이며, 결과계열 기반 산술을 사용하여 Z = Z인 경우 비트 복잡도 상한이 유도된다.
• 알고리즘의 효율성은 비용이 많이 드는 전체 분해를 피하기 위해 무한소 매개변수와 극한 분석를 새로운 방식으로 활용함으로써 기인한다. 이는 더 빠른 차원 탐지 가능성을 제공한다.