[论文解读] 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

一句话总结

本论文介绍了 Singularity，这是一个 Maple 库，通过推广代数几何与奇点理论中的工具，使用户能够以符号化、面向终端用户的方式分析标量光滑映射中的局部分岔。该库提供了一个完整且与余维无关的框架，用于计算非等价的持久分岔图，并支持科研、工程及教学应用。

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.

研究动机与目标

• 解决标量光滑映射中奇点局部分岔分析缺乏符号化计算机库的问题。
• 推广代数几何工具，以准确高效地实现奇点理论结果。
• 开发一个面向用户的 Maple 库，支持奇点分析在科研与教学中的应用。
• 利用最新的 Maple 功能，系统性地生成参数化奇点的非等价持久分岔图完整列表。
• 确保方法与奇点的余维无关，从而实现广泛适用性。

提出的方法

• 推广代数几何工具，以满足奇点理论在符号计算中的需求。
• 制定严格的标准并辅以形式化证明，以确保实现的正确性与认知效率。
• 整合 Maple 系统的最新进展，以支持分岔图的动态生成。
• 设计内置帮助系统与全面的用户指南，以提升可用性。
• 应用等价关系与不变性原理，对分岔进行分类并识别持久图。
• 使用参数化表示系统性地分析映射族，并检测零点结构的定性变化。

实验结果

研究问题

• RQ1 如何利用符号计算实现对标量光滑映射中局部分岔的高可靠性和完整性分析？
• RQ2 在计算机代数系统中实现奇点理论结果时，需要哪些标准与算法以确保正确性与高效性？
• RQ3 如何设计一个用户友好的库，以支持奇点理论在科研与教育中的应用？
• RQ4 在分岔图分析中，如何实现对奇点余维的独立处理？
• RQ5 参数族在识别持久分岔结构中起到何种作用？

主要发现

• Singularity 库成功在 Maple 中实现了对标量光滑映射局部分岔分析的余维无关框架。
• 该库利用先进的 Maple 功能，系统性地生成了参数化奇点的非等价持久分岔图完整列表。
• 制定了严格的标准与形式化证明，以确保计算流程的正确性与认知效率。
• 内置帮助系统与全面的用户指南显著提升了研究人员与学生对系统的可及性。
• 该方法能够对小扰动下零点结构的变化进行符号化分析，通过分岔检测捕捉零点的产生与消失。
• 该库通过提供一个可靠且可扩展的奇点分析工具，同时支持科研与工程应用。