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

技術的要約： 「選択公理とノーシグナリング原理」に対するコメントへの回答

問題提起
本論文は、著者らの先行研究 [1] において確立された決定論的ノーシグナリング戦略と確率論的ノーシグナリング戦略の区別に関する、コメント [2] による批判に対処するものである。当該コメントは、[1] で提示された選択公理（AC）を用いて構築された決定論的戦略は、数学的には確率論的ノーシグナリング戦略として表現可能であると主張している。具体的には、コメントの作成者らは、任意の固定された入力 $x$ に対して確定的な出力 $g(x)$ が得られるため、結果として得られる経験モデル $e_x = \delta_{g(x)}$ （ディラック測度）は確率的戦略の定義を満たすと主張している。したがって、彼らは [1] における決定論的戦略と確率論的戦略の区別は無効であると断じている。

方法論および定義の明確化
著者らは、相違点は「確率的戦略」の定義の取り方に起因すると説明する。コメントが点的な（pointwise）定義を採用しているのに対し、著者らは [1] が完全な確率過程を含む、より強力な操作的（operational）な定義を意図していたことを主張する。

1. 点的な視点 vs. 操作的な視点:

   • コメントの視点: 任意の固定された入力 $x$ に対して、出力は確率測度（具体的にはディラック分布）である。この定義の下では、分布の族 $(e_x)$ は確率的経験モデルを構成する。
   • 著者らの視点（Ref. [1]）: 確率的戦略は、入力自体が確率分布に従ってサンプリングされる単一の確率的実験を記述しなければならない。したがって、戦略は入力空間から出力分布の空間への可測な写像を定義しなければならない。

2. 可測性の要件:
   著者らは、以下の条件を満たす操作的な設定を定式化する：

   • 入力空間は、ボレル $\sigma$-代数 $\mathcal{A}$ を備えた $X = [0, 1]$ である。
   • 出力空間は、離散 $\sigma$-代数 $\mathcal{B}$ を備えた $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\})$ はボレル $\sigma$-代数 $\mathcal{A}$ に属さない。その結果、写像 $x \mapsto \delta_{g(x)}$ はマルコフ核としての要件を満たさない。

主要な結果

• ランダムな入力との不適合性: ACに基づく戦略は可測ではないため、レフェリーによるランダムな入力の選択（確率測度 $\mu$ に従ってサンプリングされる）と合成することができない。ゲームにおける操作的確率を定義する積分 $\int_X e_x(B) d\mu(x)$ は、非可測関数の場合には未定義となる。
• 区別の妥当性: 「関数的ノーシグナリング戦略」（決定論的関数、潜在的に非可測）と「確率論的ノーシグナリング戦略」（可測な確率的入出力過程）の区別は依然として有効である。ACに基づく戦略は前者のカテゴリーに属するが、[1] で意図された操作的な意味における後者の要件を満たさない。
• 有限性の文脈: 著者らは、入力空間が有限かつ離散である場合、可測性の条件は自明であることを指摘している。これは、なぜ有限の設定ではこの区別が見落とされる可能性があるのか、そしてなぜ [1] の無限の設定においては極めて重要になるのかを説明するものである。

意義および主張
本論文は、新たな物理現象や実験的提案を導入することを目的としているのではない。その意義は、[1] で用いられた数学的および概念的な枠組みを明確化することにある。

• 操作的な意味: 著者らは、彼らの原著における「確率的戦略」という用語は、ランダムにサンプリングされた入力が処理される際に生成される完全な確率過程を指していることを強調する。ACに基づく戦略は、純粋に関数的な枠組みにおいては定義可能であるが、入力がランダムである場合に定義可能な確率を生成できないため、この操作的な意味を欠いている。
• コメントへの回答: 著者らは、コメントはそれ自身の（より弱い）定義内では形式的に整合しているものの、[1] の意図した操作的な意味を捉え損ねていると結論付けている。ACに基づく戦略は、妥当な決定論的関数的戦略ではあるが、連続的な入力を伴う操作的なノーシグナリング・ゲームに必要な可測性の要件の下では、妥当な確率的戦略とはみなされない。