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

2008 Fiscal Year Annual Research Report

現実的な状況下での量子計算の能力に関する研究

Research Project

Project/Area Number 16092218
Research InstitutionNara Institute of Science and Technology

Principal Investigator

山下 茂  Nara Institute of Science and Technology, 情報科学研究科, 准教授 (30362833)

Co-Investigator(Kenkyū-buntansha) 中西 正樹  奈良先端科学技術大学院大学, 情報科学研究科, 助教 (40324967)
Keywords量子回路設計 / 多準位量子ゲート / Cosine-Sine分解 / Linear Nearest Neighbor / 量子回路の等価性判定
Research Abstract

本研究では、将来の量子計算機の有効な利用のために、様々な状況下での量子計算の能力の解析や利用方法に関しての研究を行っている。今年度は昨年度からの種々の研究を継続し、以下のような研究成果へと発展させた。
1.量子回路は一般に2準位で考えられているが、物理的な実現を考えると多準位系を用いたほうが現実的となる場合もあると考えられる。そこで多準位系の量子ゲートによる量子回路設計のために、与えられた任意のn次元のユニタリ行列を効率よく基本量子ゲートの積に変換する手法を考奏した。具体的には、従来からあるCosine-Sine分解における分割のサイズを適切に調整することにより、ある程度の規模の入力数ならば従来手法よりも少ない基本ゲート数で与えられたユニタリ行列を分解することができることを示した。
2.現在最も実現の可能性が高いと考えられている量子計算の実現モデルである、Linear Nearest Neighbor(LNN)アーキテクチャ上で、与えられた任意の量子回路を効率よく実行することが量子計算の実現には重要となると考えられる。そこで、任意の量子回路をLNNアーキテクチャ上で実現できるようにSWAPゲートを挿入して回路を変換する手法を考案した。提案手法は、ナイーブな手法に比べて少ない計算時間でSWAPゲートの数を削減することができ、また、今までに報告されている人手で設計された回路をより少ないSWAPゲート数でのLNN上の量子回路へ変換できる。
3.人手で量子回路を設計するときにLNNへの変換などを行うが、その際に予期せぬ間違いをすることがある。そのため、従来の回路設計と同様に、変換の前後の回路の等価性判定が重要となる。量子回路の等価性判定のために、ReversibleMiterと呼ばれる等価性判定を行うための回路を提案した。さらに、量子回路の等価性判定ツールQuIDDProと従来の回路の等価性判定ツールABCをReversibleMiterに組み合わせて、従来手法よりも高速に等価性判定を行う手法を考案した。

  • Research Products

    (18 results)

