[论文解读] Plausibility measures on test spaces

T. A. Fritz, Matthew Leifer|arXiv (Cornell University)|May 5, 2015

Bayesian Modeling and Causal Inference参考文献 20被引用 3

一句话总结

本文将可置信度度量——用于不确定性推理的结构——从经典样本空间推广至测试空间，使其适用于操作理论和量子理论。研究证明，阿基米德条件在严格有限的测试空间中是可置信度度量与概率度量一致的充要条件，在局部有限情况下则为‘几乎一致’的充分条件，从而将概率推理的基础性结果扩展至非经典框架。

ABSTRACT

Plausibility measures are structures for reasoning in the face of uncertainty that generalize probabilities, unifying them with weaker structures like possibility measures and comparative probability relations. So far, the theory of plausibility measures has only been developed for classical sample spaces. In this paper, we generalize the theory to test spaces, so that they can be applied to general operational theories, and to quantum theory in particular. Our main results are two theorems on when a plausibility measure agrees with a probability measure, i.e. when its comparative relations coincide with those of a probability measure. For strictly finite test spaces we obtain a precise analogue of the classical result that the Archimedean condition is necessary and sufficient for agreement between a plausibility and a probability measure. In the locally finite case, we prove a slightly weaker result that the Archimedean condition implies almost agreement.

研究动机与目标

• 将可置信度度量——概率、可能性度量以及比较概率关系的推广——从经典样本空间推广至测试空间，以建模操作理论和量子理论。
• 识别在何种条件下，测试空间上的可置信度度量能忠实再现概率度量的比较关系。
• 为量子和后概率物理理论中的不确定性推理提供一个正式框架，特别是在概率过于强烈或定义不清的语境中。
• 解决量子引力和离散物理中的基础性问题，其中连续概率可能失效，需依赖更弱的预测结构。

提出的方法

• 将测试空间形式化为覆盖结果空间的测试（结果集合）的集合，将经典可测空间推广至允许不相容测量的框架。
• 将可置信度度量定义为测试空间中事件上的自反、传递和单调的比较关系，同时推广概率和可能性度量。
• 引入可置信度度量与概率度量之间‘一致’和‘几乎一致’的概念，基于事件比较顺序。
• 应用序单位空间的Hahn-Banach型定理，推导分离结果并刻画可置信度度量的结构。
• 利用序单位空间构造分析可置信度与概率之间的关系，特别是在有限和局部有限的测试空间中。
• 证明阿基米德条件——确保不存在无穷小或无穷大的比较——在有限情况下是可置信度度量与概率度量一致的充分且必要条件。

实验结果

研究问题

• RQ1 在何种条件下，测试空间上的可置信度度量在比较可能性方面与概率度量完全一致？
• RQ2 经典中已知可表征可置信度与概率在经典理论中一致性的阿基米德条件，能否推广至非经典的如量子力学等操作理论？
• RQ3 在局部有限的测试空间中，阿基米德条件的行为如何？此时完整经典结果可能不成立。
• RQ4 可置信度度量在多大程度上可统一可能性和概率框架，以解释上下文依赖性和非定域性等基础性量子现象？
• RQ5 可置信度度量能否作为后概率物理理论的基础，特别是在量子引力或离散量子模型中？

主要发现

• 在严格有限的测试空间中，阿基米德条件是可置信度度量与概率度量一致的充要条件，将经典结果推广至非经典框架。
• 在局部有限情况下，阿基米德条件意味着与概率度量的‘几乎一致’，这是一种稍弱但依然重要的对应形式。
• 序单位空间构造使得能够进行类似Hahn-Banach的分离论证，这是证明主要一致结果的核心。
• 可置信度度量将可能性度量和概率度量作为特例统一，为操作理论中的不确定性推理提供统一框架。
• 研究结果支持使用可置信度度量作为基础结构的可行性，尤其在概率并非基本的理论中，如离散或量子引力模型。
• 该框架能够识别出可能性度量无法由任何概率度量表示的情况，通过阿基米德条件提供此类不可表示性的判据。