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

Complexity theoretic analysis of quantum verification systems

Research Project

Project/Area Number 25330012
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Theory of informatics
Research InstitutionNagoya University

Principal Investigator

Nishimura Harumichi  名古屋大学, 情報科学研究科, 准教授 (70433323)

Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2016: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords量子コンピュータ / 対話型証明 / NP / 量子計算量理論 / 量子NP / 対話型証明系
Outline of Final Research Achievements

The quantum verification system is the communication system between two parties called a prover, which has strong computational power, and a verifier, which can do polynomial-time quantum computation. The aim of the system is to make the verifier verify whether any input of a decision problem is YES. In this research, we have studied the computational power and the limit of quantum verification systems from the view of computational complexity. In particular, we have investigated the non-interactive quantum verification system called QMA and the one-round quantum interactive proof system, and have given several simplifications of their systems and clarified their basic properties.

Report

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

    (27 results)

All 2016 2015 2014 2013 Other

All Journal Article (6 results) (of which Peer Reviewed: 4 results,  Acknowledgement Compliant: 2 results,  Open Access: 1 results) Presentation (18 results) (of which Int'l Joint Research: 2 results,  Invited: 7 results) Remarks (3 results)

  • [Journal Article] Quantum Interpretations of AWPP and APP2016

    • Author(s)
      Tomoyuki Morimae, Harumichi Nishimura
    • Journal Title

      Quantum Information and Computation

      Volume: 16 Pages: 498-514

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Quantum Merlin-Arthur with Clifford Arthur2015

    • Author(s)
      Tomoyuki Morimae, Masahito Hayashi, Harumichi Nishimura, Keisuke Fujii
    • Journal Title

      Quantum Information and Computation

      Volume: 15 Pages: 1420-1430

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [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: - Issue: 2 Pages: 243-289

    • DOI

      10.1137/140971944

    • NAID

      110009779047

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] 量子計算の基礎2014

    • Author(s)
      西村治道
    • Journal Title

      情報処理

      Volume: 55 Pages: 682-688

    • Related Report
      2014 Research-status Report
  • [Journal Article] Recovering strings in oracles: quantum and classic(招待論文)2013

    • Author(s)
      Kazuo Iwama, Harumichi Nishimura
    • Journal Title

      International Journal of Foundations of Computer Science

      Volume: 24 Issue: 07 Pages: 979-993

    • DOI

      10.1142/s0129054113400261

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Quantum network coding - How can network coding be applied to quantum information?(招待論文)2013

    • Author(s)
      Harumichi Nishimura
    • Journal Title

      Proceedings of 2013 IEEE International Symposium on Network Coding

      Volume: 1 Pages: 1-5

    • DOI

      10.1109/netcod.2013.6570840

    • Related Report
      2013 Research-status Report
  • [Presentation] Power of quantum computation with few clean qubits2015

    • Author(s)
      Harumichi Nishimura
    • Organizer
      Workshop around BQP
    • Place of Presentation
      Center for ELC, Tokyo (Japan)
    • Year and Date
      2015-12-07
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 量子版NPと量子版AMの計算複雑さ2015

    • Author(s)
      西村治道
    • Organizer
      第33回量子情報技術研究会
    • Place of Presentation
      NTT厚木研究開発センタ(厚木市)
    • Year and Date
      2015-11-24
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] AWPPの量子計算による解釈2015

    • Author(s)
      森前智行,西村治道
    • Organizer
      第33回量子情報技術研究会
    • Place of Presentation
      NTT厚木研究開発センタ(厚木市)
    • Year and Date
      2015-11-24
    • Related Report
      2015 Annual Research Report
  • [Presentation] Quantum Merlin-Arthur with Clifford Arthur2015

    • Author(s)
      森前智行,林正人,西村治道,藤井啓佑
    • Organizer
      コンピュテーション研究会
    • Place of Presentation
      法政大学市ヶ谷キャンパス(東京都千代田区)
    • Year and Date
      2015-10-02
    • Related Report
      2015 Annual Research Report
  • [Presentation] Impossibility of classically simulating one-clean-qubit computation2015

    • Author(s)
      藤井啓祐,小林弘忠,森前智行,西村治道,玉手修平,谷誠一郎
    • Organizer
      コンピュテーション研究会
    • Place of Presentation
      信州大学長野(工学)キャンパス(長野市)
    • Year and Date
      2015-09-01
    • Related Report
      2015 Annual Research Report
  • [Presentation] Quantum Interpretation of AWPP2015

    • Author(s)
      森前智行,西村治道
    • Organizer
      コンピュテーション研究会
    • Place of Presentation
      信州大学長野(工学)キャンパス(長野市)
    • Year and Date
      2015-09-01
    • Related Report
      2015 Annual Research Report
  • [Presentation] 量子計算量クラス-PとNPの量子版とその先2015

    • Author(s)
      西村治道
    • Organizer
      基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」
    • Place of Presentation
      京都大学基礎物理学研究所(京都市)
    • Year and Date
      2015-07-13
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] Generalized Quantum Arthur-Merlin Games2015

    • Author(s)
      Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
    • Organizer
      30th Conference on Computational Complexity (CCC2015)
    • Place of Presentation
      Oregon Convention Center, Portland, Oregon (USA)
    • Year and Date
      2015-06-17
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Quantum network coding and the current status of its studies2014

    • Author(s)
      Harumichi Nishimura
    • Organizer
      International Symposium on Information Theory and Its Applications
    • Place of Presentation
      Melbourne (Australia)
    • Year and Date
      2014-10-27 – 2014-10-29
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Generalized quantum Arthur-Merlin games2014

    • Author(s)
      Harumichi Nishimura
    • Organizer
      ELC Workshop at the University of Tokyo on Qunatum Complexity Theory
    • Place of Presentation
      Tokyo (Japan)
    • Year and Date
      2014-08-18
    • Related Report
      2014 Research-status Report
    • Invited
  • [Presentation] Quantum algorithms for finding constant-sized sub-hypergraph2014

    • Author(s)
      Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
    • Organizer
      20th International Conference on Computing and Combinatorics
    • Place of Presentation
      Atlanta (USA)
    • Year and Date
      2014-08-04 – 2014-08-06
    • Related Report
      2014 Research-status Report
  • [Presentation] Quantum algorithms for matrix products over semiring2014

    • Author(s)
      Francois Le Gall, Harumichi Nishimura
    • Organizer
      14th Scandinavian Symposium and Workshops
    • Place of Presentation
      Copenhagen (Denmark)
    • Year and Date
      2014-07-02 – 2014-07-04
    • Related Report
      2014 Research-status Report
  • [Presentation] 局所ハミルトニアンの非冗長性の計算量2014

    • Author(s)
      川崎涼,西村治道
    • Organizer
      コンピュテーション研究会
    • Place of Presentation
      松山(愛媛)
    • Year and Date
      2014-06-13 – 2014-06-14
    • Related Report
      2014 Research-status Report
  • [Presentation] Quantum network coding - How can network coding be applied to quantum information?

    • Author(s)
      Harumichi Nishimura
    • Organizer
      2013 IEEE International Symposium on Network Coding (NetCod2013)
    • Place of Presentation
      Calgary (Canada)
    • Related Report
      2013 Research-status Report
    • Invited
  • [Presentation] Quantum Arthur and Quantum Merlin

    • Author(s)
      Harumichi Nishimura
    • Organizer
      5th Nagoya Winter Workshop on Quantum Information, Measurement, and Foundations (NWW2014)
    • Place of Presentation
      Nagoya (Japan)
    • Related Report
      2013 Research-status Report
    • Invited
  • [Presentation] Quantum algorithms for matrix products over semirings

    • Author(s)
      Francois Le Gall, 西村治道
    • Organizer
      第28回量子情報技術研究会
    • Place of Presentation
      北海道大学(札幌市)
    • Related Report
      2013 Research-status Report
  • [Presentation] Stronger methods of making quantum interactive proofs perfectly complete

    • Author(s)
      小林弘忠, Francois Le Gall, 西村治道
    • Organizer
      コンピュテーション研究会
    • Place of Presentation
      奈良女子大学(奈良市)
    • Related Report
      2013 Research-status Report
  • [Presentation] 定数サイズ部分ハイパーグラフ発見に対する量子アルゴリズム

    • Author(s)
      Francois Le Gall, 西村治道, 谷誠一郎
    • Organizer
      第29回量子情報技術研究会
    • Place of Presentation
      早稲田大学(東京都新宿区)
    • Related Report
      2013 Research-status Report
  • [Remarks] 研究者のWEBページ

    • URL

      http://www.math.cm.is.nagoya-u.ac.jp/~hnishimura

    • Related Report
      2015 Annual Research Report
  • [Remarks] 「研究者総覧」情報知

    • URL

      http://www.is.nagoya-u.ac.jp/research/jhc.html

    • Related Report
      2015 Annual Research Report 2014 Research-status Report
  • [Remarks] 研究者のWEBページ

    • URL

      http://www.math.cm.is.nagoya-u.ac.jp/~hnishimura/

    • Related Report
      2014 Research-status Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi