Theoretical Foundations of Resource-Bounded Quantum Computation
| Project/Area Number |
22H00522
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Waseda University (2024)
NTT Communication Science Laboratories (2022-2023) |
|---|
Principal Investigator |
谷 誠一郎 早稲田大学, 教育・総合科学学術院, 教授 (70396183)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
森前 智行 京都大学, 基礎物理学研究所, 准教授 (50708302)
森 立平 名古屋大学, 多元数理科学研究科, 准教授 (60732857)
西村 治道 名古屋大学, 情報学研究科, 教授 (70433323)
七島 幹人 東京工業大学, 情報理工学院, 助教 (90855222)
|
|---|
| Project Period (FY) |
2022-04-01 – 2027-03-31
|
| Project Status |
Granted (Fiscal Year 2024)
|
| Budget Amount *help |
¥40,560,000 (Direct Cost: ¥31,200,000、Indirect Cost: ¥9,360,000)
Fiscal Year 2024: ¥10,790,000 (Direct Cost: ¥8,300,000、Indirect Cost: ¥2,490,000)
Fiscal Year 2023: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Fiscal Year 2022: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
|
|---|
| Keywords | 計算資源 / 量子計算 / 計算理論 / 量子計算複雑さ |
|---|
| Outline of Research at the Start |
本研究では，「使用可能な量子計算資源量(例:量子メモリ，量子通信)に制約がある」という現実的な状況下において，量子計算の理論基盤を創出する. さらに，その成果を通じて，量子優位性(古典計算機に対する性能優位性)を発揮できる応用分野の開拓，及び，主要な問題に対して量子優位性を担保するために必要な量子計算資源量の明確化を目指す．
|
| Outline of Annual Research Achievements |
量子計算を使用する上で本質的になると予想される３つの分野（委託量子計算・分散量子計算・単体量子計算）について研究を進めた．
委託量子計算分野に関しては，セキュリティの基礎となる，一方向性関数，コミットメント，電子署名等に関する成果を得た．具体的には，古典暗号の場合は一方向性関数が最も基礎的な仮定であるが、量子を用いた暗号の場合は必ずしもそうではないことを示した。特に、量子通信をもちいたコミットメント、電子署名について、一方向性関数よりも弱い仮定と考えられている疑似ランダム量子状態を用いて構成した。また、古典では構成方法が知られていない仮定から公開鍵暗号を構成する方法を提示し，さらに，コミットメントの安全性の等価性を示した。
分散量子計算の分野では，量子非対話型証明および量子対話型証明についてネットワーク上に量子計算機が分散的に存在するような環境（分散的環境）での研究を進めた．分散型量子対話型証明においては通常の分散的でない場合と同様に，一般的なプロトコルを定数ラウンドのプロトコルに変換する方法を示すことができた．また分散型量子非対話型証明においては量子状態生成の検証という新しい文脈で効率的なプロトコルを開発した．
単体量子計算の分野では，グラフ彩色問題に対する指数時間量子アルゴリズムを開発した。現在知られている最速の古典アルゴリズムは n 頂点グラフの彩色数の計算に Ω(2^n) 時間かかる。本研究では O(1.914^n) 時間の量子アルゴリズムを開発した。また、無線通信における最適化問題を効率的に解く量子アルゴリズムを提案した。さらに，使用可能な量子メモリ量に制限がある場合において，ポストセレクションを任意のタイミングで許しても，計算の最後にのみ許した場合と比べて計算能力に変わりがなく，量子メモリ量の制限が計算能力に本質的に大きな影響を与えることを示す結果を得た．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
各研究項目において，計画していた検討が順調に進んでいるため．
|
| Strategy for Future Research Activity |
引き続き３つの主要分野（委託量子計算，分散量子計算，単体量子計算)に対して，組織的かつ分野横断的に研究を進めていくため，必要に応じて，ミーティングを実施するなどして，議論を深めていく．また，量子計算処理を効果的にサポートする古典計算理論の強化も行っていく．さらに，本課題の分担者以外の専門家とも必要に応じて交流・議論を行い，本課題の研究を効率的に推進していく．
|
Report
(2 results)
Research Products
(18 results)
