2001 Fiscal Year Annual Research Report
| Project/Area Number |
12874015
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
小澤 正直 東北大学, 大学院・情報科学研究科, 教授 (40126313)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
築地 立家 名古屋大学, 大学院・人間情報学研究科, 助手 (70291961)
|
|---|
| Keywords | 量子計算機 / チャーチ・チューリングの提唱 / ウィグナー・荒木・柳瀬の定理 / 保存則 / 観測量 / 計算可能性 / 測定誤差 / 不確定性原理 |
|---|
| Research Abstract |
1.量子計算と量子測定は密接に関連した概念であるが,その関係は未だ十分に解明されたとはいいがたい.ニールセンは,ある種の観測量の測定可能性からある計算不可能関数の計算可能性が導けるので,測定可能性の概念を弱める必要性があると指摘した.本研究では,有限精度の測定可能性の概念を新たに導入することにより,ニールセンの指摘したジレンマを解消すると共に,この測定可能性の新しい概念のもとで,任意の観測量が測定可能であることと,チャーチ・チューリングの意味で計算可能な関数のクラスが機能的関数のクラスに一致することを示した.
2.量子情報処理の精度の限界を調べるために次の研究を行った.誤差作用素と保存量の間の不確定性関係から一般測定相互作用の誤差の下限が得られることを示した.この下限はウィグナー,荒木,柳瀬による非撹乱的な測定の測定精度が保存則によって制限されるという主張を一般の測定相互作用に拡張すると共に,柳瀬によって得られたスピン測定の測定誤差の下限を改良するものである.この精度の限界は,プローブが再現的に繰り返し測定可能である限り,プローブが非常に大きな保存量を持つことを要求している.巨視的な測定装置の場合は,この制限は深刻なものではないが,量子計算機め計算素子において実行される測定相互作用に当てはめた場合には,小さくて正確な量子計算機の実現に対する深刻な障害と考えられる.
|
Research Products
(5 results)
-
[Publications] H.Nishimura, M.Ozawa: "Computational complexity of uniform quantum circuit families and quantum Turing machines"Theoret. Comput Sci.. (発表予定). (2002)
-
[Publications] M.Ozawa: "Controlling quantum state reduction"Phys.Lett. A. 282. 336-342 (2001)
-
[Publications] 小澤正直: "量子計算とチャーチの提唱"科学基礎論研究. 28・2. 5-11 (2001)
-
[Publications] M.Ozawa: "Conservation laws, uncertainty relations and quantum limits of measurements"Phys. Rev. Lett.. 88. 050402(1-4) (2002)
-
[Publications] M.Ozawa: "Quantum measurement, information, and completely positive maps"Quantum Communication, Computing, and Measurement (Plenum, New York). 3. 97-106 (2001)
