研究課題
2023年度は引き続き量子アルゴリズムの開発および量子コンピュータの計算能力の究明について、様々な側面から研究を推進し、数多くの成果を得た。まず、量子高精度化学計算における量子優位性（すなわち、量子コンピュータがスーパーコンピュータよりも速く問題を解決できること）に着目して、2022年度に得た成果を改良した。計算複雑性理論の技法を用いて古典アルゴリズムの性能を厳密に解析し、量子優位性の適用範囲を拡大した。特に、量子化学計算における様々な重要な量子系に対して、量子優位性の証明を拡張した。さらに、優位性証明の精度パラメータの向上を行い、より強い意味での優位性を示した。次に、分散アルゴリズムの研究を行った。様々なグラフ問題に対して、高速古典分散アルゴリズムおよび高速量子分散アルゴリズムを構築した。また、限定されたネットワークトポロジーにおいて、量子分散計算の計算能力を解析するための新しい手法を開発し、量子分散計算による高速化の限界を明らかにした。 さらに、分散検証における様々な問題（分散されてるデータに欠損がないかどうか検証する問題など）に対して、効率的な量子アルゴリズムを設計し、量子優位性を厳密に証明した。さらに、計算量理論の側面から、量子コンピュータの平均時計算量を解析するための技法の開発を試みた。最初のステップとして、古典コンピュータにおける平均時計算量の既存の解析手法を精査し、量子コンピュータへの適用可能性について検討した。次に、平均時計算量の新しい解析方法の開拓を目指し、ブラックボックスに基づく従来の技法と完全に異なるアプローチを提案し、計算量クラスNPに属する重要な問題に対して、最悪時計算量を平均時計算量へ帰着することに成功した。
令和5年度が最終年度であるため、記入しない。
すべて 2024 2023 その他
すべて 国際共同研究 (4件) 雑誌論文 (11件) (うち国際共著 7件、 査読あり 11件、 オープンアクセス 11件) 学会発表 (5件) (うち国際学会 3件、 招待講演 5件)
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms (SODA 2024)
巻: - ページ: 3765-3791
10.1137/1.9781611977912.133
巻: - ページ: 4062-4082
10.1137/1.9781611977912.141
Proceedings of the 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023)
巻: - ページ: 32:1-32.19
10.4230/LIPIcs.ICALP.2023.32
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
巻: - ページ: 63:1-63:15
10.4230/LIPIcs.MFCS.2023.63
SIAM Journal on Computing
巻: 52 ページ: 1009-1038
10.1137/22M1513721
Algorithmica
巻: 85 ページ: 1251-1286
10.1007/S00453-022-01066-Z
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (PODC 2023)
巻: - ページ: 190-199
10.1145/3583668.3594584
IEICE Transactions on Information and Systems
巻: E106.D ページ: 1762-1771
10.1587/TRANSINF.2023EDP7075
Proceedings of the 55th Annual ACM Symposium on Theory of Computing (STOC 2023)
巻: - ページ: 1039-1050
10.1145/3564246.3585138
巻: - ページ: 70-83
10.1145/3564246.3585189
巻: 52 ページ: S18-349
10.1137/19M124705X
