[論文レビュー] Counterfactual computation revisited

Onur Hosten, Matthew T. Rakher+3 more|ArXiv.org|Jul 14, 2006

Computability, Logic, AI Algorithms参考文献 1被引用数 5

ひとこと要約

この論文はホステンらが提唱した反事後的計算プロトコルを再考し、元の定義では出力の1つに対して反事後的でないと分類されるが、物理的に適切な定義ではその反事後的性質が支持されることを主張する。著者らは量子歴史追跡に基づく改訂定義を提示し、プロトコルが全体として反事後的であることを示し、特に相互作用を伴わずにコhereneceを保つエラー訂正メカニズムによってそうした性質が維持されることを示す。

ABSTRACT

Mitchison and Jozsa recently suggested that the "chained-Zeno" counterfactual computation protocol recently proposed by Hosten et al. is counterfactual for only one output of the computer. This claim was based on the existing abstract algebraic definition of counterfactual computation, and indeed according to this definition, their argument is correct. However, a more general definition (physically adequate) for counterfactual computation is implicitly assumed by Hosten et. al. Here we explain in detail why the protocol is counterfactual and how the "history tracking" method of the existing description inadequately represents the physics underlying the protocol. Consequently, we propose a modified definition of counterfactual computation. Finally, we comment on one of the most interesting aspects of the error-correcting protocol.

研究の動機と目的

• ミッチソンとジョズァが提起した疑問に応じ、チェーン化されたゼノー反事後的計算プロトコルが真に反事後的であるかどうかを解消すること。
• 反事後的計算の既存の抽象的代数的定義が物理的実態を十分に反映していないと批判すること。
• 量子歴史追跡と運用的一致性に基づく、物理的に適切な反事後的計算の改訂定義を提唱すること。
• 物理的解釈を変更することで、プロトコルが計算のすべての出力に対して反事後的であることを示すこと。
• 測定による崩壊のリスクがある中で、エラー補正が反事後的性質の維持にどのように寄与するかを分析すること。

提案手法

• 相互作用なしに量子軌道を追跡する「歴史追跡」法を用いてプロトコルを再解釈し、粒子の伝播が存在しないことを強調する。
• 抽象的代数的基準ではなく、相互作用なしに計算が可能である物理的妥当性に基づく、反事後的計算の新しい運用的定義を提唱する。
• 標準的な量子ゼノー効果下でのプロトコルの振るまいを分析し、繰り返しの測定が系が計算経路に進むことを防ぐことを示す。
• 修正されたフレームワークを用いて、量子コンピュータがまったく起動されないままでも計算結果が得られることを示す。
• デコherenceや測定の逆作用に対して安定化するためのエラー訂正メカニズムを組み込み、反事後的性質を維持する。

実験結果

リサーチクエスチョン

• RQ1 チェーン化されたゼノー反事後的計算プロトコルは真に反事後的であるのか、それともミッチソンとジョズァが主張するように特定の出力に対して失敗するのか？
• RQ2 反事後的計算の標準的抽象的代数的定義は、量子測定と時間発展の物理的実態を十分に捉えているのか？
• RQ3 量子測定ダイナミクスをよりよく反映する、より物理的根拠を持つ反事後的計算の定義を構築できるか？
• RQ4 実際の応用において、エラー補正は反事後的性質にどのように影響を与えるか？
• RQ5 量子歴史追跡は、計算の反事後的性質を検証するために果たす役割は何か？

主な発見

• 物理的に適切な定義のもとでは、プロトコルは1つの出力にとどまらず、すべての出力に対して反事後的である。
• 元の代数的定義は、特に量子干渉や測定文脈を含む状況において、反事後的計算の物理的本質を捉えていない。
• 元の記述で用いられた歴史追跡法は、量子ダイナミクスを不十分に表現しており、プロトコルの反事後的性質に関する誤った結論を導く原因となっている。
• 相互作用の不在と、計算経路に系が進入しない物理的可能성을根拠とする、反事後的計算の改訂定義が提唱された。
• エラー補正プロトコルは、コhereneceを保ち、望ましくない相互作用を防ぐことで、反事後的計算の強靭性を高め、反事後的領域を維持する。
• 著者らのミッチソンとジョズァの批判への反論は、新しい定義のもとでプロトコルが反事後的であることが確認され、表面的な矛盾が解消されたことを示している。