[논문 리뷰] Singularity: A Maple library for local zeros of scalar smooth maps

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

Polynomial and algebraic computation참고 문헌 25인용 수 7

한 줄 요약

이 논문은 기하학적 다항식 이론과 특이점 이론의 도구를 일반화하여 스칼라 매끄러운 사상의 국소적 분기 분석을 기호적으로, 사용자에게 친화적으로 가능하게 하는 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.

연구 동기 및 목표

• 스칼라 매끄러운 사상의 특이점에 대한 국소 분기 분석을 위한 기호적 컴퓨터 라이브러리의 부족을 보완하기 위해.
• 기호 계산을 위한 특이점 이론 결과의 정확하고 효율적인 구현을 위해 대수기하학 도구를 일반화하기 위해.
• 연구 및 교육적 응용을 모두 지원할 수 있는 사용자 우호적인 Maple 라이브러리를 개발하기 위해.
• 최근의 Maple 기능을 활용하여 매개수 특이점에 대해 서로 다른 지속적 분기 다이어그램의 완전한 목록을 생성하기 위해.
• 분석의 적용 범위를 넓히기 위해 특이점의 계수에 종속되지 않는 방법을 확보하기 위해.

제안 방법

• 기호 계산에 적합하도록 특이점 이론의 필요에 맞게 대수기하학 도구를 일반화하기 위해.
• 정확성과 인지적 효율성을 보장하기 위해 엄밀한 기준과 형식적 증명을 개발하기 위해.
• 동적 분기 다이어그램 생성을 지원하기 위해 Maple 시스템의 최신 발전을 통합하기 위해.
• 이용성 향상을 위해 내장된 도움말 시스템과 포괄적인 사용자 가이드를 설계하기 위해.
• 등가 관계와 불변 원리를 적용하여 분기를 분류하고 지속적 다이어그램을 식별하기 위해.
• 매개수 표현을 사용하여 사상의 가중치를 체계적으로 분석하고 영의 구조 변화를 탐지하기 위해.

실험 결과

연구 질문

• RQ1 기호 계산을 어떻게 활용하여 스칼라 매끄러운 사상의 국소적 분기 분석을 높은 신뢰성과 완전성으로 수행할 수 있는가?
• RQ2 기호 대수계산 시스템에서 특이점 이론 결과의 정확하고 효율적인 구현을 보장하기 위해 필요한 기준과 알고리즘은 무엇인가?
• RQ3 연구 및 교육적 응용을 모두 지원할 수 있는 사용자 우호적인 라이브러리를 어떻게 설계할 수 있는가?
• RQ4 특이점의 계수에 종속되지 않는 방식으로 분기 다이어그램 분석을 수행하는 데에는 어떤 방식이 필요한가?
• RQ5 매개수 가중치는 어떻게 지속적 분기 다이어그램의 구조를 식별하는 데 기여하는가?

주요 결과

• Singularity 라이브러리는 Maple에서 스칼라 매끄러운 사상의 국소적 분기 분석을 위한 계수에 종속되지 않는 프레임워크를 성공적으로 구현하였다.
• 최신 Maple 기능을 활용하여 매개수 특이점에 대해 서로 다른 지속적 분기 다이어그램의 완전한 목록을 생성하였다.
• 계산 파이프라인의 정확성과 인지적 효율성을 보장하기 위해 엄밀한 기준과 형식적 증명을 개발하였다.
• 내장된 도움말과 포괄적인 사용자 가이드 통합으로 연구자와 학생 모두가 접근하기 쉬운 환경을 제공하였다.
• 작은 편향 하에서 영의 구조 변화를 기호적으로 분석할 수 있으며, 분기 탐지 기반으로 영의 탄생과 소멸을 포괄적으로 포착하였다.
• 신뢰성 있고 확장 가능한 도구로서의 특이점 분석을 제공함으로써 연구 및 공학적 응용을 모두 지원하였다.