| Project/Area Number |
22K19772
|
|---|
| Research Category |
Grant-in-Aid for Challenging Research (Exploratory)
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
山本 有作 電気通信大学, 大学院情報理工学研究科, 教授 (20362288)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
武永 康彦 電気通信大学, 大学院情報理工学研究科, 准教授 (20236491)
|
|---|
| Project Period (FY) |
2022-06-30 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥5,980,000 (Direct Cost: ¥4,600,000、Indirect Cost: ¥1,380,000)
Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2023: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2022: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Keywords | 行列計算 / 固有値問題 / 組合せ的前処理 / 量子アニーリング / D-Wave / 固有値計算 / 連立1次方程式解法 / 並列計算 |
|---|
| Outline of Research at the Start |
本研究では，実対称行列の対角化のためのブロックヤコビ法，連立１次方程式の求解のための疎行列直接解法などの行列計算アルゴリズムを対象として，収束加速や演算量削減を実現する効率的な組合せ的前処理法を構築する．また，組合せ的前処理をD-Waveなどの量子アニーリングマシン，行列計算本体を並列計算機などの古典計算機で実行するハイブリッド型ソルバを開発し，性能評価を行うとともに，計算量や収束性の理論的解析により，従来法に対する優位性を明らかにする．
|
| Outline of Annual Research Achievements |
本研究では，量子アニーリングマシンと古典計算機を組み合わせたハイブリッド環境により，行列の対角化（固有値計算）や連立１次方程式の求解などの応用上重要な行列計算を加速することを目的としている．今年度の研究では，昨年度に引き続き，実対称行列向けの固有値解法であるブロックヤコビ法を対象として，組合せ的前処理による収束加速の研究を行った．ブロックヤコビ法では，非対角ブロックの消去前に，行と列の置換によって絶対値の大きい要素を対角ブロックに集中させることで，収束を加速できる．最適な置換を求める問題は組合せ最適化問題であり，昨年度の研究では，この問題をQUBO（0-1変数無制約最適化問題）として定式化し，量子アニーリングマシンD-Wave Advantage上で実装して，実際に解を求められることを示した．しかし，QUBOをD-Wave Advantageの量子ビットネットワークに効率的にマッピングすることが困難であり，解ける問題は最大12×12程度の小さい行列のみに限られていた．
今年度はこのマッピングについて主に研究し，マッピングの困難が，我々のQUBOが持つ0-1変数間の大域的接続構造によることを見出した．そこで，定式化の方法を再検討し，Domain-wall encodingと呼ばれる手法を用いた新しいQUBOの定式化を提案した．この定式化では，0-1変数間の接続が局所的であり，同じく局所的な接続のみを持つD-Wave Advantageのネットワークへのマッピングがより容易である．この新しいQUBOについてマッピングを行ったところ，マッピングに使う量子ビット数を，最も効果があるときで従来法の2/3程度に削減できることを示した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
今年度は，昨年度に開発したブロックヤコビ法向けの組合せ的前処理法について，D-Wave Advantage上での効率的な実装の困難の原因を解明し，効率性を向上させた新しいQUBOの定式化法を提案した．また，提案手法が従来法より少ない量子ビットでマッピングできることを実際に示した．したがって，研究は順調に進展していると考えられる．
|
| Strategy for Future Research Activity |
今年度に開発した新しいQUBOの定式化法の性能を様々な例題により評価する．また，さらに効率的な定式化法を検討する．さらに、次世代のD-Waveマシンに対して効率的なQUBO定式化法とそのマッピング手法を検討する．
|
