| 研究課題/領域番号 |
20K20397
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
曽我部 知広 名古屋大学, 工学研究科, 准教授 (30420368)
|
|---|
| 研究分担者 |
臼田 毅 愛知県立大学, 情報科学部, 教授 (80273308)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2025-03-31
|
| キーワード | 数値線形代数 / 量子計算 |
|---|
| 研究実績の概要 |
本課題は、数値線形代数(線形方程式、固有値問題、特異値問題)の古典アルゴリズムの研究と量子アルゴリズムの研究を行い、それらを融合・協調させるものである。今年度もゲート型とアニーリング型の両面から量子計算の研究を行なった。具体的成果を以下に述べる。 まず、ゲート型に関しては、連立一次方程式の求解方法として量子コンピュータと古典コンピュータを併用する変分量子アルゴリズムの研究を行った。これはまさに量子計算を併用した数値線形代数学と言える。この手法は連立一次方程式の解を、ある最適化問題の最適解として定式化し、最適化問題の目的関数の評価を量子コンピュータで行い、近似解の修正を古典コンピュータで行う方法である。先行研究として行列が正定値対称の問題に対する変分量子アルゴリズムが提案されていたが、本研究では対称性の制約がなくても適用できる枠組みを構築した。次にアニーリング型に対しては、最適化問題の最適解（準最適解）が得られない場合にリバースアニーリングを行う技術が存在するが、リバースアニーリングの汎用的なスケジュール方法を考案した。実機での検証は十分に行えてないものの、汎用的なアルゴリズムであると考えている。さらに本課題と関係する量子通信の研究にも進展があった。量子通信にはASKコヒーレント状態のグラム行列やn重対角行列など数値線形代数の問題が頻出し、本課題との意外な関連があることが研究を通して明らかになった。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
2022年度に引き続き、数値線形代数に対する古典アルゴリズムの開発だけでなく、変分量子アルゴリズムの研究が進んだこと、量子アニーリングの研究も引き続き進めることができたこと、量子コンピュータ実機での計算も進んでおり、おおむね順調に進展していると判断した。
|
| 今後の研究の推進方策 |
これまで新型コロナウイルス感染症による渡航制限により当初の国際会議出張ができなかったため、今後は研究成果の広報活動を積極的に行う予定である。引き続きこの一年間の延長を有効に活用すべく、量子・古典ハイブリッドアルゴリズムの研究を進めていく。
|
| 次年度使用額が生じた理由 |
コロナウイルス感染症の影響は少なくなっているものの、国際会議や国内会議での広報の機会全体が少なくなっていたため、2024年度にこれまでの成果の公表を積極的に行うため、主な使用額は旅費に充てる予定である。また研究期間が１年延長となったため、引き続き、数値線形代数、変分量子アルゴリズム、量子アニーリングの研究を進める予定である。
|
