[논문 리뷰] Polar Varieties and Efficient Real Equation Solving: The Hypersurface Case

B. Bank, M Giusti외 3명|ArXiv.org|1996. 09. 06.

Polynomial and algebraic computation참고 문헌 15인용 수 32

한 줄 요약

이 논문은 유리수 계수를 가진 정방행 다항식으로 정의된 매끄럽고 유계인 실수 초곡면의 각 연결 성분에 적어도 하나의 대표 점을 계산하는 다항식 시간 알고리즘을 제시한다. 평행 다항식과 직선 프로그램으로 인코딩된 입력에서 애매한 차수 대신 실수 차수를 활용함으로써, 복잡도는 $(nd\beta^*L)^{O(1)}$로 유 bounds되며, 여기서 $ \beta^*$는 관련된 평행 다항식의 실수 차수이고 $L$은 입력 크기이다.

ABSTRACT

The objective of this paper is to show how the recently proposed method by Giusti, Heintz, Morais, Morgenstern, Pardo \cite{gihemorpar} can be applied to a case of real polynomial equation solving. Our main result concerns the problem of finding one representative point for each connected component of a real bounded smooth hypersurface. The algorithm in \cite{gihemorpar} yields a method for symbolically solving a zero-dimensional polynomial equation system in the affine (and toric) case. Its main feature is the use of adapted data structure: Arithmetical networks and straight-line programs. The algorithm solves any affine zero-dimensional equation system in non-uniform sequential time that is polynomial in the length of the input description and an adequately defined {\em affine degree} of the equation system. Replacing the affine degree of the equation system by a suitably defined {\em real degree} of certain polar varieties associated to the input equation, which describes the hypersurface under consideration, and using straight-line program codification of the input and intermediate results, we obtain a method for the problem introduced above that is polynomial in the input length and the real degree.

연구 동기 및 목표

• 실수 다항방정식 시스템을 효율적으로 해결하는 데 도전하며, 특히 매끄러운 실수 초곡면의 각 연결 성분에 대해 적어도 하나의 대표 점을 찾는 것.
• 원래 대수적으로 닫힌 경우를 위해 설계된 내재적 알고리즘을 실수 경우로 확장하기 위해 실수 차수와 같은 기하학적 불변량을 사용하는 것.
• 이전 연구에서 사용된 애매한 차수를 새로운 불변량인 평행 다항식의 실수 차수로 대체하여 실수 대수집합의 복잡도를 더 잘 반영하는 것.
• 입력 크기와 실수 차수에 대해 다항식 시간 복잡도를 달성하여 실수 대수기하 문제에 대한 실용적 효율성을 보장하는 것.

제안 방법

• 입력 다항식과 중간 결과를 직선 프로그램을 사용해 인코딩하여, 본질적인 나눗셈 없이 효율적인 산술 계산을 가능하게 한다.
• 입력 초곡면와 관련된 평행 다항식을 도입하여 새로운 기하학적 불변량인 실수 차수 $\delta^*$를 정의한다. 이는 실수 해집합의 위상적 복잡도를 반영한다.
• 연속적인 투영을 통한 대수다양체의 시퀀스를 구성하고, 유도-섬유 과정을 사용하여 $\mathbb{Q}$에 대한 기약 인수에서 실수 성분을 분리한다.
• 핵심 단계로, 다변수 인수분해를 일변수 인수분해로 줄이기 위해 변수들을 일반적으로 특수화하며, 힐베르트의 기약성 정리를 활용한다.
• 일변수 축소에서 실근이 존재하는지 테스트하여 $\mathbb{Q}$-기약 성분 중 실수 성분이 아닌 것을 제거함으로써 실수 성분만 유지한다.
• 최종 출력은 유리함수 $p_1(\tau), \dots, p_n(\tau)$와 그 근이 대표 점에 해당하는 일변수 다항식 $q(\tau)$를 통해 실수 해집합의 매개변수 표현을 제공한다.

실험 결과

연구 질문

• RQ1 영차원 시스템을 위한 내재적 알고리즘은 애매한 차수를 실수 기하 불변량으로 대체함으로써 실수 경우로 일반화될 수 있는가?
• RQ2 실수 대수집합의 위상적 구조를 반영할 수 있도록 평행 다항식의 실수 차수를 어떻게 정의하고 계산할 수 있는가?
• RQ3 입력 크기와 실수 차수에 대해 다항식 시간 내에 매끄러운 실수 초곡면의 각 연결 성분에 대해 적어도 하나의 대표 점을 계산할 수 있는가?
• RQ4 직선 프로그램과 유리산술을 사용함으로써 알고리즘이 완전히 유리적이고 대수적 확장 없이 유지될 수 있는가?
• RQ5 힐베르트의 기약성 정리는 $\mathbb{Q}$ 위에서의 인수분해 과정에서 실수 성분을 분리하는 데 어떤 역할을 하는가?

주요 결과

• 알고리즘은 입력 크기 $L$, 다항식의 차수 $d$, 관련 평행 다항식의 실수 차수 $\delta^*$에 대해 다항식 시간 내에 매끄럽고 유계인 실수 초곡면의 각 연결 성분에 대표 점을 계산한다.
• 실수 차수 $\delta^*$는 평행 다항식 $W_i^*$의 최대 차수로 정의되며, 실수 해집합에 대해 애매한 차수보다 더 날카로운 복잡도 측정 기준이 된다.
• 직선 프로그램 인코딩과 유리산술만을 사용하여 복잡도 $(nd\delta^*L)^{O(1)}$를 달성하며, 대수적 확장을 피한다.
• 출력은 차수 $\delta^*_{n-1} \leq \delta^*$인 일변수 다항식 $q$와 차수 $\delta^*_{n-1}$ 미만인 유리함수 $p_i$로 구성되며, 각 성분에 대해 한 점씩을 매개변수화한다.
• 알고리즘은 다변수 인수분해를 $\mathbb{Q}$ 위의 일변수 인수분해로 줄인 후 실근 테스트를 수행함으로써 실수 성분을 분리한다.
• 구성에 의해, 실수 초곡면의 각 연결 성분 $C$에 대해 $\tau \in \mathbb{R}$ 가 존재하여 $\xi = (p_1(\tau), \dots, p_n(\tau)) \in C$ 가 된다.