[論文レビュー] Negative probabilities, II: What they are and what they are for

Andreas Blass, Yuri Gurevich|arXiv (Cornell University)|Jul 26, 2018

Statistics Education and Methodologies被引用数 3

ひとこと要約

本稿では、負の確率が解釈の問題ではなく、有用性の問題であると提唱する。負の確率は、従来の確率論が失敗する量子類似系の整合的モデリングを可能にする。観測空間を導入し、確率測度を符号付き分布へと拡張することで、著者らは負の確率が量子測定の場面における整合性の欠如を解消することを示しているが、Kochen-Specker定理のような基礎的制約により、その使用は限定的である。

ABSTRACT

A signed probability distribution may extend a given traditional probability from observable events to all events. We formalize and illustrate this approach. We also illustrate its limitation. We argue that the right question is not what negative probabilities are but what they are for.

研究の動機と目的

• 負の確率の解釈から、量子系モデリングにおけるその機能的役割への注目を移すこと。
• 有限の量子類似系の文脈において、符号付き確率分布を扱うためのフレームワークとしての「観測空間」を形式化すること。
• 量子測定データにおける整合性の欠如を解消するために、負の確率がいつ、なぜ必要となるかを調査すること。
• 特定の量子演算子集合が、符号付き測度でさえもモデリング不可能であることを示す証明を通じて、負の確率の限界を提示すること。

提案手法

• 符号付き確率空間を、Pが2^Ω上で定義され、正規化および有限加法性を満たすが、非負性を必ずしも満たさない実数値関数であるようなペア(Ω, P)として定義する。
• 「観測空間」を、符号付き測度と同時に観測可能な事象集合を許容する古典的確率空間の一般化として導入する。
• Piponiのシナリオを走り書きの例として用い、非負の観測確率が古典的確率論では矛盾を生じるが、符号付き測度では整合可能であることを説明する。
• 量子測定をエルミート演算子とその固有空間を用いてモデリングし、部分空間を観測可能な事象として扱う。
• Kochen-Specker定理を適用して、一部の有限演算子集合が、符号付き確率でさえも、いかなる観測フレームでもモデリング不可能であることを証明する。
• モデルの条件を弱めて、確率ゼロの誤差を許容する等価性を認めるようにし、符号付き測度における誤差キャンセレーションの観点から負の確率の利用を検討する。

実験結果

リサーチクエスチョン

• RQ1 負の確率は解釈論争を越えて、量子力学における機能的役割は何か？
• RQ2 符号付き確率分布は、古典的確率制約に違反する量子測定データを一貫してモデリングできるか？
• RQ3 符号付き確率を許容しても、いつごろ符号付き確率モデルが不可能になるのか？
• RQ4 観測空間は、量子類似系を扱えるように、古典的確率フレームワークをどのように一般化するか？
• RQ5 符号付き測度における確率的誤差キャンセレーションは、古典モデルの限界を克服できるか？

主な発見

• Piponiのシナリオにおいて、負の確率は、古典的確率論下でマージナル確率と結合確率が矛盾する場面で整合性を回復する。
• 本稿では、ℂ⁴上に定義された有限個のエルミート演算子の集合を構成し、それがいかなる観測フレームでもモデリング不可能であることを示し、根本的な制限を証明した。
• 不可能性の結果は、Kochen-Specker定理に依拠しており、各ベクトルが正確に2つの基底に現れるという事実に起因し、一貫した選択が不可能である。
• 著者らは、非負の確率ではこのような系をモデリングできないが、構造的制約のため、負の確率ですら不十分である可能性があることを示した。
• 確率ゼロの誤差を許容するようにモデル条件を弱めることで、誤差キャンセレーションの観点から負の確率の利用が可能になるが、これはすべての限界を克服するには十分ではない。
• 本研究は、負の確率が万能薬ではなく、古典的確率が失敗する場面において、特定で限定的な役割を果たすものであると示唆している。