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

Towards construction of a new computation model based on quantum mechanics

Research Project

Project/Area Number 23650001
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Fundamental theory of informatics
Research InstitutionTohoku University

Principal Investigator

TANAKA Kazuyuki  東北大学, 理学(系)研究科(研究院), 教授 (70188291)

Co-Investigator(Kenkyū-buntansha) TADAKI Kohtaro  中央大学, 研究開発機構, 機構准教授 (70407881)
YAMAZAKI Kakeshi  東北大学, 大学院・理学研究科, 准教授 (30336812)
Project Period (FY) 2011 – 2012
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2012: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2011: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Keywords量子計算論 / 情報基礎 / 数学基礎論 / 量子コンピュータ
Research Abstract

In this research, we consider new measurement-based quantum computation models, and study their classical simulabiliy and complexity effects. Among others, we show that some constant-depth quantum circuits followed by unbounded fan-out gates can not be classically simulated in polynomial time. We also propose a new type of quantum computer which represents computable sets via the measurement of an observable in an infinite dimensional state space.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (23 results)

All 2014 2013 2012 2011 Other

All Journal Article (9 results) (of which Peer Reviewed: 9 results) Presentation (12 results) (of which Invited: 1 results) Book (2 results)

  • [Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014

    • Author(s)
      Y. Takahashi, T. Yamazaki and K. Tanaka
    • Journal Title

      Quantum Information and Computation

      Volume: 14巻 Pages: 1149-1164

    • NAID

      110009820596

    • URL

      http://www.rintonpress.com/journals/qiconline.html#v14n910

    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Spectral representation of some computably enumerable sets with an application to quantum provability2013

    • Author(s)
      C. S. Calude and K. Tadaki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7956 Pages: 43-54

    • DOI

      10.1007/978-3-642-39074-6_6

    • ISBN
      9783642390739, 9783642390746
    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013

    • Author(s)
      Y. Takahashi, T. Yamazaki and K. Tanaka
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8087 Pages: 801-812

    • DOI

      10.1007/978-3-642-40313-2_70

    • NAID

      110009820596

    • ISBN
      9783642403125, 9783642403132
    • Related Report
      2013 Annual Research Report 2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Relative randomness for Mart in-Loef random sets2012

    • Author(s)
      NingNing Peng, Kojiro Higuchi, Takeshi Ymazaki and Kazuyuki Tanaka
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7318 Pages: 303-312

    • DOI

      10.1007/978-3-642-30870-3_58

    • ISBN
      9783642308697, 9783642308703
    • Related Report
      2013 Final Research Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Infinite Games and Transfinite Recursion of Multiple Inductive Definitions2012

    • Author(s)
      K. Yoshii and K. Tanaka
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7318 Pages: 374-383

    • DOI

      10.1007/978-3-642-30870-3_38

    • ISBN
      9783642308697, 9783642308703
    • Related Report
      2013 Final Research Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Fixed point theorems on partial randomness2012

    • Author(s)
      K. Tadaki
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 163 Issue: 7 Pages: 763-774

    • DOI

      10.1016/j.apal.2011.09.018

    • Related Report
      2013 Final Research Report 2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Phase transition between unidirectionality and bidirectionality2012

    • Author(s)
      K. Tadaki
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7060 Pages: 203-223

    • DOI

      10.1007/978-3-642-27654-5_16

    • ISBN
      9783642276538, 9783642276545
    • Related Report
      2013 Final Research Report 2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Newwork Games with and without Synchroneity2011

    • Author(s)
      Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7037 Pages: 87-103

    • DOI

      10.1007/978-3-642-25280-8_9

    • ISBN
      9783642252792, 9783642252808
    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Newwork Games with and without Synchroneity2011

    • Author(s)
      Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7037

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Presentation] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013

    • Author(s)
      Y. Takahashi, T. Yamazaki and K. Tanaka
    • Organizer
      The 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013)
    • Place of Presentation
      オーストリア・Institute of Science and Technology
    • Year and Date
      2013-09-30
    • Related Report
      2013 Final Research Report
  • [Presentation] Reverse Mathematics on Measure-Theoretic Probability (Plenary talk)2013

    • Author(s)
      K. Tanaka
    • Organizer
      Asian Logic Conference
    • Place of Presentation
      中国・中山大学
    • Year and Date
      2013-09-18
    • Related Report
      2013 Final Research Report
  • [Presentation] Infinite Games and Reverse Mathematics2012

    • Author(s)
      K. Tanaka
    • Organizer
      Fourth Workshop on Game-Theoretic Probability and Related Topics
    • Place of Presentation
      東京大学
    • Year and Date
      2012-11-14
    • Related Report
      2013 Final Research Report
  • [Presentation] Relative randomness for Martin-Loef random sets2012

    • Author(s)
      N. Peng, K. Higuchi, T. Yamazaki and K. Tanaka
    • Organizer
      CiE 2012
    • Place of Presentation
      英国ケンブリッジ大学
    • Year and Date
      2012-06-19
    • Related Report
      2013 Final Research Report
  • [Presentation] Infinite games and transfinite recursion of multiple inductive definitions2012

    • Author(s)
      K. Yoshii and K. Tanaka
    • Organizer
      CiE 2012
    • Place of Presentation
      英国ケンブリッジ大学
    • Year and Date
      2012-06-19
    • Related Report
      2013 Final Research Report
  • [Presentation] Infinite games and Reverse Mathematics2012

    • Author(s)
      K. Yoshii and K. Tanaka
    • Organizer
      Workshop on Proof Theory and Computability Theory
    • Place of Presentation
      東京晴海
    • Year and Date
      2012-02-22
    • Related Report
      2013 Final Research Report
  • [Presentation] Infinite games and transfinite recursion of multiple inductive definitions2012

    • Author(s)
      K. Yoshii and K. Tanaka
    • Organizer
      CiE 2012
    • Place of Presentation
      ケンブリッジ(英国)
    • Related Report
      2012 Research-status Report
  • [Presentation] Relative randomness for Martin-Loef random sets2012

    • Author(s)
      N. Peng, K. Higuchi, T. Yamazaki and K.Tanaka
    • Organizer
      CiE 2012
    • Place of Presentation
      ケンブリッジ(英国)
    • Related Report
      2012 Research-status Report
  • [Presentation] Robustness of statistical mechanical interpretation of algorithmic information theory2011

    • Author(s)
      K. Tadaki
    • Organizer
      ALC 2011
    • Place of Presentation
      ニュージーランド・Victoria University of Wellington
    • Year and Date
      2011-12-19
    • Related Report
      2013 Final Research Report
  • [Presentation] Network Games with and without Synchroneity2011

    • Author(s)
      Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
    • Organizer
      GameSec 2011, Conference on Decision and Game Theory for Security
    • Place of Presentation
      米国・メリーランド大学
    • Year and Date
      2011-11-14
    • Related Report
      2013 Final Research Report
  • [Presentation] Robustness of statistical mechanical interpretation of algorithmic information theory.2011

    • Author(s)
      K. Tadaki
    • Organizer
      the Twelfth Asian Logic Conference (ALC 2011)
    • Place of Presentation
      Victoria University of Wellington, New Zealand
    • Related Report
      2011 Research-status Report
  • [Presentation] Reverse Mathematics on Measure-Theoretic Probability (Plenary talk)

    • Author(s)
      K. Tanaka
    • Organizer
      Asian Logic Conference
    • Place of Presentation
      Guangzhou, China
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Book] チューリングと超パズル2013

    • Author(s)
      田中一之
    • Total Pages
      266
    • Publisher
      東京大学出版会
    • Related Report
      2013 Annual Research Report 2013 Final Research Report
  • [Book] ゲーデルに挑む2012

    • Author(s)
      田中一之
    • Total Pages
      176
    • Publisher
      東京大学出版会
    • Related Report
      2013 Final Research Report 2012 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi