[논문 리뷰] Individual Representation in Approval-Based Committee Voting

Markus Brill, Jonas Israel외 2명|arXiv (Cornell University)|2021. 12. 09.

Game Theory and Voting Systems인용 수 6

한 줄 요약

이 논문은 승인 기반 위원회 투표에서 개인 대표성(IR)을 새로운 공정성 기준으로 도입하여, 각 응집성 있는 투표자 집단이 그 크기에 비례해 다수의 위원으로 대표됨을 보장한다. IR의 타당성 여부를 확인하는 것은 계산적으로 비현실적이며, 일반적인 투표 규칙들은 조건이 충족될 수 있음에도 불구하고 자주 IR을 달성하지 못하지만, 투표자 간격 선호도의 경우 효율적인 근사 알고리즘이 존재한다.

ABSTRACT

When selecting multiple candidates based on approval preferences of agents, the proportional representation of agents' opinions is an important and well-studied desideratum. Existing criteria for evaluating the representativeness of outcomes focus on groups of agents and demand that sufficiently large and cohesive groups are ''represented'' in the sense that candidates approved by some group members are selected. Crucially, these criteria say nothing about the representation of individual agents, even if these agents are members of groups that deserve representation. In this paper, we formalize the concept of individual representation (IR) and explore to which extent, and under which circumstances, it can be achieved. We show that checking whether an IR outcome exists is computationally intractable, and we verify that all common approval-based voting rules may fail to provide IR even in cases where this is possible. We then focus on domain restrictions and establish an interesting contrast between ''voter interval'' and ''candidate interval'' preferences. This contrast can also be observed in our experimental results, where we analyze the attainability of IR for realistic preference profiles.

연구 동기 및 목표

• 응집성 있는 그룹 내 개별 투표자에 대한 비례 대표성을 보장하는 공정성 기준으로서 개인 대표성(IR)을 정식화하는 것.
• IR을 충족하는 위원회가 존재하는지 여부를 판단하는 계산 복잡도를 조사하는 것.
• IR이 가능할 경우에도 일반적인 승인 기반 투표 규칙이 IR을 얼마나 잘 달성하는지 평가하는 것.
• 특히 투표자 간격 및 후보자 간격 선호도와 같은 영역 제약 조건에서 IR 근사가 어떻게 가능해지는지 탐색하는 것.
• 실제 선호도 모델에서 IR을 충족하는 위원회의 빈도와 규칙 성능을 경험적으로 평가하는 것.

제안 방법

• 응집성 그룹의 각 구성원이 그 크기에 비례해 대표됨을 요구하는, 준강력 정당화 대표성의 강화로서 IR을 정식화하는 것.
• IR을 충족하는 위원회가 존재하는지 여부를 판단하는 것이 심지어 제한된 경우에도 NP-난이도임을 증명하는 것.
• 합성 선호 프로파일에서 일반적인 ABC 규칙(PAV, Rule X, seq-Phragmén 등)이 IR을 달성하는 데 얼마나 효과적인지 분석하는 것.
• 두 가지 영역 제약 조건인 투표자 간격(VI) 및 후보자 간격(CI) 선호도를 도입하고, 이들이 IR 근사 가능성에 미치는 영향을 분석하는 것.
• 투표자 간격 선호도에 대해 (2,4)-근사 IR을 달성하는 다항 시간 알고리즘을 설계하는 것.
• 100명의 투표자와 50명의 후보를 가진 6종의 선호 생성 모델(VI, CI, 2D, IC, Urn, Mallows)을 대상으로 대규모 실험을 수행하여 IR 달성 가능성과 규칙 성능을 평가하는 것.

실험 결과

연구 질문

• RQ1 승인 기반 위원회 투표에서 개인 대표성(IR)을 공식적으로 정의하고, 집단 기반 공정성 기준과 어떻게 구별할 수 있는가?
• RQ2 주어진 프로파일에 대해 IR을 충족하는 위원회가 존재하는지 여부를 계산적으로 결정하는 것이 가능한가?
• RQ3 IR이 가능할 경우 일반적인 승인 기반 투표 규칙(PAV, Rule X, seq-Phragmén 등)이 IR을 얼마나 잘 달성하는가?
• RQ4 특히 투표자 간격(VI) 및 후보자 간격(CI) 선호도와 같은 영역 제약 조건이 IR의 근사 가능성에 어떻게 영향을 미치는가?
• RQ5 실제 선호도 프로파일에서 IR을 충족하는 위원회가 얼마나 자주 존재하며, 기존 투표 규칙이 이러한 위원회를 얼마나 자주 선택하는가?

주요 결과

• IR을 충족하는 위원회가 존재하는지 여부를 확인하는 것은 제한된 선호도 구조조차도 계산적으로 비현실적이다.
• 모든 일반적인 승인 기반 투표 규칙는 IR을 충족하는 위원회가 존재할 수 있음에도 불구하고, 자주 이를 선택하지 못한다.
• 투표자 간격(VI) 선호도의 경우, 다항 시간 알고리즘이 (2,4)-근사 IR을 달성함으로써 근사가 계산적으로 가능함을 보여준다.
• 후보자 간격(CI) 선호도의 경우, 비어 있지 않은 IR 근사가 불가능하며, VI와의 뚜렷한 대비를 보인다.
• 실험 결과, IR을 충족하는 위원회가 투표자 간격(VI) 및 우르늄 모델 프로파일의 90% 이상에서 존재하며, 특히 위원회 규모가 클수록 더욱 그렇다.
• PAV, 순차적 PAV, 순차적 프라그멘, Rule X와 같은 규칙들은 IR을 충족하는 위원회가 존재할 경우 자주 이를 선택하지만, seq-CC는 단일 승인 대표성을 중시함으로써 자주 그렇지 못하다.