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

2017 Fiscal Year Research-status Report

メモリアクセスに制約のある量子計算機の能力の解析

Research Project

Project/Area Number 16K00007
Research InstitutionYamagata University

Principal Investigator

中西 正樹  山形大学, 地域教育文化学部, 准教授 (40324967)

Project Period (FY) 2016-04-01 – 2020-03-31
Keywords量子オートマトン / affineオートマトン / カウンタオートマトン
Outline of Annual Research Achievements

量子オートマトンに非常に近い性質を持つaffineオートマトンについて,メモリとしてカウンタを持つ場合の能力を解析した.エラーなし計算のもとで,affineカウンタオートマトンが,従来の決定性カウンタオートマトンよりも優れた能力を持つことを証明した.具体的には,ε-遷移を許す1方向決定性1カウンタオートマトンや,ε-遷移を許さない1方向決定性kカウンタオートマトンでは認識できないが,ε-遷移を許さないaffine 1カウンタオートマトンでは認識できる言語が存在することを示した.さらに,2方向量子有限オートマトンでは計算できないと予想されているある種のプロミス付き問題について,ラスベガスaffine有限オートマトンで計算できることを示した.また,量子,affine,決定性の各有限オートマトンのモデルでは認識できないと予想されているある種の言語について,ε-遷移を許さない1方向affineカウンタオートマトンで片側有界誤りで認識できることを示した.
これらの結果は,カウンタという特殊なメモリのみを持つ計算モデル,および,全くメモリを持たない計算モデルの能力の解析となっており,本研究のテーマである「メモリアクセスに制約のある量子計算機」の解析のための重要な知見を与えるものである.

その他にも,ガーベッジテープを持つ量子プッシュダウンオートマトンに関する結果を出す等,量子計算モデルに関する成果を挙げた.こちらも同様に,スタックと呼ばれる特殊なメモリを持つモデルを対象にした研究である.

Current Status of Research Progress
Current Status of Research Progress

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

Reason

毎年順調に論文を発表しており,量子計算モデルの理論的解析からそのシミュレーションまで幅広い内容について,計画通りに成果を挙げている.

Strategy for Future Research Activity

今後は引き続き,量子計算モデルの理論的解析を続けつつ,発見的手法による量子アルゴリズムの開発や,シミュレーションによる性能評価を行う予定である.また,量子オートマトンに非常に近い性質を持つaffineオートマトンについても解析を行い,それを通して量子オートマトンの能力を特徴づけることを考えている.

Causes of Carryover

(理由)
今年度配分額に関しては,おおむね予定通り執行したが,前年度からの繰り越しが多くあったため,次年度使用額が生じた.出張の計画の変更や,PCの購入計画の変更が主な要因である.
(使用計画)
FPGAを用いた量子コンピュータシミュレータ,およびGPGPUを用いた量子コンピュータシミュレータの両面からシミュレータの開発を行っている.予定ではGPGPUを用いた量子コンピュータシミュレータを中心として今後の研究を行うため,高性能なGPGPUを搭載した計算機の購入を予定している.また,成果発表や情報収集のための旅費も合わせて計上する予定である.

  • Research Products

    (4 results)

All 2018 2017 Other

All Int'l Joint Research (2 results) Journal Article (2 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 2 results,  Open Access: 1 results)

  • [Int'l Joint Research] University of Latvia(ラトビア)

    • Country Name
      LATVIA
    • Counterpart Institution
      University of Latvia
  • [Int'l Joint Research] National University of Asuncion(パラグアイ)

    • Country Name
      PARAGUAY
    • Counterpart Institution
      National University of Asuncion
  • [Journal Article] Quantum pushdown automata with garbage tape2018

    • Author(s)
      Masaki Nakanishi
    • Journal Title

      International Journal of Foundations of Computer Science

      Volume: 印刷中 Pages: 印刷中

    • Peer Reviewed
  • [Journal Article] Exact affine counter automata2017

    • Author(s)
      Masaki Nakanishi, Kamil Khadiev, Krisjanis Prusis, Jevgenijs Vihrovs, and Abuzer Yakaryilmaz
    • Journal Title

      Proc. of the 15th International Conference on Automata and Formal Languages

      Volume: EPTCS 252 Pages: 205-218

    • Peer Reviewed / Open Access / Int'l Joint Research

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi