[論文レビュー] A logical description for perfect measurements

Bob Coecke, Sonja Smets|ArXiv.org|Aug 3, 2000

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

ひとこと要約

本稿は、操作的量子論論理と非可換線形論理の断片を用いて、完全な量子測定の論理的枠組みを提案する。完全な測定における性質の遷移を文脈誘発変換としてモデル化し、Sasaki射影を介した実際の性質の進化を形式化し、このような測定の確率的結果分布を捉える証明可能な論理的シークエンスを導出する。

ABSTRACT

We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed change. We propose a corresponding syntax involving operational quantum logic and a fragment of non-commutative linear logic.

研究の動機と目的

• 完全な測定を文脈誘発性質遷移の特殊ケースとして論理的に記述すること。
• 閉直交射影を超える一般化された型のモルフィズムのクラスを用いて、完全な測定中の性質の伝播を形式化すること。
• 操作的量子論理と非可換線形論理を統合し、量子系における不確実な遷移をモデル化すること。
• 入力、測定文脈、到達可能な性質を用いて、完全な測定の結果構造を捉える証明可能な論理的シークエンスを確立すること。
• 正規直交ラティスから導かれる量代数的構造における写像族を用いて、任意の性質遷移へと形式主義を一般化すること。

提案手法

• 完全な測定における性質伝播をモデル化するため、$\mathcal{P}^\#(\mathcal{L})$ と定義される新しいモルフィズムクラスを導入する。これは $\varphi_{\{a,a^\perp\}}(B) = \{\varphi_a(b) \mid b \in B, b \not\leq a^\perp\} \cup \{\varphi_{a^\perp}(b) \mid b \in B, b \not\leq a\}$ として定義される。
• 非可換線形論理の接続詞（$\otimes$, $\oplus$, $\hbox{$\small\,--\circ\,$}$）と原子述語 $In(x)$（性質 $x$ が実際に成立している）および $R(x)$（性質 $x$ は到達可能である）を組み合わせた論理言語を用いる。
• 測定文脈を $M(b,b^\perp)$ として定義し、性質 $b$ とその直交補完 $b^\perp$ を区別できる能力を表す。
• 状態と到達可能性の更新をモデル化するために、論理的公理 $\underline{Adjust1}$, $\underline{Adjust2}$, および $\underline{Trans}$ を適用する。
• 積 $\otimes$ と和 $\oplus$ の分配則およびモード・ポネンスを用いて、重要なシークエンスを導出する：$M(b,b^\perp) \otimes [In(a) \otimes R(a)] \vdash [In(\varphi_b(a)) \otimes R(\varphi_b(a))] \oplus [In(\varphi_{b^\perp}(a)) \otimes R(\varphi_{b^\perp}(a))]$。
• 任意の遷移への一般化として、$IND_r(\alpha) \otimes In_r(x) \hbox{$\ --\circ\ $} \oplus_{z \in \alpha(\{x\})} In_r(z)$ を用いる。ここで $\alpha$ は $\mathcal{Q}^\#(\mathcal{L})$ 内の写像である。

実験結果

リサーチクエスチョン

• RQ1 完全な測定は、量子系における文脈誘発性質遷移の特殊ケースとして、どのように形式的に記述できるか？
• RQ2 性質の不確実な進化を捉えるのに最も適した論理的構造は何か？
• RQ3 非可換線形論理は、物理的実体と測定文脈との相互作用をどのようにモデル化できるか？
• RQ4 測定前の性質の現実性と、測定後の可能な結果との間の形式的関係は何か？
• RQ5 この枠組みは、完全な測定を超える任意の性質遷移を記述するために一般化可能か？

主な発見

• 本稿は、完全な測定の結果分布をモデル化する証明可能な論理的シークエンスを成功裏に導出している：$M(b,b^\perp) \otimes [In(a) \otimes R(a)] \vdash [In(\varphi_b(a)) \otimes R(\varphi_b(a))] \oplus [In(\varphi_{b^\perp}(a)) \otimes R(\varphi_{b^\perp}(a))]$。
• 形式主義は、状態にある性質 $a$ が測定文脈 $M(b,b^\perp)$ で測定されると、$\varphi_b(a)$ または $\varphi_{b^\perp}(a)$ に変化し、両方の結果が物理的に到達可能であるという事実を捉えている。
• 連続測定への一般化は、$M(c,c^\perp) \otimes [M(b,b^\perp) \otimes (In(a) \otimes R(a))] \vdash \bigoplus_{z \in \varphi_{\{c,c^\perp\}}(\varphi_{\{b,b^\perp\}}(\{a\}))} In(z) \otimes R(z)$ を示すことで可能であり、合成可能性を示している。
• 論理的公理 $\underline{Adjust1}$, $\underline{Adjust2}$, および $\underline{Trans}$ が測定結果シークエンスを導出するのに十分であり、形式モデルの妥当性が裏付けられている。
• 一般化された伝播公理 $IND_r(\alpha) \otimes In_r(x) \hbox{$\ --\circ\ $} \oplus_{z \in \alpha(\{x\})} In_r(z)$ は、$\mathcal{Q}^\#(\mathcal{L})$ 内のすべての遷移を統一的に記述する論理的記述を提供する。
• この枠組みは、逐次的測定の文脈で乗法的結合 $\otimes$ の非結合的性質を尊重しており、結合則の明示的制限が必要である。