Constructing theory of efficient verifications on quantum networks

Research Project

Project/Area Number	24K22293
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	Nagoya University
Principal Investigator	西村治道名古屋大学, 情報学研究科, 教授 (70433323)
Project Period (FY)	2024-06-28 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000) Fiscal Year 2026: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000) Fiscal Year 2025: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000) Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords	量子計算 / 分散計算 / 計算量理論 / 量子ネットワーク
Outline of Research at the Start	本研究構想では，量子コンピュータが形成するネットワーク（量子ネットワーク）において，各量子コンピュータに分散された入力データから決まる関数値を効率的に検証するための数理モデルを，NPを礎とした計算量理論的枠組みを発展させることで，適切に構築することを目指す．さらに，量子計算の従来の計算に対する優位性（量子優位性）や，量子特有の計算問題に対する検証プロトコルの可能性と計算限界を探究する．本研究構想は，量子コンピュータの近未来的な利用形態として有力視される量子ネットワーク上の分散的検証に対する数理的基盤を，ほとんど一から作り上げるという挑戦的研究としての意義を持つ．