[論文レビュー] Contextuality-by-Default: A Brief Overview of Ideas, Concepts, and Terminology

Ehtibar N. Dzhafarov, Janne V. Kujala+1 more|arXiv (Cornell University)|Apr 2, 2015

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

ひとこと要約

本稿は、物理的に独立であっても測定が文脈によってラベル付けされる二値測定系における文脈性を分析するための「文脈性-デフォルト」フレームワークを導入する。文脈性は結合に基づく基準によって形式化され、どの結合によっても文脈間での等価性が最大化されない場合、システムは文脈的であることが示され、主な結果として最大結合を用いた一般化可能な文脈性の測度が得られる。

ABSTRACT

This paper is a brief overview of the concepts involved in measuring the degree of contextuality and detecting contextuality in systems of binary measurements of a finite number of objects. We discuss and clarify the main concepts and terminology of the theory called "contextuality-by-default," and then discuss a possible generalization of the theory from binary to arbitrary measurements.

研究の動機と目的

• 測定が物理的に独立であっても文脈によってラベル付けされるため、文脈的であると見なされるシステムにおける文脈性を形式化すること。
• 特に有限個の二値確率変数からなるシステムにおいて、文脈性-デフォルト理論の用語法と概念を明確化すること。
• 最大結合と一貫した同時分布の導入により、二値測定を超えた理論の一般化を図ること。
• 最大結合が存在するような結合の存在に基づく、文脈性を検出する数学的に厳密な基準を提供すること。
• 最大値が存在しない場合に備えて、上界に基づく定義を用いて任意の確率変数系への文脈性の測度の一般化を図ること。

提案手法

• 測定を文脈に応じて上付き添え字でラベル付けすることで、すべての確率変数が物理的に同一であっても区別されるようにし、すべての測定が文脈的にラベル付けされるようにする。
• システム $\mathfrak{R}$ を、互いに素な「束」（bunches）の集合として定義し、異なる文脈間では同時分布が存在しないようにする。
• 結合 $S$ を、各測定の周辺分布を保持するように定義された確率変数の同時分布として導入する。
• 各周辺 $S_q$ が対応する接続 $\mathfrak{R}_q$ に対して最大結合であるような結合を、文脈間での等価性の確率を最大化するように定義する。
• Thorissonの定理により保証されるように、$\max\mathsf{eq}(\mathfrak{R}_q)$ を、すべての文脈 $C$ に対して $\mu_q \leq \mu_q^C$ を満たす最大の測度 $\mu_q$ として定義し、存在性と一意性を保証する。
• 文脈性を $\mathsf{cntx}(\mathfrak{R}) = f(\max\mathsf{eq}(\mathfrak{R}_q)) - \max\mathsf{eq}(\mathfrak{R})$ で定義し、$f$ は滑らかで単調増加な関数とする。$\mathsf{cntx}(\mathfrak{R}) > 0$ ならば $\mathfrak{R}$ は文脈的である。

実験結果

リサーチクエスチョン

• RQ1 測定が物理的に独立であっても文脈によってラベル付けされるシステムにおいて、文脈性を一貫して定義する方法は何か？
• RQ2 確率的に独立な確率変数の集合において、結合が「最大に接続された」ものと見なされるための条件は何か？
• RQ3 最大結合と一貫した確率的制約を用いて、二値測定を超えた文脈性の測度を一般化できるか？
• RQ4 任意の確率変数系において $\max\mathsf{eq}(\mathfrak{R})$ が存在する条件は何か？ また、それが存在しない場合には定義をどのように修正すべきか？
• RQ5 一般化された文脈性の測度は、既存の基準とどのように関係し、多様な測定系において解釈可能な結果をもたらすか？

主な発見

• 理論により、文脈性は、すべての周辺的等価性が文脈間で最大化されるような最大結合を構成することが不可能であることに起因することを示している。
• 任意の物体 $q$ に対して、最大等価確率 $\max\mathsf{eq}(\mathfrak{R}_q)$ は、すべての文脈 $C$ に対して $\mu_q \leq \mu_q^C$ を満たす最大の測度 $\mu_q$ として一意に定義され、数学的整合性が保証される。
• Theorem 7.3 (Thorisson, 2000) により、各接続 $\mathfrak{R}_q$ に対する最大結合は常に存在し、一般化されたフレームワークの基盤を提供する。
• 文脈性の測度 $\mathsf{cntx}(\mathfrak{R})$ は、個々の最大等価確率の和と、システム全体で達成可能な最大の同時等価確率との差として定義され、$\mathsf{cntx}(\mathfrak{R}) > 0$ ならば文脈的である。
• $\max\mathsf{eq}(\mathfrak{R})$ が存在しない場合には、$\max$ の代わりに $\sup$ を用いることで定義を拡張でき、理論的枠組みを保つことができる。
• 本フレームワークは二値の場合を一般化し、結合に基づく整合性を通じて文脈性を検出する統一的なアプローチを提供する。