| 研究課題/領域番号 |
23K18464
|
|---|
| 研究種目 |
挑戦的研究(萌芽)
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
中区分60:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
伊野 文彦 大阪大学, 大学院情報科学研究科, 教授 (90346172)
|
|---|
| 研究分担者 |
置田 真生 大阪大学, 大学院情報科学研究科, 准教授 (50563988)
|
|---|
| 研究期間 (年度) |
2023-06-30 – 2026-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
6,500千円 (直接経費: 5,000千円、間接経費: 1,500千円)
2025年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2024年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2023年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
|
|---|
| キーワード | 量子計算 / ドメイン特化ライブラリ / 高水準プログラミング |
|---|
| 研究開始時の研究の概要 |
本研究は，古典プログラムにおいて培われてきたソフトウェア工学の技術を応用することにより，量子力学の原理を隠蔽できる量子プログラミング環境を創出する．そのために，抽象化技術や構造化技術に基づく高水準プログラム記述系をドメイン特化ライブラリとともに開発し，組合せ爆発に陥る大規模問題などの量子応用をGPUサーバ上で実現することで，提案する量子プログラミング環境の有用性を示す．
|
| 研究実績の概要 |
本研究の目的は，ゲート型量子計算機において標準となるプログラム方法論を探求することである．そのために，古典プログラムにおいて蓄積されてきたソフトウェア工学の抽象化技術や構造化技術を応用し，量子力学の原理を隠蔽できる量子プログラミング環境を創出することを試みる．このプログラミング方法論を高水準プログラム記述系やドメイン特化ライブラリとともに展開する．さらに，古典プログラムから量子プログラムへの変換技術を探求することで，組合せ爆発に陥る大規模問題の解決に向けて，量子計算パラダイムによる実応用を目指す．令和5年度は低水準レベルの最適化に関して以下の課題に取り組んだ．
まず，量子回路に最適化手法を施す場合に，古典計算機における最適化そのものに要する時間を含めて量子回路シミュレーション全体に要する時間を評価した．最適化手法として，冗長性を削除する手法，クリフォードゲートを単純化する手法，オイラー角分解による手法，KAK分解による手法およびパウリ演算子による手法を対象とした．結果，前者2つのみが有用であり，全体の実行時間を99%短縮できる例があることを確認した．
次に，状態ベクトルに基づく量子回路シミュレーションの並列化に取り組んだ．シミュレーション時のノード間通信を削減するための演算スケジューリング手法を，変分量子固有値法を対象として開発した．提案手法は，キャッシュ最適化手法の一つである時空間タイリングを応用し，計算粒度が増大するように演算順序を入れ替えることで通信回数を削減する．32台のGPUを用いた評価実験の結果，提案手法は量子回路シミュレーションを54倍に高速化できた．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初は高水準レベルでの開発から取り組むことを予定していたが，量子力学の原理を隠蔽するための準備として，低水準レベルにおいて量子回路シミュレーションに対する最適化手法の開発に取り組んだ．次年度以降の開発に寄与する成果が得られたため，進捗は計画通りである．
|
| 今後の研究の推進方策 |
今後，典型的な量子アルゴリズムを対象として，高水準なプログラム記述系やドメイン特化ライブラリによる量子プログラミング環境を実現していく．また，最適化手法に関する成果を国内外で発表し，他の研究者からの意見を反映していく予定である．
|
