[논문 리뷰] Multi-Winner Voting with Approval Preferences

Martin Lackner, Piotr Skowron|arXiv (Cornell University)|2020. 07. 03.

Game Theory and Voting Systems인용 수 7

한 줄 요약

이 논문은 승인 기반 다수결 다수 선거 규칙(ABC 규칙)에 대한 종합적인 분석을 제공하며, 축약성 성질, 계산 복잡도, 비례성에 중점을 두고 있다. Thiele 방법, Phragmén의 규칙, Monroe의 규칙, Equal Shares 방법과 같은 핵심 규칙들을 도입하고 평가하여 이들의 이론적 기반과 알고리즘적 행동을 수립하며, 중심 기여로는 비례성 정도의 형식화와 정당화된 대표성 보장(예: 정당화된 대표성(JR) 및 확장된 정당화된 대표성(EJR))의 정당화를 포함한다.

ABSTRACT

Multi-winner voting is the process of selecting a fixed-size set of representative candidates based on voters' preferences. It occurs in applications ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversifying search results). All these applications share the problem of identifying a representative subset of alternatives -- and the study of multi-winner voting is the principled analysis of this task. This book provides a thorough and in-depth look at multi-winner voting based on approval preferences. One speaks of approval preferences if voters express their preferences by providing a set of candidates they approve. Approval preferences thus separate candidates in approved and disapproved ones, a simple, binary classification. The corresponding multi-winner voting rules are called approval-based committee (ABC) rules. Due to the simplicity of approval preferences, ABC rules are widely suitable for practical use. Recent years have seen a rising interest in ABC voting. While multi-winner voting has been originally a topic studied by economists and political scientists, a significant share of recent progress has occurred in the field of computational social choice. This discipline is situated in the intersection of artificial intelligence, computer science, economics, and (to a lesser degree) political science, combining insights and methods from these distinct fields. The goal of this book is to present fundamental concepts and results for ABC voting and to discuss the recent advances in computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.

연구 동기 및 목표

• 승인 기반 다수결 다수 선거 규칙(ABC 규칙)에 대한 체계적이고 원칙적인 분석을 제공하여 공정하고 대표적인 위원회 선출을 위해.
• ABC 규칙의 축약성 성질을 조사하며, 익명성, 중립성, 단조성, Condorcet 일致성 등을 포함한다.
• 다양한 ABC 규칙 하에서 승리 위원회를 계산하는 데 필요한 계산 복잡도를 검토한다.
• 정당화된 대표성(JR), 확장된 정당화된 대표성(EJR), 라미나르 비례성과 같은 비례성 개념을 형식화하고 분석한다.
• 이론적 성질을 참신한 적용 분야와 연결한다. 예를 들어, 참가형 예산 편성, 협업 필터링, 검색 결과 다양화 등.

제안 방법

• 승인 투표를 사용하여 ABC 규칙 프레임워크를 형식화하며, 투표자는 후보자 집합의 부분집합을 승인하고, 위원회 선택은 집단적 선호에 기반한다.
• 주요 ABC 규칙을 도입하고 분석한다: Thiele 방법(예: 비례 승인 투표), 순차적 변형, Monroe의 규칙, Phragmén의 규칙.
• 그리디 선택 및 Equal Shares 방법과 같은 알고리즘 기법을 사용하여 승리 위원회를 효율적으로 계산한다.
• 수학적 모델링을 통해 비례성 정도를 정의하고, 다양한 규칙 간의 경계를 분석한다.
• 축약성 분석을 통해 비례성과 전략적 투표 행동 간의 이론적 연결 고리를 수립한다.
• 공식적인 증명과 구성 방법을 제공하여 정당화된 대표성(JR), 확장된 JR(EJR), 규칙 간 일관성 등의 성질을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 ABC 규칙들이 익명성, 중립성, 위원회 단조성과 같은 기본 축약성 성질을 만족하는가?
• RQ2 다양한 ABC 규칙은 비례성에서 어떻게 성능을 내며, 각각의 비례성 정도는 무엇인가?
• RQ3 ABC 규칙은 확장된 정당화된 대표성(EJR)을 보장할 수 있는가? 어떤 규칙이 이 성질을 만족하는가?
• RQ4 다양한 ABC 규칙 하에서 승리 위원회를 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 전략적 투표 행동은 ABC 규칙의 성능과 공정성에 어떤 영향을 미치는가?

주요 결과

• Equal Shares 방법은 확장된 정당화된 대표성(EJR)을 만족하며, 비례성 정도가 $\frac{\ell-1}{2}$ 와 $\frac{\ell+1}{2}$ 사이에 있음을 확인하여 강력한 공정성 보장을 수립한다.
• 그리디 Monroe는 $k$ 가 $n$ 을 나누지 않더라도 정당화된 대표성(JR)을 만족한다. 이는 Monroe 점수 증가에 대한 모순에 기반한 증명을 통해 입증된다.
• 순차적 Phragmén과 Thiele 방법은 EJR를 보장하지 못하며, 일부 비례성 정도 $f_{\mathcal{R}}(\ell) = \ell - 1$ 를 가진 규칙들도 여전히 EJR를 실패할 수 있음을 보여, 비례성 정도만으로는 강력한 공정성을 보장하지 못함을 입증한다.
• 완전한 대표성과 약한 파레토 효율성의 동시에 만족은 불가능하다. 유일한 완전한 대표성 위원회가 다른 위원회에 지배당하는 반례를 통해 이를 입증한다.
• SAV와 MAV의 비례성 정도는 0이며, 이는 코hesive 그룹에 대해 비례성 보장을 제공하지 않음을 의미한다. 단순한 경우를 제외한 나머지 경우는 모두 그렇다.
• 논문은 Equal Shares 방법이 $\ell$-cohesive 그룹에 대해 평균적으로 $\frac{\ell(\ell+1)}{2}$ 명의 대표자를 확보할 수 있는 프로파일을 구성하여, 이 규칙의 비례성 정도에 대한 상한선을 확인한다.