Obviously Strategy-proof Choice of Social Acts

기술적 요약: 사회적 행위의 명백한 전략적 유인 적합한 선택

문제 제기
본 논문은 Bahel과 Sprumont(2020)가 도입한 사회적 행위(social acts)에 대한 사회적 선택 프레임워크 내에서 사회적 선택 함수(SCF)를 구현하는 문제를 조사한다. 이 환경에서 사회 설계자는 불확실성이 해소되기 전에 (상태의 자연을 결과로 매핑하는 행위인) 우발 계획(contingent plan)을 선택해야 한다. 행위자들은 주관적 기대 효용(Subjective Expected Utility, SEU) 기준을 사용하여 이러한 행위를 평가하며, 이는 그들이 결과에 대한 주관적 가치 평가와 상태의 자연에 대한 주관적 확률 측도를 모두 보유하고 있음을 의미한다.

Bahel과 Sprumont(2020)는 이 영역에서 합리적이고 전략적 유인 적합한(strategy-proof) SCF의 클래스가 풍부하다는 것, 구체적으로 "국지적 쌍방적 상위 선택(locally bilateral top-selection)" 규칙으로 특징지어진다는 것을 입증했으나, 본 논문은 이러한 규칙들이 더 강력한 조건인 **명백한 전략적 유인 적합성(Obvious Strategy-Proofness, OSP)**을 만족하는지 묻는다. Li(2017)가 도입한 OSP는 진실한 보고가 명백하게 지배적인 전략이 될 것을 요구하는데, 이는 진실한 전략을 따랐을 때의 최악의 결과가 어떠한 일탈(deviation)을 통해 얻을 수 있는 최선의 결과보다도 최소한 같거나 나아야 함을 의미한다. 핵심 질문은 표준적인 전략적 유인 적합성이 허용하는 유연성이 행위자들이 진실한 보고의 최적성을 "명백히" 이해해야 하는 상황에서도 생존할 수 있는지 여부이다.

방법론 및 모델
저자들은 다음과 같이 정의된 Bahel과 Sprumont(2020)의 공식 모델을 채택한다:

• 유한한 행위자 집합 $N$, 유한한 상태의 자연 집합 $\Omega$, 그리고 사회적 결과의 집합 $X$.
• 행위자들은 단사(injective) 가치 함수 $v_i$와 단사 확률 측도 $p_i$로 표현되는 엄격한 SEU 선호를 가진다.
• 사회적 선택 함수는 선호 프로파일을 행위로 매핑한다 ($\phi: D^n \to X^\Omega$).

본 논문은 행위자들이 내부 노드에서 선호를 보고하는 확장형 게임(tree)으로서 OSP 메커니즘의 정의를 활용한다. 메커니즘이 OSP라는 것은, 어떤 행위자의 결정 노드에서든, 진실한 경로를 따랐을 때의 효용이 어떠한 일탈으로부터 얻은 최선의 결과보다 크거나 같아야 함을 의미한다.

증명 전략은 Bahel과 Sprumont(2020)가 제공한, 합리적이고 전략적 유인 적합한 SCF의 특징인 국지적 쌍방적 상위 선택 규칙에 의존한다. 이 규칙들은 상태 공간 $\Omega$를 이벤트들로 분할하며, 행리자에게 상태를 할당하는 규칙은 상수(constant), 쌍방적 독재(bilaterally dictatorial), 또는 쌍방적 합의(bilaterally consensual) 중 하나이다. 저자들은 OSP가 이러한 특정 할당 규칙에 부과하는 구조적 제약을 분석한다.

핵적인 기술적 도구는 **보조정리 1(Lemma 1)**로, 이는 임의의 믿음 $p_i$에 대해, 특정한 기하급수적 진행을 가진 값들을 갖는 가치 함수 $v_i$를 구성할 수 있으며, 이를 통해 대부분의 매개변수 값에 대해 결과적으로 선호가 엄격해지도록(서로 다른 행위 사이에 무차별이 존재하지 않도록) 만들 수 있음을 확립한다. 이를 통해 저자들은 행위자들이 서로 다른 할당 규칙에 의해 생성된 결과들에 대해 엄격한 선호를 갖도록 하는 특정한 선호 프로파일을 구성할 수 있다.

