[論文レビュー] Performing Quantum Measurement in Suitably Entangled States Originates the Quantum Computation Speed Up

Giuseppe Castagnoli|ArXiv.org|May 17, 2000

Quantum Mechanics and Applications参考文献 1被引用数 4

ひとこと要約

この論文は、量子速度化がユニタリな時間発展だけから生じるのではなく、適切にエンタングルされた状態に対して単一測定結果が非因果的原理に従って作用することに起因すると提案する。シモンのアルゴリズムやグローバーのアルゴリズムを、問題レジスタと解決レジスタの間に明示的なエンタングルメントを含める形で再定式化することで、著者たちは測定が問題を記述する代数方程式系を強制し、その解を導くことを示している。この速度化は、量子並列性そのものよりも、測定によって引き起こされる制約に起因する。

ABSTRACT

We introduce a local concept of speed-up applicable to intermediate stages of a quantum algorithm. We use it to analyse the complementary roles played by quantum parallel computation and quantum measurement in yielding the speed-up. A severe conflict between there being a speed-up and the many worlds interpretation is highlighted.

研究の動機と目的

• 量子並列性やユニタリ時間発展を超えて、量子速度化の起源を再定式化すること。
• 適切にエンタングルされた状態における測定が、問題を記述する代数方程式系を強制し、その解を導くことの証明。
• 量子並列性と測定が速度化を達成するために果たす補完的役割の明確化。
• 多世界解釈に挑戦し、単一測定結果の客観性との矛盾を強調すること。
• 標準的なユニタリ回路パラダイムを超えて一般化可能な、非因果的で射影に基づく量子計算モデルの提唱。

提案手法

• 問題レジスタと解決レジスタの間のエンタングルメントを明示的に導入することで、標準的な量子アルゴリズム（例：シモンのアルゴリズム、グローバーのアルゴリズム）を再定式化する。
• 測定前の状態を、問題の構造が2つのレジスタ間のエンタングルメントに符号化された重ね合わせとしてモデル化する。
• 単一生産原理を適用する：測定は状態を単一固有値に収束させ、それが同時に問題を定義する方程式系を満たす。
• ヒルベルト空間の構造を用いて、問題の複雑さが測定時間に影響を与えないエンタングルメントに符号化されていることを示す。
• 標準アルゴリズムと中間測定を含むバージョンとの等価性を示し、測定が解の制約を強制することを示す。
• 古典的類似例（スフィンクスとオイディポス）を導入し、問題が互いに定義し合う関係が測定によって物理的決定に変わる仕組みを説明することで、非因果性を強調する。

実験結果

リサーチクエスチョン

• RQ1 量子計算における速度化の根本的メカニズムは、量子並列性を越えて何であるか？
• RQ2 量子測定は、古典的測定とはどのように異なり、問題を解くのに貢献するのか？
• RQ3 速度化は、エンタングルド系における単一生産の非因果的性質に起因するとみなせるか？
• RQ4 なぜ、シモンのアルゴリズムやグローバーのアルゴリズムの標準的定式化は、エンタングルメントと測定の速度化における役割を曇らせるのか？
• RQ5 多世界解釈は、単一生産の客観性とどのように矛盾するのか？

主な発見

• 量子速度化は、測定基底の単一生産固有値であるという非因果的原理に起因する。
• 測定前の状態が適切にエンタングルされている場合、測定結果は問題を表す代数方程式系を強制し、同時にその解を導く。
• 測定に要する時間は、キュービット数に対して線形であり、エンタングルメントの有無に影響されない。エンタングルメントは相互作用を伴わないため、プロセスを遅くしない。
• 問題の複雑さは、測定時間に影響を与えないエンタングルメント構造に完全に符号化されており、これが速度化を可能にする。
• 問題レジスタと解決レジスタの間の明示的エンタングルメントを含むアルゴリズムの再定式化により、測定が制約満たし機構として機能することが明らかになった。
• 多世界解釈との矛盾は、単一生産の客観性を否定するが、速度化はその結果として客観的かつ測定可能な現象であるため生じる。