📈 economics

Partition function form games with probabilistic beliefs

본 논문은 외부 세력의 연합 형성에 관한 확률적 믿음을 도입하여 분할 함수형 게임을 재검토하고, 이러한 믿음에 대한 조건을 도출함으로써 외부효과가 양수이거나 음수인 대칭 게임에서 코어가 비어있지 않음을 보장한다.

원저자: Paraskevas V. Lekeas, Giorgos Stamatopoulos

게시일 2026-05-05

📖 4 분 읽기☕ 가벼운 읽기

원저자: Paraskevas V. Lekeas, Giorgos Stamatopoulos

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

친구들이 거대한 피자를 어떻게 나눌지 결정하려고 노력하는 상황을 상상해 보세요. 단순한 세상에서는 두 친구가 팀을 이루기로 결정하면, 그들이 혼자서 얻을 수 있는 피자의 양만 알면 됩니다. 하지만 현실 세계에서는 그 두 친구가 팀을 이루는 결과가 완전히 다른 친구들이 무엇을 하느냐에 달려 있습니다.

다른 친구들이 따로 떨어져서 서로 다투고 있다면, 그 팀은 거대한 조각을 얻을 수 있습니다. 하지만 다른 친구들이 모두 힘을 합쳐 하나의 거대한 그룹을 만든다면, 그 팀은 아주 작은 부스러기만 얻을 수 있습니다. 이것이 **분할 함수 게임 (Partition Function Games)**의 세계입니다. 즉, 당신의 보상은 당신의 팀 자체뿐만 아니라 다른 사람들이 어떻게 그룹화되어 있는지에 달려 있는 상황입니다.

레카스 (Lekeas) 와 스타마토폴로스 (Stamatopoulos) 의 논문은 까다로운 질문을 다룹니다: 어떻게 하면 어떤 친구 그룹도 속았다고 느끼고 떠나려 하지 않도록 피자를 공정하게 나눌 수 있을까요? 게임 이론에서 "아무도 떠나고 싶어 하지 않는" 상태를 **코어 (Core)**라고 부릅니다.

그들의 해결책에 대한 간단한 설명은 다음과 같습니다:

1. 문제: 미래를 추측하기

보통, 어떤 그룹이 떠나야 하는지 판단하려면 다른 사람들이 무엇을 할지 추측해야 합니다.

"비관주의자" 추측: "다른 사람들은 우리를 망치려고 할 거야!" (그들은 우리를 해치기 위해 거대한 블록을 형성한다).
"낙관주의자" 추측: "다른 사람들은 혼자 남고 아무것도 하지 않을 거야."
"현실주의자" 추측: "다른 사람들은 지난번과 똑같이 행동할 거야."

저자들은 말합니다: "단 하나의 시나리오로 추측하는 것을 멈추자. 우리가 확실히 알지 못한다는 것을 인정하자." 하나의 시나리오를 선택하는 대신, 그들은 모든 그룹이 확률의 가방을 가지고 있다고 가정합니다. 예를 들어, 다른 사람들이 거대한 블록을 형성할 확률이 30%, 따로 떨어져 있을 확률이 50%, 두 개의 중간 크기의 그룹을 형성할 확률이 20%라고 생각할 수 있습니다. 그들은 이러한 확률에 기반하여 "기대되는 피자 조각"을 계산합니다.

2. 반전: 외부성 (파급 효과)

이 논문은 외부인들이 어떻게 그룹화되느냐에 따라 발생하는 두 가지 특정 유형의 "파동"을 살펴봅니다:

긍정적 외부성 ("군중은 좋다" 효과): 파티를 상상해 보세요. 외부인 (당신의 그룹에 속하지 않은 사람들) 이 모두 하나의 큰 파티에 합류하면 훌륭한 분위기가 조성되어 당신의 그룹이 혜택을 봅니다. 그들이 더 많이 통합될수록 당신에게 더 좋습니다.
부정적 외부성 ("군중은 나쁘다" 효과): 시끄러운 공사장을 상상해 보세요. 외부인들이 하나의 큰 그룹으로 합류하면 엄청난 소음을 만들어 당신의 그룹이 피해를 봅니다. 그들이 더 많이 통합될수록 당신에게 더 나쁩니다.