주요 결과
본 논문의 주요 결과인 **정리 1(Theorem 1)**은 완전한 특징화를 제공한다:

SCF $\phi$가 합리적이고 OSP 구현 가능하다는 것은 그것이 독재적(dictatorial)이라는 것과 필요충분조건이다.

증명은 합리적이지 않은, OSP 구현 가능한 SCF가 존재한다고 가정하는 귀류법으로 진행된다. Bahel과 Sprumont의 특징화에 따르면, 그러한 함수는 국지적 쌍방적 할당 규칙에 대응할 것이다. 저자들은 만약 둘 이상의 행위자가 비어 있지 않은 상태 집합을 할당받는다면(이는 비독재적 규칙에 필수적이다), OSP 메커니즘 내의 특정 노드에서 서로 갈라지는 두 개의 선호 프로파일을 구성할 수 있음을 보여준다. 구성된 선호와 모순되는 결과를 선호하도록 만드는 방식으로 가치 평가를 정교하게 선택함으로써(보조정리 1 사용), 특정 노드에서 OSP 조건이 모순을 일으킴을 보여준다.

구체적으로, 증명은 다음을 보여준다:

1. 주장 1: 모든 믿음 프로파일에 대해, 임의의 행위자에게 할당된 상태의 집합은 비어 있거나, 혹은 모든 프로파일에 대해 비어 있지 않다.
2. 주장 2: 모든 프로파일에 대해 적어도 한 명의 행위자는 비어 있지 않은 상태 집합을 할당받아야 한다(합리성과 분할 성질에 의해).
3. 주장 3: 두 명의 서로 다른 행위자가 모든 프로파일에 대해 비어 있지 않은 상태 집합을 동시에 할당받는 것은 불가능하다. 만약 두 명의 행위자가 상태를 할당받는다면, 한 행위자가 다른 행위자의 할당된 상태를 선호하는 시나리오를 구성함으로써 OSP 조건을 위반하게 되며, 이는 OSP가 해결할 수 없는 지배의 순환(cycle of dominance)을 생성한다.

결과적으로, 오직 한 명의 행위자만이 모든 프로파일에 걸쳐 전체 상태 공간 $\Omega$를 할당받을 수 있으며, 이는 SCF를 독재적으로 만든다. 반대로, 저자들은 독재적 SCF가 자명하게 OSP 구현 가능하다는 점을 언급한다.

의의 및 기여
본 논문은 OSP의 함의가 경제적 환경에 매우 민감하다는 것을 보여줌으로써 OSP에 관한 문헌에 기여한다. 단봉형 도메인(Bade와 Gonczarowski, 2016; Arribillaga 외, 2020)이나 분할 문제(Arribillaga 외, 2023)에서의 투표 환경에서는 비독재적 OSP 구현 가능한 규칙들이 발견된 반면, 본 논문은 주관적 불확실성을 가진 사회적 행위의 맥락에서 OSP가 매우 제한적임을 보여준다.

저자들은 자신들의 결과가 행위자들이 주관적 기대 효용 선호를 갖는 환경에서 "인센티브의 단순성과 비독재적 집단 선택 사이의 강력한 긴장"을 강조한다고 주장한다. Bahel과 Sprumont(2020)는 전략적 유인 적합성이 풍부한 국지적 쌍방적 규칙의 클래스를 허용한다는 것을 발견했지만, "명백함"이라는 요구 사항의 부과는 이러한 유연성을 완전히 붕괴시켜 오직 독재적 규칙만을 OSP 구현의 유효한 후보로 남겨두었다. 이는 복잡한 주관적 불확실성을 포함하는 환경에서, 행위자가 이해하기 쉬운 메커니즘(OSP)이 비독재적이고 합리적인 사회적 선택과 양립할 수 없을 수도 있음을 시사한다.