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

量子論理回路の最適化に関する研究

Research Project

Project/Area Number 16092208
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionThe University of Electro-Communications

Principal Investigator

西野 哲朗  The University of Electro-Communications, 電気通信学部, 教授 (10198484)

Co-Investigator(Kenkyū-buntansha) 垂井 淳  電気通信大学, 電気通信学部, 講師 (00260539)
太田 和夫  電気通信大学, 電気通信学部, 教授 (80333491)
國廣 昇  電気通信大学, 電気通信学部, 准教授 (60345436)
Project Period (FY) 2004 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥17,700,000 (Direct Cost: ¥17,700,000)
Fiscal Year 2007: ¥2,300,000 (Direct Cost: ¥2,300,000)
Fiscal Year 2006: ¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2005: ¥6,700,000 (Direct Cost: ¥6,700,000)
Fiscal Year 2004: ¥6,700,000 (Direct Cost: ¥6,700,000)
Keywords量子計算 / 量子コンピュータ / 量子論理回路 / 量子ビット / 量子ゲート / 量子論理回路の深さ最小化 / 置換 / 乗算 / パーマネント / NMR量子計算 / 量子回路 / Groverのアルゴリズム
Research Abstract

量子コンピュータの物理的実現には、多くの困難が存在する。例えば、量子もつれ合いを保つことができる時間が短いことや、複雑な量子操作を行なうことが難しいこと等が挙げられる。これらの問題の解決において、量子回路のサイズは非常に重要である。本研究では、量子回路サイズの新たな評価方法について検討する。特に、C-NOTゲートに着目し、量子回路計算量とC-NOTゲート数の関係について、幾つかの定理を示した。
現在、量子コンピュータの物理的実現について盛んに研究が行われているが、その実現には多くの困難が伴う。そのうちの一つとして、量子コンピュータは量子重ね合わせ状態という量子力学的にデリケートな状態を取ることが挙げられる。そのため、サイズの大きな量子コンピュータの複雑な量子重ね合わせ状態を長時間維持することは非常に困難となる
それに加えて、量子コンピュータは扱えるビット数が大きくなるほど実現が困難となる。すなわち、同じアルゴリズムを実行する場合、量子コンピュータにおいては、特に、時間計算量および領域計算量を縮小することが本質的に重要な問題となる。そこで、本研究では、量子回路のゲート数とビット数の関係についても考察した。具体的には、あるアルゴリズムを実行する量子回路に対して、それに補助量子ビットを付加し、回路を再構成することで、ゲートの総数をさらに縮小できるかどうかを検証した。
我々は古典コンピュータを用いてアルゴリズムを実行するときに、計算時間の短縮のために、計算の途中で、その計算結果の一部をメモリの別の場所に一時的に保管することをよく行う。量子コンピュータの回路設計においても、補助量子ビットはそのようなワークビットとしてたびたび用いられるが、そこで使われる補助量子ビットは厳密に定義されているわけではない。本研究では、どのような種類の補助量子ビットにゲート数縮小の効果があるのかを検証するために、補助量子ビットの分類と定式化を行った。

Report

(4 results)
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (17 results)

