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

2020 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量子コンピュータ / 量子優位性 / 量子回路設計理論 / 浅層量子回路 / 凸多面体の量子情報 / 量子エラー緩和 / Bellの不等式 / 量子非局所性
Outline of Annual Research Achievements

初年度の研究では、研究代表者のところで利用可能になったIBMの53量子ビットの量子コンピュータを用いて、一般化Bell不等式の破れの実機計算で、ノイズ付き量子コンピュータで情報処理する基礎力を高め、それが次年度以降の研究展開に資することになり、2022年に量子エラー緩和提案ののちに65量子ビットマシンでの量子グラフ状態に対する一般化Bell不等式の破れ研究までの一連の成果を上げることにつながった。理論面ではノイズ付き量子コンピュータでは、深さが浅い量子回路(浅層量子回路)でないと、ノイズが主要因となってしまうため、浅層量子回路の理論解析も行った。浅層量子回路での量子優位性について既に初期の成果を出しつつあった分担者のLe Gallの研究をさらに進め、協力研究者に大学院生の長谷川の参加を得て、量子ソフトウェア研究会で発表することができた。この発表で長谷川は学生奨励賞を受賞する評価を得た。量子分散研究に関する基礎研究も進めることができ、日本の研究者がこのテーマで種々の成果を出す素地を築いた。量子回路理論については、分担者の山下が中心となって研究を進め、Tゲート数の削減やMPMCTゲートの近接アーキテクチャでの展開などの成果をあげて、次年度の量子回路設計の招待解説論文を公開する成果に発展している。量子重力理論の共形場理論での笠・高柳の不等式により導かれるエントロピー錐を計算により解析する研究を分担者のAvisがスタートさせ、独自の凸多面体解析プログラムを駆使しての計算を開始した。このことが再繰越年度での論文発表につながっている。このように5年にわたる本研究において、計画にしたがって各メンバが研究を推進するとともに、大学院生の参画も得てオンラインでの議論を行ってチームとしての研究取組も開始した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

コロナ禍が社会に大きな影響を与え始めるなか、初年度は個々のメンバの研究推進から始まったが、大学院生の派遣などを通して本研究組織での連携も開始することができた。また発表の機会が限られる中、組織内での量子計算教育ビデオの共有も行い、当初計画に沿った研究を年度後半進められるようになり、研究実績の概要にあるような成果を着実に上げることができている。これらのことから、進捗状況としてはおおむね順調に進展していると判断している。

なお、量子コンピュータ実機利用では、当初53量子ビットノイズを制御する方法で実機にて調査するところからスタートし、実機特有のエラーもあり成果が出るのは2年度目以降となったが、それによって量子エラー緩和という新規テーマを明確に認識・解析することができる端緒ともなり、以降の年度での研究対象になっている。

Strategy for Future Research Activity

初年度の研究を通して明らかになった量子コンピュータのエラー緩和の重要性を踏まえ、特に測定におけるエラー緩和に注力して研究を進めることとして、それが2年度以降の量子コンピュータ実機を用いた研究で成果を上げることにつなげることを目指した。量子優位性については、定数深さの量子浅層回路の次のレベルを検討する。量子回路設計の理論を広く周知していく活動にも取り組むこととしている。量子情報面でのエントロピー錐の計算解析では、関連分野との接点も求めていく。そしてオンライン環境での議論を通して、研究組織全体としての議論をより深めることに取り組む予定である。

  • Research Products

    (54 results)

All 2023 2022 2021 2020

All Journal Article (17 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 17 results,  Open Access: 13 results) Presentation (37 results) (of which Int'l Joint Research: 16 results,  Invited: 5 results)

  • [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] Quantum-Relaxation Based Optimization Algorithms: Theoretical Extensions2023

    • Author(s)
      Kosei Teramoto, Rudy Raymond, Eyuri Wakakuwa, Hiroshi Imai
    • Journal Title

      12th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications

      Volume: -- Pages: 1-11

    • 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
  • [Journal Article] 量子コンピュータのあけぼの ー 今そこにある量子コンピュータに触れよう2021

    • Author(s)
      今井浩
    • Journal Title

      情報処理

      Volume: 62, 4 Pages: e1-e7

    • Peer Reviewed
  • [Journal Article] Extended formulations of lower-truncated transversal polymatroids2021

    • Author(s)
      Hiroshi Imai, Keiko Imai, Hidefumi Hiraishi
    • Journal Title

      Optimization Methods and Software

      Volume: 36 Pages: 326-331

    • DOI

      10.1080/10556788.2020.1769619

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

    • Author(s)
      山下茂
    • Journal Title

      IEICE Fundamentals Review

      Volume: 14, 4 Pages: 337-346

    • DOI

      10.1587/essfr.14.4_337

    • Peer Reviewed / Open Access
  • [Journal Article] Dynamical Decomposition and Mapping of MPMCT Gates to Nearest Neighbor Architectures2021

    • Author(s)
      Atsushi Matsuo, Wakaki Hattori, Shigeru Yamashita
    • Journal Title

      Proc. 26th Asia and South Pacific Design Automation Conference (ASP-DAC)

      Volume: -- Pages: 786-791.

    • DOI

      10.1145/3394885.3431605

    • 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 33rd International Symposium on Algorithms and Computation (ISAAC 2021)

      Volume: -- Pages: 74:1-16

    • DOI

      10.4230/LIPIcs.ISAAC.2021.74

    • Peer Reviewed / Open Access
  • [Journal Article] Reducing T-count When Decomposing Many MPMCT Gates Simultaneously2020

    • Author(s)
      Soma Esaki, Shigeru Yamashita
    • Journal Title

      Proc. IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)

      Volume: -- Pages: 22-27

    • DOI

      10.1109/ISMVL49045.2020.00-35

    • 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] The Role of Entanglement in Quantum-Relaxation Based Optimization Algorithms2023

    • Author(s)
      Kosei Teramoto, Rudy Raymond and Hiroshi Imai
    • Organizer
      26th Conference on Quantum Information Processing (QIP 2023)
    • Int'l Joint Research
  • [Presentation] Quantum-Relaxation Based Optimization Algorithms: Experimental Analysis and Theoretical Extensions2023

    • Author(s)
      Kosei Teramoto, Rudy Raymond, Eyuri Wakakuwa Eyuri, Hiroshi Imai
    • Organizer
      情報処理学会第8回量子ソフトウェア研究会
  • [Presentation] 量子分類のための分散座標降下アルゴリズム2023

    • Author(s)
      子安出穂, Rudy Raymond, 今井浩
    • Organizer
      情報処理学会第8回量子ソフトウェア研究会
  • [Presentation] SMTソルバを用いたNNA制約を満たす量子回路の合成手法2023

    • Author(s)
      清野恭平, 山下茂
    • Organizer
      電子情報通信学会VLD/HWS研究会
  • [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
  • [Presentation] 量子計算機での勾配推定を用いた変分量子固有値法における変分パラメータ最適化2022

    • Author(s)
      津嘉山大輔, 三木司, 沖田涼, 白樫淳, 今井浩
    • Organizer
      第69回応用物理学会春季学術講演会
  • [Presentation] 変分量子計算での測定状態のフィルタリングによる並列量子演算の加速計算法2022

    • Author(s)
      三木司、津嘉山大輔、沖田涼、白樫淳一、今井浩
    • Organizer
      第89回応用物理学会秋季学術講演会
  • [Presentation] Machine learning techniques for unitary design classification: A comparative study2022

    • Author(s)
      Yaswitha Gujju, Bo Yang, Yuko Kuroki and Hiroshi Imai
    • Organizer
      25th Conference on Quantum Information Processing (QIP 2022)
    • Int'l Joint Research
  • [Presentation] Optimal Synthesis of NNA-Compliant Quantum Circuits in 2-D Architectures by Utilizing Don’t Care Condition2022

    • Author(s)
      Kyohei eino, 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, 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, Shigeru Yamashita
    • Organizer
      22nd Asian Quantum Information Science Conference (AQIS 2022)
    • 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
    • Organizer
      22nd Asian Quantum Information Science Conference (AQIS 2022)
    • Int'l Joint Research
  • [Presentation] Improving Steiner-Gauss Elimination by Changing Initial Qubit Layouts2022

    • Author(s)
      Yu Huan, Shigeru Yamashita
    • Organizer
      22nd Asian Quantum Information Science Conference (AQIS 2022)
    • Int'l Joint Research
  • [Presentation] Bell不等式プロジェクト2021

    • Author(s)
      今井 浩 , 張 亨碩
    • Organizer
      情報処理学会第3回量子ソフトウェア研究会
  • [Presentation] 最大カットに対するQAOAと古典近似アルゴリズムの近似率2021

    • Author(s)
      今井 浩 , 佐藤 英一郎
    • Organizer
      情報処理学会第4回量子ソフトウェア研究会
  • [Presentation] Machine learning techniques for unitary design classification: A comparative study2021

    • Author(s)
      Yaswitha Gujju, Bo Yang, Yuko Kuroki and Hiroshi Imai
    • Organizer
      電子情報通信学会第45回量子情報技術研究会
  • [Presentation] A Cost Reduction Method for Quantum Boolean Circuits by Applying The Transduction Method2021

    • Author(s)
      Shohei Kuroda and Shigeru Yamashita
    • Organizer
      21st Asian Quantum Information Science Conference (AQIS 2021)
    • Int'l Joint Research
  • [Presentation] 位相がずれたToffoliゲートの厳密最小化手法2021

    • Author(s)
      浅田尚也, 山下茂
    • Organizer
      電子情報通信学会第45回量子情報技術研究会
  • [Presentation] The Implementation of Deutsch-Jozsa's algorithm on IBM Quantum by Bidirectional Computation2021

    • Author(s)
      Hyungseok Chang , Hidefumi Hiraishi , Hiroshi Imai
    • Organizer
      情報処理学会第2回量子ソフトウェア研究発表会
  • [Presentation] Testing Scalable Bell Inequalities for Quantum Graph States on IBM Quantum Devices2021

    • Author(s)
      Bo Yang , Rudy Raymond , Hiroshi Imai , Hyungseok Chang , Hidefumi Hiraishi
    • Organizer
      情報処理学会第2回量子ソフトウェア研究発表会
  • [Presentation] Experimental Realization of Quantum Non-locality on IBM Quantum Devices2021

    • Author(s)
      Kosei Teramoto, Yang Bo, Rudy Raymond, Atsuya Hasegawa, Hiroshi Imai and Hidefumi Hiraishi
    • Organizer
      電子情報通信学会第44回量子情報技術研究会
  • [Presentation] Testing Scalable Bell Inequalities for Quantum Graph States on IBM Quantum Devices2021

    • Author(s)
      Bo Yang, Rudy Raymond, Hiroshi Imai, Hyungseok Chang, Hidefumi Hiraishi
    • Organizer
      Quantum Information Processing 2021
    • Int'l Joint Research
  • [Presentation] Exact Minimization of a Relative-Phase Toffoli Gate2021

    • Author(s)
      Naoya Asada and Shigeru Yamashita
    • Organizer
      25th Conference on Quantum Information Processing (QIP 2021)
    • Int'l Joint Research
  • [Presentation] Quantum State Preparation By Gaussian Elimination2021

    • Author(s)
      Duo Xu and Shigeru Yamashita
    • Organizer
      21st Asian Quantum Information Science Conference (AQIS 2021)
    • Int'l Joint Research
  • [Presentation] 量子超越性とスパコン・計算可能性2020

    • Author(s)
      今井浩
    • Organizer
      情報処理学会量子ソフトウェア研究会第1回月例バーチャルセミナー
    • Invited
  • [Presentation] 量子ソフトウエア研究会の紹介とSLDM研究会との連携の期待2020

    • Author(s)
      山下茂
    • Organizer
      情報処理学会DAシンポジウム 2020
    • Invited
  • [Presentation] 量子回路設計2020

    • Author(s)
      山下茂
    • Organizer
      情報処理学会 量子ソフトウェア研究会月例バーチャルセミナー
    • Invited
  • [Presentation] 量子回路の設計手法に関する研究動向2020

    • Author(s)
      山下 茂
    • Organizer
      情報処理学会連続セミナー2020
    • Invited
  • [Presentation] 量子ビットの処理順序を考慮したシュタイナーガウス消去法による量子回路の設計2020

    • Author(s)
      Han Zhengtong,山下茂
    • Organizer
      デザインガイア2020, 信学技報
  • [Presentation] Problem-specific Parameterized Quantum Circuits of the VQE Algorithm for Optimization Problems2020

    • Author(s)
      Atsushi Matsuo, Yudai Suzuki, Shigeru Yamashita
    • Organizer
      情報処理学会第1回量子ソフトウェア研究発表会
  • [Presentation] An Efficient Generation of Arbitrary Superposition of Basis States2020

    • Author(s)
      Risa Segawa, Shigeru Yamashita
    • Organizer
      Asian Quantum Information Science Conference (AQIS 2020)
    • Int'l Joint Research
  • [Presentation] Quantum Circuit Design by Steiner-Gauss with Considering the Order of Qubits2020

    • Author(s)
      Han Zhengtong, Shigeru Yamashita
    • Organizer
      20th Asian Quantum Information Science Conference (AQIS 2020)
    • Int'l Joint Research
  • [Presentation] Problem-specific Parameterized Quantum Circuits of the VQE Algorithm for Optimization Problems2020

    • Author(s)
      Atsushi Matsuo, Yudai Suzuki, Shigeru Yamashita
    • Organizer
      20th Asian Quantum Information Science Conference (AQIS 2020)
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi