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

2013 Fiscal Year Annual Research Report

量子グラフ理論確立による量子計算能力の限界解明

Research Project

Project/Area Number 23240001
Research InstitutionThe University of Tokyo

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 山下 茂  立命館大学, 情報理工学部, 教授 (30362833)
Project Period (FY) 2011-04-01 – 2015-03-31
Keywords量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / 量子グラフマイナー理論 / 格子グラフ
Outline of Annual Research Achievements

これまでに得られた成果をさらに発展させ、次のように役割分担して研究を推進した。
(a) 量子周期グラフ理論の確立(今井・山下・Le Gall):周期的な規則性を有するグラフ構造である周期グラフ等に着目し、このクラスのグラフでの点マイナーについて詳細に調べた。さらに周期グラフの表現・分解理論を構築した。これによって自然が有する規則性を反映しているともいえるこれらグラフの量子計算モデルにおける役割を明確にした。これらの新展開を論文にまとめて発表を行った。
(b) 多証明者量子対話証明による計算量(今井・松本・Le Gall・河村):量子多証明者対話証明における量子グラフ問題と量子力学諸問題の関係を調べて、量子グラフゲームを軸に多証明者量子対話証明による分類の精緻化を行った。さらに量子計算量理論分野において非決定性計算量に関する成果をあげ、論文発表した。また、これらの研究成果を土台として、行列乗算に関する量子・古典アルゴリズム研究において新展開をもたらすきっかけを得た。
(c) 複数量子計算モデルでの離散数理および物理実現からの研究(今井・松本・村尾・山下):物理実現に基づき、数理的に能力差の有無を示すことができる複数の量子計算モデルを対象として、それぞれの有するグラフの離散構造の解析を行うとともに、物理実現に絡んだモデル間の変換方式を理論的に解析した。
(d) 計算解析と大規模データ表現を通した量子計算研究(今井・山下):量子計算モデルの離散・量子構造の解析のために必要となる計算環境を整え、回路設計・解析において実績がある分担者の山下とともに、アクセラレータ付大メモリのコンピュータを導入し、グラフ解析での列挙の高速化を図り計算解析を行った。これによって、BDDを用いた量子状態表現へとつながる成果を上げた。

Current Status of Research Progress
Current Status of Research Progress

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

Reason

測定ベース量子計算と物理モデルとの研究を通して、周期グラフの能力解明を行った結果をジャーナル論文として発表することができ、またグラフマイナー理論との新たな関係を見出すことができた。研究分担者・連携研究者もそれぞれ研究に新しい展開をもたらしている。その1つに、計算結果の解析を進める中で研究計画当初は想定していなかった量子計算のBDD大規模メモリ処理という新たな知見を得たことがあげられる。研究遂行上、この量子計算のBDD大規模メモリ処理を見極めることが重要であることから研究方式を見直し、追加実験を行い、あらためて計算結果を解析するところまで進展させることができた。

Strategy for Future Research Activity

平成26年度は研究最終年度にあたることから、これまでにあげた研究成果を総括するとともに大きく発展させ、量子計算能力の限界解明を目指す。また、論文誌投稿や国内外の学会での発表などを通して研究成果の周知活動にも積極的に取り組んでいく。

  • Research Products

    (55 results)

All 2015 2014 2013

