[論文レビュー] Quantum Measurement, a coherent description

Bas Janssens|ArXiv.org|Mar 1, 2005

Quantum Mechanics and Applications被引用数 4

ひとこと要約

この論文は、C*-代数的確率論を用いた一貫性があり、数学的に厳密な量子測定の枠組みを提示しており、量子系から指針子への情報伝達が波動関数の収縮を必然的に引き起こすことを示している。主な結果は、情報抽出を行ういかなる測定過程でも状態還元が生じることであり、波動関数の収縮が便宜的な仮定ではなく、量子系における情報獲得の必然的結果であることを証明している。

ABSTRACT

It is widely known that `collapse of the wave function' on a quantum system A may be brought about by an interaction with another quantum system B. We will prove that this is not just a possible, but a necessary consequence of information transfer from A to B. We generalize this in order to explain why coherences are normally not observed in macroscopic quantum systems. Finally, we provide a quantitative insight into the balance between information gain and state disturbance. We define the quality of an information transfer. For all information transfers of a certain quality, we find a minimum amount of state collapse. Along the way, we obtain generalizations of the Joint Measurement Theorem and of the Heisenberg Principle.

研究の動機と目的

• 量子測定における基礎的曖昧性を解消し、量子確率論に基づく一貫性のある確率的記述を提供すること。
• 波動関数の収縮が測定においてなぜ必要不可欠であるかを明らかにし、それが情報伝達から自然に生じることを示すこと。
• 観測者を可換なC*-代数としてモデル化することで、量子力学における観測者の役割を形式化すること。
• 非可換な観測量に対しては一貫した客観的現実を実現することは不可能であるが、観測者の代数内では一貫した観測が可能であることを示すこと。
• 正線形写像と双対性を用いて、測定、状態還元、情報獲得を一つの整合的な数学的構造に統合すること。

提案手法

• 量子系、観測量、状態をC*-代数的形式的記述でモデル化し、状態を正規化された正の線形汎関数として定義する。
• 観測者を、同時に測定可能で、共通の確率分布を割り当てられる可換なC*-部分代数として定義する。
• 測定相互作用が系と指針子の状態をどのように変化させるかを記述するために、正線形写像の双対（M*）を適用する。
• 状態空間における分散と共分散作用素を用いて、測定中の情報獲得と状態の撹乱を定量化する。
• 時間発展を記述するために自己同型（αt）を用い、初期観測と変化後の観測をスペクトル測度を通じて結びつける。
• ρ∘Mを介した系と指針子の状態の双対性に依拠し、情報伝達が状態収縮を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 波動関数の収縮を仮定せずに、量子測定を記述することは可能か？
• RQ2 系から指針子への情報伝達が状態還元を引き起こす数学的条件は何か？
• RQ3 客観的収縮を仮定せず、観測者依存の一貫した量子測定の記述は可能か？
• RQ4 量子状態の撹乱は、測定中に得られる情報量と定量的にどのように関係するか？
• RQ5 非可換性は、すべての観測量に対して共通の確率分布を定義できない原因となり、観測にどのように影響するか？

主な発見

• 量子系から指針子への情報伝達は、波動関数の収縮を避けられないものとする。これは、収縮が選択的ではなく、測定の必然的結果であることを証明している。
• 状態還元は、状態ρ下での観測量の分散および共分散と定量的に関連しており、情報獲得が系を撹乱することを示している。
• 可換なC*-代数として表される任意の観測者では、時間発展した観測量のスペクトル測度を介して、いつでもその観測量に値を一貫して割り当てることができる。
• 非可換性のため、異なる観測者が同じ時刻に同じ観測量に対して異なる値を割り当てる可能性があるが、それぞれの観測者の観測は内部的に一貫している。
• この枠組みにより、一般にはすべての観測者間で完全な一貫性を保つことは不可能であることが示された。これは、非可換な観測量に対して共通の確率分布が存在しないことによる。
• 状態収縮の証明は、正写像の双対性（M*）とC*-代数の構造に依拠しており、完全正写像に関する重要な補題が、核心的な技術的洞察を提供している。