There Ain't No Such Thing as a Free Equilibrium

기술 요약: TANSTAAAFE (공짜 균형이란 없다)

문제 제기
본 논문은 무한 게임(행동 집합이 무한한 게임)에서 균형의 존재성과 관련하여 게임 이론의 근본적인 긴장 관계를 다룬다. 유한 게임은 혼합 전략에서 항상 내쉬 균형을 갖지만, 무한 게임은 반드시 그러한 것은 아니다. 표준적인 해결책은 전략 공간을 가산 더하기 확률(countably additive probabilities)에서 유한 더하기 확률(finitely additive probabilities)로 확장하는 것이다. 이는 균형의 존재성을 회복시키지만, 엄격하게 지배되는(strictly dominated) 행동에 관한 "점-영성(point-nullity)"과 "집합-영성(set-nullity)" 사이의 병리적인 구분을 도입한다.

구체적으로, 유한 더하기 확률 측도는 엄격하게 지배되는 무한한 행동 집합 내의 모든 개별 행동에는 확률 0을 할당할 수 있으면서도(점-영성), 그 지배되는 행동들의 집합 전체에는 확률 1을 할당할 수 있다(집합-영성의 실패). 핵심 질문은 다음 세 가지 바람직한 속성을 동시에 만족하는 솔루션 개념이 존재하는가 하는 점이다:

1. 보편적 비공집합성(Universal Nonemptiness): 모든 유계 게임(bounded game)에 대해 솔루션이 존재할 것.
2. 균형 속성(The Equilibrium Property): 제로섬 게임에 대한 일관성 요구 사항을 준수할 것(구체적으로, 일방적 이탈의 평가 합이 0을 초 exceed하지 않는다는 조건).
3. 집합-영성(Set-Nullity): 엄격하게 지배되는 행동의 집합 전체를 무시할 것(확률 0을 할당할 것).

방법론
저자는 유계 실수 함수 공간 $\ell^\infty(X)$와 평가(evaluations, 선형 범함수) $\Lambda: \ell^\infty(X) \to \mathbb{R}$를 활용하는 함수 해석학적 접근 방식을 사용한다.

• 정의: 저자는 집합 $B$가 $\Lambda$-영(null)이라는 것을 $B$에서의 보수를 변경해도 평가 $\Lambda(B)$가 변하지 않는 것으로 정의한다. 또한 점-영성(모든 단일 지배 행동이 영임)과 집합-영성(지배되는 행동의 집합 전체가 영임)을 구분한다.
• 반례 구축: 세 가지 속성의 호환성을 테스트하기 위해, 저자는 특정한 유계 2인 제로섬 게임 $\Gamma^*$를 구축한다. 이 게임에서 행동 집합은 $C \cup \mathbb{N}$ (여기서 $C=\{H, T\}$이고 $\mathbb{N}$은 자연수 집합)이다. 보수 구조는 두 플레이어 모두에게 자연수 집합 $\mathbb{N}$이 엄격하게 증가하는 지배 사슬(strictly increasing chain of dominance, 즉 $n+1$이 $n$을 엄격하게 지배함)을 형성하도록 설계되었으며, 이에 따라 집합 $\mathbb{N}$ 전체는 엄격하게 지배된다.
• 유한 근사(Finite Approximation): 긍정적인 결과를 도출하기 위해, 저자는 *유한 근사 가능 균형(finitely approximable equilibria)*의 개념을 활용한다. 이는 게임의 유한한 제한(finite restrictions)들로부터 얻은 혼합 내쉬 균형들의 극한(약-스타 위상에서의 극한)을 취하는 과정을 포함한다. 이때 이 제한들은 포괄적인 네트(exhaustive net, 결국 모든 유한한 행동 부분 집합을 포함함)를 형성한다.

주요 결과

1. 집합-영성의 불가능성 (정리 3.3):
   본 논문은 보편적으로 비공집합이며, 제로섬 게임에 대한 균형 속성을 만족하며, 집합-영성을 만족하는 솔루션 대응(solution correspondence)은 존재할 수 없음을 증명한다.

• 메커니즘: 구축된 게임 $\Gamma^*$에서, 만약 솔루션이 집합-영성을 만족한다면, 지배되는 행동의 집합 $\mathbb{N}$은 확률 0을 할당받아야 한다. 그러나 보수 구조는 특정 지배 행동(예: 행동 1)의 평가가 "안전한" 행동인 $C$와 비교했을 때 양수(positive)가 되도록 강제한다. 이는 일방적 이탈의 평가 합이 0 이하임을 요구하는 제로섬 균형 조건(조건 Z, $\Lambda_2(u_1) + \Lambda_1(u_2) \leq 0$)과 모순을 일으킨다. 구체적으로, $\mathbb{N}$이 영(null)이라면 평가는 플레이어들이 $C$로 제한된 것처럼 동작해야 하지만, 지배 구조상 $\mathbb{N}$ 내에서 플레이하는 것이 특정 상대의 움직임에 대해 더 높은 보수를 얻게 하므로, 솔루션 집합이 공집합이 되도록 만드는 불일치를 초래한다.

2. 점-영성의 타당성 (정리 4.7):
   저자는 더 약한 요구 사항인 점-영성이 보편적 존재성과 균형 속성과 호환됨을 보여준다.

• 메커니즘: 유한 근사 가능 균형의 주변량(marginals)을 기반으로 솔루션 대응 $S_{pt}$를 정의함으로써, 저자는 모든 엄격하게 지배되는 단일 행동이 확률 0을 할당받음을 보인다. 이는 충분히 큰 유한 제한 내에서 엄격하게 지배되는 행동은 결코 최적 대응(best response)이 될 수 없으며, 따라서 유한 내쉬 균형에서 0의 확률을 받기 때문이다. 약-스타 극한은 이러한 단일 원소(singleton)에 대한 속성을 보존한다.

3. 구분의 명확성 (따름정리 4.8):
   저자는 점-영성은 만족하지만 집합-영성은 실패하는 $\Gamma^*$의 특정 유한 근사 가능 균형을 구축한다. 이 균형에서 모든 개별 지배 행동 $n \in \mathbb{N}$은 확률 0을 갖지만, 집합 $\mathbb{N}$ 전체는 확률 1을 갖는다. 이는 집합-영성에 대한 불가능성 결과가 특정 구축의 산물이 아니라 프레임워크의 근본적인 한계임을 확인시켜 준다.

의의 및 주장
본 논문은 새로운 균형 구축보다는 "명확한 경계 획정"을 주장한다. 주요 기여는 무한 게임에서 가능한 것의 경계를 설정하는 것이다:

• 부정적 결과: 보편적으로 존재하는 균형 개념이 제로섬 게임에서 일관성을 유지하면서 전체의 엄격하게 지배되는 행동 집합을 무시하도록(집합-영성) 요구하는 것은 불가능하다.
• 긍정적 결과: 보편적으로 존재하는 균형 개념이 각각의 엄격하게 지배되는 행동을 개별적으로 무시하도록(점-영성) 요구하는 것은 가능하다.

저자는 집합이 모든 원소에 대해 0의 측도를 가지면서도 자기 자신은 1의 측도를 가질 수 있는 유한 더하기 확률의 병리적 현상이, 무한한 지배 행동 집합을 다룰 때 피할 수 없는 것임을 주장한다. 논문은 유한 근사가 고정된 지배 행동을 제거할 수는 있지만, 어떤 보편적으로 존재하는 솔루션도 집합적으로 영(null)이 될 수 있는 (비록 개별적으로는 영일지라도) 지배 행동의 전체 집합을 일반적으로 무시하도록 요구될 수는 없음을 보여줌으로써 이 긴장을 해결한다.