All Journal Article (30 results) (of which Peer Reviewed: 29 results,  Open Access: 22 results,  Acknowledgement Compliant: 1 results) Presentation (25 results) (of which Invited: 5 results)

  • [Journal Article] Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete.2015

    • Author(s)
      Hirotada Kobayashi, Francois Le Gall and Harumichi Nishimura.
    • Journal Title

      SIAM Journal on Computing, published online

      Volume: - Pages: -

    • DOI

      10.1137/140971944

    • Peer Reviewed / Open Access
  • [Journal Article] Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision.2015

    • Author(s)
      Stacey Jeffery, Robin Kothari, Francois Le Gall and Frederic Magniez.
    • Journal Title

      Algorithmica, published online

      Volume: - Pages: -

    • DOI

      10.1007/s00453-015-9985-x

    • Peer Reviewed / Open Access
  • [Journal Article] Parameterized Algorithms to Compute Ising Partition Function2015

    • Author(s)
      Hidefumi Hiraishi, Hiroshi Imai, Yoichi Iwata, Bingkai Lin
    • Journal Title

      Proceedings of the 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Application, to appear.

      Volume: 1 Pages: -

    • Peer Reviewed
  • [Journal Article] Analysis of the trade-off between spatial and temporal resources for measurement-based quantum computation2015

    • Author(s)
      J. Miyazaki, M. Hajdusek and M. Murao
    • Journal Title

      Physical Review A, to appear.

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] Quantum algorithm for universal impleemtnation of projective measurement of energy2015

    • Author(s)
      S. Nakayama, A. Soeda and M. Murao
    • Journal Title

      Physical Review Letters, to appear.

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] Generalized Quantum Arthur-Merlin Games.2015

    • Author(s)
      Hirotada Kobayashi, Francois Le Gall and Harumichi Nishimura
    • Journal Title

      Proceedings of the 30th Conference on Computational Complexity (CCC 2015), to appear

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] Fast Matrix Multiplication: Limitations of the Coppersmith-Winograd Method.2015

    • Author(s)
      Andris Ambainis, Yuval Filmus and Francois Le Gall
    • Journal Title

      Proceedings of the 47th ACM Symposium on Theory of Computing (STOC 2015), to appear

      Volume: - Pages: -

    • Peer Reviewed
  • [Journal Article] Thin strip graphs2015

    • Author(s)
      T. Hayashi, A. Kawamura, Y. Otachi, H. Shinohara, and K. Yamazaki
    • Journal Title

      Discrete Applied Mathematics, to appear

      Volume: - Pages: -

    • DOI

      10.1016/j.dam.2015.01.018

    • Peer Reviewed / Open Access
  • [Journal Article] Simple strategies versus optimal schedules in multi-agent patrolling2015

    • Author(s)
      A. Kawamura and M. Soejima
    • Journal Title

      Proceedings of the Ninth International Conference on Algorithms and Complexity (CIAC), to appear

      Volume: 1 Pages: -

    • Peer Reviewed
  • [Journal Article] Parametric Multiroute Flow and Its Application to Robust Network with k Edge Failures.2014

    • Author(s)
      Jean-Francois Baffier, Vorapong Suppakitpaisarn, Hidefumi Hiraishi, and Hiroshi Imai
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8596 Pages: 26-37

    • DOI

      10.1007/978-3-319-09174-7_3

    • Peer Reviewed / Open Access
  • [Journal Article] BDD Operations for Quantum Graph States.2014

    • Author(s)
      H. Hiraishi and H. Imai
    • Journal Title

      Proc. 6th Int. Conf. on Reversible Computation, LNCS

      Volume: 8507 Pages: 216-229

    • DOI

      10.1007/978-3-319-08494-7_17

    • Peer Reviewed / Open Access
  • [Journal Article] Worst Case Computation Time for Minimal Joint Hamming Weight Numeral System.2014

    • Author(s)
      V. Suppakitpaisarn and H. Imai
    • Journal Title

      Proceedings of the for 2014 International Symposium on Information Theory and Its Applications (ISITA 2014)

      Volume: 1 Pages: 138-142

    • Peer Reviewed / Open Access
  • [Journal Article] Information-theoretical formulation of anyonic entanglement2014

    • Author(s)
      K. Kato, F. Furrer and M. Murao
    • Journal Title

      Physical Review A

      Volume: 90 Pages: 62325

    • DOI

      10.1103/PhysRevA.90.062325

    • Peer Reviewed / Open Access
  • [Journal Article] Two-party LOCC convertibility of quadpartite states and Kraus-Cirac number of two-qubit unitaries2014

    • Author(s)
      A. Soeda, S. Akibue and M. Murao
    • Journal Title

      Journal of Physics A: Mathematical and Theoretical

      Volume: 47 Pages: 424036

    • DOI

      10.1088/1751-8113/47/42/424036

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Complexity of Boolean Matrix Multiplication and Related Problems.2014

    • Author(s)
      Francois Le Gall
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8808 Pages: 176-191

    • DOI

      10.1007/978-3-319-13350-8_13

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Algorithms for Matrix Products over Semirings.2014

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

      Proceedings of the 14th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2014)

      Volume: 1 Pages: 331-343

    • DOI

      10.1007/978-3-319-08404-6_29

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Algorithms for Finding Constant-sized Sub-hypergraphs.2014

    • Author(s)
      Francois Le Gall, Harumichi Nishimura and Seiichiro Tani
    • Journal Title

      Proceedings of the 20th Annual International Computing and Combinatorics Conference (COCOON 2014)

      Volume: 1 Pages: 429-440

    • DOI

      10.1007/978-3-319-08783-2_37

    • Peer Reviewed / Open Access
  • [Journal Article] Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments.2014

    • Author(s)
      Francois Le Gall
    • Journal Title

      Proceedings of the 55th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2014)

      Volume: 1 Pages: 216-225

    • DOI

      10.1109/FOCS.2014.31

    • Peer Reviewed / Open Access
  • [Journal Article] Powers of Tensors and Fast Matrix Multiplication.2014

    • Author(s)
      Francois Le Gall
    • Journal Title

      Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)

      Volume: 1 Pages: 296-303

    • DOI

      10.1145/2608628.2608664

    • Peer Reviewed / Open Access
  • [Journal Article] Small complexity classes for operators in analysis2014

    • Author(s)
      A. Kawamura and H. Ota
    • Journal Title

      Mathematical Foundations of Computer Science 2014, Lecture Notes in Computer Science

      Volume: 8635 Pages: 432-444

    • DOI

      10.1007/978-3-662-44465-8_37

    • Peer Reviewed / Open Access
  • [Journal Article] 2D Qubit Layout Optimization for Topological Quantum Computation2014

    • Author(s)
      N. A. B. Adnan, S. Yamashita, S. J. Devitt, K. Nemoto
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8507 Pages: 176-188

    • DOI

      10.1007/978-3-319-08494-7_14

    • Peer Reviewed / Open Access
  • [Journal Article] Mapping Patterns with More Than Two Gates for Quantum Cost Reduction2014

    • Author(s)
      N. A. B. Adnan, K. Hoshi, S. Yamashita
    • Journal Title

      第31回量子情報技術研究会資料

      Volume: 2014-11-QIT Pages: 111-112

  • [Journal Article] Computational complexity of smooth differential equations2014

    • Author(s)
      A. Kawamura, H. Ota, C. Rosnick, and M. Ziegler
    • Journal Title

      Logical Methods in Computer Science, published online

      Volume: 10, 1 Pages: -

    • DOI

      10.2168/LMCS-10(1:6)2014

    • Peer Reviewed / Open Access
  • [Journal Article] On characterizations of randomized computation using plain Kolmogorov complexity2014

    • Author(s)
      S. Hirahara and A. Kawamura
    • Journal Title

      Mathematical Foundations of Computer Science 2014, Lecture Notes in Computer Science

      Volume: 8635 Pages: 348-359

    • DOI

      10.1007/978-3-662-44465-8_30

    • Peer Reviewed / Open Access
  • [Journal Article] Proximity and Motion Planning on 1-Rigid Planar Periodic Graphs.2013

    • Author(s)
      Norie Fu, Akihiro Hashikura, and Hiroshi Imai
    • Journal Title

      Transactions on Computational Science., Vol.XX, Lecture Notes in Computer Science

      Volume: 8110 Pages: 72-91

    • DOI

      10.1007/978-3-642-41905-8_6

    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Qubit arrangement problems for topological quantum computation2013

    • Author(s)
      S. Yamashita, S. Hiratsuka, S. Devitt, K. Nemoto
    • Journal Title

      Proceedings of the 13th Asian Quantum Information Science Conference 2013 (AQIS 2013)

      Volume: 1 Pages: 181-182

    • Peer Reviewed
  • [Journal Article] Direct evaluation of pure graph state entanglement2013

    • Author(s)
      M. Hajdusek and M. Murao
    • Journal Title

      New Journal of Physics

      Volume: 15 Pages: 013039

    • DOI

      10.1088/1367-2630/15/1/013039

    • Peer Reviewed / Open Access
  • [Journal Article] A framework for phase and interference in generalized probabilistic theories2013

    • Author(s)
      A. J. P. Garner, O. C. O. Dahlsten, Y. Nakata, M. Murao and V. Vedral
    • Journal Title

      New Journal of Physics

      Volume: 15 Pages: 093044

    • DOI

      10.1088/1367-2630/15/9/093044

    • Peer Reviewed / Open Access
  • [Journal Article] Property Testing for Cyclic Groups and Beyond.2013

    • Author(s)
      Francois Le Gall and Yuichi Yoshida
    • Journal Title

      Journal of Combinatorial Optimization

      Volume: 26, 4 Pages: 636-654

    • DOI

      10.1007/s10878-011-9445-8

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Weakly Nondeterministic Communication Complexity.2013

    • Author(s)
      Francois Le Gall
    • Journal Title

      Theoretical Computer Science

      Volume: 486 Pages: 43-49

    • DOI

      10.1016/j.tcs.2012.12.015

    • Peer Reviewed / Open Access
  • [Presentation] Solving a Max Cut Benchmark by an Optimization Solver2015

    • Author(s)
      T. Ikuta, H. Imai, and Y. Yosuke
    • Organizer
      LAシンポジウム
    • Place of Presentation
      京都大学, 京都府
    • Year and Date
      2015-01-28
  • [Presentation] Excluding one of the parties and Markovianizing of tripartite quantum states2015

    • Author(s)
      Eyuri Wakakuwa, Akihito Soeda and Mio Murao
    • Organizer
      The 18th Conference on Quantum Information Processing (QIP2015)
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2015-01-13
  • [Presentation] Network coding for distributed quantum computation over the butterfly and cluster networks2015

    • Author(s)
      Seiseki Akibue and Mio Murao
    • Organizer
      The 18th Conference on Quantum Information Processing (QIP2015)
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2015-01-13
  • [Presentation] Globalness of separable maps characterized by classical correlations without globally causal structure2015

    • Author(s)
      Seiseki Akibue, Masaki Owari, Go Kato and Mio Murao
    • Organizer
      The 18th Conference on Quantum Information Processing (QIP2015)
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2015-01-13
  • [Presentation] Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments.2015

    • Author(s)
      Francois Le Gall
    • Organizer
      The 18th Conference on Quantum Information Processing (QIP 2015)
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2015-01-12
  • [Presentation] Entanglement as a resource for deterministically simulating acausal classical correlations2014

    • Author(s)
      Mio Murao
    • Organizer
      Workshop on Quantum Metrology, Interaction and Causal Structure 2014
    • Place of Presentation
      Beijing, China
    • Year and Date
      2014-12-03
  • [Presentation] Extended Formulations of Cut Polytopes and Quantum Correlation/Interaction2014

    • Author(s)
      H. Imai, H. Hiraishi, and S. Hirahara
    • Organizer
      第31回量子情報技術研究会 (QIT)
    • Place of Presentation
      東北大学, 宮城県
    • Year and Date
      2014-11-18
  • [Presentation] On Extended Complexity of Generalized Transversal Matroids2014

    • Author(s)
      S. Hirahara and H. Imai
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      中央大学, 東京都
    • Year and Date
      2014-10-08
  • [Presentation] 帰納解析学における小さな計算量級2014

    • Author(s)
      太田浩行,河村彰星
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      広島大学, 広島県
    • Year and Date
      2014-09-27
  • [Presentation] BDD Representations for Quantum Graph State and Ising Model.2014

    • Author(s)
      H. Hiraishi, H. Imai, Y. Iwata and B. Lin
    • Organizer
      Asian Quantum Information Science Conference 2014 (AQIS 2014)
    • Place of Presentation
      芝蘭会館, 京都府
    • Year and Date
      2014-08-20
  • [Presentation] Algebraic Complexity Theory and Matrix Multiplication.2014

    • Author(s)
      Francois Le Gall
    • Organizer
      The 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)
    • Place of Presentation
      神戸大学, 兵庫県
    • Year and Date
      2014-07-22
    • Invited
  • [Presentation] 線分および点の警邏について2014

    • Author(s)
      河村彰星,副島真
    • Organizer
      LAシンポジウム
    • Place of Presentation
      半月庵, 山口県
    • Year and Date
      2014-07-17
  • [Presentation] 乱択計算の素朴コルモゴロフ記述量を用いた特徴づけについて2014

    • Author(s)
      河村彰星,平原秀一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      道後温泉大和屋, 愛媛県
    • Year and Date
      2014-06-14
  • [Presentation] Reduction techniques for Prize Collecting Steiner Tree.2014

    • Author(s)
      T.Akiba, T. Ikuta, H. Imai
    • Organizer
      The Japanese-Swiss Workshop on Combinatorics and Computational Geometry
    • Place of Presentation
      東京大学, 東京都
    • Year and Date
      2014-06-04
  • [Presentation] 細帯グラフ2014

    • Author(s)
      大舘陽太,河村彰星,篠原英裕,林貴史,山崎浩一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東北大学, 宮城県
    • Year and Date
      2014-04-24
  • [Presentation] Representing quantum graph states by binary decision diagrams2014

    • Author(s)
      H.Hiraishi, H.Imai, Y.Iwata, and B. Lin
    • Organizer
      Quantum Information Processing 2014
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2014-02-03
  • [Presentation] Linear Rank-Width Bounds for BDD of Quantum Graph States2014

    • Author(s)
      H.Hiraishi, H.Imai, Y.Iwata, and B. Lin
    • Organizer
      LAシンポジウム
    • Place of Presentation
      京都大学, 京都府
    • Year and Date
      2014-01-28
  • [Presentation] 可逆な素子による論理設計の研究動向(招待講演)2013

    • Author(s)
      山下茂
    • Organizer
      応用物理学会 (超伝導分科会 第48回研究会)
    • Place of Presentation
      (独)産業技術総合研究所つくばセンター, 茨城県
    • Year and Date
      2013-11-22
    • Invited
  • [Presentation] 二分決定図を用いた量子グラフ状態の表現2013

    • Author(s)
      平栗勇人, 平石秀史, 今井浩
    • Organizer
      第29回量子情報技術研究会(QIT29)
    • Place of Presentation
      早稲田大学, 東京都
    • Year and Date
      2013-11-18
  • [Presentation] Quantum algorithms for finding constant-sized sub-hypergraphs over 3-uniform hypergraphs2013

    • Author(s)
      Francois Le Gall, Harumichi Nishimura and Seiichiro Tani
    • Organizer
      第29回量子情報技術研究会研究会
    • Place of Presentation
      早稲田大学, 東京都
    • Year and Date
      2013-11-18
  • [Presentation] Quantum algorithms for matrix multiplication2013

    • Author(s)
      Francois Le Gall
    • Organizer
      The 13th Asian Quantum Information Science Conference (AQIS 2013)
    • Place of Presentation
      Chennai, India
    • Year and Date
      2013-08-26
    • Invited
  • [Presentation] 可逆計算に関する研究動向(招待講演)2013

    • Author(s)
      山下茂
    • Organizer
      日本学術振興会超伝導エレクトロニクス第146委員会
    • Place of Presentation
      機械振興会館, 東京都
    • Year and Date
      2013-07-22
    • Invited
  • [Presentation] Quantum Complexity of Matrix Multiplication2013

    • Author(s)
      Francois Le Gall
    • Organizer
      Satellite Workshop of ICALP 2013 on Quantum and Classical Complexity
    • Place of Presentation
      Riga, Latvia
    • Year and Date
      2013-07-07
    • Invited
  • [Presentation] Quantum Algorithms for Matrix Products over Semirings2013

    • Author(s)
      Francois Le Gall and Harumichi Nishimura
    • Organizer
      第28回量子情報技術研究会研究会
    • Place of Presentation
      北海道大学, 北海道
    • Year and Date
      2013-05-28
  • [Presentation] kルートフローのパラメトリック解析に関する考察2013

    • Author(s)
      今井 浩, Jean-Francois Baffier, 平石秀史
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      神戸大学, 兵庫県
    • Year and Date
      2013-04-24

URL: 

Published: 2016-06-01  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi