[论文解读] On generalized probabilities: correlation polytopes for automaton logic and generalized urn models, extensions of quantum mechanics and parameter cheats

Karl Svozil|ArXiv.org|Dec 14, 2000

Neural Networks and Reservoir Computing参考文献 37被引用 4

一句话总结

本文通过将形式化推广至所有迹为1的正定自伴算符，推广了量子概率，实现了对态与可观测量的统一处理。它引入了‘参数欺骗’——对测量参数的非线性、双射变换，使经典系统能够模仿量子关联，甚至超越Tsirelson界，但代价是引入非均匀性。

ABSTRACT

Three extensions and reinterpretations of nonclassical probabilities are reviewed. (i) We propose to generalize the probability axiom of quantum mechanics to self-adjoint positive operators of trace one. Furthermore, we discuss the Cartesian and polar decomposition of arbitrary normal operators and the possibility to operationalize the corresponding observables. Thereby we review and emphasize the use of observables which maximally represent the context. (ii) In the second part, we discuss Pitowsky polytopes for automaton logic as well as for generalized urn models and evaluate methods to find the resulting Boole-Bell type (in)equalities. (iii) Finally, so-called ``parameter cheats'' are introduced, whereby parameters are transformed bijectively and nonlinearly in such a way that classical systems mimic quantum correlations and vice versa. It is even possible to introduce parameter cheats which violate the Boole-Bell type inequalities stronger than quantum ones, thereby trespassing the Tsirelson limit. The price to be paid is nonuniformity.

研究动机与目标

• 通过将迹规则推广至所有迹为1的正定自伴算符，将量子概率形式化扩展至纯态之外。
• 通过笛卡尔分解与极坐标分解，研究正规算符与任意算符的操作可实现性。
• 利用Boole-Bell型不等式，分析自动机逻辑与广义瓮模型的相关性多面体。
• 探讨经典系统通过非线性参数变换（‘参数欺骗’）再现类量子关联的可能性。
• 评估此类参数欺骗的物理一致性与局限性，特别是其非均匀性及对经典界限的违反。

提出的方法

• 将量子概率推广为 $ P(\psi,\varphi) = \mathrm{Tr}(\rho_\psi \rho_\varphi) $，其中 $ \rho_\psi $ 与 $ \rho_\varphi $ 为密度算符（正定、自伴、迹为1），不一定是投影算符。
• 利用正规算符的笛卡尔分解与极坐标分解，将一般可观测量的测量还原为可同时测量的自伴或酉算符。
• 应用Pitowsky的框架，将非布尔事件结构（自动机逻辑、广义瓮）建模为无反常态的凸组合。
• 将相关性多面体构造为由极值态定义的顶点的凸包，表示所有可能的经典关联集合。
• 引入非线性、双射的参数变换 $ \theta \mapsto \Delta $，将经典关联函数映射为可模仿量子关联的形式。
• 通过傅里叶级数展开定义参数欺骗，例如 $ P^{=}_{cl}(\Delta) = \frac{1}{2} + \frac{2}{\pi} \sum_{k=0}^{n} \frac{\sin((2k+1)(2\Delta/\pi - 1))}{2k+1} $，在极限下收敛于阶跃函数。

实验结果

研究问题

• RQ1 量子概率能否在混合态既作为态又作为可观测量时，一致地推广至纯态之外？
• RQ2 非布尔事件结构（如自动机逻辑、广义瓮）在经典关联多面体中的表示程度如何？
• RQ3 经典系统能否通过非线性参数变换再现量子关联，若能，其条件为何？
• RQ4 此类参数欺骗所施加的物理与数学约束（尤其是非均匀性）是什么？
• RQ5 参数欺骗能否违反Tsirelson界，这对经典与量子边界的界定意味着什么？

主要发现

• 广义概率规则 $ P(\psi,\varphi) = \mathrm{Tr}(\rho_\psi \rho_\varphi) $ 即使在两个算符均为混合态时，仍保持非负性与有界性（$ 0 \leq P \leq 1 $）。
• 正规算符可通过其笛卡尔或极坐标分解分量的同时测量实现，前提是这些分量彼此对易。
• 非布尔逻辑（如自动机逻辑）的相关性多面体是经典相关性多面体的子集，因为它们源于无反常态的凸包。
• 通过基于傅里叶的非线性变换定义的参数欺骗可再现量子关联函数，包括违反Tsirelson界的关联。
• 通过 $ \theta = \frac{\pi}{2} + 2 \sum_{k=0}^{n} \frac{\sin((2k+1)(2\Delta/\pi - 1))}{2k+1} $ 的变换 $ \theta \mapsto \Delta $，可在特定参数重参数化下使经典系统模仿量子行为。
• 尽管能模仿量子关联，参数欺骗引入了非均匀性，破坏了标准物理参数方案中所期望的各向同性与线性。