[논문 리뷰] Bounding the equivariant Betti numbers and computing the generalized Euler-Poincaré characteristic of symmetric semi-algebraic sets.

Saugata Basu, Cordian Riener|arXiv (Cornell University)|2013. 12. 23.

Polynomial and algebraic computation참고 문헌 41인용 수 4

한 줄 요약

이 논문은 실폐쇄체에서 대칭 준대수집합의 등변 Betti 수에 대한 다항시간 계산 가능한 상계를 확립한다. s개의 차수 최대 d인 대칭 다항식에 대해, 유리수 계수를 가진 Sk-등변 Betti 수의 합은 (skd)^O(d)로 유계이다. 이는 이러한 집합의 일반화된 올러-포이누아르 특성을 계산하는 데 있어 첫 번째 다항시간 알고리즘을 제공하며, 비대칭 케이스의 단일 지수적 복잡도와 대비된다.

ABSTRACT

Let R be a real closed field. The problem of obtaining tight bounds on the Betti numbers of semi-algebraic subsets of R k in terms of the number and degrees of the defining polynomials has been an important problem in real algebraic geometry with the first results due to Oleĭnik and Petrovskiĭ, Thom and Milnor. These bounds are all exponential in the number of variables k. Motivated by several applications in real algebraic geometry, as well as in theoretical computer science, where such bounds have found applications, we consider in this paper the problem of bounding the equivariant Betti numbers of symmetric algebraic and semialgebraic subsets of R k. We obtain several asymptotically tight upper bounds. In particular, we prove that if S ⊂ R k is a semi-algebraic subset defined by a finite set of s symmetric polynomials of degree at most d, then the sum of the Sk-equivariant Betti numbers of S with coefficients in Q is bounded by (skd) O(d). Unlike the classical bounds on the ordinary Betti numbers of real algebraic varieties and semi-algebraic sets, the above bound is polynomial in k when the degrees of the defining polynomials are bounded by a constant. As an application we improve the best known bound on the ordinary Betti numbers of the projection of a compact semi-algebraic set improving for any fixed degree the best previously known bound for this problem due to Gabrielov, Vorobjov and Zell. As another application of our methods we obtain polynomial time (for fixed degrees) algorithms for computing the generalized Euler-Poincaré characteristic of semi-algebraic sets defined by symmetric polynomials. This is in contrast to the best complexity of the known algorithms for the same problem in the nonsymmetric situation, which is singly exponential. This singly exponential complexity for the latter problem is unlikely to be improved because of hardness result (#P-hardness) coming from discrete complexity theory.

연구 동기 및 목표

• 실대수기하학에서 준대수집합의 Betti 수를 유계화하는 오랜 문제, 특히 대칭 설정에서의 문제를 다루는 것.
• 군 작용을 통해 대칭성을 활용하여 고전적 유계에서 변수 수 k에 대한 지수적 의존도를 극복하는 것.
• 대칭 준대수집합에 대해 위상적 불변량—특히 일반화된 올러-포이누아르 특성—을 효율적으로 계산하기 위한 알고리즘을 개발하는 것.
• 정의 다항식의 차수가 유계일 경우 이러한 불변량이 다항시간에 계산될 수 있음을 확립하는 것.
• 대칭적 구조를 이용해 컴 pact 준대수집합의 사영에 대한 일반 Betti 수에 대한 기존 유계를 향상시키는 것.

제안 방법

• R^k 위에서 대칭군 Sk의 작용을 활용하여 유리수 계수를 가진 등변 Betti 수를 정의하고 분석한다.
• 등변 대수적 위상수학과 표현 이론 기법을 적용하여 대칭 준대수집합의 등변 Betti 수의 합을 유계화한다.
• 대칭 다항식이 정의 집합의 복잡도를 감소시켜 지수에 k가 아닌 s와 d에 의존하게 한다는 사실을 활용한다.
• 등변 준대수집합에 적응된 필터링과 스펙트럴 시퀀스 추론을 통해 Betti 수의 증가를 통제한다.
• 등변 군 Sk 작용에 대한 불변성을 활용하여 일반화된 올러-포이누아르 특성의 계산 문제를 궤도 공간 위의 계산으로 환원한다.
• 오빗 수와 오빗 유형 수에 대한 유계를 적용하여 고정된 차수에 대해 다항시간 알고리즘을 도출한다.

실험 결과

연구 질문

• RQ1 고전적 유계가 允허하는 것보다 대칭 준대수집합의 등변 Betti 수를 더 격렬하게 유계화할 수 있는가?
• RQ2 정의 다항식의 대칭성은 일반화된 올러-포이누아르 특성을 다항시간에 계산할 수 있게 하는가?
• RQ3 등변 Betti 수에 대한 새로운 유계가 컴 pact 준대수집합의 사영에 대한 일반 Betti 수의 기존 유계를 향상시킬 수 있는가?
• RQ4 대칭 준대수집합에 대한 위상적 불변량 계산의 복잡도는 일반 케이스보다 상당히 낮은가?
• RQ5 등변 Betti 수 유계가 대칭 다항식의 수 s와 그 차수 d에 대해 정확히 어떻게 의존하는가?

주요 결과

• R^k에 포함된 s개의 차수 최대 d인 대칭 다항식으로 정의된 준대수집합 S의 Sk-등변 Betti 수의 합은 (skd)^O(d)로 유계이다.
• 이 유계는 d가 유계일 경우 k에 대해 다항식이지만, 고전적 유계는 k에 대해 지수적 의존도를 가진다.
• 고정된 d에 대해 대칭 준대수집합의 일반화된 올러-포이누아르 특성은 다항시간에 계산될 수 있다.
• 고정된 차수에 대해 컴 pact 준대수집합의 사영에 대한 일반 Betti 수의 유계는 기존의 Gabrielov, Vorobjov, Zell의 결과를 초월하여 향상된다.
• 알고리즘적 향상은 대칭적 구조에 의한 복잡도 감소 덕분이며, 비대칭 케이스에서 기승을 떨고 있는 #P-난이도를 피한다.
• 결과는 정의 다항식의 대칭성이 실대수기하학에서 위상적 불변량의 복잡도 환경을 근본적으로 변화시킨다.