[論文レビュー] The use of Bad Primes in Rational Reconstruction

Janko Boehm, Wolfram Decker+2 more|arXiv (Cornell University)|Jul 6, 2012

Polynomial and algebraic computation参考文献 7被引用数 4

ひとこと要約

本稿では、ガウス消去法に基づく誤り耐性のある有理数再構成アルゴリズムを提示する。この手法は、構造的不整合が生じる『悪い素数』（標準的な再構成を破壊する素数）が存在する状況下でも、有理数を信頼性高く再構成できる。この方法により、事前に特定されない悪い素数を許容することで、代数幾何学および可換代数における堅牢なモジュラアルゴリズムが可能となり、理想や加群の構造を保つことができない素数が存在しても、正しく再構成が保証される。

ABSTRACT

A standard method for finding a rational number from its values modulo a collection of primes is to determine its value modulo the product of the primes via Chinese remaindering, and then use Farey sequences for rational reconstruction. Successively enlarging the set of primes if needed, this method is guaranteed to work if we restrict ourselves to good primes. Depending on the particular application, however, there may be no efficient way of identifying good primes. In the algebraic and geometric applications we have in mind, the final result consists of an a priori unknown ideal (or module) which is found via a construction yielding the (reduced) Groebner basis of the ideal. In this context, we discuss a general setup for modular and, thus, potentially parallel algorithms which can handle bad primes. A key new ingredient is an error tolerant algorithm for rational reconstruction via Gaussian reduction.

研究の動機と目的

• 『悪い素数』（理想や加群の構造を歪める素数）が事前に効率的に特定できない、代数的および幾何的応用における不安定なモジュラル計算の課題に対処すること。
• 一部の素数が悪い場合でも正しく動作する有理数再構成アルゴリズムの開発、特に事後的にしか特定できない素数を含む場合。
• グレブナー基底計算および正規化において、正しく再構成できるように、並列化可能な堅牢なモジュラルアルゴリズムを実現すること。
• 有理数上の理想や加群を計算する一般枠組みを提供すること。さまざまなタイプの悪い素数に対しても耐性を備える。

提案手法

• 古典的なファレイに基づく有理数再構成を、整数上でのガウス消去に基づく新アルゴリズムに置き換える。このアルゴリズムは、格子還元を用いてモジュラス値から有理数を計算する。
• 中国剰余定理を用いて、未知の有理数を素数の積の法としての解に持ち上げ、その後ガウス消去法を適用して分子・分母のペアを回復する。
• アルゴリズムは耐性を持つように設計されている。一部の素数が悪い（例えば、理想構造や先行項条件を破る）場合でも、大多数の素数が良い限り、正しい有理数が回復される。
• 正しい有理数が、モジュラス像から導かれるある線形系の核に存在することに依拠しており、ガウス消去法は悪い素数による摂動に対してもこの解を特定可能である。
• アルゴリズムは一般のモジュラルフレームワークに適用される。各素数についてグレブナー基底を計算し、最終的な有理数再構成段階でそれらの結果を統合して1つの有理数オブジェクトを生成する。
• 主な革新点は、格子に基づく再構成による誤り耐性の活用である。悪い素数の事前フィルタリングを必要とせず、悪い素数の数が総数に比べて少ない限り問題ない。

実験結果

リサーチクエスチョン

• RQ1 事前に検出できない悪い素数が存在する状況下で、有理数再構成をどのようにして耐性を持たせられるか？
• RQ2 一部のモジュラル計算が理想や加群の構造を保証しなくても、信頼性のある有理数再構成を可能にする数学的構造は何か？
• RQ3 可換代数における理想や加群の計算のためのモジュラルアルゴリズムを、悪い素数に対して耐性を持たせるには、事前にその素数を特定する必要がないか？
• RQ4 ファレイに基づく再構成の代替手法として、悪い素数の数が多数投票の閾値を超えた場合でも正しく動作する手法は何か？
• RQ5 ガウス消去法をどのように変更すれば、モジュラル不整合下でも信頼性のあるリフトメカニズムとして有理数再構成に利用できるか？

主な発見

• 提案されたガウス消去法に基づく有理数再構成アルゴリズムは、一部の素数が悪い場合でも、事後的にしか特定できない素数を含めて、正しい有理数を回復できる。
• この手法は、理想や加群の構造が還元時に破壊される可能性があるため、アフィン代数の正規化や接線曲線の計算においても正しく再構成を保証する。
• 例5.12では、素数5がタイプ5の悪い素数（モジュラス理想のグレブナー基底が特異零点の基底の還元と一致しない）であることが示され、それでもアルゴリズムは正しく有理数係数を再構成している。
• 本手法は、さまざまなタイプの悪い素数に対して耐性を持つ：タイプ1（分母が定義されない）、タイプ2（素数でない理想）、タイプ3（先行理想の不一致）、タイプ4（先行項の不一致）、タイプ5（グレブナー基底の不一致）。
• 悪い素数がまれだが予測不能な応用では、事前のスクリーニングを避けることで、拒否ベースの戦略よりも効率的である。
• この手法により、代数幾何学における理想や加群の計算の一般モジュラルフレームワークが可能となり、一部の素数が代数的対象のモジュラル振る舞いを歪めても、正しさが保証される。