Consistent Beliefs without Common Prior

기술적 요약: 공통 사전 확률 없는 일관된 믿음

문제 제기
공통 사전 확률 가정(Common Prior Assumption, CPA)에 관한 문헌은 일반적으로 두 가지 흐름을 따릅니다. 첫 번째는 공통 사전 확률을 모든 플레이어의 사후 확률과 일치하는 확률 분포로 취급하는 방식입니다(Aumann, 1976; Samet, 1998). 두 번째는 더 제한적인 흐름으로, 공통 사전 확률이 **전폭적 지지(full support)**를 갖는다고 가정합니다. 즉, 모든 플레이어의 모든 유형(type)에 대해 양(+)의 확률이 할당된다는 것입니다(Morris, 1991, 1994).

Morris(1991, 1994)는 유한 유형 공간(finite type spaces)에 대해 인식론적-행동적 이중성(epistemological–behavioral duality)을 확립했습니다. 즉, 유한 유형 공간이 전폭적 지지를 가진 공통 사전 확률을 갖기 위한 필요충분조건은 수용 가능한 베팅(acceptable bet)(모든 플레이어가 기대 수익이 0 이상이면서 적어도 한 명은 엄격히 양(+)의 기댓값을 갖는 베팅)이 존재하지 않는 것입니다. 그러나 "전폭적 지지"라는 개념은 무한 상태 공간(infinite state spaces)에서 문제가 될 수 있습니다. 더욱이, 기존의 공통 사전 확률 특성화 방식은 특히 믿음을 $\sigma$-가법 확률 측도(measure)로 모델링할 때, 강력한 추가 가정(예: 컴팩트성 또는 가산 상태 공간)이 부과되지 않으면 무한 설정에서 실패하는 경우가 많습니다.

본 논문은 일반적인 무한 유형 공간에서 "전폭적 지지를 가진 공통 사전 확률"을 규명하는 데 존재하는 간극을 다루며, 이러한 사전 확률가 의미 있는 확률 분포로 표현될 수 있는지 조사합니다.

방법론
저자들은 Morris의 결과를 무한 상태 공간으로 확장하여 인식론적-행동적 이중 특성화 접근법을 채택합니다. 방법론은 다음과 같습니다:

1. 정의의 일반화: "수용 가능한 베팅"의 개념을 무한 상태 공간으로 확장합니다.
2. 볼록 분리(Convex Separation): 위상 벡터 공간에서의 볼록 집합 분리를 활용합니다. 본 논문은 강한 분리(strong separation)(공통 사전 확률-합의된 베팅의 이중성에 대응)와 적절한 분리(proper separation)(믿음의 강한 일관성-수용 가능한 베팅의 이중성에 대응)를 구분합니다.
3. 모델 견고성: 믿음을 모델링하는 두 가지 구별된 프레임워크 하에서 결과를 분석합니다:
   • 확률 측도(Probability Measures): $\sigma$-가법 확률(표준 측도론).
   • 확률 전하(Probability Charges): 유한 가법 확률(charges). 이는 더 넓은 범위의 무한 모델을 허용합니다.
4. 반례 구성: 플레이어들이 동일한 사전 확률 집합(교집합)을 공유하지만, 믿음이 "강하게 일관되는지" 여부에서 차이를 보이는 특정 무한 유형 공간(본문의 예시 8, 9; 보충 자료의 예시 4~6)을 구축합니다.

주요 기여
본 논문은 세 가지 주요 기여를 합니다:

1. 무한 유형 공간으로의 확장: 저자들은 무한 유형 공간에 대해 Morris(1991, 1994)의 전폭적 지지를 가진 공통 사전 확률 특성화를 일반화합니다. 이들은 믿음의 강한 일관성(strong consistency of beliefs)(정의 5)을 적절한 무한 차원 유사 개념으로 도입합니다.
2. 확률 모델에 대한 견고성: 수용 가능한 베팅의 부재를 통한 강한 일관성 믿음의 특성화는 견고함이 입증되었습니다. 이는 믿음이 $\sigma$-가법 확률 측도로 모델링되든(정리 7), 유한 가법 확률 전하로 모델링되든(보충 자료) 동일하게 적용됩니다. 이는 "공통 사전 확률-합의된 베팅" 특성화가 상당한 추가 가정 없이는 측도 모델에서 실패한다는 점과 대조됩니다.
3. 분포로서의 공통 사전 확률 재평가: 본 논문은 무한 상태 공간에서 전폭적 지지를 가진 공통 사전 확률이 일반적으로 단일 확률 분포나 분포의 집합으로 표현될 수 없음을 보여줍니다. 예시 8과 9를 통해, 저자들은 두 플레이어가 동일한 사전 확률 집합(동일한 교집합 포함)을 가질지라도, 한 경우에서는 믿음이 강하게 일관되고 다른 경우에는 그렇지 않을 수 있음을 보여줍니다. 이는 볼록 집합의 적절한 분리(강한 일관성의 수학적 조건)가 항상 집합의 교집합에 의해 탐지되는 것은 아님을 시사합니다.

주요 결과

• 정리 7 (주요 결과): 유형 공간 $T$에서 플레이어들의 믿음이 강하게 일관되기 위한 필요충분조건은 유형 공간 내에 수용 가능한 베팅이 존재하지 않는 것입니다. 이는 무한 공간에 대한 인식론적-행동적 이중성을 확립합니다.
• 보조정리 6: 유한 유형 공간에서 강한 일관성은 플레이어들의 사전 확률 집합의 상대적 내부의 비어 있지 않은 교집합($\cap \text{int} \Pi_i \neq \emptyset$)과 동치입니다. 이 "증거(witness)"(특정한 확률 분포)는 무한 공간에서는 사라집니다.
• 예시 8 및 9: 이 예시들은 $\Pi_{Anne} \cap \Pi_{Ben}$이 동일하더라도(유니폼 분포 $\nu$만을 포함), 한 시나리오에서는 믿음이 강하게 일관되는 반면(적절한 분리가 불가능), 다른 시나리오에서는 그렇지 않은(적절한 분리가 가능) 상황을 보여줍니다.
• 표현에 대한 함의: 무한 차원에서는 적절한 분리가 사전 확률 집합의 교집합에 의해 보장될 수 없으므로, "전폭적 지지를 가진 공통 사전 확률"은 보편적으로 하나의 확률 분포로 정의될 수 없습니다.

의의 및 주장
본 논문은 전폭적 지지를 가진 공통 사전 확률을 (믿음의 일관성을 입증하는 증거 역할을 하는) 구체적인 확률 분포 또는 분포의 집합으로 보는 전통적인 관점이 무한 상태 공간에서는 지속 가능하지 않다고 주장합니다.

• 용어의 전환: 저자들은 "전폭적 지지를 가진 공한 사전 확률" 대신 **"믿음의 강한 일관성"**이라는 용어를 채택할 것을 제안합니다. 이러한 전환은 존재하지 않을 수도 있는 분포에서 플레이어들의 사전 확률 간의 구조적 관계로 초점을 옮깁니다.
• 사전 단계(Ex-ante stage)의 성격: 연구 결과는 사전 단계가 모델의 비원시적(non-primitive) 요소로 간야되어야 함을 시사합니다. 무한 설정에서 차익 거래의 부재(수용 가능한 베팅의 부재)는 실제 공통 사전 분포의 존재가 아니라 믿음의 (강한) 일관성으로 해석되어야 합니다.
• 논쟁에 대한 기여: 이 결과는 공통 사전 확률의 필요성과 해석에 관한 Aumann(1998) 및 Gul(1998)의 논쟁에 기여합니다. 본 논문은 "공통 사전 확률"이라는 직관이 유한 설정에서는 유용하지만, 무한 설정에서는 이를 특정 확률적 대상이라기보다 믿음에 대한 일관성 조건으로 이해하는 것이 최선이라고 결론짓습니다.

본 논문은 게임 이론 및 경제학의 유형 공간과 사전 확률의 해석에 대한 이론적 함의 외에 새로운 실험적 응용이나 향후 연구 방향을 제안하지 않습니다.