[논문 리뷰] Subresultants in Recursive Polynomial Remainder Sequence

Akira Terui|arXiv (Cornell University)|2008. 06. 03.

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

한 줄 요약

이 논문은 비자명한 GCD를 가진 다항식에 대한 고전적 서결정리 이론의 확장으로 재귀 다항식 나머지 수열(recursive PRS)과 재귀 서결정량(recursive subresultants)을 도입한다. GCD와 그 도함수에 대해 반복적으로 PRS를 적용함으로써 실근의 중복도를 안정적으로 계산할 수 있는 재귀 슈워츠 수열(recursive Sturm sequences)을 가능하게 하며, 재귀 서결정량은 원래 다항식 계수에 대한 계수의 행렬식 기반 표현을 제공하여 근사 대수계산에서의 수치적 안정성을 향상시킨다.

ABSTRACT

We introduce concepts of "recursive polynomial remainder sequence (PRS)" and "recursive subresultant," and investigate their properties. In calculating PRS, if there exists the GCD (greatest common divisor) of initial polynomials, we calculate "recursively" with new PRS for the GCD and its derivative, until a constant is derived. We call such a PRS a recursive PRS. We define recursive subresultants to be determinants representing the coefficients in recursive PRS by coefficients of initial polynomials. Finally, we discuss usage of recursive subresultants in approximate algebraic computation, which motivates the present work.

연구 동기 및 목표

• 비자명한 GCD를 가진 다항식을 다룰 수 있도록 고전적 서결정리 이론을 재귀 다항식 나머지 수열(recursive PRS)로 확장하는 것.
• 원래 다항식 계수에 대한 계수를 표현하는 재귀 서결정량을 행렬식으로 정의하는 것.
• 특히 재귀 슈워츠 수열에서 작은 주계수를 탐지하는 데 어려움을 겪는 근사 대수계산에서의 수치적 안정성을 향상시키는 것.
• 서결정량의 기본 정리와 유사한 재귀 서결정량의 이론적 기반을 마련하는 것.
• 재귀 서결정량을 실수형 부동소수점 산술에서의 영인식을 강력하게 지원하기 위해 실리스터 행렬 조건과 연결하는 것.

제안 방법

• GCD와 그 도함수에 대해 반복적으로 적용함으로써 상수에 도달할 때까지 재귀적으로 PRS를 계산하는 재귀 PRS를 정의한다.
• 초기 다항식의 계수에서 형성된 행렬식으로서, 재귀 PRS의 요소를 표현하는 재귀 서결정량을 도입한다.
• 각 새로운 PRS가 이전 수열의 마지막 비상수 항과 그 도함수로부터 계산되는 재귀적 구조를 수립한다.
• 행렬 변환과 열 교환을 활용하여 재귀 서결정량 행렬식을 후속 PRS 수준의 서결정량과 연결한다.
• 실리스터 행렬 조건과 주계수 스케일링을 통한 정규화를 활용하여 수치 평가의 안정성을 확보한다.
• 재귀 슈워츠 수열에 재귀 서결정량 프레임워크를 적용하여 중복도를 포함한 실근 수를 세는 데 활용한다.

실험 결과

연구 질문

• RQ1 반복적인 GCD와 도함수 계산에서 유도되는 재귀 다항식 나머지 수열(recursive PRS)을 다룰 수 있도록 고전적 서결정리 이론을 어떻게 확장할 수 있는가?
• RQ2 재귀 서결정량의 대수적 구조는 무엇이며, 재귀 PRS의 다항식 계수와는 어떤 관계가 있는가?
• RQ3 재귀 서결정량을 활용하여 근사 대수계산에서의 수치적 안정성을 향상시킬 수 있는가, 특히 작은 또는 근사 영인 주계수를 탐지하는 데에 효과적인가?
• RQ4 재귀 슈워츠 수열에서 신뢰성 있는 영인식을 보장하기 위해 실리스터 행렬에 어떤 조건이 필요한가?
• RQ5 다중 근 또는 근이 가까이 있는 다항식에서 재귀 서결정량을 사용하여 실근 수(중복도 포함)를 어떻게 계산할 수 있는가?

주요 결과

• 재귀 서결정량은 초기 다항식의 계수를 사용하여 재귀 PRS의 계수를 표현하는 행렬식으로 정의된다.
• 논문은 서결정량의 기본 정리의 재귀적 유사 정리를 증명하여, 재귀 서결정량이 재귀 PRS의 구조를 결정함을 보여준다.
• 재귀 서결정량는 중간 GCD의 주계수의 거듭제곱을 포함하는 스케일링 인자와 함께 낮은 수준의 서결정량의 스케일링된 곱으로 표현될 수 있다.
• 재귀 서결정량 행렬의 행렬식은 연속된 PRS 수준의 서결정량의 곱에 비례하며, 명시적인 스케일링 상수가 존재함을 보여준다.
• 재귀 서결정량의 구조를 분석함으로써 재귀 슈워츠 수열에서 작은 주계수를 안정적으로 탐지할 수 있다.
• 서결정량 행렬식을 실리스터 행렬 조건과 연결함으로써 실수형 부동소수점 산술에서의 신뢰성 있는 영인식을 지원하며, 실근 수 계산의 강건성을 향상시킨다.