• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2022 Fiscal Year Annual Research Report

Quantum Algorithms for Large-Scale Quantum Computers: New Horizons and Applications

Research Project

Project/Area Number 20H04139
Research InstitutionNagoya University

Principal Investigator

ルガル フランソワ  名古屋大学, 多元数理科学研究科, 教授 (50584299)

Co-Investigator(Kenkyū-buntansha) 泉 泰介  大阪大学, 大学院情報科学研究科, 准教授 (20432461)
平原 秀一  国立情報学研究所, 情報学プリンシプル研究系, 准教授 (80848440)
Project Period (FY) 2020-04-01 – 2024-03-31
Keywords量子アルゴリズム / 量子分散計算 / 量子計算量理論
Outline of Annual Research Achievements

2022年度は量子アルゴリズムの開発および量子コンピュータの計算能力の究明について、様々な側面から研究を推進し、数多くの成果を得た。
まず、量子特異値変換(QSVT)という、量子アルゴリズムを記述するための統一されたフレームワークについて研究した。低次数の多項式に関連するQSVTを任意の定数精度で効率的に脱量子化する方法を示し、高速な古典アルゴリズムを構築した。その一方、高次数の多項式に関連するQSVTについては、脱量子化の不可能性を示唆する成果を得た。その成果により、化学計算における量子アルゴリズムの優位性を厳密に証明することができた。
次、計算量理論の側面から量子コンピュータの計算能力の究明に取り組んだ。量子・古典ハイブリッドモデルにおいて、様々な計算に対して必要な計算資源を厳密に解析した結果、量子・古典ハイブリッド回路の深さが計算能力に大きく影響することを明らかにした。また、困難性自己増幅という概念に着目して、Fine-grained Complexityの既存研究で研究された自然な分布問題について、困難性の自己増幅の結果を証明した。
さらに、量子分散アルゴリズムの開発に取り組んだ。2021年度に引き続き、分散検証という枠組みで量子分散アルゴリズムの計算能力を調査した結果、量子分散計算の優位性を証明することに成功した。また、グローバルな問題、つまり帯域幅が制限されていない場合でも直径時間を必要とする問題に対して、新しいテクニックを導入し、様々な高速な分散アルゴリズムを構築した。

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

量子アルゴリズムや計算量理論について、様々な側面から数多くの成果を得て、その結果を理論計算機科学の重要な国際会議および査読付き国際論文誌で発表することができている。

Strategy for Future Research Activity

引き続き、量子特有の効果を生かした量子アルゴリズムの開発および量子コンピュータの計算能力の究明を目指す。2023年度は特に分散計算と計算量理論の知識をもとに、量子コンピュータの新しい応用先を開拓していく予定である.また、本研究課題の最終年度となるため、得られた研究成果の周知に力を注ぐ。

  • Research Products

    (25 results)

All 2023 2022 Other