All 2009 2008 2007

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (15 results)

  • [Journal Article] Synthesis of quantum circuits for d-level systems by using Cosine-Sine decomposition2009

    • Author(s)
      Y. Nakajima
    • Journal Title

      Quantum Information and Computation (採録決定)

    • Peer Reviewed
  • [Journal Article] Multi-Party Quantum Communication Complexity with Routed Messages2009

    • Author(s)
      S. Tani
    • Journal Title

      IEICE transactions on Information and Systems E92-D

      Pages: 191-199

    • Peer Reviewed
  • [Journal Article] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • Author(s)
      S. Yamashita
    • Journal Title

      IEICE Trans. Fundamentals E91-A

      Pages: 3793-3802

    • Peer Reviewed
  • [Presentation] An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture2009

    • Author(s)
      Y. Hirata
    • Organizer
      The Third International Conference on^ Quantum, Nano and Micro Technologies
    • Place of Presentation
      Fiesta Americana Condes a Cancun (メキシコ)
    • Year and Date
      2009-02-02
  • [Presentation] Average/Worst-Case Gap of Quantum Query Complexities2009

    • Author(s)
      S. Tani
    • Organizer
      The Twelfth Workshop on Quantum Information Processing
    • Place of Presentation
      Santa Fe Convention Center (アメリカ)
    • Year and Date
      2009-01-14
  • [Presentation] Quantum Query Complexity of Boolean Functions with Small On-Sets2008

    • Author(s)
      S. Tani
    • Organizer
      The 19th International Symposium on Algorithms and Computation
    • Place of Presentation
      Gold Coast International Hotel (オーストラリア)
    • Year and Date
      2008-12-17
  • [Presentation] An Efficient Verification of Quantum Circuits under a Practical Restriction2008

    • Author(s)
      S. Minato
    • Organizer
      IEEE 8th International Conference on Computer and Information Technology
    • Place of Presentation
      University of Technology (オーストラリア)
    • Year and Date
      2008-07-08
  • [Presentation] Multi-Party Quantum Communication Complexity with Routed Messages2008

    • Author(s)
      S. Tani
    • Organizer
      14th Annual International Computing and Combinatorics Conference
    • Place of Presentation
      Mercure Teda Dalian Hotel (中国)
    • Year and Date
      2008-06-27
  • [Presentation] Equivalence-checking for Reversible Circuits2008

    • Author(s)
      S. Yamashita
    • Organizer
      IEEE International Workshop on Logic Synthesis
    • Place of Presentation
      Granlibakken Lodgg(アメリカ)
    • Year and Date
      2008-06-04
  • [Presentation] An almost optimal quantum string sealing protocol and its security analysis2008

    • Author(s)
      M. Nakanishi
    • Organizer
      The 2nd AAAC Annual Meeting AAAC09
    • Place of Presentation
      Hangzhou Huajia SHAN Resort (中国)
    • Year and Date
      2008-04-26
  • [Presentation] 耐故障性量子計算におけるエラー訂正回数の削減手法2008

    • Author(s)
      本間知教
    • Organizer
      電子情報通信学会2008年総合大会
    • Place of Presentation
      北九州学術研究都市 三大学
    • Year and Date
      2008-03-18
  • [Presentation] A quantum secure direct communication protocol for sending a quantum state and its security analysis2008

    • Author(s)
      Y. Murakami
    • Organizer
      The 2008 Symposium on Cryptography and Information Security
    • Place of Presentation
      フェニックス・シーガイア・リゾート(宮崎市)
    • Year and Date
      2008-01-23
  • [Presentation] Unbounded-error classical and quantum communication complexity2007

    • Author(s)
      Rudy Raymond
    • Organizer
      ISAAC2007
    • Place of Presentation
      Sendai Excel Hotel (仙台市)
    • Year and Date
      2007-12-17
  • [Presentation] A quantum secure direct communication protocol for sending a quantum state and its security analysis2007

    • Author(s)
      Y. Murakami
    • Organizer
      6th WSEAS International Conference on Information Security and Privacy
    • Place of Presentation
      Puerto De La Cruz, Tenerife, Canary Islands, Spain
    • Year and Date
      2007-12-14
  • [Presentation] An information-theoretic security analysis of quantum string sealing2007

    • Author(s)
      M. Nakanishi
    • Organizer
      6th WSEAS International Conference on Information Security and Privacy
    • Place of Presentation
      Puerto De La Cruz, Tenerife, Canary Islands, Spain
    • Year and Date
      2007-12-14
  • [Presentation] An analysis of quantum communication complexity depending on network topologies2007

    • Author(s)
      S. Tani
    • Organizer
      電子情報通信学会 量子情報技術研究会
    • Place of Presentation
      山陽新聞本社さん太ホール(岡山市)
    • Year and Date
      2007-11-21
  • [Presentation] A Practical Framework to Utilize Quantum Search2007

    • Author(s)
      S. Yamashita
    • Organizer
      2007 IEEE Congress on Evolutionary Computation
    • Place of Presentation
      Swissotel (シンガポール)
    • Year and Date
      2007-09-25
  • [Presentation] Unbounded-Error One-way Classical and Quantum Communication Complexity2007

    • Author(s)
      Rudy Raymond
    • Organizer
      ICALP 2007
    • Place of Presentation
      Wroclaw (Poland)
    • Year and Date
      2007-07-09

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi