[論文レビュー] Convex and Sequential Effect Algebras

Stan Gudder|arXiv (Cornell University)|Feb 5, 2018

Advanced Algebra and Logic被引用数 5

ひとこと要約

本稿は、効果（yes-no 測定）と状態（系の準備）を表す物理的動機付けに基づいた、凸的および逐次的効果代数に基づく量子力学の数学的枠組みを提示する。量子力学的系は複素ヒルベルト空間上に表現可能な系として特徴づけられ、条件付き確率と期待値をモデル化するための逐次積を導入し、操作的原理に基づく量子確率および力学の基礎を提供する。

ABSTRACT

We present a mathematical framework for quantum mechanics in which the basic entities and operations have physical significance. In this framework the primitive concepts are states and effects and the resulting mathematical structure is a convex effect algebra. We characterize the convex effect algebras that are classical and those that are quantum mechanical. The quantum mechanical ones are those that can be represented on a complex Hilbert space. We next introduce the sequential product of effects to form a convex sequential effect algebra. This product makes it possible to study conditional probabilities and expectations.

研究の動機と目的

• 抽象的なヒルベルト空間公理ではなく、物理的に意味のある操作（効果：yes-no 測定、状態：準備）に基づいて、量子力学の基礎を構築すること。
• 凸的効果代数のうち、古典的系と量子力学的系に対応するものはそれぞれ何かを同定すること。
• 逐次測定をモデル化する物理的演算として、効果の逐次積を導入し、条件付き確率と期待値を可能にすること。
• 量子力学的効果代数が、複素ヒルベルト空間上に表現可能なものであることを示し、ヒルベルト空間がどのように生じるかという基礎的問いに答えること。
• 操作的原理に基づき、効果代数枠組み内で条件付き期待値とベイズの定理を形式化すること。

提案手法

• 本稿は、直交和（⊕）とスカラー乗法（λa）を持つ効果代数を定義し、それぞれ並列測定と効果の減衰を表す。
• 測定 a を先に実行し、次に b を実行する状況をモデル化するため、逐次積 a∘b を導入し、条件付き確率に基づく物理的解釈を与える。
• 確率は、効果代数上の線形汎関数の空間 Ω(E) を用いて定義され、F(a,s) = ω(a)（ω ∈ Ω(E)）と表される。
• 条件付き確率は、ω(a) ≠ 0 のとき ω(b|a) = ω(a∘b)/ω(a) と定義され、ベイズ更新が可能になる。
• 条件付き期待値 Eω(b|A) は、すべての a ∈ A に対して ω[a∘Eω(b|A)] = ω(a∘b) を満たす、鋭い測定 A に関して可測な効果として定義される。
• 鋭い測定 A = {a₁,…,aₙ} に対して、ω(aᵢ) ≠ 0 のとき、条件付き期待値は Eω(b|A) = ∑ ω(b|aᵢ)aᵢ と表され、線形性および準同型性の性質が示される。

実験結果

リサーチクエスチョン

• RQ1 量子力学の構造的性質を規定する物理的原理は何か。ヒルベルト空間を事前に仮定せずに、それらを形式化できるか。
• RQ2 凸的効果代数のうち、古典的系に対応するのはどれで、量子系に対応するのはどれか。
• RQ3 効果の逐次積をどのように操作的に定義すれば、逐次測定と確率をモデル化できるか。
• RQ4 どのような条件下で、凸的効果代数が複素ヒルベルト空間上に表現可能になるか。
• RQ5 条件付き期待値とベイズの定理は、どのようにして逐次積構造から生じるか。

主な発見

• 量子力学的凸的効果代数は、複素ヒルベルト空間上に表現可能なものにちょうど一致し、操作的原理に基づくヒルベルト空間の物理的導出を提供する。
• 逐次積 a∘b は、逐次測定における結合性と条件付き確率との整合性を満たす重要な性質を満たす。
• すべての状態 ω ∈ Ω(E) に対してベイズの定理が成り立つのは、鋭い測定 A = {a₁,…,aₙ} において、すべての i に対して b|aᵢ が成り立つときであり、論理的整合性と物理的構造が結びつく。
• 条件付き期待値 Eω(b|A) はアフィン的かつ加法的であり、鋭い測定では Eω(b|A) = ∑ ω(b|aᵢ)aᵢ の形を取り、これは古典的条件付き期待値を一般化する。
• A が鋭いとき、b ↦ Eω(b|A) は準同型であり、c が A に関して可測であるとき Eω(c∘b|A) = c∘Eω(b|A) が成り立つ。これにより、合成に関して一貫性が保証される。
• a|b ⇒ a∘b = 0 が成り立つのは、b|a と同値であり、a∘b|aᵢ ならば j ≠ i のとき a∘b|aⱼ が成り立つ。これは、直交性および分解と整合的であることを示している。