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

2022 Fiscal Year Annual Research Report

量子アルゴリズム・計算量・浅層回路と量子コンピュータ実機実験による量子優位性研究

Research Project

Project/Area Number 20H00579
Research InstitutionThe University of Tokyo

Principal Investigator

今井 浩  東京大学, 大学院情報理工学系研究科, 教授 (80183010)

Co-Investigator(Kenkyū-buntansha) 山下 茂  立命館大学, 情報理工学部, 教授 (30362833)
ルガル フランソワ  名古屋大学, 多元数理科学研究科, 教授 (50584299)
Avis David  京都大学, 情報学研究科, 非常勤講師 (90584110)
Project Period (FY) 2020-04-01 – 2025-03-31
Keywords量子優位性 / 量子回路設計理論 / 浅層量子回路 / 凸多面体の量子情報 / 量子近似最適化 / 分散量子計算
Outline of Annual Research Achievements

3年度目の本研究では、量子優位性を示すことを、研究代表者のところで(1) 分散量子計算を量子機械学習においてスケールアップした実験を実施し、(2) 量子ランダムアクセス符号を拡張した量子緩和を用いた量子近似最適化法に関する研究を理論と実機での実験によって目指した。IBM Quantumの量子コンピュータでの計算も行うことによって、近未来の量子コンピュータの実用性を示す成果をあげることができた。これらの成果はIEEE Quantum Computing and Engineering (QCE) 2023に論文が採択され、(1)の量子機械学習に関する論文の方は、応用面が評価されて応用分野の最優秀論文賞を受賞した。予備的に400超量子ビットのマシンでの結果も得ている。(1)の分散量子計算に関する理論的な研究成果が、分担者のLe Gallによって量子分散対話証明の独自の枠組みの中で得られている。また、研究代表者のところの研究協力者との研究でも、量子ハイブリッドスキームの優位性についても量子計算量理論の観点から示されている。また、(2)の量子最適化での量子緩和の考えは、分担者のDavid Avisによる量子情報の多面体アプローチによる解析を行って得られた成果と、半定値緩和の適用可能性の面で関係している。量子回路設計では分担者の山下の方で、MPMCTゲートを用いた量子回路の最適化、さらに相対位相Toffoliゲートの量子回路設計において導入された相対位相をキャンセルする新方法を提案するなどの成果を上げることができた。

Current Status of Research Progress
Current Status of Research Progress

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

Reason

分散量子機械学習の研究で、その応用面が評価されて、IEEE Quantum Comptuing and Engineeringの国際会議で応用分野での最優秀論文に選ばれている。応用面での量子優位性を示す研究の推進という観点からのもので、このように当初計画より先に進んでいる。

Strategy for Future Research Activity

2024年度には、1000量子ビットスケールの量子コンピュータ実機の利用も目指すとともに、量子分散計算がハードウェアの制約からモジュールを接続してスケールアップする方向での実験の研究にも取り組む予定である。理論面の成果とともに、量子優位性を応用・理論両面で示すことを目指す。

  • Research Products

    (59 results)

All 2024 2023 2022

