Reply to the Comment on "The Axiom of Choice and the No-Signalling Principle"

技术摘要：对“选择公理与无信号原则”评论的回应

问题陈述
本文旨在回应针对作者此前工作 [1] 中建立的确定性与概率性无信号策略之间区别的评论 [2]。该评论认为，在评论者所呈现的利用选择公理（AC）构建的确定性策略中，其在 Ref. [1] 中的数学表达可以被视为一种概率性无信号策略。具体而言，评论者主张，由于每一个固定的输入 $x$ 都产生一个确定的输出 $g(x)$，由此产生的经验模型 $e_x = \delta_{g(x)}$（狄拉克测度）满足概率策略的定义。因此，他们断言 Ref. [1] 中所提出的确定性策略与概率性策略之间的区别是无效的。

方法论与定义澄清
作者澄清，分歧源于对“概率策略”定义的不同理解。虽然评论采用了逐点（pointwise）定义，但作者认为 Ref. [1] 旨在使用涉及完整随机过程的更强的算术/操作性（operational）定义。

1. 逐点视角 vs. 操作性视角：

   • 评论者的视角： 对于任何固定的输入 $x$，输出是一个概率测度（具体为狄拉克分布）。在此定义下，分布族 $(e_x)$ 构成了一个概率性经验模型。
   • 作者的视角（Ref. [1]）： 一个概率性策略必须描述单个随机实验，其中输入本身是从某种概率分布中采样的。因此，该策略必须定义一个从输入空间到输出分布空间的可测映射。

2. 可测性要求：
   作者形式化了以下操作性设定：

   • 输入空间为配备 Borel $\sigma$-代数的 $X = [0, 1]$。
   • 输出空间为配备离散 $\sigma$-代数的 $Y = \{0, 1\}$。
   • 策略由函数 $g: X \to Y$ 定义。
   • 为了使该策略具有操作性，对于每个 $B \in \mathcal{B}$，映射 $x \mapsto e_x(B)$ 必须是可测的。用测度论术语来说，该族 $(e_x)$ 必须构成一个马尔可夫核（Markov kernel）。

3. 基于 AC 的策略之失效：
   作者证明，尽管基于 AC 的策略为每一个固定的输入分配了一个狄拉克分布，但通过选择公理构建的函数 $g$ 是不可测的。具体而言，原像 $g^{-1}(\{0\})$ 和 $g^{-1}(\{1\})$ 不属于 Borel $\sigma$-代数 $\mathcal{A}$。因此，映射 $x \mapsto \delta_{g(x)}$ 未能构成一个马尔可夫核。

关键结果

• 与随机输入的不可兼容性： 由于基于 AC 的策略是不可测的，它无法与裁判随机选择的输入（根据概率测度 $\mu$ 采样）进行组合。定义博弈操作概率的积分 $\int_X e_x(B) d\mu(x)$ 对于非可测函数而言是未定义的。
• 区别的有效性： “函数型无信号策略”（确定性函数，可能不可测）与“概率性无信号策略”（可测的随机输入-输出过程）之间的区别仍然有效。基于 AC 的策略属于前者，但在 Ref. [1] 所意指的操作性意义上，它并不属于后者。
• 有限性的背景： 作者指出，当输入空间是有限且离散时，可测性条件是平凡的，这解释了为什么在有限设置中该区别可能会被忽视，但在 Ref. [1] 的无穷情形中则变得至关重要。

意义与主张
本文并非声称引入了新的物理现象或实验方案。相反，其意义在于澄清 Ref. [1] 中使用的数学与概念框架。

• 操作性含义： 作者强调，其原著中的“概率策略”一词是指当输入被随机采样处理时所生成的完整随机过程。基于 AC 的策略虽然在纯粹的函数框架内是良定义的，但由于它在输入随机时无法生成良定义的概率，因此缺乏这种操作性含义。
• 对评论的解决： 作者得出结论，该评论在其自身的（较弱的）定义下在形式上是自洽的，但未能捕捉到 Ref. [1] 所预期的操作性含义。基于 AC 的策略是一个有效的确定性函数策略，但在处理连续输入的可测性要求下，它不是一个有效的概率策略。