All 2007 2006 2005 2004

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

  • [Journal Article] On the Minimum Number of Completely 3-Scrambling Permutations2007

    • Author(s)
      J.Tarui
    • Journal Title

      Discrete Mathematics(published online Nov2007, DOi:10.1016/j.disc.2007.07.069)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Negation-Limited Complexity of Parity and Invertes2007

    • Author(s)
      K.Iwama, H.Morizumi, J.Tarui
    • Journal Title

      Algorithmica(published online Dec 2007, DOI:10.1007/s00453-007-9135-1)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Impoved Collision Attacks on MD4 and MD52007

    • Author(s)
      Yu SASAKI, Yusuke MAITO, Noboru KUNIHIRO, Kazuo OHTA
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E90-A

      Pages: 36-47

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Toward the Fair Anonymous Signatures : Deniable Ring Signatures2007

    • Author(s)
      Y.Komano, K.Ohta, A.Shinbo, S.Kawamura
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E90-A

      Pages: 54-64

    • NAID

      110007519074

    • Related Report
      2006 Annual Research Report
  • [Journal Article] The Quantum Fourier Transform on a Linear Nearest Neighbor Architecture2007

    • Author(s)
      Yasuhiro Takahashi, Noboru Kunihiro, Kazuo Ohta
    • Journal Title

      Quantum Information and Computation Vol.7 No.4

      Pages: 383-391

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Finding a Duplicate and a Missing Item in a Stream2007

    • Author(s)
      Jun Tarui
    • Journal Title

      Proc. of TAMC07 : The 4th Annual Conference on Theory and Applications of Models of Computation (to appear)

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A quantum circuit for Shor's factoring algorithm using 2n+2 qubits2006

    • Author(s)
      Yasuhiro Takahashi, Noboru Kunihiro
    • Journal Title

      Quantum Information and Computation Vol.6 No.2

      Pages: 184-192

    • Related Report
      2006 Annual Research Report 2005 Annual Research Report
  • [Journal Article] Efficient Quantum Algorithms for Algebraic Problems2006

    • Author(s)
      Shin-ichi Hashiba, Seiya Okubo, Tetsuro Nishino
    • Journal Title

      Proc. of International Conference on Computer & Communication Engineering (ICCCE'06)

      Pages: 567-572

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A LINEAR-SIZE QUANTUM CIRCUIT FOR ADDITION WITH NO ANCILLARY QUBITS2005

    • Author(s)
      Yasuhiro Takahashi, Noboru Kunihiro
    • Journal Title

      Quantum Information and Computation Vol.5 No.6

      Pages: 440-448

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 物理的実現可能性に優れたNMR量子探索アルゴリズム2005

    • Author(s)
      大久保誠也, 西野哲朗, 太田和夫, 國廣昇
    • Journal Title

      情報処理学会論文誌 Vol.46 No.06

      Pages: 1416-1425

    • NAID

      110002768647

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Bulk量子計算モデル上におけるGroverのアルゴリズムの繰り返し回数について2005

    • Author(s)
      大久保誠也, 西野哲朗, 太田和夫, 國廣昇
    • Journal Title

      情報処理学会論文誌:数理モデル化と応用 Vol.46 No.SIG17

      Pages: 10-19

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Quantum Algorithms for Solving Exact Shortest Vector Problem2005

    • Author(s)
      N.Kanayama, M.Kida, N.Kunihiro, T.Nishino, K.Ohta, S.Okubo
    • Journal Title

      ERATO Workshop on Quantum Information Science 2005

      Pages: 179-180

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Linear-size Quantum Circuit for Addition with no ancillary qubits2005

    • Author(s)
      Y.Takahashi, N.Kunihiro
    • Journal Title

      ERATO Workshop on Quantum Information Science 2005

      Pages: 113-114

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Bulk量子計算モデル上におけるGroverのアルゴリズムの繰り返し回数について2005

    • Author(s)
      大久保誠也, 西野哲朗, 太田和夫, 國廣昇
    • Journal Title

      情報処理学会論文誌:数理モデル化と応用 (掲載予定)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Constructing Families of epsilon-Approximate k-Wise Independent Permutations2004

    • Author(s)
      T.Itoh, Y.Takei, J.Tarui
    • Journal Title

      IEICE Transactions on Fundamentals vol.E87-Ak, no.5

      Pages: 993-1103

    • Related Report
      2004 Annual Research Report
  • [Presentation] Quantum Circuit Complexity and the Number of Controlled-NOT Gates2007

    • Author(s)
      Seiya Okubo, Teruhito Aoki, Tetsuro Nishino
    • Organizer
      ICT Triangle Forum 2007
    • Place of Presentation
      Beijing, China
    • Related Report
      2007 Annual Research Report
  • [Book] ほんとうに安全?現代の暗号2005

    • Author(s)
      太田和夫, 國廣昇
    • Total Pages
      128
    • Publisher
      岩波書店
    • Related Report
      2005 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi