[논문 리뷰] Arrow's Impossibility Theorem Without Unanimity

Elchanan Mossel|ArXiv.org|2009. 01. 29.

Game Theory and Voting Systems참고 문헌 4인용 수 3

한 줄 요약

이 논문은 약화된 조건 하에서 아로우의 불가능성 정리에 대한 새로운이고 간결한 증명을 제시한다. 이는 전이성과 중립성 조건(IIA)을 만족하는 어떤 구성이 약한 비강제성 조건(WNI)까지 만족한다면, 단순히 무위상 조건 없이도 독재가 되어야 한다는 것을 보여준다. 증명은 세 개의 대안에 대한 국소적 핵심 투표자 논증을 사용하며, 이러한 함수의 전체 구조를 완전히 규명함으로써 향후 연구에서 정량적 확장을 가능하게 한다.

ABSTRACT

Arrow's Impossibility Theorem states that any constitution which satisfies Transitivity, Independence of Irrelevant Alternatives (IIA) and Unanimity is a dictatorship. Wilson derived properties of constitutions satisfying Transitivity and IIA for unrestricted domains where ties are allowed. In this paper we consider the case where only strict preferences are allowed. In this case we derive a new short proof of Arrow theorem and further obtain a new and complete characterization of all functions satisfying Transitivity and IIA.

연구 동기 및 목표

• 무위상 조건보다 더 약한 조건 하에서 아로우의 불가능성 정리를 재유도하는 것, 특히 무위상 조건 대신 약한 비강제성(WNI)을 사용하는 것.
• 엄격한 선호만 允許되는 경우에 전이성과 IIA를 만족하는 모든 구성의 완전한 특성화를 제공하는 것.
• 정량적 확장을 가능하게 하는 국소적 핵심 투표자 기반 증명 기법을 개발하는 것.
• 무위상 조건에 의존하지 않음으로써 이전 연구의 한계를 극복함으로써, 확률적 환경에서 측정하기 어려운 무위상 조건을 피하는 것.

제안 방법

• IIA와 전이성을 만족할 때, 2명의 투표자와 3개의 대안을 기반으로 한 국소적 논증을 통해 핵심 투표자의 존재를 입증한다.
• 바버라의 핵심 투표자 방법의 변형을 적용하여 사회적 선호가 대안 집합 간에 어떻게 전파되는지 추적한다.
• 대안의 수에 대한 귀납법을 사용하여, 구성이 알려진 독재자 또는 비상수 함수임을 알 수 있는 작은 집합으로부터 점진적으로 확장한다.
• 레마 3.2와 레마 3.3을 활용하여, 만약 어떤 대안 부분집합이 독재자 또는 비상수 함수를 유도한다면, 새로운 대안을 추가해도 그 구조가 유지된다는 것을 보인다.
• 특히 삼중조합에 대한 사회적 순위 분석을 통해, WNI와 IIA가 성립할 때 비독재적 결과가 제거됨을 모순 논증을 통해 입증한다.
• 선호 프로파일의 구조와 순열에 대한 사회선택 함수의 행동을 활용하여 전역적 독재를 도출한다.

실험 결과

연구 질문

• RQ1 무위상 조건 없이도, 더 약한 WNI 조건 하에서 아로우의 불가능성 정리를 증명할 수 있는가?
• RQ2 엄격한 선호만 允許되는 경우에 전이성과 IIA를 만족하는 모든 구성의 완전한 집합은 무엇인가?
• RQ3 국소적 핵심 투표자 논증을 어떻게 활용하여 사회선택 이론에서 전역적 독재 결과를 도출할 수 있는가?
• RQ4 이 증명 기법은 아로우 정리의 정량적 형태를 도출하는 데 어떻게 응용될 수 있는가?
• RQ5 IIA와 전이성을 만족하는 구성에서 WNI와 무위상 조건 간의 구조적 차이는 무엇인가?

주요 결과

• 세 개 이상의 대안에서 전이성, IIA, WNI를 모두 만족하는 모든 구성은 무위상 조건 없이도 독재가 되어야 한다.
• 논문은 이러한 함수의 완전한 특성화를 제공한다: n명의 개인에 대해 정확히 2n개의 가능한 독재 구조가 존재한다(정체 또는 역전).
• 함수가 크기가 ≥3인 부분집합에서 독재자이거나 쌍에서 비상수 함수일 경우, 어떤 새로운 대안을 추가하더라도 독재자 구조가 유지됨을 증명한다.
• 이 결과는 무위상 조건이 실패하더라도 WNI가 충분히 독재를 유도함을 시사하며, 표준 정의의 독재는 역전 매핑을 포함하도록 일반화되어야 한다.
• 이 방법은 향후 연구에서 정량적 아로우 정리를 가능하게 하며, IIA 함수의 전이성 확률이 높을 경우 그 함수가 어떤 ε-근접도 독재 함수임을 보여준다.
• 증명은 측정 가능한 무위상 조건에 의존하지 않아, 대규모 사회에서의 확률적 분석 및 강건성 분석에 적합하다.