3. 해결책: "허용 가능한 신념"

저자들은 질문합니다: 피자가 공정하게 나뉘고 아무도 떠나지 않도록 하려면 그룹들이 어떤 종류의 추측 규칙 (신념) 을 따라야 할까요?

그들은 "코어"가 존재하기 위해 (즉, 안정적인 합의가 가능하기 위해) 그룹들이 그룹이 커짐에 따라 신중한 낙관주의나 신중한 비관주의의 특정 패턴을 따라야 함을 발견했습니다.

사례 A: 통합이 모두에게 도움이 될 때 (긍정적 외부성)

외부인들이 통합되는 것이 당신의 그룹에게 도움이 된다면, 저자들은 당신의 그룹은 전체 인구가 늘어날수록 외부인들이 협조하기가 더 어려워진다고 믿어야 한다고 말합니다.

유추: 3 명이 있는 작은 방에 있다고 상상해 보세요. 당신은 "아마도 나머지 2 명이 힘을 합칠지도 모른다"고 생각합니다. 하지만 100 명이 있는 방에 있다면, "98 명의 다른 사람들이 하나의 거대한 그룹에 동의하기에는 너무 혼란스러울 것이다. 그들은 아마도 작고 흩어진 군집에 머무를 것이다"라고 믿어야 합니다.
규칙: 군중이 커질수록, 당신의 그룹은 외부인들이 단일 거대 팀을 형성할 가능성에 대해 더 낮은 확률을 부여해야 합니다. 그들이 분열된 채로 남을 것이라고 믿어야 합니다. 만약 당신이 이를 믿는다면, 수학적으로 계산이 맞고 공정한 분배가 가능해집니다.

사례 B: 통합이 모두에게 해가 될 때 (부정적 외부성)

외부인들이 통합되는 것이 당신의 그룹에게 해가 된다면, 논리는 반대로 바뀝니다.

유추: 외부인들의 큰 그룹이 만들어내는 소음이 당신에게 해를 끼친다면, 군중이 커질수록 그들이 하나의 거대한 그룹이 되기보다는 귀찮은 작은 군집을 형성하기가 더 쉬워질 것이라고 믿어야 합니다.
규칙: 군중이 커질수록, 당신의 그룹은 외부인들이 단일 거대 팀을 형성할 가능성에 대해 더 낮은 확률을 부여해야 합니다. 그들은 작고 관리 가능한 조각들로 남아 있을 것이라고 믿어야 합니다.

4. "귀납" 트릭

그들은 어떻게 이를 증명했을까요? 그들은 **귀납 (Induction)**이라는 방법을 사용했는데, 이는 한 장의 벽돌씩 탑을 쌓는 것과 같습니다.

그들은 3 명의 플레이어가 있는 작은 게임에서 이것이 작동함을 증명했습니다.
그들은 추측 규칙 (신념) 이 4 번째 플레이어를 추가할 때 일관되게 유지된다면, 5 번째, 6 번째로 이어질 때에도 안정성이 유지됨을 보였습니다.
핵심은 10 명 게임에서의 그룹의 신념과 11 명 게임에서의 신념을 연결하는 것이었습니다. 그들은 만약 그룹의 신념이 군중이 커질수록 협조가 더 어려워진다고 믿는 방식으로 구체적이고 논리적으로 진화한다면, "코어"가 비어지지 않음을 보였습니다.

요약

이 논문은 다른 사람들이 어떻게 그룹화되느냐에 따라 당신의 성패가 결정되는 세상에서, 협조에 대해 현실적인 태도를 취한다면 안정성이 가능하다고 주장합니다.

