局部实在性的图示公式化

给定两个在各自实验室中进行实验的参与方，我们提供了关于它们实验联合统计量满足局部实在性的图示公式化表述。特别是，我们展示了局部性和实在性原则都由概率空间之间保持概率映射的有限概率空间范畴中的单个交换图所捕获，我们还展示了假设此类局部实在性的图示公式化表述意味着与二元随机变量相关的标准CHSH不等式。由于量子理论已知不满足局部实在性，我们的以交换图表示的局部实在性表述提供了另一种方式，说明非交换性在量子理论中发挥着根本作用。我们指出，我们不假设任何关于范畴论或量子理论的先验知识，因为本工作旨在为哲学家、数学家和物理学家。