[논문 리뷰] Algorithms in Real Algebraic Geometry: A Survey

Saugata Basu|arXiv (Cornell University)|2014. 09. 04.

Polynomial and algebraic computation참고 문헌 63인용 수 20

한 줄 요약

이 종합적 서베이는 실대수기하학에서의 알고리즘 발전에 대해 포괄적인 개요를 제공하며, 특히 기호 제거와 베텨 수와 연결 성분과 같은 위상적 불변량의 계산에 초점을 맞춘다. 이 서베이는 첫 번째 몇 개의 베텨 수를 계산하기 위한 단일 지수 시간 알고리즘을 제시하고, 이차 부등식으로 정의된 준대수집합에 대해 모든 베텀 수와 연결 성분을 효율적으로 계산하는 데 있어 열려 있는 문제들을 논의한다.

ABSTRACT

We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for computing topological invariants of semi-algebraic sets. We emphasize throughout the complexity aspects of these algorithms and also discuss the computational hardness of the underlying problems. We also describe some recent results linking the computational hardness of decision problems in the first order theory of the reals, with that of computing certain topological invariants of semi-algebraic sets. Even though we mostly concentrate on exact algorithms, we also discuss some numerical approaches involving semi-definite programming that have gained popularity in recent times.

연구 동기 및 목표

• 실대수기하학에서의 기초적이고 최근의 알고리즘적 발전, 특히 기호 제거와 위상적 불변량 계산에 중점을 두어 서베이하는 것.
• 준대수집합에 대한 알고리즘의 최악의 경우 복잡도를 분석하며, 단일 지수 시간 한계에 중점을 두는 것.
• 계산 복잡도 분야의 열린 문제를 특정하고 강조하는 것, 특히 베텀 수와 연결 성분의 효율적 계산을 포함한다.
• 실수 체에 대한 일阶논리 이론에서의 결정 문제의 복잡도와 위상적 불변량 계산의 복잡도 사이의 연결 고리를 설정하는 것.
• 콤���트성의 역할을 탐색하고, 기존 알고리즘 결과를 구조적 셰이브와 함자로 일반화할 수 있는지 탐색하는 것.

제안 방법

• 실수 체에 대한 일阶논리 이론에서 효과적인 기호 제거를 위해 Tarski-Seidenberg 정리와 원통형 대수적 분해(CAD)를 활용한다.
• 비판점 방법과 대수적 Puiseux 급수를 적용하여 준대수집합 계산을 위한 단일 지수 알고리즘을 설계한다.
• 로드맵 알고리즘을 활용하여 준대수집합 내의 연결성 계산 및 점들 사이의 경로 구축을 수행한다.
• 부호 결정 및 변형 기법을 사용하여 특이 다양체를 다루고 알고리즘의 강건성을 향상시킨다.
• 반드시 호모로지 불변량인 베텀 수를 계산하기 위해 준대수적 삼각분할과 분할 기법을 도입한다.
• 비선형 다항식의 음이 아닌 성질에 대한 수치적 근사치를 위해 준정형 프로그래밍과 제곱합(sum-of-squares)과의 연결을 탐색한다.

실험 결과

연구 질문

• RQ1 준대수집합의 모든 베텀 수를 계산하는 데 필요한 복잡도를 변수 수에 대해 단일 지수 시간으로 줄일 수 있는가?
• RQ2 이차 부등식으로 정의된 집합의 준대수적 연결 성분 수를 계산하는 데 단일 지수 시간 알고리즘이 존재하는가?
• RQ3 로드맵 구축의 복잡도를 변수 수에 대해 O(k²)에서 O(k)로 향상시킬 수 있는가, 이는 빈도 테스트의 복잡도와 일치하는가?
• RQ4 실수 폐체 위의 Blum-Shub-Smale 계산 모델에서 콤팩트성이 수행하는 역할은 무엇이며, 알고리즘 복잡도에 어떤 영향을 미치는가?
• RQ5 구조적 셰이브와 함자 프레임워크를 사용하여 실대수기하학에서의 기존 알고리즘 결과를 일반화할 수 있는가?

주요 결과

• 임의의 상수 ℓ에 대해 준대수집합의 첫 번째 ℓ개의 베텀 수를 계산하는 데 단일 지수 시간 알고리즘이 존재하며, 이는 정리 3.20에 의해 형식화되어 있다.
• 이차 부등식 ℓ개로 정의된 준대수집합의 연결 성분 수를 계산하는 데 가장 잘 알려진 알고리즘의 복잡도는 k^{2^{O(ℓ)}}이며, 이는 빈도 테스트의 k^{O(ℓ)} 복잡도에 비해 상당히 높다.
• 일반 준대수집합에 대한 로드맵 알고리즘의 복잡도는 경로 길이에 대해 s^{k'+1}d^{O(k²)}로 유계이며, 여기서 s는 다항식의 수이고 d는 그 차수이다.
• 이차 부등식으로 정의된 준대수집합에 대해서는 빈도 테스트와 각 연결 성분의 표본점 계산을 위한 알고리즘이 존재하며, 복잡도는 k^{O(ℓ)}이다.
• 이러한 집합의 올루러-포앵카르형 상수는 k^{O(ℓ)} 시간 내에 계산될 수 있지만, 연결 성분 수의 계산은 여전히 더 계산적으로 어렵다.
• 최근 결과들은 연결 성분 내의 점들 사이에 길이 d^{O(k)}인 준대수적 경로를 구성할 수 있음을 시사하지만, 이 복잡도는 d와 k만으로 유계로 표현될 수 없다.