| 研究課題/領域番号 |
20H00581
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
中区分60:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
曽我部 知広 名古屋大学, 工学研究科, 准教授 (30420368)
|
|---|
| 研究分担者 |
荻田 武史 早稲田大学, 理工学術院, 教授 (00339615)
野中 千穂 広島大学, 先進理工系科学研究科(理), 教授 (10432238)
宮武 勇登 大阪大学, サイバーメディアセンター, 准教授 (60757384)
田中 健一郎 東京大学, 大学院情報理工学系研究科, 准教授 (70610640)
星 健夫 核融合科学研究所, 研究部, 教授 (80272384)
臼田 毅 愛知県立大学, 情報科学部, 教授 (80273308)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
45,630千円 (直接経費: 35,100千円、間接経費: 10,530千円)
2024年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2023年度: 5,850千円 (直接経費: 4,500千円、間接経費: 1,350千円)
2022年度: 4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円)
2021年度: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2020年度: 26,260千円 (直接経費: 20,200千円、間接経費: 6,060千円)
|
|---|
| キーワード | 行列関数 / 二重指数関数型数値積分公式（DE公式） / 二重指数関数型数値積分公式 / 二重指数型積分公式 / 二重指数関数型積分公式 |
|---|
| 研究開始時の研究の概要 |
高校で馴染みのある初等関数（実数乗・指数関数・対数関数・三角関数）の計算は現在では意識されないが、その行列版の計算は、超大規模行列の場合に未解決問題であるだけでなく、データ科学・気象物理学・素粒子物理学・物性物理学・量子情報科学において自然な要求として現れる。そこで超大規模行列に対する行列関数の数値計算法を確立すべく、二重指数関数型積分公式という積分の数値計算法を高度化する理論を構築し、前述した実問題に適用することで当該分野の新たな知の創出を狙う。研究期間は５年であり、理論チームと応用チームの分野横断的な知の交流に基づき解法の開発を行うことが本研究課題推進における特色の一つである。
|
| 研究実績の概要 |
本研究では、行列関数の「任意の要素を高精度から低精度まで算出可能」とする超大規模行列関数の数値計算法の理論を確立し、理論と応用のフィードバック構造を有する密な連携により総合的数値計算法の創成・実用化を図ることを目的としている。具体的には、行列関数の積分表示に着目し、国産の強力な数値積分公式である二重指数関数型数値積分公式を活用した計算法の創成を行うことを目的としている。
2023年度は理論面に関して、最も難易度が高い行列指数関数の数値積分法の開発に成功した。難易度が高かった理由は、これまでにない振動型積分であり、所望の精度で計算を可能とするための誤差解析に時間を要したからである。この成果をまとめて論文誌に投稿した。また、高速化のためのシフト線形方程式の数値解法にも進展があり、Shifted LOPBiCG法の開発に成功した。これらの成果に関してスペインの国際会議ICMASE2024にて招待講演を行なった。行列符号関数の論文にも進展があり、行列符号関数の論文が日本応用数理学会論文賞（理論部門）受賞した。そして行列関数の基礎となる二重指数関数型数値積分公式に関する著者「変数変換型数値計算法」が岩波書店より出版された。
応用面に関しても一定の成果が得られている。具体的には、全反射高速陽電子回折（TRHEPD）を用いた表面構造決定におけるデータ駆動型感度解析における行列指数関数の重要性が明らかになったこと、格子量子色力学における行列関数計算法の使用用途がこれまで想定していたよりも広くなったこと、量子通信の性能限界を正しく見積るために必要なフォンノイマンエントロピーを求めるための行列対数関数計算への展開である。その他、微分方程式の離散化誤差の定量化法や、国際会議「シミュレーション・データ・学習融合とその先にあるもの」での研究発表などが成果として挙げられる。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
行列対数関数の数値計算法が完成したこと、当初は考慮に入れていなかった行列符号関数の研究が進展し、行列符号関数の論文が日本応用数理学会論文賞（理論部門）を受賞したこと、二重指数関数型数値積分公式に関する書籍が出版されたこと、そして研究会を通して応用諸分野の相互理解や応用のための基礎固めが着実に進んだことから、おおむね順調に進展していると判断した。
|
| 今後の研究の推進方策 |
最終年度であるため、これまで開発された行列関数計算法を国内外で積極的に広報を行う予定である。また得られた計算法の応用展開を行なっていく予定である。さらに行列関数計算法が多くのユーザーに使用されるようにライブラリ化の検討を行う。今年度に全体会議を開催し、今後の課題を研究メンバー全員で共有することで課題終了後も理論・応用の両軸で行列関数計算法の高度化を行う基盤を強化する予定である。
|
