[論文レビュー] Singularity: A Maple library for local zeros of scalar smooth maps

Majid Gazor, Mahsa Kazemi|arXiv (Cornell University)|Jul 22, 2015

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

ひとこと要約

この論文は、代数幾何学および特異点論のツールを一般化することで、スカラースムーズ写像における局所的分岐の記号的でエンドユーザーフrndな解析を可能にするMapleライブラリ「Singularity」を紹介する。本ライブラリは、不変な分岐図の完全かつ次元に依存しないフレームワークを提供し、研究、工学的応用および教育的応用を支援する。

ABSTRACT

The local zero structure of a smooth map may qualitatively change, when the map is subjected to small perturbations. The changes may include births and/or deaths of zeros. The qualitative properties are defined as the invariances of an appropriate equivalence relation. The occurrence of a qualitative change in the zero structures is called a bifurcation and the map is named a singularity. The local bifurcation analysis of singularities has been extensively studied in singularity theory and many powerful algebraic tools have been developed for their study. However, there does not exist any available symbolic computer-library for this purpose. We suitably generalize some powerful tools from algebraic geometry for correct implementation of the results from singularity theory. We introduce some required criteria along with rigorous proofs for efficient and cognitive computer-implementation. We have accordingly developed a Maple end-user friendly library, named Singularity, for an efficient and complete local bifurcation analysis of real zeros of scalar smooth maps. We have further constructed a built-in help for Singularity and provided a comprehensive user guide. Recent progresses in Maple have been used so that Singularity generates the list of inequivalent persistent bifurcation diagrams for parametric singularities. The approach is independent of the singularity's codimension (a measure of its complexity). The main features of Singularity are briefly illustrated along with a few examples. Our Maple library is not only useful for research goals and engineering applications involving singularities but also for pedagogical purposes.

研究の動機と目的

• スカラースムーズ写像における特異点の局所的分岐解析のための記号的コンピュータライブラリの不足に対処すること。
• 記号的計算に適した特異点論の結果の正確かつ効率的な実装を可能にするために、代数幾何学のツールを一般化すること。
• 研究および教育的用途の両方を支援する、ユーザーフrndなMapleライブラリの開発。
• 最近のMaple機能を活用して、パラメトリック特異点の不等価な持続的分岐図の完全なリストを生成すること。
• 分岐図の解析において特異点の次元に依存しない方法を保証し、広範な適用可能性を実現すること。

提案手法

• 記号的計算に適した特異点論のニーズに合わせ、代数幾何学のツールを一般化すること。
• 正しさと認知的効率性を保証するための厳密な基準と形式的証明を策定すること。
• 動的分岐図の生成を支援するため、Mapleシステムの最新の進歩を統合すること。
• 使いやすさを向上させるために、組み込みヘルプシステムと包括的なユーザーガイドを設計すること。
• 同値関係と不変性の原則を用いて分岐を分類し、持続的図を特定すること。
• パラメトリック表現を用いて写像の族を体系的に分析し、ゼロ構造の定性的な変化を検出すること。

実験結果

リサーチクエスチョン

• RQ1 記号的計算を用いることで、スカラースムーズ写像における局所的分岐をどれほど信頼性高く、完全に分析できるか。
• RQ2 コンピュータ代数システムにおける特異点論の結果の正しく効率的な実装を保証するための基準とアルゴリズムは何か。
• RQ3 研究および教育的用途の両方を支援するユーザーフrndなライブラリを設計するにはどうすればよいか。
• RQ4 分岐図の解析において特異点の次元をどのように独立に取り扱えるか。
• RQ5 パラメトリック族は、持続的分岐構造を特定する上で果たす役割は何か。

主な発見

• Singularityライブラリは、Mapleにおけるスカラースムーズ写像の局所的分岐解析の次元に依存しないフレームワークを成功裏に実装した。
• 高度なMaple機能を活用して、パラメトリック特異点の不等価な持続的分岐図の完全なリストを生成した。
• 計算パイプラインの正しさと認知的効率性を保証するため、厳密な基準と形式的証明を策定した。
• 組み込みヘルプ機能と包括的なユーザーガイドの統合により、研究者および学生の両方のアクセス性が向上した。
• 微小な摂動下でのゼロ構造の変化を記号的に分析でき、分岐検出によってゼロの生成と消滅を捉えることが可能になった。
• 信頼性が高く拡張可能なツールを提供するため、本ライブラリは研究および工学的応用を支援する。