| 研究課題/領域番号 |
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公式） / 二重指数型積分公式 / 二重指数関数型数値積分公式 / 二重指数関数型積分公式 |
|---|
| 研究開始時の研究の概要 |
高校で馴染みのある初等関数（実数乗・指数関数・対数関数・三角関数）の計算は現在では意識されないが、その行列版の計算は、超大規模行列の場合に未解決問題であるだけでなく、データ科学・気象物理学・素粒子物理学・物性物理学・量子情報科学において自然な要求として現れる。そこで超大規模行列に対する行列関数の数値計算法を確立すべく、二重指数関数型積分公式という積分の数値計算法を高度化する理論を構築し、前述した実問題に適用することで当該分野の新たな知の創出を狙う。研究期間は５年であり、理論チームと応用チームの分野横断的な知の交流に基づき解法の開発を行うことが本研究課題推進における特色の一つである。
|
| 研究実績の概要 |
行列関数は初等関数の行列への拡張であり、行列実数乗・行列指数関数・行列対数関数が代表的であり、本研究では、行列関数の「任意の要素を高精度から低精度まで算出可能」とする超大規模行列関数の数値計算法の理論を確立し、理論と応用のフィードバック構造を有する密な連携により総合的数値計算法の創成・実用化を図ることを目的としている。具体的には、行列関数の積分表示に着目し、国産の強力な数値積分公式である二重指数関数型数値積分公式を活用した計算法の創成を行う。
これまで、行列実数乗と行列対数関数の数値計算法の開発は成功した。そこで今年度は、理論面では行列対数関数の数値計算法の開発に着手した。これまでと異なり積分表示が知られていないため、積分表示を明らかにする研究を進めた。この積分表示を見つけられたことが研究の進展であった。しかしながら、被積分関数はこれまでとは異なる振動型であり、通常の二重指数関数型数値積分公式とは相性が悪い。そこで、振動型に対応する特殊な二重指数関数型数値積分公式を活用し、数値計算法の設計を行なっている途中である。一方、行列実数乗と行列対数関数の数値計算法については成書（Springer）の中にまとめることができた。また、理論研究の一つである精度保証法についてもテスト行列の生成法に関する成果が得られた。応用面においても一定の成果が得られた。具体的にはデータ解析ソフトウェアの開発、量子色力学の研究、データ同化、微分方程式の数値解法、量子信号のグラム行列の固有値の研究などである。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
行列対数関数の数値計算法は完成しなかったものの約80％は進んだと判断している。これまでの行列関数計算法が洋書に掲載されたこと、研究実績の概要に書かれた一連の結果から、おおむね順調に進展していると判断した。
|
| 今後の研究の推進方策 |
今後は、行列対数関数の数値計算法を完成させ論文にまとめること、これまでの成果を国際会議で報告するなどの広報活動を行う。そして引き続き、理論・応用の両軸で行列関数計算法の高度化を行う予定である。
|
