Null player neutrality in TU-games: Egalitarian and Shapley solutions

기술적 요약: TU 게임에서의 Null Player 중립성

문제 제기
이전 이동이 가능한 효용 (TU 게임) 을 가진 협력 게임 이론에서 플레이어 간 가치 배분은 일반적으로 효율성, 선형성, 대칭성 등의 구조적 공리에 의해 규율됩니다. 문헌을 지배하는 두 극단적 해법은 다음과 같습니다: 플레이어의 기대 한계 기여도에 기반하여 보상을 제공하는 한계주의적 관점을 구현하는 샤플리 값 (Shapley value) 과, 개별 생산성과 무관하게 대 coalition 의 가치를 균등하게 배분하는 균등 분할 해법입니다.

샤플리 값은 고전적으로 Null Player 속성에 의해 특징지어지는데, 이는 모든 coalition 에 기여하지 않는 어떤 플레이어에게도 보상이 0 이어야 함을 의무화합니다. 수학적으로 우아하지만, 이 속성은 분배적 정의의 평등주의적 또는 필요 기반 원칙 (예: 롤스식 공정성) 과 충돌할 수 있는 규범적 가정을 내포합니다. 즉, 비생산적 에이전트를 집단 부의 어떤 몫에서도 배제하기 때문입니다. 반면, 균등 분할 해법은 다른 직관 집합을 충족하지만 Null Player 속성은 만족하지 못합니다.

본 논문은 이러한 극단 사이의 간극을 해소하기 위해 새로운 공리인 Null Player 중립성을 도입하여, Null Player 속성의 엄격한 요구사항을 완화하는 것이 허용 가능한 해법 집합에 어떻게 영향을 미치는지를 체계적으로 분석합니다.

방법론
저자들은 TU 게임의 틀 내에서 공리적 접근법을 사용합니다. 방법론은 다음과 같습니다:

1. 새로운 공리 정의: 논문은 Null Player 중립성과 그 쌍대인 Nullifying Player 중립성을 도입합니다.
   • Null Player 중립성: 임의의 게임 $v$와 플레이어 $i$가 두 게임 모두에서 null 인 두 증분 게임 $w$와 $u$에 대해, 대 coalition 의 가치가 같다면 ($w(N) = u(N)$), 증분 게임에서 플레이어 $i$에게 지급되는 보상은 동일해야 합니다 ($\phi_i(v+w) = \phi_i(v+u)$). 이는 보상이 증분 게임의 총 가치와 무관하게 변하지 않아야 한다는 고전적 Coalitional 전략적 동등성을 완화한 것입니다.
   • Nullifying Player 중립성: "Nullifying 플레이어"(어떤 coalition 의 가치를 0 으로 감소시키는 플레이어) 를 위한 병렬 공리입니다.
2. 논리적 분석: 저자들은 새로운 공리와 기존 속성 (예: Null Player 속성, Coalitional 전략적 동등성, "생산적 환경에서의 Null Player" 속성) 간의 논리적 관계를 확립합니다.
3. 특성화 정리: unanimity 게임 기저와 선형성을 사용하여, 특정 해법 계열에 대한 필요충분조건을 유도합니다.

주요 기여 및 결과

1. 선형 결합의 특성화 (정리 2):
   주요 결과는 효율성, 선형성, 대칭성, 그리고 Null Player 중립성이 다음에 의해 정의된 해법 계열을 고유하게 특징짓는다는 것을 보여줍니다:
   $$\phi = \alpha \phi^{ED} + (1-\alpha) \phi^{Sh}$$
   여기서 $\alpha \in \mathbb{R}$입니다.

   • 이 계열은 알려진 $\alpha$-평등주의 샤플리 값 ($\alpha \in [0, 1]$) 을 임의의 실수까지 엄격하게 확장합니다.
   • 이 결과는 샤플리의 고전적 특성화를 일반화합니다: Null Player 속성을 더 약한 Null Player 중립성으로 대체하면 해법 집합이 단일 점 ($\alpha=0$, 샤플리 값) 에서 1-모수 계열로 확장됩니다.
   • 논문은 Null Player 속성이 $\alpha = 0$을 강제하는 구체적인 제약 조건임을 명확히 합니다.

2. 기존 문헌과의 비교:

   • 약한 단조성 (Weak Monotonicity) vs: 논문은 van den Brink 등 (2013) 의 연구와 대조합니다. 그들은 약한 단조성을 사용하여 $\alpha \in [0, 1]$ 부분 계열을 특성화했습니다. 저자들은 Null Player 중립성이 약한 단조성과 논리적으로 독립적이며 $\alpha < 0$ 및 $\alpha > 1$을 허용하므로 허용 가능한 집합을 엄격하게 확대한다고 보여줍니다.
   • 생산적 환경 속성 vs: 논문은 Casajus 와 Huettner (2013) 와 비교합니다. 그들은 "생산적 환경에서의 Null Player" 속성을 사용하여 $\alpha \geq 0$인 부분 계열을 특성화했습니다. 저자들은 선형성 하에서 생산적 환경 속성이 Null Player 중립성을 함의하지만, 그 역은 성립하지 않음을 증명하여 정리 2 의 더 넓은 범위를 설명합니다.

3. Nullifying 플레이어에 대한 쌍대 분석 (정리 4):
   논문은 Nullifying 플레이어에 대한 병렬 분석을 도입합니다.

   • Null Player 경우와 달리, Nullifying Player 중립성은 Coalitional 표준 동등성과 동등함이 증명됩니다 (명제 2).
   • 결과적으로, 효율성, 대칭성, 그리고 Nullifying Player 중립성은 균등 분할 해법 ($\phi \equiv \phi^{ED}$) 을 고유하게 특징짓습니다.
   • 주목할 점은, Null Player 경우와 달리 이 특성화는 선형성 공리를 요구하지 않는다는 것입니다. 이는 날카로운 이분법을 만듭니다: Null Player 중립성은 해법의 연속체를 허용하는 반면, Nullifying Player 중립성은 집합을 단일 해법으로 축소합니다.

의의 및 주장
논문은 Null Player 중립성의 도입이 효율성과 대칭성의 구조적 규율을 포기하지 않으면서 Null Player 속성의 규범적 엄격함을 완화하는 "자연스러운 중간 지대"를 제공한다고 주장합니다.

• 규범적 함의: 이 완화는 null 플레이어를 보상할 수 있는 해법 ($\alpha > 1$) 이나 샤플리 값에 비해 균등 분할 구성 요소를 벌할 수 있는 해법 ($\alpha < 0$) 을 허용하여, 연대와 재분배를 연구하기 위한 더 유연한 공리적 기반을 제공합니다.
• 구조적 통찰: 이 연구는 협력 게임 이론의 근본적인 비대칭성을 강조합니다: 가치 추가가 없는 null 플레이어에 대한 처리는 배분의 스펙트럼을 허용하는 반면, 가치를 파괴하는 nullifying 플레이어에 대한 처리는 균등 분할을 엄격하게 강제합니다.
• 이론적 통합: $\alpha$-평등주의 샤플리 값을 $\alpha \in \mathbb{R}$로 확장함으로써, 논문은 한계주의와 평등주의 극단뿐만 아니라 그 사이와 그 너머의 선형 결합을 모두 포괄하는 통합된 틀을 제공합니다.

저자들은 겸손한 입장을 유지하며, 그들의 특성화는 선택된 특정 공리 집합에 의존하며, 이러한 공리들의 독립성 (주석 3 과 6 에서 증명됨) 은 유도된 결과에 대한 각 조건의 필요성을 확인한다고 명시합니다.