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

2021 Fiscal Year Annual Research Report

量子アルゴリズムの理論と実装を接続する革新的基盤の創出

Planned Research

Project AreaCreation and Organization of Innovative Algorithmic Foundations for Leading Social Innovations
Project/Area Number 20H05966
Research InstitutionRitsumeikan University

Principal Investigator

山下 茂  立命館大学, 情報理工学部, 教授 (30362833)

Co-Investigator(Kenkyū-buntansha) 山本 直樹  慶應義塾大学, 理工学部(矢上), 教授 (40513289)
ルガル フランソワ  名古屋大学, 多元数理科学研究科, 教授 (50584299)
森 立平  東京工業大学, 情報理工学院, 助教 (60732857)
谷 誠一郎  日本電信電話株式会社NTTコミュニケーション科学基礎研究所, メディア情報研究部, 特別研究員 (70396183)
西村 治道  名古屋大学, 情報学研究科, 教授 (70433323)
Project Period (FY) 2020-11-19 – 2025-03-31
Keywords量子計算 / 計算理論 / 実践的利用 / 量子計算と古典計算の協調利用
Outline of Annual Research Achievements

万能量子計算モデルに関する研究として、マルチパーティ計算のモデルにおいて必要な通信量の限界を解析するための簡素なモデルである秘密同時メッセージプロトコルの量子版を導入し、その量子優位性と量子通信計算量の下界を探究し、等価性判定問題やAND関数において、パーティ間のエンタングルメントが通信量を削減することを示した。
能力が限定された量子計算モデルに関する研究として、量子超越性を持つ量子回路を含む量子回路クラスに対して、出力時に典型的なノイズが発生する条件下では、古典模倣可能である場合があることを示した。
量子分散計算モデルに関する研究として、様々なグラフ問題に対して、古典のアルゴリズムより高速な量子分散アルゴリズムの構築に成功した。また、通信計算量理論の枠組みにおいて、与えられた二つの確率分布の距離を求める問題をはじめ、いくつかの重要な問題に対して、優位性のある量子プロトコルを開発した。
量子回路モデルに関する研究として、ランダムな量子回路による計算を古典計算でシミュレートすることの困難性を示唆する結果として、計算量的な仮定のもとで「量子回路の出力確率を加法的誤差 exp(-Ω(m log m)) で近似することができない」ことを示した。ここで、m は量子回路のゲート数である。また、Relative Phase Toffoli Gateのゲートの厳密最小化を線形計画問題で求める定式化を考案し、それを用いることで現在知られているTゲート数が4の実現方法が最適であることを示した。
実践的な量子計算の利用に関する研究として、変分量子アルゴリズムにおいて、測定回数をあえて少なく取り、測定ゆらぎが明らかに効いてくる状況で、変分量子回路がどれほど効率良く訓練できるかを調べ、局所最適解を効率的に脱出する効果があることを確認した。

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

    (33 results)

All 2022 2021

