[論文レビュー] Computing Real Roots of Real Polynomials - An Efficient Method Based on Descartes' Rule of Signs and Newton Iteration

Michael Sagraloff, Kurt Mehlhorn|arXiv (Cornell University)|Aug 19, 2013

Numerical Methods and Algorithms参考文献 24被引用数 10

ひとこと要約

この論文では、デカルトの符号法則とニュートン反復を組み合わせることで、平方自由な実係数多項式の実根を分離・精錬するための効率的なアルゴリズムを提示する。従来の手法よりも単純な設計でありながら、最適なビット計算量を達成し、高精度な根の精錬をほぼ最適な計算量で実現できる。

ABSTRACT

Computing the real roots of a polynomial is a fundamental problem of computational algebra. We describe a variant of the Descartes method that isolates the real roots of any real square-free polynomial given through coefficient oracles. A coefficient oracle provides arbitrarily good approximations of the coefficients. The bit complexity of the algorithm matches the complexity of the best algorithm known, and the algorithm is simpler than this algorithm. The algorithm derives its speed from the combination of Descartes method with Newton iteration. Our algorithm can also be used to further refine the isolating intervals to an arbitrary small size. The complexity of root refinement is nearly optimal.

研究の動機と目的

• 平方自由な実係数多項式の実根を分離する、より高速で単純なアルゴリズムの開発。
• 既存で最もよく知られたアルゴリズムと同等の最適なビット計算量を達成すること。
• 実根の分離区間に対する任意精度の精錬を可能にすること。
• デカルトの符号法則とニュートン反復を組み合わせることで、効率の向上を図ること。

提案手法

• 多項式係数の任意の精度の近似値にアクセスするための係数オракルを用いる。
• 区間内での実根の分離に、デカルトの符号法則を適用する。
• ニュートン反復を統合して、分離区間を任意の精度に精錬する。
• デカルトの符号法則による符号変化数のカウントを活用することで、高い効率を維持する。
• 平方自由な多項式の仮定と区間の精錬を通じて、正しさを保証する。
• 従来の最適計算量を達成するアプローチと比較して、アルゴリズムの構造が単純化されている。

実験結果

リサーチクエスチョン

• RQ1 より単純なアルゴリズムでも、実根分離の分野で最もよく知られた手法と同等のビット計算量を達成できるか？
• RQ2 デカルトの符号法則をどのように効果的にニュートン反復と組み合わせて、実根の計算に応用できるか？
• RQ3 このハイブリッド手法を用いて、分離区間を任意精度に精錬する際の計算量はどのようになるか？
• RQ4 実装の単純化を図りながらも、最適な計算量を維持できるか？

主な発見

• このアルゴリズムは、実根分離の分野で最もよく知られたアルゴリズムと同等のビット計算量を達成する。
• 既存の最適計算量を達成するアルゴリズムと比較して、設計がより単純である。
• 任意精度への根の精錬は、計算量の観点からほぼ最適である。
• デカルトの符号法則とニュートン反復の組み合わせにより、効率的な分離と高精度な精錬の両方が実現できる。