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

量子計算量理論における量子オラクルの研究

Research Project

Project/Area Number 12874015
Research Category

Grant-in-Aid for Exploratory Research

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionTohoku University (2001)
Nagoya University (2000)

Principal Investigator

小澤 正直  東北大学, 大学院・情報科学研究科, 教授 (40126313)

Co-Investigator(Kenkyū-buntansha) 築地 立家  名古屋大学, 大学院・人間情報学研究科, 助手 (70291961)
Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 2001: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2000: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywords量子計算機 / チャーチ・チューリングの提唱 / ウィグナー・荒木・柳瀬の定理 / 保存則 / 観測量 / 計算可能性 / 測定誤差 / 不確定性原理 / 量子Turing機械 / 量子オラクルTuring機械 / 量子計算 / 計算量理論 / 量子計算量クラス / 量子コンピュータ / 量子アルゴリズム / 量子計算量理論
Research Abstract

1.量子計算と量子測定は密接に関連した概念であるが,その関係は未だ十分に解明されたとはいいがたい.ニールセンは,ある種の観測量の測定可能性からある計算不可能関数の計算可能性が導けるので,測定可能性の概念を弱める必要性があると指摘した.本研究では,有限精度の測定可能性の概念を新たに導入することにより,ニールセンの指摘したジレンマを解消すると共に,この測定可能性の新しい概念のもとで,任意の観測量が測定可能であることと,チャーチ・チューリングの意味で計算可能な関数のクラスが機能的関数のクラスに一致することを示した.
2.量子情報処理の精度の限界を調べるために次の研究を行った.誤差作用素と保存量の間の不確定性関係から一般測定相互作用の誤差の下限が得られることを示した.この下限はウィグナー,荒木,柳瀬による非撹乱的な測定の測定精度が保存則によって制限されるという主張を一般の測定相互作用に拡張すると共に,柳瀬によって得られたスピン測定の測定誤差の下限を改良するものである.この精度の限界は,プローブが再現的に繰り返し測定可能である限り,プローブが非常に大きな保存量を持つことを要求している.巨視的な測定装置の場合は,この制限は深刻なものではないが,量子計算機め計算素子において実行される測定相互作用に当てはめた場合には,小さくて正確な量子計算機の実現に対する深刻な障害と考えられる.

Report

(2 results)
  • 2001 Annual Research Report
  • 2000 Annual Research Report
  • Research Products

    (11 results)

All Other

All Publications (11 results)

  • [Publications] H.Nishimura, M.Ozawa: "Computational complexity of uniform quantum circuit families and quantum Turing machines"Theoret. Comput Sci.. (発表予定). (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] M.Ozawa: "Controlling quantum state reduction"Phys.Lett. A. 282. 336-342 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 小澤正直: "量子計算とチャーチの提唱"科学基礎論研究. 28・2. 5-11 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] M.Ozawa: "Conservation laws, uncertainty relations and quantum limits of measurements"Phys. Rev. Lett.. 88. 050402(1-4) (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] M.Ozawa: "Quantum measurement, information, and completely positive maps"Quantum Communication, Computing, and Measurement (Plenum, New York). 3. 97-106 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] M.Ozawa and H.Nishimura: "Local transition functions of quantum Turing machines"RAIRO Theor.Inform.Appl.. (発表予定).

    • Related Report
      2000 Annual Research Report
  • [Publications] H.Nishimura and M.Ozawa: "Computational complexity of uniform quantum circuit families and quantum Turing machines"Theoret.Comput.Sci.. 発表予定.

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Ozawa: "Operations, disturbance, and simultaneous measurability"Phys.Rev.A. 63・6. 032109(1-15) (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Ozawa: "Measurements of nondegenerate discrete observables"Phys.Rev.A. 62・6. 062101(1-13) (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] H.Yamashita and M.Ozawa: "Nonstandard representations of the canonical commutation relations"Rev.Math.Phys.. 12・11. 1407-1427 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Ozawa: "Operational characterization of simultaneous measurements in quantum mechanics"Phys.Lett.A. 275. 5-11-5-11 (2000)

    • Related Report
      2000 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi