[论文解读] The Status of the Bayes Rule in QBism

Blake C. Stacey|arXiv (Cornell University)|Oct 19, 2022

Philosophy and History of Science被引用 13

一句话总结

本文澄清了 QBism 并不要求将贝叶斯规则作为基本的更新机制，尽管存在普遍误解。它认为，尽管 QBism 中的概率是个人的且具有认识论性质，但贝叶斯更新并非规范性义务；相反，信念修正可通过更广泛的重新评估实现，而量子理论中的玻恩规则在结构上类似于全概率定律，而非贝叶斯规则，因此贝叶斯规则在 QBist 基础中处于边缘地位。

ABSTRACT

I gamely try to disentangle ideas that have been confused with one another.

研究动机与目标

• 纠正普遍存在的误解，即 QBism 强制要求将贝叶斯更新作为修订信念的唯一方法。
• 阐明概率的一致性是在单一时间点上强制执行的，而非通过时间上的更新规则。
• 在量子理论和 QBism 的语境下，区分全概率定律与贝叶斯规则。
• 论证玻恩规则并非贝叶斯规则的量子版本，而是全概率定律的推广。
• 将 QBism 中的“对偶性”后设重新解释为推导出的定理，而非依赖于贝叶斯更新的奠基性规则。

提出的方法

• 使用荷兰赌论证，将概率公理由一致性约束推导为代理在单一时间点信念的约束。
• 分析一个场景：代理（爱丽丝）在事件 E 发生后更新信念，表明设定 P₁(F) = P₀(F|E) 并非逻辑上的必要。
• 将全概率定律（LTP）应用于一组互斥事件 {Eᵢ}，表达为 P₀(F) = Σᵢ P₀(F|Eᵢ)P₀(Eᵢ)，其中所有概率均以时间 0 为索引。
• 将玻恩规则重述为 P₀(F) = tr(ρF)，并以概率形式表达为 P₀(F) = Σⱼ P₀(F|Eⱼ)Σᵢ [Φ]ⱼᵢ P₀(Eᵢ)，显示出与 LTP 的结构相似性。
• 证明玻恩矩阵 Φ 不能是单位矩阵，揭示其与经典概率的根本差异。
• 用基于一致性的推导替代基于贝叶斯的“对偶性”后设的论证，使其成为定理而非后设。

实验结果

研究问题

• RQ1 在 QBism 中，贝叶斯更新是否具有规范性要求，还是代理可通过更广泛的重新评估来修订信念？
• RQ2 玻恩规则与经典概率规则（如全概率定律）有何关系？
• RQ3 为何认为玻恩规则是‘量子贝叶斯规则’是一种概念性错误？
• RQ4 QBism 中的‘对偶性’后设能否从一致性条件中推导，而非依赖于贝叶斯更新？
• RQ5 贝叶斯规则在 QBist 量子理论重构中扮演什么角色，为何其作用被边缘化？

主要发现

• QBism 并不要求代理通过贝叶斯规则更新信念；只要保持一致性，其他信念修订方式亦被允许。
• 全概率定律而非贝叶斯规则，是玻恩规则与经典概率之间结构类比的基础。
• 玻恩规则的概率形式表达涉及一个非单位矩阵的玻恩矩阵 Φ，显示出其与经典贝叶斯更新的根本差异。
• 认为玻恩规则是‘量子贝叶斯规则’的说法歪曲了 QBism 的基础，因此是错误的。
• 曾以贝叶斯规则为依据的‘对偶性’后设，现可从一致性条件中推导为定理，从而摆脱对贝叶斯更新的依赖。
• 贝叶斯规则在 QBist 基础性工作中仅起边缘作用，其重要性已逐步被基于一致性的推导所取代。