[論文レビュー] Measurement Uncertainty: Reply to Critics

Paul Busch, Pekka Lahti+1 more|arXiv (Cornell University)|Feb 13, 2014

Quantum Mechanics and Applications参考文献 27被引用数 5

ひとこと要約

この論文は、ハイゼンベルクの誤差-攪乱トレードオフを、状態に依存しない厳密な定式化で主張し、それがオザワの数学的欠陥の主張を反論している。著者らは、オザワの状態に依存する誤差と攪乱の定義がキュービット系において忠実な測定指標として機能しないことを示し、一方で著者らのアプローチは普遍的かつ実験的に検証可能なハイゼンベルク型トレードオフ関係を導くことを示している。

ABSTRACT

In a recent publication [PRL 111, 160405 (2013)] we proved a version of Heisenberg's error-disturbance tradeoff. This result was in apparent contradiction to claims by Ozawa of having refuted these ideas of Heisenberg. In a direct reaction [arXiv:1308.3540] Ozawa has called our work groundless, and has claimed to have found both a counterexample and an error in our proof. Here we answer to these allegations. We also comment on the submission [arXiv:1307.3604] by Rozema et al, in which our approach is unfavourably compared to that of Ozawa.

研究の動機と目的

• 著者らがハイゼンベルク型誤差-攪乱トレードオフを証明する際に重大な誤りを含んでいるというオザワの主張を反証すること。
• 著者らの定理を無効にするというオザワの反例主張を、彼の推論の欠陥を明らかにすることで挑戦すること。
• 状態に依存しない誤差測定（著者ら）と状態に依存するノイズ演算子（オザワ）の間の概念的・操作的差異を明確にし、キュービット系における後者の限界を示すこと。
• ビエナとトロントの研究グループの実験結果を理論的枠組みと一致させ、オザワの量が状態に依存しないものの、キュービット状況下では依然としてハイゼンベルク型トレードオフを満たしていることを示すこと。
• オザワのアプローチが数学的に一貫しているものの、測定の逆作用に関するハイゼンベルクの元来の直感を物理的に捉えていないと主張すること。

提案手法

• 著者らは、入力状態に依存しない、出力分布の理想値からの2次偏差に基づく状態に依存しない誤差と攪乱の定義を採用している。
• 一般化された不確定性関係 $\Delta(A,C)^2 + \Delta(B,D)^2 \geq \text{incompatibility of } A,B$ を導出し、ここで $\Delta$ は観測量 $A,B$ を $C,D$ で近似する際の同時測定誤差を定量化する。
• 測定相互作用をユニタリ結合モデルで記述し、系-プローブ状態のトレース期待値を用いて誤差と攪乱を定義している。
• キュービット系では、オザワの誤差と攪乱測定（$\epsilon_O, \eta_O$）が状態に依存しないことが示され、それらが状態固有の測定不正確さの指標としての解釈を損なっている。
• 著者らは $\epsilon_O(A,C) + \epsilon_O(B,D) \geq \frac{1}{2} \times \text{incompatibility of } A,B$ を証明し、オザワの量が有限次元系においてもハイゼンベルク型トレードオフを満たしていることを示している。
• 著者らはビエナとトロントの実験データと自らの枠組みを比較し、特定のパrameter領域ではオザワの量が自らの誤差測定と一致し、導出された境界に達していることを示している。

実験結果

リサーチクエスチョン

• RQ1 オザワが主張する著者らの誤差-攪乱トレードオフ定理に対する反例は、厳密な分析のもとで成立するか？
• RQ2 なぜオザワの状態に依存する誤差と攪乱測定はキュービット系において忠実な操作的指標として機能しないのか？
• RQ3 概念的欠陥が存在するにもかかわらず、オザワの定義を用いてもハイゼンベルク型トレードオフ関係を回復できるか？
• RQ4 ビエナとトロントの研究グループの実験結果は、著者らの状態に依存しない誤差フレームワークとどのように整合するか？
• RQ5 有限次元系において、著者らの状態に依存しない誤差測定とオザワのノイズ演算子に基づく定義の関係は何か？

主な発見

• オザワが主張する反例は無効である。それは誤差と攪乱の定義を誤って適用し、著者らのアプローチの状態に依存しない性質を無視しているためである。
• オザワの誤差と攪乱測定（$\epsilon_O, \eta_O$）はキュービット系において状態に依存しないことが示され、それらが状態固有の測定不正確さの指標としての意図とは矛盾している。
• 概念的欠陥が存在するにもかかわらず、オザワの量はハイゼンベルク型トレードオフ関係 $\epsilon_O(A,C) + \epsilon_O(B,D) \geq \frac{1}{2} \times \text{incompatibility of } A,B$ を満たしており、キュービット系では普遍的に成立する。
• トロント実験では、オザワの誤差測定 $\epsilon_O(A,C)$ と $\epsilon_O(B,D)$ が、著者らの状態に依存しない誤差測定 $\Delta(A,C)$ と $\Delta(B,D)$ と正確に一致しており、特定の状況での一貫性が確認された。
• 著者らは、入力状態が固定出力状態と同一の場合、オザワの攪乱測定 $\eta_O(P)$ が、実際の物理的攪乱が無視できるにもかかわらず、任意に大きくなり得ることを示した。これは彼の定義に根本的な欠陥があることを示している。
• 著者らのフレームワークは、特に同時測定と実験的検証の文脈において、より操作的意味を持ち、普遍的に有効な測定不確実性の記述を提供している。