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

On the power of space bounded quantum computers

Research Project

Project/Area Number 24500003
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Fundamental theory of informatics
Research InstitutionYamagata University

Principal Investigator

Nakanishi Masaki  山形大学, 地域教育文化学部, 准教授 (40324967)

Project Period (FY) 2012-04-01 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords量子コンピュータ / 量子オートマトン / カウンタオートマトン / プッシュダウンオートマトン / 有限オートマトン / 量子コンピュータシミュレータ / 量子アルゴリズム / 量子計算モデル / FPGA / GPGPU / 量子計算 / 量子回路シミュレータ / VLSI設計 / 量子プッシュダウンオートマトン / 量子計算機シミュレータ / 量子分散計算 / 量子通信計算量
Outline of Final Research Achievements

Quantum computers, whose behavior is governed by quantum physics, run in a completely different way from classical computers. Thus, quantum algorithms have also different aspects from classical algorithms. Therefore, it is considered that quantum algorithms can be much faster than classical algorithms. However, the power of quantum computers has not been completely analyzed yet, and much effort has been devoted to researches on it. In this research, we imposed restrictions on memory resources, and analyzed the power of such restricted quantum computation models. As a result, we showed gaps between quantum and classical models. We also developed a fast hardware quantum computer simulator, which is a core of a quantum algorithm development environment.

Report

(6 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Research-status Report
  • 2014 Research-status Report
  • 2013 Research-status Report
  • 2012 Research-status Report
  • Research Products

    (18 results)

All 2017 2016 2015 2014 2013 2012 Other

All Int'l Joint Research (2 results) Journal Article (9 results) (of which Int'l Joint Research: 3 results,  Acknowledgement Compliant: 7 results,  Peer Reviewed: 7 results) Presentation (7 results) (of which Int'l Joint Research: 1 results)

  • [Int'l Joint Research] University of Latvia(Latvia)

    • Related Report
      2016 Annual Research Report
  • [Int'l Joint Research] LNCC(ブラジル)

    • Related Report
      2015 Research-status Report
  • [Journal Article] Affine counter automata2017

    • Author(s)
      Masaki Nakanishi, Abuzer Yakaryilmaz
    • Journal Title

      arXiv

      Volume: arXiv:1703.04281 Pages: 1-15

    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Quantum Query Complexity of Almost All Functions with Fixed On-Set2016

    • Author(s)
      A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
    • Journal Title

      Computational Complexity

      Volume: 25 Issue: 4 Pages: 723-735

    • DOI

      10.1007/s00037-016-0139-6

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Cache-aware quantum circuit simulation on a GPGPU2016

    • Author(s)
      M. Nakanishi, N. Morioka, and K. Shoji
    • Journal Title

      Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)

      Volume: n/a Pages: 11-12

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Fast Quantum Computer Simulator Based on Register Reordering2016

    • Author(s)
      M. Nakanishi, M. Matsuyama, and Y. Yokoo
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E99.D Issue: 2 Pages: 332-340

    • DOI

      10.1587/transinf.2015EDP7260

    • NAID

      130005122006

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Classical and Quantum Counter Automata on Promise Problems2015

    • Author(s)
      M. Nakanishi and A. Yakaryılmaz
    • Journal Title

      Proc. of the 20th International Conference on Implementation and Application of Automata (CIAA 2015)

      Volume: LNCS 9223 Pages: 224-237

    • DOI

      10.1007/978-3-319-22360-5_19

    • ISBN
      9783319223599, 9783319223605
    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Quantum Pushdown Automata with a Garbage Tape2015

    • Author(s)
      Masaki Nakanishi
    • Journal Title

      Proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Lecture Notes in Computer Science

      Volume: 8939 Pages: 352-363

    • DOI

      10.1007/978-3-662-46078-8_29

    • ISBN
      9783662460771, 9783662460788
    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A quantum algorithm processor architecture based on register reordering2014

    • Author(s)
      Masaki Nakanishi, Miki Matsuyama, and Yumi Yokoo
    • Journal Title

      Proceedings of the 22nd IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2014)

      Volume: なし Pages: 1-6

    • DOI

      10.1109/vlsi-soc.2014.7004175

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Classical and quantum counter automata on promise problems2014

    • Author(s)
      Masaki Nakanishi and Abuzer Yakaryilmaz
    • Journal Title

      CoRR

      Volume: abs/1412.6761 Pages: 1-14

    • Related Report
      2014 Research-status Report
    • Acknowledgement Compliant
  • [Journal Article] Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication2013

    • Author(s)
      M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E96.D Issue: 1 Pages: 1-8

    • DOI

      10.1587/transinf.E96.D.1

    • NAID

      10031167374

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2016

    • Author(s)
      中鉢大喜, 中西正樹
    • Organizer
      第35回量子情報技術研究会
    • Place of Presentation
      高エネルギー加速器研究機構
    • Year and Date
      2016-11-24
    • Related Report
      2016 Annual Research Report
  • [Presentation] A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits2016

    • Author(s)
      Ryo Wakabari, Sayaka Katakura, and Masaki Nakanishi
    • Organizer
      19th Conference on Quantum Information Processing (QIP 2016)
    • Place of Presentation
      Banff, Canada
    • Year and Date
      2016-01-10
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Quantum Pushdown Automata with Garbage Space2014

    • Author(s)
      M. Nakanishi
    • Organizer
      The 17th Conference on Quantum Information Processing (QIP2014)
    • Place of Presentation
      バルセロナ,スペイン
    • Related Report
      2013 Research-status Report
  • [Presentation] A Hardware Quantum Circuit Simulator Architecture based on Register Reordering2014

    • Author(s)
      M. Matsuyama, Y. Yokoo and M. Nakanishi
    • Organizer
      The 17th Conference on Quantum Information Processing (QIP2014)
    • Place of Presentation
      バルセロナ,スペイン
    • Related Report
      2013 Research-status Report
  • [Presentation] ガーベッジテープを持つ量子プッシュダウンオートマトン2013

    • Author(s)
      中西正樹
    • Organizer
      第29回量子情報技術研究会
    • Place of Presentation
      早稲田大学,東京
    • Related Report
      2013 Research-status Report
  • [Presentation] レジスタの並び替えによる確率振幅の選択を行うハードウェア量子回路シミュレータアーキテクチャ2013

    • Author(s)
      松山美紀,横尾優美,中西正樹
    • Organizer
      第29回量子情報技術研究会
    • Place of Presentation
      早稲田大学,東京
    • Related Report
      2013 Research-status Report
  • [Presentation] Tensor rank and strong quantum nondeterminism in multiparty communication2012

    • Author(s)
      M. Villagra
    • Organizer
      The 9th Annual Conference on Theory and Applications of Models of Computation (TAMC2012)
    • Place of Presentation
      北京(中国)
    • Related Report
      2012 Research-status Report

URL: 

Published: 2013-05-31   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi