측정불가능 균형을 가진 베이즈 게임: ε 균형 부재와 비가측 해법

초록

본 논문은 세 명의 플레이어가 참여하는 베이즈 게임을 구성하여, ε가 충분히 작을 때(ε ≤ 1/1000) Borel 가측 전략에서는 ε‑균형이 존재하지 않지만, 비가측 전략을 허용하면 균형이 존재함을 보인다. 비가환 자유 반군집의 비가법적(semi‑group) 작용을 이용해 정보 구조를 설계하고, 이를 통해 기존의 Harsanyi ε‑균형 존재 결과를 무너뜨린다.

상세 분석

이 논문은 베이즈 게임 이론에서 “측정가능성”이라는 가정이 균형 존재에 얼마나 결정적인 역할을 하는지를 극명히 보여준다. 저자들은 먼저 자유 반군집 (G^{+}) (생성원 (T_{1},T_{2})의 비음수 거듭제곱) 위에 이산 공간 ({0,1}^{G^{+}})을 정의하고, 이를 Cantor 집합 (X)로 본다. (T_{i})는 좌측 시프트 연산자로, (G^{+})가 (X)에 오른쪽 작용을 하게 된다. 이 구조는 모든 원소가 측정 보존(measure‑preserving)이며, 독립적인 베르누이 분포를 갖는 확률공간 ((X,m))을 만든다.

게임의 전체 상태공간은 (\Omega = D \times X) ((D={r,g}))이며, 세 명의 플레이어 (G_{0},R_{1},R_{2})가 각각 다른 정보 집합을 가진다. (G_{0})는 색깔이 녹색인 상태와 빨간색인 상태를 구분하지 못하고, (R_{i})는 빨간색 상태와 해당 색이 녹색이면서 (T_{i}^{-1})에 의해 역전된 상태를 구분하지 못한다. 이러한 정보 구조는 각 플레이어의 전략을 Borel σ‑대수에 대해 가측함을 요구한다.

보상 행렬은 (x_{e}=0)과 (x_{e}=1)에 따라 서로 뒤바뀌며, 특히 (G_{0})의 행동 (b_{0},b_{1})은 두 명의 레드 플레이어가 선택하는 (a_{0},a_{1})에 따라 1000,2000 등 큰 보상을 주어 강한 인센티브를 만든다. 저자들은 “패리티 규칙(parity rule)”을 도입해, 만약 (T_{1}(x))와 (T_{2}(x))가 각각 특정 집합 (A_{i},A_{j})에 속하면 (x)는 (A_{i+j+k})에 속한다는 관계를 정의한다. 이 규칙은 ε‑균형이 존재하려면 거의 모든 점에서 만족되어야 한다는 강제조건을 만든다.

Lemma 1은 어느 점에서든 적어도 하나의 레드 플레이어가 80 이상의 인센티브를 받아 특정 행동을 선택하도록 강제함을 보이며, 이를 통해 플레이어들의 혼합 전략(mixing)이 거의 불가능함을 증명한다. Lemma 2는 Borel 가측 ε‑균형이 존재한다면 (G_{0})의 혼합 확률이 (1.6\times10^{-4}) 이하이고, 패리티 규칙이 전체 공간의 99.6% 이상에서 유지되어야 함을 보여준다.

그 후, 측정가능성 가정 하에서 패리티 규칙을 만족시키는 Borel 집합을 구성하려 하면 비가법적(semi‑group) 구조 때문에 모순이 발생한다. 구체적으로, 자유 반군집의 비가법성(amenability 부재)으로 인해 Folner 집합이 존재하지 않으며, 이는 Borel 집합이 전체 공간을 거의 전부 차지하도록 강제하면서도 동시에 패리티 규칙을 위반하게 만든다. 따라서 ε ≤ 1/1000인 경우에는 어떠한 Borel 가측 전략도 ε‑균형을 이룰 수 없음을 증명한다.

반면, 비가측 전략을 허용하면 “비가측 선택 함수”를 이용해 각 점마다 패리티 규칙을 만족하도록 할 수 있다. 이는 선택 공리(axiom of choice)를 활용한 비가측 집합을 구성함으로써 가능해지며, 결과적으로 비가측 베이즈 균형이 존재함을 보인다.

이 논문은 기존의 Harsanyi‑ε‑균형 존재 정리를 비가법적 군집 작용에 적용함으로써, 측정가능성 가정이 없을 때 균형이 존재할 수도 있음을, 그리고 반대로 측정가능성을 강제하면 균형이 전혀 존재하지 않을 수도 있음을 명확히 한다. 이는 베이즈 게임 이론에서 정보와 측정가능성의 미묘한 상호작용을 이해하는 데 중요한 전환점을 제공한다.