All Int'l Joint Research (2 results) Journal Article (15 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 15 results,  Open Access: 13 results) Presentation (8 results) (of which Int'l Joint Research: 3 results,  Invited: 2 results)

  • [Int'l Joint Research] パーダーボルン大学(ドイツ)

    • Country Name
      GERMANY
    • Counterpart Institution
      パーダーボルン大学
  • [Int'l Joint Research] ラトガーズ大学(米国)

    • Country Name
      U.S.A.
    • Counterpart Institution
      ラトガーズ大学
  • [Journal Article] Learning Versus Pseudorandom Generators in Constant Parallel Time2023

    • Author(s)
      Shuichi Hirahara, Mikito Nanashima
    • Journal Title

      Proceedings of the 14th Innovations in Theoretical Computer Science Conference (ITCS 2023)

      Volume: - Pages: 70:1-70:18

    • DOI

      10.4230/LIPIcs.ITCS.2023.70

    • Peer Reviewed / Open Access
  • [Journal Article] Kolmogorov Complexity Characterizes Statistical Zero Knowledge2023

    • Author(s)
      Eric Allender, Shuichi Hirahara, Harsha Tirumala
    • Journal Title

      Proceedings of the 14th Innovations in Theoretical Computer Science Conference (ITCS 2023)

      Volume: - Pages: 3:1-3:19

    • DOI

      10.4230/LIPIcs.ITCS.2023.3

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Cryptographic hardness under projections for time-bounded Kolmogorov complexity2023

    • Author(s)
      Eric Allender, John Gouwar, Shuichi Hirahara, Caleb Robelle
    • Journal Title

      Theoretical Computer Science

      Volume: 940 Pages: 206-224

    • DOI

      10.1016/j.tcs.2022.10.040

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Distributed Quantum Interactive Proofs2023

    • Author(s)
      Francois Le Gall, Masayuki Miyamoto and Harumichi Nishimura
    • Journal Title

      Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)

      Volume: - Pages: 42:1--42:21

    • DOI

      10.4230/LIPIcs.STACS.2023.42

    • Peer Reviewed / Open Access
  • [Journal Article] Loosely-stabilizing maximal independent set algorithms with unreliable communications2022

    • Author(s)
      Rongcheng Dong, Yuichi Sudo, Taisuke Izumi, Toshimitsu Masuzawa
    • Journal Title

      Theoretical Computer Science

      Volume: 937 Pages: 69-84

    • DOI

      10.1016/j.tcs.2022.09.031

    • Peer Reviewed
  • [Journal Article] A Subquadratic-Time Distributed Algorithm for Exact Maximum Matching2022

    • Author(s)
      Naoki Kitamura, Taisuke Izumi
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: 105-D(3) Pages: 634-645

    • DOI

      10.1587/transinf.2021edp7083

    • Peer Reviewed
  • [Journal Article] Fully Polynomial-Time Distributed Computation in Low-Treewidth Graphs2022

    • Author(s)
      Taisuke Izumi, Naoki Kitamura, Takamasa Naruse, Gregory Schwartzman
    • Journal Title

      Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2022)

      Volume: - Pages: 11-22

    • DOI

      10.1145/3490148.3538590

    • Peer Reviewed / Open Access
  • [Journal Article] Hardness Self-Amplification from Feasible Hard-Core Sets2022

    • Author(s)
      Shuichi Hirahara, Nobutaka Shimizu
    • Journal Title

      Proceedings of the 63rd Annual Symposium on Foundations of Computer Science (FOCS 2022)

      Volume: - Pages: 543-554

    • DOI

      10.1109/FOCS54457.2022.00058

    • Peer Reviewed / Open Access
  • [Journal Article] NP-Hardness of Learning Programs and Partial MCSP2022

    • Author(s)
      Shuichi Hirahara
    • Journal Title

      Proceedings of the Symposium on Foundations of Computer Science (FOCS 2022)

      Volume: - Pages: 968-979

    • DOI

      10.1109/FOCS54457.2022.00095

    • Peer Reviewed / Open Access
  • [Journal Article] Finding Errorless Pessiland in Error-Prone Heuristica2022

    • Author(s)
      Shuichi Hirahara, Mikito Nanashima
    • Journal Title

      Proceedings of the 37th Computational Complexity Conference (CCC 2022)

      Volume: - Pages: 25:1-25:28

    • DOI

      10.4230/LIPIcs.CCC.2022.25

    • Peer Reviewed / Open Access
  • [Journal Article] Symmetry of Information from Meta-Complexity2022

    • Author(s)
      Shuichi Hirahara
    • Journal Title

      Proceedings of the 37th Computational Complexity Conference (CCC 2022)

      Volume: - Pages: 26:1-26:41

    • DOI

      10.4230/LIPIcs.CCC.2022.26

    • Peer Reviewed / Open Access
  • [Journal Article] An optimal oracle separation of classical and quantum hybrid schemes2022

    • Author(s)
      Atsuya Hasegawa and Francois Le Gall
    • Journal Title

      Proceedings of the 33rd International Symposium on Algorithms and Computation (ISAAC 2022)

      Volume: - Pages: 6:1--6:14

    • DOI

      10.4230/LIPIcs.ISAAC.2022.6

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Approximate Counting for Markov Chains and Application to Collision Counting2022

    • Author(s)
      Francois Le Gall and Iu-iong Ng
    • Journal Title

      Quantum Information and Computation

      Volume: 22 (15&16) Pages: 1261-1279

    • DOI

      10.26421/QIC22.15-16-1

    • Peer Reviewed / Open Access
  • [Journal Article] Bounds on oblivious multiparty quantum communication complexity2022

    • Author(s)
      Francois Le Gall and Daiki Suruga
    • Journal Title

      Proceedings of the 15th Latin American Theoretical Informatics Symposium (LATIN 2022)

      Volume: - Pages: 641-657

    • DOI

      10.1007/978-3-031-20624-5_39

    • Peer Reviewed / Open Access
  • [Journal Article] Dequantizing the Quantum Singular Value Transformation: Hardness and Applications to Quantum Chemistry and the Quantum PCP Conjecture2022

    • Author(s)
      Sevag Gharibian and Francois Le Gall
    • Journal Title

      Proceedings of the 54th ACM Symposium on Theory of Computing (STOC 2022)

      Volume: - Pages: 19-32

    • DOI

      10.1145/3519935.3519991

    • Peer Reviewed / Open Access
  • [Presentation] Improved Hardness Results for the Guided Local Hamiltonian Problem2023

    • Author(s)
      Sevag Gharibian, Ryu Hayakawa, Francois Le Gall and Tomoyuki Morimae
    • Organizer
      26th Conference on Quantum Information Processing (QIP 2023)
    • Int'l Joint Research
  • [Presentation] Quantum Distributed Computing2023

    • Author(s)
      Francois Le Gall
    • Organizer
      Workshop on Advances in Distributed Graph Algorithms (ADGA 2022)
    • Int'l Joint Research / Invited
  • [Presentation] ガイド付きローカルハミルトニアン問題の計算複雑性の進展2022

    • Author(s)
      Sevag Gharibian, Ryu Hayakawa, Francois Le Gall and Tomoyuki Morimae
    • Organizer
      第47回量子情報技術研究会
  • [Presentation] Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications2022

    • Author(s)
      Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
    • Organizer
      第47回量子情報技術研究会
  • [Presentation] 多人数の量子通信複雑性における新しい手法2022

    • Author(s)
      Francois Le Gall, Daiki Suruga
    • Organizer
      第47回量子情報技術研究会
  • [Presentation] Theoretical Foundations of Quantum Advantage2022

    • Author(s)
      Francois Le Gall
    • Organizer
      Q2B 2022
    • Int'l Joint Research / Invited
  • [Presentation] 分散量子対話型証明2022

    • Author(s)
      Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
    • Organizer
      第6回量子ソフトウェア研究会
  • [Presentation] Bounds on oblivious multiparty quantum communication complexity2022

    • Author(s)
      Francois Le Gall, Daiki Suruga
    • Organizer
      第6回量子ソフトウェア研究会

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi