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

2020 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

量子アルゴリズムの開発および量子コンピュータの計算能力の究明について、様々な側面から研究を推進し、数多くの成果を得た。
まず、量子機械学習アルゴリズムの研究に取り組んだ。量子アルゴリズムの設計ツールとして、2019年にGilyen等によって提案された量子特異値分解というフレームワークに着目し、量子特異値分解の「脱量子化」を行うことによって、機械学習の様々な問題に対して、量子計算にインスパイアされた斬新な古典アルゴリズムの構築に成功した。
次、量子分散計算の研究に取り組んだ。分散検証という枠組みにおいて、量子分散検証アルゴリズムの優位性を初めて証明できた。具体的に、ネットワークの各頂点に入力(長いビット列)が与えられたとき、それぞれの頂点の入力がすべて等しいか判定する問題に対して、古典プロトコルによる検証は困難であることと、量子計算および量子通信を用いて効率よく検証できることを証明した。
さらに、与えられたグラフが特定な構造を部分グラフとして持つか判定する問題に着目した。分散計算の枠組みで、様々な構造(完全グラフや閉路)に対して、高速な古典アルゴリズムを構築し、量子アルゴリズムによる更なる高速化についても調査した。計算量の枠組みでは、その特定な構造は何回現れるかという数え上げ問題の平均時計算量に着目し、完全2部グラフに対する平均時困難性を証明することに成功した。

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

引き続き、量子特有の効果を生かした量子アルゴリズムの開発および量子コンピュータの計算能力の究明を目指す。

  • Research Products

    (23 results)

