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

量子复杂性理论中的量子神谕研究

• 批准号: 12874015
• 负责人: 小澤 正直
• 金额: $ 1.34万
• 依托单位: Tohoku University (2001)Nagoya University (2000)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12874015/
• 关键词: 量子計算機; チャーチ・チューリングの提唱; ウィグナー・荒木・柳瀬の定理; 保存則; 観測量; 計算可能性; 測定誤差; 不確定性原理; 量子Turing機械; 量子オラクルTuring機械; 量子計算; 計算量理論; 量子計算量クラス; 量子コンピュータ; 量子アルゴリズム; 量子計算量理論

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

1. Determination of quantum computing と は contact に masato even し た concept で あ る が, そ の masato は do not だ very に interpret さ れ た と は い い が た い. ニ ー ル セ ン は, あ る kind の 観 measurement の possibility か ら あ る impossible number of masato の calculation possibility が guide け る の で, determination of possibility の concept を weak め る necessity が あ る と blame し た. This study で は, determination of finite precision の possibility の concept を new た に import す る こ と に よ り, ニ ー ル セ ン の blame し た ジ レ ン マ を null す る と に, こ の measurement likelihood の new し い concept の も と で, arbitrary の 観 measurement が may で あ る こ と と, チ ャ ー チ · チ ュ ー リ ン グ の mean that で calculation may な masato number の ク ラ ス が machine The number of degrees of energy is the same as that of ラスに ラスに, する とを とを, and とを.2. Quantum information 処 Richard の precision の limit を adjustable べ る た め に の study を line っ た. Error function element と confirmed among stock の の uncertainty masato か ら generally lower limit determination interaction の error の が ら れ る こ と を shown し た. こ の floor は ウ ィ グ ナ ー, araki, willow neo-ichinose に よ る precision of determination of non 撹 disorderly な の が save the に よ っ て limitations さ れ る と い う that を generally の determine interaction に company, zhang す る と に, willow neo-ichinose に よ っ て have ら れ た ス ピ の determination of ン の error floor を improved す る も の で あ る. こ の precision の limit は, プ ロ ー ブ が reappearance of に Qiao り return し determination may で あ る limit り, プ ロ ー ブ が very big に き な confirmed stock を hold つ こ と を requirements し て い る. Macroscope な determination device は の situations, こ limitations の は deep な も の で は な い が, quantum computer め computing element child に お い て line be さ れ る determine interaction に when て は め た occasions に は, small さ く て right な quantum computer の be presently に す seaborne る deep な handicap of と exam え ら れ る.

项目成果

H.Yamashita and M.Ozawa: "Nonstandard representations of the canonical commutation relations"Rev.Math.Phys.. 12・11. 1407-1427 (2000)

H.Yamashita 和 M.Ozawa：“规范交换关系的非标准表示”Rev.Math.Phys.. 12・11 (2000)。

M.Ozawa: "Operations, disturbance, and simultaneous measurability"Phys.Rev.A. 63・6. 032109(1-15) (2001)

M.Ozawa：“操作、干扰和同时可测量性”Phys.Rev.A. 032109(1-15) (2001)

M.Ozawa: "Operational characterization of simultaneous measurements in quantum mechanics"Phys.Lett.A. 275. 5-11-5-11 (2000)

M.Ozawa：“量子力学中同时测量的操作特性”Phys.Lett.A。

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

小泽正直：“量子计算和丘奇的提议”基础科学研究28・2（2001）。

M.Ozawa and H.Nishimura: "Local transition functions of quantum Turing machines"RAIRO Theor.Inform.Appl.. (発表予定).

M.Ozawa 和 H.Nishimura：“量子图灵机的局部转换函数”RAIRO Theor.Inform.Appl..（待提交）。