2022 Fiscal Year Annual Research Report
疎行列を係数とする線形方程式の反復解法と精度保証付き数値計算法の融合
| Project/Area Number |
20H04195
|
|---|
| Research Institution | Shibaura Institute of Technology |
|---|
Principal Investigator |
尾崎 克久 芝浦工業大学, システム理工学部, 教授 (90434282)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
荻田 武史 東京女子大学, 現代教養学部, 教授 (00339615)
相原 研輔 東京都市大学, 情報工学部, 准教授 (70735498)
|
|---|
| Project Period (FY) |
2020-04-01 – 2023-03-31
|
| Keywords | 精度保証付き数値計算 / 連立一次方程式 / 反復解法 |
|---|
| Outline of Annual Research Achievements |
当該年度は、疎行列向けのクリロフ部分空間法の高精度化と高精度な行列積の計算法の開発に取り組んだ。連立一次方程式の反復解法では、残差ノルムが減少したとしても、誤差ノルムは一定のレベルで停滞してしまい、十分な精度の近似解が得られない問題が生じることが知られている。古典的な高精度化の手法としては、近似解の更新に用いる探索方向ベクトルをグループ化することで、丸め誤差の影響を抑制する「Groupwise更新戦略」が知られていたが、悪条件な方程式に対しては、反復過程で深刻な情報落ちが発生し、必ずしも精度改善が達成されない。そこで我々は、効率よく情報落ちを回避するため、グループ化に多倍長演算を部分活用した混合精度型のアルゴリズムを新たに開発した。メモリ律速な倍々精度での実装において、計算時間をほとんど増大させることなく、大幅に近似解精度を向上させることに成功した。なお、誤差ノルムの評価については厳密性が重要となるが、提唱している真の解が分かるテスト問題の生成法を活用することで、提案アルゴリズムの高い信頼性を示すことができた。以上の研究成果は，国際会議や国内学会などで口頭発表し、学術雑誌Japan Journal of Industrial and Applied Mathematicsへの掲載に至った。
高精度に行列積を計算するときに、最適化されたルーチンを使用した計算方法（通称尾崎スキーム）が知られている。これは行列積を３，６，１０，１５回と計算することにより、高信頼な計算結果が得られる手法で、近年再注目されている手法である。行列積を４、５、８、９回計算する新しい手法を開発し、コストと精度のトレードオフを理論的にも実験的にも示し、論文投稿を行った。
総じて、本科研費で目標としていた「精度保証的な考え方により反復解法の発展に寄与する」ことに成功できた。
|
| Research Progress Status |
令和4年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和4年度が最終年度であるため、記入しない。
|
