2023 Fiscal Year Research-status Report
Construction of an automatic search tool with verification for mathematical models with singularity
| Project/Area Number |
23K19016
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
浅井 大晴 早稲田大学, 理工学術院, 講師(任期付) (80979823)
|
|---|
| Project Period (FY) |
2023-08-31 – 2025-03-31
|
| Keywords | 精度保証付き数値計算 / 分岐理論 / 全解探索 / 特異関数 |
|---|
| Outline of Annual Research Achievements |
研究実施計画の１年目の目標に基づき、特異性を持つ数理モデルの多重解の探索及び、全解探索手法の開発を行った。
本年度は、特異性を持つ数理モデルの中でも特にエノン型方程式に注目し、研究を行った。同方程式はパラメータの値に依存して、多重解が存在するモデルである。そのような問題に対して、虱潰し的に解を探索し、発見できた解に対して精度保証付き数値計算を行い、その解の存在証明を行った。結果として、カスプ点と呼ばれる解の分岐点を精度保証付き数値計算で求めることができた。分岐構造の概要が明らかになった後、さらにその多重解がこれ以上ないということの証明を行う必要がある。そのためには全解探索アルゴリズムによって、例えば１次元の問題であれば、シューティング法などに基づきある範囲には解があるがほかの部分では必ず解は存在しないというような、解の存在非存在証明を行うことにより達成される。しかし、既存のライブラリによる精度保証付き数値計算を用いた全解探索そのままでは計算コストが膨大で、目標時間内で探索が終了しないことがネックであった。本研究の中で、解の最大値の限界などを決めることにより計算コストを大幅に削減できることが明らかとなり、そのアルゴリズムの構築といくつかの数値例を実験した。
２年目では、その全解探索の実装と複数例での数値実験を行っていく予定である。１年目の研究において、固定値のパラメータに対して、全解探索ができるようになったため、それを応用し、微小な幅を持たせたパラメータ値を少しずつずらしていくことでパラメータ全域をスキャンしていく形で、解の分岐の精度保証付き自動追尾を行うことを考えている。そのためには、より一層の計算量削減と並列計算による処理を実装していきたいと考えている。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初の計画において、本年度は「解の精度保証付き全解探索手法の開発を行う」としており、途中、計画時に想定していたよりも計算コストが膨大で進捗に遅れが出ることも見込まれたが、その後の研究においていくつかの計算量削減のアルゴリズムを考案できたため、現在はいくつかの数値例もできているため、多少の遅れはあるかもしれないが、おおむね順調であると考えている。
|
| Strategy for Future Research Activity |
今後の研究の推進方策としては、当初の計画通り「解の分岐の精度保証付き自動追尾」に着手したいと考えている。１年目の研究において、固定値のパラメータに対して、全解探索ができるようになったため、それを応用し、微小な幅を持たせたパラメータ値を少しずつずらしていくことでパラメータ全域をスキャンしていく形で、解の分岐の精度保証付き自動追尾を行うことを考えている。そのためには、より一層の計算量削減と並列計算による処理を実装していきたいと考えている。
|
| Causes of Carryover |
主要な使用目的としては、並列計算機の購入を考えている。
当初の計画において、本年度は「解の精度保証付き全解探索手法の開発を行う」としており、並列計算のできるワークステーションを購入する計画を立てていた。しかし、計画時に想定していたよりも計算コストが膨大で計算量削減のアルゴリズム修正に時間がかかり、それに応じた適切な計算機の策定が前年度中にはできなかった。アルゴリズム修正はほとんど終了したので、本格的な数値実験のフェーズに向けて、新年度に並列計算機を調達する予定である。
|
