[論文レビュー] Fast Computation of Secondary Invariants

Simon King|ArXiv.org|Jan 9, 2007

Geometric and Algebraic Topology参考文献 9被引用数 8

ひとこと要約

本稿では、不変体理論における第二不変量の計算のための新しいアルゴリズムを提示する。特に、可約なものを明示的に計算せずに、非可約な第二不変量に焦点を当てている。この手法はグレブナー基底技術を活用しており、Singularのfinvarライブラリに実装されており、従来のSingularおよびMagmaの実装と比較して、特に高次およびメモリ集約的なケースにおいて顕著な性能向上を示している。

ABSTRACT

A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on polynomial rings. When we tried to compute the invariant ring using Singular or Magma, it turned out that the existing algorithms did not suffice. We present here a new algorithm for the computation of secondary invariants, if primary invariants are given. Our benchmarks show that the implementation of our algorithm in the library "finvar" of Singular marks a dramatic improvement in the manageable problem size. A particular benefit of our algorithm is that the computation of irreducible secondary invariants does not involve the explicit computation of reducible secondary invariants, which may save resources. The implementation of our algorithm in Singular is for the non-modular case; however, the key theorem of our algorithm holds in the modular case as well and might be useful also there.

研究の動機と目的

• 有限群作用による多項式環における第二不変量を決定する際の計算ボトル neck を解消すること、特に従来のアルゴリズムが失敗する状況を想定。
• SingularおよびMagmaの従来実装に見られる限界を克服すること。これらは高次または複雑な不変体環に対して、実用的なメモリおよび時間制限内で処理を実行できなかった。
• 可約な第二不変量の計算を避けることで、直接的に非可約な第二不変量を計算する手法を開発し、計算リソースの節約を実現すること。
• 非モジュラー特性における不変体環の計算に対してスケーラブルかつ効率的なソリューションを提供すること。応用分野には3次元多様体トポロジーおよびトゥラエフ–ヴィロ不変量が含まれる。
• 多様な例に対して広範なベンチマークを実施し、従来のツールでは処理が不可能だった例を含め、新アルゴリズムの優位性を実証すること。

提案手法

• グレブナー基底理論を基盤とする数学的枠組みとして用い、任意の特性で適用可能であるが、本アルゴリズムは非モジュラーの場合に適用されている。
• 主不変量を入力とし、ノイザー正規化上のモジュール生成子として第二不変量を計算することで、可約不変量の重複計算を回避する。
• 理想に属するか否かの判定およびモジュール基底技術を用いて、非可約第二不変量のみを直接特定・計算する戦略を実装する。
• Singularライブラリfinvarにアルゴリズムを統合し、高次計算時のメモリ使用量を削減する最適化を施した。
• 3次元トポロジーから得られる例、特にトゥラエフ–ヴィロ不変量を対象として、実世界のスケーラビリティをテストする。
• 9つのテストケースを用いて、一貫したベンチマークを実施。16 GBメモリおよび2.2 GHz AMD Opteronプロセッサを用い、Singular（1998年版）およびMagma（V2.13-8）の従来実装と性能を比較した。

実験結果

リサーチクエスチョン

• RQ1 既存のツールが失敗する状況において、第二不変量の計算を著しく改善する新しいアルゴリズムは可能か？
• RQ2 非可約第二不変量の明示的計算を回避することで、実際の計算において測定可能な性能およびメモリの節約が達成されるか？
• RQ3 SingularおよびMagmaの既存実装と比較して、さまざまな不変体環問題の文脈で、新アルゴリズムの速度およびメモリ効率はどの程度優れているか？
• RQ4 従来のメモリまたは時間制限で処理が不可能だった高次第二不変量を、本アルゴリズムは処理できるか？
• RQ5 本アルゴリズムの性能優位性は、不変体環の構造および主不変量の次数にどの程度依存するか？

主な発見

• Singularのfinvarライブラリに実装された新アルゴリズムにより、複数のベンチマーク例で計算時間が数秒から数分に短縮され、例（9）では従来16 GBメモリを超えていたが、これも解決された。
• 例（6）では、新実装が16.55秒、39.0 MBのメモリで完了したが、従来のSingularバージョンは16時間以上経過し、167 MBを消費したうえで失敗した。Magmaは118.51秒を要した。
• 例（7）では、新アルゴリズムが20.94秒、35.1 MBで結果を出力したが、Magmaは7時間以上を要し、15 GBを超えるメモリを消費した。従来のSingularバージョンは失敗した。
• 特に、新アルゴリズムのメモリ効率は顕著である。例（9）では7.35 GBのメモリ使用量にとどまり、Magmaの55.62 GBと比べて顕著に低い。従来のSingularバージョンは完全に失敗した。
• 非可約第二不変量の新実装（irred secondary char0）は、一般の第二不変量関数（secondary char0）と比較して、高次ケースにおいて一貫して高速かつメモリ効率が良い。
• 本アルゴリズムの主な利点は、可約な不変量を生成せずに非可約不変量のみを計算することにあり、これによりリソース消費が削減され、従来不可能だった計算が可能になった。