만약 당신이 다른 사람들이 그룹화되는 것에서 혜택을 본다면, 세상이 커질수록 그들이 실제로 그룹화하기가 더 어려워진다고 믿어야 합니다.
만약 당신이 다른 사람들이 그룹화되는 것에서 피해를 본다면, 세상이 커질수록 그들이 그룹화하기가 더 어려워진다고 믿어야 합니다.

이러한 "허용 가능한 신념" (협조가 얼마나 일어날지에 대한 경험적 규칙) 을 따름으로써, 그룹은 항상 아무도 떠날 이유가 없도록 파이를 나눌 방법을 찾을 수 있습니다. 이는 불확실성이 올바른 종류의 회의주의로 관리될 때, 실제로 안정성으로 이어질 수 있음을 보여주는 수학적 증명입니다.

기술적 요약: 확률적 신념을 가진 분할 함수형 게임

문제 제기
본 논문은 분할 함수형 (PFF) 협력 게임에서 코어 (core) 의 정의와 비공허성 (non-emptiness) 을 다룬다. 연합의 가치가 비회원들의 행동과 무관한 특성 함수형 게임과 달리, PFF 게임은 연합 간 외부효과를 수반한다: 연합 $S$ 의 보상은 전체 플레이어 집합 $N$ 의 분할 $\pi$ 에 의존한다.

PFF 게임의 핵심적인 과제는 이탈 연합이 외부인들에 대해 갖는 **추측 (conjectures)**을 명시하지 않으면 코어가 유일하게 정의되지 않는다는 점이다. 기존 문헌은 결정론적 추측에 의존한다 (예: 이탈자의 보상을 최소화하는 외부인들을 가정하는 $\alpha$ -추측, 외부인들이 단일원 연합을 형성한다고 가정하는 $\gamma$ -추측, 또는 외부인들이 하나의 연합을 형성한다고 가정하는 $\delta$ -추측). 저자들은 외부인들이 형성할 수 있는 분할 집합에 대해 연합들이 확률적 신념을 갖는 프레임워크를 제안한다. 이러한 신념은 실제 균형 선택과 일치할 필요가 없으며, 특히 분할의 수가 방대한 대규모 플레이어 집합을 가진 게임에서 제한된 합리성이나 휴리스틱 추론의 형태를 반영한다.

방법론
저자들은 연합의 가치가 연합의 크기와 분할 구조에만 의존하는 대칭적 분할 함수형 게임을 분석한다. 두 가지 구별되는 환경을 중점적으로 다룬다:

긍정적 외부효과: 외부 연합들의 병합이 연합 $S$ 의 가치를 증가시킨다.
부정적 외부효과: 외부 연합들의 병합이 연합 $S$ 의 가치를 감소시킨다.

핵심 분석 도구는 플레이어 수 ( $n$ ) 에 대한 수학적 귀납법이다. 저자들은 게임의 크기가 $n$ 에서 $n+1$ 로 증가함에 따라 연합의 확률적 신념 ( $h_{n,S}$ ) 이 어떻게 진화해야 하는지에 대한 구체적인 재귀적 제약을 정의한다. 이러한 제약은 더 큰 게임에서 연합의 기대 가치가 대연합의 1 인당 가치에 비해 너무 급격히 증가하지 않도록 보장한다.

주요 정의는 다음과 같다:

허용 가능한 신념 (Admissible Beliefs): $n$ 이 증가함에 따라 연합이 구성원이 적은 분할에 상대적으로 낮은 확률 가중치를 부여하는 신념의 시퀀스 (긍정적 외부효과 하에서). 이는 게임 $n+1$ 의 기대 가치를 게임 $n$ 의 기대 가치와 부등식 $V^{\tilde{h}_{n+1}}(S) = \frac{n}{n+1}V^{h_n}(S)$ 를 통해 연결함으로써 공식화된다.
R-허용 가능한 신념 (R-admissible Beliefs): $\gamma$ -추측 가치에 대한 특정 조건이 충족될 때 사용되는 변형으로, 다른 재귀적 구조를 허용한다.
귀납 단계: 만약 크기가 $n$ 인 게임에서 균등 분배 할당이 (코어 내에서) 안정적이라면, 신념이 정의된 재귀적 제약을 만족하는 한 크기가 $n+1$ 인 게임에서도 여전히 안정적임을 증명한다.