All Journal Article (17 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 17 results,  Open Access: 12 results) Presentation (42 results) (of which Int'l Joint Research: 26 results,  Invited: 7 results)

  • [Journal Article] Faster Rectangular Matrix Multiplication by Combination Loss Analysis2024

    • Author(s)
      Francois Le Gall
    • Journal Title

      Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms (SODA 2024)

      Volume: - Pages: 3765-3791

    • DOI

      10.1137/1.9781611977912.133

    • Peer Reviewed / Open Access
  • [Journal Article] An Efficient Method to Decompose and Map MPMCT Gates That Accounts for Qubit Placement2023

    • Author(s)
      MATSUO Atsushi、HATTORI Wakaki、YAMASHITA Shigeru
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E106.A Pages: 124~132

    • DOI

      10.1587/transfun.2022EAP1050

    • Peer Reviewed / Open Access
  • [Journal Article] An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates2023

    • Author(s)
      Seino Kyohei、Yamashita Shigeru
    • Journal Title

      Proc. of 28th Asia and South Pacific Design Automation Conference

      Volume: ASP-DAC2023 Pages: 196-201

    • DOI

      10.1145/3566097.3567931

    • Peer Reviewed
  • [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] On the foundations and extremal structure of the holographic entropy cone2023

    • Author(s)
      Avis David、Hern?ndez-Cuenca Sergio
    • Journal Title

      Discrete Applied Mathematics

      Volume: 328 Pages: 16~39

    • DOI

      10.1016/j.dam.2022.11.016

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Enhancing VQE Convergence for Optimization Problems with Problem-Specific Parameterized Quantum Circuits2023

    • Author(s)
      MATSUO Atsushi、SUZUKI Yudai、HAMAMURA Ikko、YAMASHITA Shigeru
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E106.D Pages: 1772~1782

    • DOI

      10.1587/transinf.2023EDP7071

    • Peer Reviewed / Open Access
  • [Journal Article] On Reconfiguration Graphs of Independent Sets Under Token Sliding2023

    • Author(s)
      Avis David、Hoang Duc A.
    • Journal Title

      Graphs and Combinatorics

      Volume: 39 Pages: -

    • DOI

      10.1007/s00373-023-02644-w

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Improved Hardness Results for the Guided Local Hamiltonian Problem2023

    • Author(s)
      Chris Cade, Marten Folkertsma, Sevag Gharibian, Ryu Hayakawa, Francois Le Gall, Tomoyuki Morimae and Jordi Weggemans
    • Journal Title

      Proceedings of the 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023)

      Volume: - Pages: 32:1-32.19

    • DOI

      10.4230/LIPIcs.ICALP.2023.32

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications2023

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

      Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

      Volume: - Pages: 63:1-63:15

    • DOI

      10.4230/LIPIcs.MFCS.2023.63

    • Peer Reviewed / Open Access
  • [Journal Article] The Role of Entanglement in Quantum-Relaxation Based Optimization Algorithms2023

    • Author(s)
      Teramoto Kosei、Raymond Rudy、Imai Hiroshi
    • Journal Title

      2023 IEEE International Conference on Quantum Computing and Engineering (QCE)

      Volume: - Pages: 543-553

    • DOI

      10.1109/QCE57702.2023.00068

    • Peer Reviewed
  • [Journal Article] Distributed Coordinate Descent Algorithm for Variational Quantum Classification2023

    • Author(s)
      Koyasu Izuho、Raymond Rudy、Imai Hiroshi
    • Journal Title

      2023 IEEE International Conference on Quantum Computing and Engineering (QCE)

      Volume: - Pages: 457-467

    • DOI

      10.1109/QCE57702.2023.00059

    • Peer Reviewed
  • [Journal Article] Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates2022

    • Author(s)
      Kuroda Shohei、Yamashita Shigeru
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13354 Pages: 20~27

    • DOI

      10.1007/978-3-031-09005-9_2

    • Peer Reviewed
  • [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
  • [Journal Article] Testing Scalable Bell Inequalities for Quantum Graph States on IBM Quantum Devices2022

    • Author(s)
      Yang Bo、Raymond Rudy、Imai Hiroshi、Chang Hyungseok、Hiraishi Hidefumi
    • Journal Title

      IEEE Journal on Emerging and Selected Topics in Circuits and Systems

      Volume: 12 Pages: 638~647

    • DOI

      10.1109/JETCAS.2022.3201730

    • Peer Reviewed / Open Access
  • [Presentation] Circuit Division for Gaussian Elimination-based NNA-Compliant Circuit Synthesis Utilizing Reinforcement Learning2024

    • Author(s)
      Huan Yu, Atsushi Matsuo, Shigeru Yamashita
    • Organizer
      SASIMI 2024
    • Int'l Joint Research
  • [Presentation] Optimizing Gaussian Elimination-based NNA-compliant Circuit Synthesis by Simulated Annealing-based CNOT Gates Insertion2024

    • Author(s)
      Zanhe Qi, Atsushi Matsuo, Shigeru Yamashita
    • Organizer
      SASIMI 2024
    • Int'l Joint Research
  • [Presentation] Optimal Mapping to Nearest-Neighbor Architectures by Appling Simulated Annealing-based Gaussian Elimination Iterator2024

    • Author(s)
      Zanhe QI
    • Organizer
      SASIMI 2024
    • Int'l Joint Research
  • [Presentation] Optimizing Decision Diagrams for Measurements of Quantum Circuits2024

    • Author(s)
      Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minano
    • Organizer
      the 29th Asia and South Pacific Design Automation Conference (ASP-DAC)
    • Int'l Joint Research
  • [Presentation] SMTソルバを用いたNNA制約を満たす量子回路の合成手法2023

    • Author(s)
      清野恭平、山下茂
    • Organizer
      電子情報通信学会VLD/HWS研究会
    • Invited
  • [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] Circuit division based on reinforcement learning to optimize Steiner-Gauss elimination for NNA-compliant quantum circuit synthesis2023

    • Author(s)
      Huan Yu
    • Organizer
      Quantum Innovation 2023
    • Int'l Joint Research
  • [Presentation] Leveraging different Boolean function decompositions to optimize LUT-based quantum circuit synthesis2023

    • Author(s)
      David Clarino
    • Organizer
      Quantum Innovation 2023
    • Int'l Joint Research
  • [Presentation] Optimizing LUT-Based Quantum Circuit Synthesis Using Relative Phase Boolean Operations2023

    • Author(s)
      D. Clarino, N. Asada and S. Yamashita
    • Organizer
      2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)
    • Int'l Joint Research
  • [Presentation] A Comprehensive Strategy for Improving Steiner-Gauss Elimination: Qubit Layout Optimization and Circuit Division2023

    • Author(s)
      Huan Yu, Zanhe Qi, Shugeru Yamashita
    • Organizer
      AQIS 2023
    • Int'l Joint Research
  • [Presentation] Optimizing Gaussian Elimination-based NNA-compliant Circuit Synthesis Method by Simulated Annealing-based CNOT Gates Insertion2023

    • Author(s)
      Zanhe Qi, Huan Yu, Shugeru Yamashita
    • Organizer
      AQIS 2023
    • Int'l Joint Research
  • [Presentation] T-depth Reduction Method by Decomposing MCT Gates Considering the Cancellation2023

    • Author(s)
      Koki Hirono, Shigeru Yamashita
    • Organizer
      AQIS 2023
    • Int'l Joint Research
  • [Presentation] Quantum Circuit Synthesis Method of VQE for Traveling Salesman Problem Considering W States2023

    • Author(s)
      Kohei Ogino, Atsushi Matsuo, Shigeru Yamashita
    • Organizer
      AQIS 2023
    • Int'l Joint Research
  • [Presentation] Reducing T-count in Quantum Boolean Circuits by Exploiting Relative Phase Boolean Functions2023

    • Author(s)
      David Clarino, Shohei Kuroda and Shigeru Yamashita
    • Organizer
      AQIS 2023
    • Int'l Joint Research
  • [Presentation] Using S Gates and Relative Phase Toffoli Gates to Improve T-Count in Quantum Boolean Circuits2023

    • Author(s)
      David Clarino
    • Organizer
      IEEE International Symposium on Multiple-Valued Logic
    • Int'l Joint Research
  • [Presentation] Improving Gaussian Elimination-based NNA-compliant Circuit Synthesis Method by Inserting CNOT Gates2023

    • Author(s)
      Zanhe QI, Huan YU, Shigeru Yamashita
    • Organizer
      32nd International Workshop on Post-Binary ULSI Systems
    • Int'l Joint Research
  • [Presentation] Improving Steiner-Gauss Elimination by Utilizing Optimized Qubit Layouts2023

    • Author(s)
      Huan Yu, Zanhe Qi, Shigeru Yamashita
    • Organizer
      32nd International Workshop on Post-Binary ULSI Systems
    • Int'l Joint Research
  • [Presentation] Circuit Division based on the Orientation of CNOT Gates for NNA Compliant Circuit Synthesis by Steiner Gauss Elimination2023

    • Author(s)
      Huan Yu, Zhengton Han, Zanhe Qi, Shigeru Yamashita
    • Organizer
      Reed-Muller 2023
    • Int'l Joint Research
  • [Presentation] 部分回路間の量子テレポーテーションを利用したNNA回路設計手法2023

    • Author(s)
      石井創, 山下茂
    • Organizer
      第203回システムとLSIの設計技術研究発表会 (SLDM WIP Forum 2023) 4.発表年 2023
    • Int'l Joint Research
  • [Presentation] 辺の集合の分割と配置変更を利用するNNA制約を満たす量子ビット配置の決定手法2023

    • Author(s)
      松永卓也、山下茂
    • Organizer
      第203回システムとLSIの設計技術研究発表会 (SLDM WIP Forum 2023)
  • [Presentation] ビット削減を考慮したSMTVソルバによるNNA回路合成手法2023

    • Author(s)
      清野 恭平、山下茂
    • Organizer
      第203回システムとLSIの設計技術研究発表会 (SLDM WIP Forum 2023)
    • Int'l Joint Research
  • [Presentation] 量子回路の観測のための決定グラフの最適化2023

    • Author(s)
      松尾 亮祐、ルディー・レイモンド、湊真一、山下茂
    • Organizer
      第9回量子ソフトウェア研究発表会
  • [Presentation] ガウス消去法を繰り返し利用するNNA量子回路の最適化手法2023

    • Author(s)
      Zanhe Qi、山下茂
    • Organizer
      第48回量子情報技術研究会
  • [Presentation] W状態を考慮した巡回セールスマン問題向けのVQEの量子回路合成手法2023

    • Author(s)
      荻野浩平、松尾惇士, 山下茂
    • Organizer
      第48回量子情報技術研究会
  • [Presentation] QRACを用いたQAOAの使用量子ビット数の削減手法2023

    • Author(s)
      中尾龍矢, レイモンド ルディー, 山下茂
    • Organizer
      第48回量子情報技術研究会
  • [Presentation] Holographic Entropy Cone2023

    • Author(s)
      D. Avis
    • Organizer
      Yukawa Institute for Theoretical Physics
    • Invited
  • [Presentation] Polyhedral Computation and Quantum Informations2023

    • Author(s)
      D. Avis
    • Organizer
      Shibaura Institute of Technology
    • Invited
  • [Presentation] Quantum distributed computing: potential and limitations2023

    • Author(s)
      Francois Le Gall
    • Organizer
      2023 Conference on Principles of Distributed Systems (OPODIS 2023
    • Int'l Joint Research / Invited
  • [Presentation] 量子コンピュータによる情報処理2023

    • Author(s)
      今井浩
    • Organizer
      情報処理学会第9回量子ソフトウェア研究会
    • Invited
  • [Presentation] グラフアルゴリズムと量子計算2023

    • Author(s)
      今井浩
    • Organizer
      情報処理学会第194回アルゴリズム研究会
    • Invited
  • [Presentation] Quantum- Relaxation Based Optimization Algorithms: Experimental Analysis and Theoretical Extensions2023

    • Author(s)
      Kosei Teramoto, Rudy Raymond, Eyuri Wakakuwa , Hiroshi Imai
    • Organizer
      情報処理学会第8回量子ソフトウェア研究会 2023-QS-8(15)
  • [Presentation] Distributed Coordinate Descent Al- gorithm for Variational Quantum Classification2023

    • Author(s)
      Izuho Koyasu , Rudy Raymond , Hiroshi Imai:
    • Organizer
      情報処理学会第8回量子ソフトウェア研究会 2023-QS-8(16)
  • [Presentation] 「量子超越性」再訪-計算量理論の役割2023

    • Author(s)
      今井浩
    • Organizer
      電子情報通信学会量子技術研究会 QI48-1
  • [Presentation] Optimal Synthesis of NNA-Compliant Quantum Circuits in 2-D Architectures by Utilizing Don’t Care Condition2022

    • Author(s)
      Kyohei Seino, Shigeru Yamashita
    • Organizer
      Workshop on Synthesis And System Integration of Mixed Information technologies
    • Int'l Joint Research
  • [Presentation] Mapping to Nearest-Neighbor Architectures by Applying Gaussian Elimination Iteratively2022

    • Author(s)
      Zanhe Qi、Shigeru Yamashita
    • Organizer
      第47回量子情報技術研究会
  • [Presentation] Determining Initial Qubit Layouts for Steiner-Gauss Elimination2022

    • Author(s)
      Yu Huan, Shigeru Yamashita
    • Organizer
      第47回量子情報技術研究会
  • [Presentation] Using S Gates and Relative Phase Toffoli Gates to Improve T-Count depth in Quantum Boolean Circuit2022

    • Author(s)
      David Lawrence Bantug Clarino, Shohei Kuroda, Shigeru Yamashita
    • Organizer
      第47回量子情報技術研究会
  • [Presentation] Using S Gates and Relative Phase Toffoli Gates to Improve T-Count in Quantum Boolean Circuits2022

    • Author(s)
      David Lawrence Bantug Clarino, Shohei Kuroda, Shigeru Yamashita
    • Organizer
      22nd Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] A SAT approach to the initial mapping problem in SWAP gate insertion for commuting gates2022

    • Author(s)
      Atsushi Matsuo, Shigeru Yamashita, Daniel J. Egger
    • Organizer
      22nd Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] Improving Steiner-Gauss Elimination by Changing Initial Qubit Layouts2022

    • Author(s)
      Yu Huan, Zanhe Qi and Shigeru Yamashita
    • Organizer
      22nd Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] Mapping to Nearest-Neighbor Architectures by Appling Gaussian Elimination Iteratively2022

    • Author(s)
      Zanhe Qi, Shigeru Yamashita
    • Organizer
      22nd Asian Quantum Information Science Conference
    • Int'l Joint Research
  • [Presentation] Quantum Distributed Computing2022

    • Author(s)
      Francois Le Gall
    • Organizer
      Workshop on Advances in Distributed Graph Algorithms (ADGA 2022)
    • Int'l Joint Research / Invited

URL: 

Published: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi