2022 Fiscal Year Research-status Report
Automation of Classification of Singularity by using Comprehensive Groebner Systems
| Project/Area Number |
19K03484
|
|---|
| Research Institution | Kansai University |
|---|
Principal Investigator |
寺本 央 関西大学, システム理工学部, 准教授 (90463728)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鍋島 克輔 東京理科大学, 理学部第一部応用数学科, 准教授 (00572629)
加葉田 雄太朗 長崎大学, 情報データ科学部, 助教 (40830097)
泉屋 周一 北海道大学, 理学研究院, 名誉教授 (80127422) [Withdrawn]
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Keywords | 混合加群 / グレブナー基底 / 実限量化子消去 / 特異点 / 多目的最適化 |
|---|
| Outline of Annual Research Achievements |
これまでの研究成果である混合加群の包括的グレブナー基底系およびそれを用いた実特異点の自動分類アルゴリズムに関してまとめ，その集大成を九州大学で2022年12月に開催された国際研究集会RIMS-Sing 4 Workshop, Classification problems in singularity theory and their applications Deepening and evolution of applied singularitiyの連続講演にて発表した。ある招待講演者からはやっていることは単純だが、その結果計算できるものは素晴らしい、というコメントを頂戴した。何人かの研究者から使ってみたい等のコメントを頂戴したので、自動分類アルゴリズムをSingularを用いて実装したものを、Github (https://github.com/hiroshi-teramoto/mixed_module)にてアルゴリズムの説明をした論文とともに公開予定である。
また、このアルゴリズムの多目的最適化問題に現れる実行可能集合の局所的な分類と認識への応用を日本数学会第15回季期年会"Deepening and evolution of applied singularities"等で発表した。この研究は既存のベンチマーク問題がどの程度一般的なのかを評価し、新たなベンチマーク問題を作るための指針を与えると期待される。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
昨年度までで、包括的グレブナー基底系の概念をmixed moduleを扱えるように拡張し、計算代数をもちい特異点分類のための具体的なアルゴリズムを構築する。また、それを特異点の分類に組織的に適用することにより、数学あるいは諸科学への特異点論の応用を推し進める、という申請書の(概要)に記載したことはおおむね達成している。今年度はそれに加え、コロナ禍の影響で当初より遅くなったが、本研究課題で得られた成果を発表することができたから。
|
| Strategy for Future Research Activity |
日本数学会第15回季期年会、国際研究集会RIMS-Sing 4 Workshopでの発表を受け、特異点の研究者から新たなアルゴリズム開発の要望を頂戴したので、今後はそれらの要望を踏まえつつ、より広く本研究課題で開発したアルゴリズムが利用してもらえるように、アルゴリズムとその実装の改良等に取り組む。
|
| Causes of Carryover |
コロナ禍の影響により計画していたバレンシア大学、ワルシャワ工科大学等の研究者との国際共同研究が中断していたため。今年度、これらの大学を訪問し本研究課題で開発したアルゴリズムの特異点分類への応用を推進する予定である。
|
