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

기술 요약: "선택 공리와 무신호 원리(The Axiom of Choice and the No-Signalling Principle)"에 대한 논평에 대한 답변

문제 제기
본 논문은 저자들의 이전 연구[1]에서 확립된 결정론적(deterministic) 전략과 확률적(probabilistic) 무신호 전략 사이의 구분에 대해 제기된 논평 [2]의 비판을 다룬다. 논평은 [1]에서 제시된 바와 같이 선택 공리(AC)를 사용하여 구축된 결정론적 전략이 수학적으로 확률적 무신호 전략으로 표현될 수 있다고 주장한다. 구체적으로, 논평자들은 모든 고정된 입력 $x$에 대해 확정적인 출력 $g(x)$가 생성되므로, 결과적인 경험적 모델 $e_x = \delta_{g(x)}$ (디락 측도)가 확률적 전략의 정의를 만족한다고 주장한다. 결과적으로, 그들은 [1]에서 주장한 결정론적 전략과 확률적 전략 사이의 구분이 유효하지 않다고 단언한다.

방법론 및 정의의 명확화
저자들은 이 이견이 "확률적 전략"이라는 정의의 차이에서 기인함을 명확히 한다. 논평은 점별(pointwise) 정의를 채택하고 있는 반면, 저자들은 [1]에서 의도한 것이 완전한 확률 과정(stochastic process)을 포함하는 더 강력한 조작적(operational) 정의라고 주장한다.

1. 점별 관점 vs. 조작적 관점:

   • 논평의 관점: 임의의 고정된 입력 $x$에 대해, 출력은 확률 측도(구체적으로는 디락 분포)이다. 이 정의에 따르면, 분포의 가족 $(e_x)$는 확률적 경험 모델을 구성한다.
   • 저자들의 관점 (Ref. [1]): 확률적 전략은 입력 자체가 확률 분포로부터 샘플링되는 단일 확률 실험을 기술해야 한다. 따라서 전략은 입력 공간에서 출력 분포 공간으로의 가측 사상(measurable mapping)을 정의해야 한다.

2. 가측성 요구 사항:
   저자들은 다음과 같은 조작적 설정을 정식화한다:

   • 입력 공간은 보렐 $\sigma$-대수 $\mathcal{A}$가 부여된 $X = [0, 1]$이다.
   • 출력 공간은 이산 $\sigma$-대수 $\mathcal{B}$가 부여된 $Y = \{0, 1\}$이다.
   • 전략은 함수 $g: X \to Y$로 정의된다.
   • 전략이 조작적이기 위해서는, 함수 $x \mapsto e_x(B)$가 모든 $B \in \mathcal{B}$에 대해 가측이어야 한다. 측도론적 관점에서, 가족 $(e_x)$는 **마르코프 커널(Markov kernel)**을 형성해야 한다.

3. AC 기반 전략의 실패:
   저자들은 AC 기반 전략이 모든 고정된 입력에 디락 분포를 할당함에도 불구하고, 선택 공리를 통해 구축된 함수 $g$가 가측(measurable)이 아님을 입증한다. 구체적으로, 역상(pre-images) $g^{-1}(\{0\})$와 $g^{-1}(\{1\})$는 보렐 $\sigma$-대수 $\mathcal{A}$에 속하지 않는다. 결과적으로, 사상 $x \mapsto \delta_{g(x)}$는 마르코프 커널이 되는 데 실패한다.

주요 결과

• 무작위 입력과의 불합치성: AC 기반 전략은 가측성이 없기 때문에, 심판(referee)의 무작위 입력 선택(확률 측도 $\mu$에 따라 샘플링됨)과 결합될 수 없다. 게임의 조작적 확률을 정의하는 적분 $\int_X e_x(B) d\mu(x)$는 비가측 함수에 대해 정의되지 않는다.
• 구분의 유효성: "함수적 무신호 전략"(결정론적 함수, 잠재적으로 비가측)과 "확률적 무신호 전략"(가측 확률적 입출력 과정) 사이의 구분은 여전히 유효하다. AC 기반 전략은 전자의 범주에 속하지만, [1]에서 의도한 조작적 의미에서의 후자로서의 자격은 갖추지 못한다.
• 유한성의 맥락: 저자들은 입력 공간이 유한하고 이산적일 때 가측성 조건이 자명하다는 점을 언급하며, 이것이 왜 유한한 설정에서는 이러한 구분이 간과될 수 있으나 [1]의 무한 설정에서는 결정적인지를 설명한다.

의의 및 주장
본 논문은 새로운 물리적 현상이나 실험적 제안을 도입하는 것을 목표로 하지 않는다. 대신, 그 의의는 [1]에서 사용된 수학적 및 개념적 프레임워크를 명확히 하는 데 있다.

• 조작적 의미: 저자들은 자신들의 원전에서 "확률적 전략"이라는 용어가 무작위로 샘플링된 입력이 처리될 때 생성되는 완전한 확률 과정을 지칭함을 강조한다. AC 기반 전략은 순수하게 함수적인 틀 안에서는 잘 정의되어 있을지라도, 연속적인 입력을 가진 조작적 무신호 게임에 필요한 가측성 요건을 충족하지 못하므로 이러한 조작적 의미를 결여하고 있다.
• 논평에 대한 해결: 저자들은 논평이 자체적인 (더 약한) 정의 내에서는 형식적으로 일관되지만, [1]의 의도된 조작적 의미를 포착하는 데 실패했다고 결론짓는다. AC 기반 전략은 유효한 결정론적 함수적 전략이지만, 연속적인 입력을 가진 조작적 무신호 게임에 필요한 가측성 요구 사항 하에서는 유효한 확률적 전략이 아니다.