주요 결과
본 논문은 확률적 신념을 가진 대칭적 PFF 게임에서 코어의 비공허성을 위한 충분 조건을 확립한다.

긍정적 외부효과:
- 명제 1: $\gamma$ -추측 하의 가치가 $V^{\gamma}_{n+1}(S) \leq \frac{n}{n+1}V^{\gamma}_n(S)$ 를 만족하고, 연합들이 $n$ 이 커짐에 따라 유리한 분할에 낮은 확률을 부여하는 허용 가능한 신념을 갖는다면 코어는 비공허하다. 증명은 $(n+1)$ 명 게임에서 임의의 연합 $S$ 의 기대 가치 $V^{h_{n+1}}(S)$ 가 균등 분배 할당이 차단 불가능하도록 제한됨을 보이는 데 기반한다.
- 명제 2: 조건 $V^{\gamma}_{n+1}(S) > \frac{n}{n+1}V^{\gamma}_n(S)$ 가 성립하더라도, 연합들이 R-허용 가능한 신념을 갖는다면 코어는 여전히 비공허하다. 이 경우 귀납 단계가 성립하도록 분포 집합에 대한 특정 제약을 요구한다.
- 두 경우 모두 저자들은 단일원 연합 ( $|S|=1$ ) 의 경우, 모든 외부인들이 단일 연합을 형성하는 시나리오에 부여된 확률이 이탈을 방지하기 위해 "충분히 낮아야" 함을 지적한다.
부정적 외부효과:
- 분석은 긍정적 외부효과 사례의 거울상 (mirror image) 으로 제시된다. 부정적 외부효과 하에서는 외부인들의 병합이 연합에게 해를 끼친다. 따라서 재귀적 신념 제약은 반전된다: $n$ 이 증가함에 따라 연합은 (부정적 외부효과 하에서 가장 유리한) 구성원이 많은 분할에 상대적으로 낮은 확률을 부여해야 한다. 귀납 논리는 동일하게 유지되어 이러한 반전된 신념 제약 하에서 코어의 비공허성을 보장한다.

의의와 주장
본 논문은 두 가지 주요 기여를 주장한다:

코어 정의의 일반화: 본 프레임워크는 기존 결정론적 추측을 일반화한다. 예를 들어, $\gamma$ -코어와 $\delta$ -코어는 각각 단일원 분할이나 대연합 분할에 확률 질량이 완전히 집중된 제안된 확률적 접근법의 특수한 경우로 나타난다.
협력 게임에서의 제한된 합리성: 저자들은 확률적 신념이 외부인의 균형 분할을 정확하게 추론할 수 없는 연합들, 특히 대규모 게임에서 "경험칙 (rule of thumb)"으로 작용한다고 주장한다. 이 접근법은 분할 공간의 복잡성에 대한 인지적 한계를 가진 행위자들이 연합을 형성하는 방식을 모델링하는 방법을 제공한다.

본 논문은 새로운 응용이나 실험적 검증을 제안하는 것을 명시적으로 피하며, 대신 외부효과와 불확실한 신념이 존재할 때 안정적인 할당 (코어) 의 존재를 보장하기 위해 필요한 이론적 조건에 초점을 맞춘다. 이는 Lekeas & Stamatopoulos (2014) 와 Stamatopoulos (2021) 의 이전 연구를 바탕으로 하여, 허용 가능한 신념에 대한 분석을 특정 과점 및 환경적 맥락에서 일반적인 대칭적 환경으로 확장한다.