[논문 리뷰] Computing Complex Dimension Faster and Deterministically

J. Maurice Rojas|ArXiv.org|2000. 05. 03.

Complexity and Algorithms in Graphs참고 문헌 23인용 수 4

한 줄 요약

이 논문은 다항식 시스템으로 정의된 대수집합의 복소 차원을 계산하는 결정론적 알고리즘을 제시하며, 최근의 랜덤화 결과와 일치하는 상당히 향상된 산술 복잡도 한계를 달성한다. 이 방법은 정밀한 유리 함수 일변수 표현(RUR)과 다항식 근 시스템에 대한 효과적인 경계에 기반하며, 주요 기여는 명시적인 복잡도 추정과 일반화된 리만 가설(GRH) 하에 초면의 공집성에 대한 개선된 조건부 알고리즘을 포함한다.

ABSTRACT

We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper quantitative estimates on rational univariate representations of roots of polynomial systems. As a corollary of the latter bounds, we considerably improve a recent algorithm of Koiran for deciding the emptiness of a hypersurface intersection over the complex numbers, given the truth of the Generalized Riemann Hypothesis (GRH).

연구 동기 및 목표

• 기존 문헌에서 비결정론적 방법의 효율성 부족을 극복하고, 대수집합의 복소 차원을 계산하는 결정론적 알고리즘을 개발한다.
• 다항식 시스템 근의 유리 일변수 표현(RUR)에 대한 더 날카운 양적 추정을 제공하여, 더 탴밀한 복잡도 분석을 가능하게 한다.
• 일반화된 리만 가설(GRH) 하에 복소 초면 교차의 공집성 여부를 판단하는 Koiran의 조건부 알고리즘을 개선한다.
• GRH 하에, 시스템의 근이 존재하는 소수의 조밀도를 지배하는 명시적 비트 크기 경계를 가진 상수 $a_F$와 $A_F$를 도출한다.
• 입력 다항식의 흐문 크기의 제곱보다 작은 복잡도로 차원 계산을 위한 복잡도 한계를 확립한다.

제안 방법

• 알고리즘은 입력 다항식의 지수 벡터들의 볼륨 $V_F$ 에 대한 산술 연산을 사용하여 복소 차원 $\dim Z_F$ 를 계산한다.
• 다변수 시스템을 일변수 다항식 $h_F$ 로 줄이기 위해 유리 일변수 표현(RUR)을 사용하며, 그 차수는 $V_F$ 에 의해 경계된다.
• Chebotarev 밀도 정리의 효과적 형태와 Oesterlé의 명시적 경계를 활용하여, 시스템이 근을 가지는 소수의 분포를 추정한다.
• 일반화된 리만 가설(GRH)을 적용하여, 충분히 큰 $t$ 에 대해 $(A_F t^3, A_F (t+1)^3)$ 간격 내에 시스템이 모듈로 $p$ 에 근을 가지는 소수 $p$ 가 존재함을 보장한다.
• 핵심 매개변수 $a_F$ 와 $A_F$ 의 비트 크기를 제어하기 위해 대수적 수의 판별식과 로그 높이에 대한 경계를 사용한다.
• 특수한 경우에서 판별식이 0이 되는 것을 다루기 위해 $h_F$ 의 제곱-free 부분을 축소하여 밀도 추정의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 최근의 랜덤화 알고리즘과 복잡도 한계를 일치시키는 결정론적 방법으로 복소 대수집합의 차원을 계산할 수 있는가?
• RQ2 다항식 시스템에 대한 유리 일변수 표현(RUR)에 대해 가능한 가장 날카운 정량적 경계는 무엇인가?
• RQ3 Koiran의 GRH 기반 소수 밀도 방법을 어떻게 정교화하여 $\mathbb{C}$ 상에서의 타당성 테스트를 위한 명시적이고 효과적인 상수를 도출할 수 있는가?
• RQ4 입력의 흐문 크기와 기하학적 불변량인 $V_F$ 를 기반으로 $\dim Z_F$ 를 계산하는 비트 크기 복잡도는 정확히 어떻게 되는가?
• RQ5 GRH 하에, 시스템이 유한한 수의 소수 $p$ 에서만 근을 가지거나, 정확히 양의 조밀도를 가지는 소수 $p$ 에서 근을 가지는 경우에 대해, 명시적 상수 $a_F$ 와 $A_F$ 를 유도할 수 있는가?

주요 결과

• 알고리즘은 $\mathcal{O}(n^{2.312} \cdot 11^n \cdot k \cdot V_F^{7.376})$ 개의 산술 연산으로 $\dim Z_F$ 를 계산하며, $k$ 는 총 단항식 항의 수이고 $V_F$ 는 지수 벡터들의 볼륨이다.
• 상수 $a_F$ 와 $A_F$ 의 비트 크기는 모두 $\mathcal{O}(n \log D + \log \sigma(F))$ 이며, 이는 입력의 흐문 크기의 제곱보다 작다.
• 상수 $A_F$ 는 $\mathcal{O}\left(\left[\frac{e^n}{\sqrt{n}} V_F (\sigma(F) + m(n \log D + \log m))\right]^4\right)$ 로 명시적으로 경계되며, 효과적인 소수 판별 간격을 보장한다.
• 상수 $a_F$ 는 $\mathcal{O}(n^3 D V_F (4^n D \log D + \sigma(F) + \log m))$ 로 경계되며, 타당하지 않은 시스템이 근을 가지는 소수의 수를 정량화한다.
• 증명은 $t \geq 4963041$ 인 경우, $(A_F t^3, A_F (t+1)^3)$ 간격에 복소수에서 $Z_F$ 가 공집적이지 않다면 시스템이 모듈로 $p$ 에 근을 가지는 소수 $p$ 가 적어도 하나 존재함을 보여준다. 이는 GRH 하에 성립한다.
• 이 틀은 Koiran의 알고리즘을 명시적이고 효과적인 경계로 정교화한 버전을 제공하며, $\mathbb{C}$ 상에서 초면의 공집성 여부를 판단하는 조건부 복잡도를 향상시킨다.