All 2021 2020 Other

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

  • [Int'l Joint Research] CNRS(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      CNRS
  • [Int'l Joint Research] イスラエル工科大学/テルアビブ大学(イスラエル)

    • Country Name
      ISRAEL
    • Counterpart Institution
      イスラエル工科大学/テルアビブ大学
  • [Journal Article] Tight Distributed Listing of Cliques2021

    • Author(s)
      Keren Censor-Hillel, Yi-Jun Chang, Francois Le Gall and Dean Leitersdorf
    • Journal Title

      Proceedings of the 32nd ACM-SIAM Symposium on Discrete Algorithms (SODA 2021)

      Volume: - Pages: 2878-2891

    • DOI

      10.1137/1.9781611976465.171

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Distributed Quantum Proofs for Replicated Data2021

    • Author(s)
      Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura and Ami Paz
    • Journal Title

      Proceedings of the 12th Innovations in Theoretical Computer Science Conference (ITCS 2021)

      Volume: - Pages: 8:1-28:20

    • DOI

      10.4230/LIPIcs.ITCS.2021.28

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Nearly Optimal Average-Case Complexity of Counting Bicliques Under SETH2021

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

      Proceedings of the 32nd ACM-SIAM Symposium on Discrete Algorithms (SODA 2021)

      Volume: - Pages: 2346-2365

    • DOI

      10.5555/3458064.3458204

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Speedup for the Minimum Steiner Tree Problem2020

    • Author(s)
      Masayuki Miyamoto, Masakazu Iwamura, Koichi Kise and Francois Le Gall
    • Journal Title

      Proceedings of the 26th International Computing and Combinatorics Conference (COCOON 2020)

      Volume: - Pages: 234-245

    • DOI

      10.1007/978-3-030-58150-3\_19

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum-Inspired Classical Algorithms for Singular Value Transformation2020

    • Author(s)
      Dhawal Jethwani, Francois Le Gall and Sanjay K. Singh
    • Journal Title

      Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)

      Volume: - Pages: 53:1-53:14

    • DOI

      10.4230/LIPIcs.MFCS.2020.53

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Brief Announcement: Distributed Quantum Proofs for Replicated Data2020

    • Author(s)
      Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura and Ami Paz
    • Journal Title

      Proceedings of the 34th International Symposium on Distributed Computing (DISC 2020)

      Volume: - Pages: 43:1-43:3

    • DOI

      10.4230/LIPIcs.DISC.2020.43

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Fast Distributed Algorithms for Girth, Cycles and Small Subgraphs2020

    • Author(s)
      Keren Censor-Hillel, Orr Fischer, Tzlil Gonen, Francois Le Gall, Dean Leitersdorf and Rotem Oshman
    • Journal Title

      Proceedings of the 34th International Symposium on Distributed Computing (DISC 2020)

      Volume: - Pages: 33:1-33:17

    • DOI

      10.4230/LIPIcs.DISC.2020.33

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] On Distributed Listing of Cliques2020

    • Author(s)
      Keren Censor-Hillel, Francois Le Gall and Dean Leitersdorf
    • Journal Title

      Proceedings of the 39th ACM Symposium on Principles of Distributed Computing (PODC 2020)

      Volume: - Pages: 474-482

    • DOI

      10.1145/3382734.3405742

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Sublinear-Space Lexicographic Depth-First Search for Bounded Treewidth Graphs and Planar Graphs2020

    • Author(s)
      Taisuke Izumi, Yota Otachi
    • Journal Title

      Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)

      Volume: - Pages: 67:1-67:17

    • DOI

      10.4230/LIPIcs.ICALP.2020.67

    • Peer Reviewed / Open Access
  • [Journal Article] Characterizing Average-Case Complexity of PH by Worst-Case Meta-Complexity2020

    • Author(s)
      Shuichi Hirahara
    • Journal Title

      Proceedings of the 61th IEEE Annual Symposium on Foundations of Computer Science (FOCS 2020)

      Volume: - Pages: 50-60

    • DOI

      10.1109/FOCS46700.2020.00014

    • Peer Reviewed / Open Access
  • [Journal Article] Non-Disjoint Promise Problems from Meta-Computational View of Pseudorandom Generator Constructions2020

    • Author(s)
      Shuichi Hirahara
    • Journal Title

      Proceedings of the 35th Computational Complexity Conference (CCC 2020)

      Volume: - Pages: 20:1-20:47

    • DOI

      10.4230/LIPIcs.CCC.2020.20

    • Peer Reviewed / Open Access
  • [Journal Article] Unexpected hardness results for Kolmogorov complexity under uniform reductions2020

    • Author(s)
      Shuichi Hirahara
    • Journal Title

      Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020)

      Volume: - Pages: 1038-1051

    • DOI

      10.1145/3357713.3384251

    • Peer Reviewed / Open Access
  • [Journal Article] On Nonadaptive Security Reductions of Hitting Set Generators2020

    • Author(s)
      Shuichi Hirahara, Osamu Watanabe
    • Journal Title

      Proceedings of the International Conference on Randomization and Computation (RANDOM 2020)

      Volume: - Pages: 15:1--15:14

    • DOI

      10.4230/LIPIcs.APPROX/RANDOM.2020.15

    • Peer Reviewed / Open Access
  • [Presentation] Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura and Ami Paz2021

    • Author(s)
      Distributed Quantum Proofs for Replicated Data
    • Organizer
      24th Annual Conference on Quantum Information Processing (QIP 2021)
    • Int'l Joint Research
  • [Presentation] Tight Distributed Listing of Cliques2021

    • Author(s)
      Francois Le Gall
    • Organizer
      電子情報通信学会 コンピュテーション研究会
    • Invited
  • [Presentation] Average-Case Quantum Advantage for Shallow Circuits2021

    • Author(s)
      Francois Le Gall
    • Organizer
      20th Asian Quantum Information Science Conference (AQIS '20)
    • Int'l Joint Research / Invited
  • [Presentation] ノイズ付き浅層回路による量子計算の優位性2021

    • Author(s)
      Francois Le Gall, 長谷川 敦哉
    • Organizer
      第2回量子ソフトウェア研究会
  • [Presentation] Distributed Quantum Proofs for Replicated Data2020

    • Author(s)
      Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura and Ami Paz
    • Organizer
      第一回量子ソフトウェア研究会
  • [Presentation] Quantum Speedup for the Minimum Steiner Tree Problem2020

    • Author(s)
      宮本昌幸, 岩村 雅一, 黄瀬浩一, Francois Le Gall
    • Organizer
      第一回量子ソフトウェア研究会
  • [Presentation] 浅層量子回路による平均量子優位性2020

    • Author(s)
      Francois Le Gall
    • Organizer
      第19回情報科学技術フォーラム(FIT2020)
    • Invited
  • [Presentation] Tight First- and Second-Order Regret Bounds for Adversarial Linear Bandits2020

    • Author(s)
      Shinji Ito, Shuichi Hirahara, Tasuku Soma, Yuichi Yoshida
    • Organizer
      Conference on Neural Information Processing Systems (NeurIPS 2020)

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi