[논문 리뷰] Implicit Deflation for Univariate Polynomial Root-finding

Victor Y. Pan, Ilias Kotsireas외 1명|arXiv (Cornell University)|2016. 06. 04.

Numerical Methods and Algorithms참고 문헌 47인용 수 2

한 줄 요약

이 논문은 단변수 다항식의 근을 찾는 기능적 반복의 수렴을 가속화하기 위해 암묵적 제거 기법을 도입한다. 특히 초기 근사화 방법에서 놓친 근들에 대해 유용하다. 뉴턴 방법과 암묵적 제거를 조합함으로써 더 넓은 영역에서 더 빠른 수렴을 달성하며, 이는 이전 초기화 기법의 범위를 초월한 근 찾기 알고리즘의 효율성을 향상시킨다.

ABSTRACT

We were initially motivated by the paper by Schleicher and Stoll of 2017 about the initialization of Newton's iterations. Given a black box subroutine for the evaluation of the Newton's ratio of a polynomial and its derivative, their algorithm very fast approximates all roots of a univariate polynomial except for a small fraction of them. The challenge of fast approximation of the remaining roots motivated our present work, but our recipes for this task should have independent and much broader interest for implicit deflation in polynomial root-finding. They can be also an example of synergy of the combination of various methods of polynomial root-finding towards enhancing their power, in particular towards faster convergence of functional iterations in a larger domain.

연구 동기 및 목표

• 빠른 초기화 방법(예: Schleicher와 Stoll (2017)의 방법)이 놓친 근의 소수점 부분을 효율적으로 근사화하는 데 도전하는 문제를 해결하기 위해.
• 기능적 반복의 수렴을 향상시키는 강력하고 일반적인 목적의 제거 기법을 개발하기 위해.
• 암묵적 제거와 기존의 근 찾기 방법 간의 상호보완성을 입증하기 위해, 특히 수렴이 빠른 영역를 확장하는 데 중점을 두기 위해.

제안 방법

• 명시적인 다항식 표현 없이 뉴턴 비율(f(x)/f'(x))을 평가하기 위해 블랙박스 서브루틴을 사용한다.
• 이미 발견된 근들을 고려에서 제거하기 위해 암묵적 제거를 적용하여 반복 동역학을 수정함으로써 나머지 근을 햖थ기 위해.
• 명시적인 다항식 나눗셈을 피하면서도 뉴턴 방법의 수렴 성질을 유지하는 제거 전략을 활용한다.
• 기능적 반복 기반의 알고리즘에 제거를 통합하여, 근들이 뭉쳐 있거나 조건이 나쁜 영역에서도 여전히 빠른 수렴을 유지한다.
• 뉴턴 비율의 구조를 활용하여 명시적인 인수분해 없이 암묵적으로 근을 제거한다.
• 기존의 빠른 근 찾기 파ip라인과 호환되도록 설계하여, 그들의 강건성과 속도를 향상시킨다.

실험 결과

연구 질문

• RQ1 암묵적 제거는 단변수 다항식의 뉴턴 방법 수렴을 어떻게 가속화할 수 있는가?
• RQ2 암묵적 제거는 근 찾기에서 기능적 반복의 수렴 영역에 어떤 영향을 미치는가?
• RQ3 암묵적 제거는 빠른 초기화 방법과 효과적으로 통합되어 전체 근을 근사화할 수 있는가?
• RQ4 안정성과 계산 비용 측면에서 암묵적 제거는 명시적 제거보다 어떻게 다를 수 있는가?

주요 결과

• 암묵적 제거를 통해 초기 근사화 이후 남은 근들에 대해 뉴턴 방법의 수렴 속도가 빨라지며, 특히 수렴 속도가 느린 영역에서 유용하다.
• 빠른 수렴 영역이 확장되어 다양한 다항식 구성에서 기능적 반복이 더 강건하게 작동한다.
• 명시적인 다항식 나눗셈을 피하기 때문에 계산 오버헤드가 감소하면서도 근 근사의 정확도는 유지된다.
• Schleicher와 Stoll의 방법과 같은 기존 초기화 방법과 강한 상호보완성을 보이며, 도달하기 어려운 근들을 효율적으로 대상으로 삼는다.