All Journal Article (12 results) (of which Int'l Joint Research: 6 results,  Peer Reviewed: 11 results,  Open Access: 10 results) Presentation (21 results) (of which Int'l Joint Research: 11 results,  Invited: 1 results)

  • [Journal Article] Quantum Distributed Algorithms for Detection of Cliques2022

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

      Proceedings of the 13th Innovations in Theoretical Computer Science conference (ITCS 2022)

      Volume: - Pages: 35:1-35:25

    • DOI

      10.4230/LIPIcs.ITCS.2022.35

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Quantum Meets Fine-grained Complexity: Sublinear Time Quantum Algorithms for String Problems2022

    • Author(s)
      Francois Le Gall, Saeed Seddighin
    • Journal Title

      Proceedings of the 13th Innovations in Theoretical Computer Science conference (ITCS 2022)

      Volume: - Pages: 97:1-97:23

    • DOI

      10.4230/LIPIcs.ITCS.2022.97

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Communication Complexity of Private Simultaneous Quantum Messages Protocols2021

    • Author(s)
      Akinori Kawachi, Harumichi Nishimura
    • Journal Title

      2nd Conference on Information-Theoretic Cryptography

      Volume: ITC2021 Pages: 20:1-20:19

    • DOI

      10.4230/LIPIcs.ITC.2021.20

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Speedups for Dynamic Programming on n-Dimensional Lattice Graphs2021

    • Author(s)
      Adam Glos, Martins Kokainis, Ryuhei Mori, Jevgenijs Vihrovs
    • Journal Title

      46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

      Volume: 202 Pages: 50:1-50:23

    • DOI

      10.4230/LIPIcs.MFCS.2021.50

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Quantum supremacy and hardness of estimating output probabilities of quantum circuits2021

    • Author(s)
      Yasuhiro Kondo, Ryuhei Mori, Ramis Movassagh
    • Journal Title

      2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)

      Volume: - Pages: 1296-2307

    • DOI

      10.1109/FOCS52979.2021.00126

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Quantum Communication Complexity of Distribution Testing2021

    • Author(s)
      Aleksandrs Belovs, Arturo Castellanos, Francois Le Gall, Guillaume Malod, Alexander A. Sherstov
    • Journal Title

      Quantum Information and Computation

      Volume: 21 Pages: 1261-1273

    • DOI

      10.26421/QIC21.15-16-1

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Lower Bounds for Induced Cycle Detection in Distributed Computing2021

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

      Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021)

      Volume: 212 Pages: 58:1-58:19

    • DOI

      10.4230/LIPIcs.ISAAC.2021.58

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Advantage with Shallow Circuits under Arbitrary Corruption2021

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

      Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021)

      Volume: 212 Pages: 74:1-74:16

    • DOI

      10.4230/LIPIcs.ISAAC.2021.74

    • Peer Reviewed / Open Access
  • [Journal Article] Test of Quantumness with Small-Depth Quantum Circuits2021

    • Author(s)
      Shuichi Hirahara, Francois Le Gall
    • Journal Title

      Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

      Volume: 201 Pages: 59:1-59:15

    • DOI

      10.4230/LIPIcs.MFCS.2021.59

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Logarithmic Space and Post-selection2021

    • Author(s)
      Francois Le Gall, Harumichi Nishimura, Abuzer Yakaryilmaz
    • Journal Title

      Proceedings of the 16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021)

      Volume: 197 Pages: 10:1-10:17

    • DOI

      10.4230/LIPIcs.TQC.2021.10

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Classically simulating quantum circuits with local depolarizing noise2021

    • Author(s)
      Yasuhiro Takahashi,Yuki Takeuchi, Seiichiro Tani
    • Journal Title

      THEORETICAL COMPUTER SCIENCE

      Volume: 893 Pages: 117-132

    • DOI

      10.1016/j.tcs.2021.07.025

    • Peer Reviewed / Open Access
  • [Journal Article] 量子回路設計における最適化問題2021

    • Author(s)
      山下 茂
    • Journal Title

      電子情報通信学会Fundamentals Review

      Volume: 14 巻 Pages: 337-346

    • DOI

      10.1587/essfr.14.4_337

  • [Presentation] Halving the length of approximate classical representations of pure quantum states with probabilistic encoding2022

    • Author(s)
      Seiseki Akibue,Go Kato,Seiichiro Tani
    • Organizer
      25th Annual Conference on Quantum Information Processing
    • Int'l Joint Research
  • [Presentation] Efficiently generating ground states is hard for postselected quantum computation2022

    • Author(s)
      Yuki Takeuchi,Yasuhiro Takahashi,Seiichiro Tani
    • Organizer
      25th Annual Conference on Quantum Information Processing
    • Int'l Joint Research
  • [Presentation] NISQ計算の分割統治による検証2022

    • Author(s)
      竹内 勇貴, 高橋 康博, 森前 智行, 谷 誠一郎
    • Organizer
      情報処理学会 研究報告 第5回量子ソフトウェア研究会(QS)
  • [Presentation] Exact Minimization of a Relative-Phase Toffoli Gate2022

    • Author(s)
      Naoya Asada, Shigeru Yamashita
    • Organizer
      25th Annual Conference on Quantum Information Processing
    • Int'l Joint Research
  • [Presentation] SMP model, PSM protocols, and their quantum analogues2021

    • Author(s)
      Harumichi Nishimura
    • Organizer
      SUSTech-Nagoya workshop on Quantum Science 2021
    • Int'l Joint Research
  • [Presentation] Simultaneous Message Passing Models and Private Simultaneous Messages Protocols with Shared Entanglement2021

    • Author(s)
      Harumichi Nishimura
    • Organizer
      3rd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems
    • Int'l Joint Research
  • [Presentation] AND関数に対する秘密同時メッセージプロトコル2021

    • Author(s)
      武田玲志, 西村治道
    • Organizer
      電子情報通信学会 技術研究報告 量子情報技術研究会 (QIT45)
  • [Presentation] Quantum algorithms for large-scale problems2021

    • Author(s)
      Francois Le Gall
    • Organizer
      The International Symposium on Quantum Science, Technology, and Innovation (Quantum Innovation) 2021
    • Int'l Joint Research / Invited
  • [Presentation] 分散計算における誘導サイクル発見問題の下界2021

    • Author(s)
      Francois Le Gall, 宮本昌幸
    • Organizer
      電子情報通信学会コンピュテーション研究会
  • [Presentation] 測定回数削減による変分量子回路最適化の効率化2021

    • Author(s)
      上西慧理子, 菅原道彦, 山本直樹
    • Organizer
      日本物理学会2021年秋季大会
  • [Presentation] Normalized Gradient Descent for Variational Quantum Algorithms2021

    • Author(s)
      Y. Suzuki, H. Yano, R. Raymond, and N. Yamamoto
    • Organizer
      21th Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams2021

    • Author(s)
      Seiichiro Tani
    • Organizer
      16th Conference on the Theory of Quantum Computation, Communication, and Cryptography (TQC 2021)
    • Int'l Joint Research
  • [Presentation] 確率的符号化を用いた純粋量子状態の古典表現の圧縮2021

    • Author(s)
      秋笛清石,加藤 豪,谷 誠一郎
    • Organizer
      電子情報通信学会 技術研究報告 量子情報技術研究会 (QIT45)
  • [Presentation] 量子計算を古典委託するための合理的なサムチェックプロトコル2021

    • Author(s)
      竹内 勇貴,森前 智行,谷 誠一郎
    • Organizer
      電子情報通信学会 コンピュテーション研究会
  • [Presentation] Classically Simulating Quantum Circuits with Local Depolarizing Noise2021

    • Author(s)
      Yasuhiro Takahashi,Yuki Takeuchi,Seiichiro Tani
    • Organizer
      情報処理学会 研究報告 第3回量子ソフトウェア研究会(QS)
  • [Presentation] Hardness of efficiently generating ground states in postselected quantum computation2021

    • Author(s)
      Yuki Takeuchi,Yasuhiro Takahashi,Seiichiro Tani
    • Organizer
      情報処理学会 研究報告 第3回量子ソフトウェア研究会(QS)
  • [Presentation] Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams2021

    • Author(s)
      Seiichiro Tani
    • Organizer
      情報処理学会 研究報告 第3回量子ソフトウェア研究会(QS)
  • [Presentation] 位相がずれたToffoliゲートの厳密最小化手法2021

    • Author(s)
      浅田尚也, 山下茂
    • Organizer
      電子情報通信学会 技術研究報告 量子情報技術研究会 (QIT45)
  • [Presentation] T-depth Reduction Considering Multiple MCT Gates with Ancilla Bits2021

    • Author(s)
      Terumi Oguri, Shigeru Yamashita
    • Organizer
      21th Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] Quantum State Preparation By Gaussian Elimination2021

    • Author(s)
      Duo Xu, Shigeru Yamashita
    • Organizer
      21th Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] A Cost Reduction Method for Quantum Boolean Circuits by Applying The Transduction Method2021

    • Author(s)
      Shohei Kuroda, Shigeru Yamashita
    • Organizer
      21th Asian Quantum Information Science Conference
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi