[논문 리뷰] Proportional Justified Representation

Luis Sánchez Fernández, Edith Elkind외 5명|arXiv (Cornell University)|2016. 01. 01.

Game Theory and Voting Systems인용 수 24

한 줄 요약

이 논문은 다수결 선거에서 확장된 정당성 보장(EJR)과 완벽한 정당성 기준의 불일치 문제를 해결하기 위해, 보다 유연하면서도 상호 호환 가능한 대안인 비례 정당성 보장(PJR)을 도입한다. 이는 완벽한 정당성과의 불일치 문제를 해결한다. 논문은 재가중 승인 투표(RAV)가 k = 3, 4, 5인 위원회 규모에서 JR를 만족하지만 k ≥ 6에서는 실패함을 증명하며, 위원회 규모가 투표자 수를 나누는 경우 비례 위원회를 다항 시간 내에 계산할 수 있도록 PJR를 활용함을 보여준다.

ABSTRACT

The goal of multi-winner elections is to choose a fixed-size committee based on voters’ preferences. An important concern in this setting is representation: large groups of voters with cohesive preferences should be adequately represented by the election winners. Recently, Aziz et al. proposed two axioms that aim to capture this idea: justified representation (JR) and its strengthening extended justified representation (EJR). In this paper, we extend the work of Aziz et al. in several directions. First, we answer an open question of Aziz et al., by showing that Reweighted Approval Voting satisfies JR for k = 3; 4; 5, but fails it for k >= 6. Second, we observe that EJR is incompatible with the Perfect Representation criterion, which is important for many applications of multi-winner voting, and propose a relaxation of EJR, which we call Proportional Justified Representation (PJR). PJR is more demanding than JR, but, unlike EJR, it is compatible with perfect representation, and a committee that provides PJR can be computed in polynomial time if the committee size divides the number of voters. Moreover, just like EJR, PJR can be used to characterize the classic PAV rule in the class of weighted PAV rules. On the other hand, we show that EJR provides stronger guarantees with respect to average voter satisfaction than PJR does.

연구 동기 및 목표

• 다수결 선거에서 확장된 정당성 보장(EJR)과 완벽한 정당성 기준 간의 불일치 문제를 해결하기 위해.
• 비례성과 완벽한 정당성 간의 호환성을 유지하면서도 JR를 강화하는 새로운 공리인 비례 정당성 보장(PJR)을 제안하기 위해.
• 위원의 수가 투표자 수를 나누는 경우 비례 위원회를 다항 시간 내에 계산할 수 있음을 입증하기 위해.
• PJR를 사용하여 가중치가 부여된 PAV 규칙의 범주 내에서 고전적 비례 승인 투표(PAV) 규칙을 특성화하기 위해.
• EJR와 PJR의 평균 유권자 만족도 보장 수준을 비교하여, EJR가 이 측면에서 더 강력한 성능을 보임을 보여주기 위해.

제안 방법

• 완벽한 정당성 기준과의 호환성을 유지하면서도 EJR의 완화된 형태인 비례 정당성 보장(PJR)을 제안한다.
• 다양한 위원회 규모에서 재가중 승인 투표(RAV)의 행동을 분석하여, k = 3, 4, 5일 때 JR를 만족하지만 k ≥ 6일 때는 실패함을 증명한다.
• 위원의 수가 투표자 수를 나누는 경우 비례 위원회를 다항 시간 내에 계산할 수 있는 PJR를 만족하는 위원회를 구성함을 보여준다.
• 공리적 분석을 통해 PJR가 가중치가 부여된 PAV 규칙의 범주 내에서 고전적 PAV 규칙을 특성화함을 보여준다.
• 이론적 평균 유권자 만족도 보장 수준을 비교하여 EJR와 PJR의 성능을 분석하며, EJR가 이 측면에서 더 강력한 성능을 보임을 보여준다.

실험 결과

연구 질문

• RQ1 다수결 선거에서 확장된 정당성 보장(EJR)은 완벽한 정당성 기준과 호환되는가?
• RQ2 비례성과 계산 가능성의 바람직한 성질을 유지하면서도 JR보다 더 강력한 대안을 구성할 수 있는가?
• RQ3 재가중 승인 투표(RAV)가 어느 위원회 규모에서 정당성 보장(JR) 공리를 만족하는가?
• RQ4 위원의 수가 투표자 수를 나누는 경우 비례 정당성 보장(PJR)이 비례 결과를 다항 시간 내에 계산할 수 있도록 하는가?
• RQ5 평균 유권자 만족도 보장 측면에서 EJR와 PJR는 어떻게 비교되는가?

주요 결과

• EJR는 완벽한 정당성 기준과 불일치하므로, 완벽한 정당성을 요구하는 환경에서는 적용 범위가 제한된다.
• PJR는 EJR의 완화된 형태로서 완벽한 정당성과 호환되지만, JR보다 더 엄격한 조건을 만족한다.
• 재가중 승인 투표(RAV)는 k = 3, 4, 5인 위원회 규모에서는 JR를 만족하지만, k ≥ 6에서는 JR를 만족하지 못한다.
• 위원의 수가 투표자 수를 나누는 경우 비례 위원회를 다항 시간 내에 계산할 수 있는 PJR를 만족하는 위원회를 구성할 수 있다.
• PJR는 가중치가 부여된 PAV 규칙의 범주 내에서 고전적 비례 승인 투표(PAV) 규칙을 특성화한다.
• EJR는 PJR보다 평균 유권자 만족도 보장 측면에서 더 강력한 성능을 제공한다.