[논문 리뷰] Monotonicity axioms in approval-based multi-winner voting rules

Luis Sánchez Fernández, Jesús Arias Fisteus|arXiv (Cornell University)|2017. 10. 11.

Internet Traffic Analysis and Secure E-voting인용 수 2

한 줄 요약

이 논문은 승리 후보자에 대한 지지 증가 또는 새로운 투표자 유입 시의 지원 단조성(지원 단조성)과 위원회 규모 단조성 사이를 구분하는 승인 기반 다수결 투표 규칙에 대한 단조성 공리들을 도입하고 분석한다. 특히 Approval Voting (AV), Sequential PAV (seqPAV), 및 Method of Equal Shares (MAV)와 같은 규칙에서 강한 단조성 조건을 만족하는 것이 비례 대표성 원칙과 충돌할 수 있음을 보여주는 공식적 불일치를 입증한다. 이는 강한 단조성 조건을 만족시키는 것이 비례 대표성과 충돌할 수 있음을 보여준다.

ABSTRACT

In this paper we study several monotonicity axioms in approval-based multi-winner voting rules. We consider monotonicity with respect to the support received by the winners and also monotonicity in the size of the committee. Monotonicity with respect to the support is studied when the set of voters does not change and when new voters enter the election. For each of these two cases we consider a strong and a weak version of the axiom. We observe certain incompatibilities between the monotonicity axioms and well-known representation axioms (extended/proportional justified representation) for the voting rules that we analyze and provide formal proofs of incompatibility between some of these axioms and perfect representation.

연구 동기 및 목표

• 승인 기반 다수결 투표 규칙에서 후보자 지지도 변화 및 위원회 규모 변화에 대한 단조성 공리들을 체계화하고 분석하는 것.
• 확장된 정당화된 대표성(EJR), 비례 정당화된 대표성(PJR), 완벽한 대표성(PR)과 같은 기존의 대표성 공리들과 단조성 공리의 호환성 조사.
• 강력한 단조성 공리와 대표성 공리, 특히 PR 간의 공식적 불일치를 특정하고 증명하는 것.
• 다수결 승인 투표에서 단조성과 비례성 간의 이론적 트레이드오프를 명확히 하는 것.

제안 방법

• 투표자 지지도 증가(신규 투표자 없이)와 신규 투표자 유입 상황에서의 지원 단조성에 대해 강력 및 약한 버전의 단조성 공리 4개를 제안.
• 기존에 제안된 위원회 규모 단조성 공리를 재사용.
• Approval Voting (AV), Sequential PAV (seqPAV), Method of Equal Shares (MAV), Reweighted Range Voting (RRV), 및 Chamberlin-Courant (CC)와 같은 잘 알려진 승인 기반 다수결 투표 규칙에 이 공리를 적용.
• 단조성 공리와 대표성 공리 간의 불일치를 입증하기 위해 공식적 반례를 구성.
• CC가 완벽한 대표성을 만족하는지 분석하기 위해 동점 처리 규칙을 사용하여, 비례 대표성 조건을 만족하는 위원회를 우선시할 경우에만 완벽한 대표성을 만족함을 보여줌.
• 순열 불변성을 활용하여 규칙 설계의 공정성을 확보하고, 약한 단조성을 위반하지만 강한 단조성을 유지하는 병리적 예시를 구성.

실험 결과

연구 질문

• RQ1 승인 기반 다수결 투표에서 강력한 지지 단조성을 만족시키는 동시에 완벽한 대표성(PR)을 달성할 수 있는가?
• RQ2 강력한 단조성을 만족하지만 약한 단조성을 실패하는 승인 기반 다수결 투표 규칙이 존재하는가? 만약 존재한다면, 그러한 규칙을 구성할 수 있는가?
• RQ3 지지도 변화(신규 투표자 유무에 관계없이)에 대한 단조성이 얼마나 확장된 또는 비례 정당화된 대표성과 불일치하는가?
• RQ4 Chamberlin-Courant 규칙은 완벽한 대표성을 만족하는가? 그리고 동점 처리 조건은 어떠한가?
• RQ5 AV, MAV, 또는 seqPAV와 같은 규칙에서 단조성 공리와 비례 대표성을 동시에 만족시킬 수 있는가?

주요 결과

• Approval Voting (AV), Sequential PAV (seqPAV), 및 Method of Equal Shares (MAV)는 반례를 통해 완벽한 대표성(PR)을 실패함을 입증한다. 즉, PR 조건을 만족하는 위원회가 존재하지만, 그들이 선택되지 않는 경우가 있다.
• Chamberlin-Courant (CC) 규칙은 동점 처리가 PR 조건을 만족하는 위원회를 우선시할 경우에만 완벽한 대표성을 만족한다. 그렇지 않으면 비PR 조건을 만족하는 위원회를 출력할 수 있다.
• |G|=1일 때 강력한 지지 단조성(SMWPI 또는 SMWOPI)을 만족하지만 약한 대응 조건을 실패하는 인위적 투표 규칙가 존재함을 보여, 강력한 버전과 약한 버전이 동치가 아님을 입증한다.
• AV¬weakSMWOPI는 AV의 수정된 버전으로, |G|=1일 때 신규 투표자 유입 상황에서 강력한 단조성(SMWOPI)을 만족하지만 약한 SMWOPI는 실패한다. 이는 약한 단조성이 강한 단조성보다 엄밀히 더 약한 조건임을 보여준다.
• 논문은 공식적 반례를 통해 강력한 단조성 공리가 AV, SAV, MAV, 및 seqPAV에서 완벽한 대표성과 불일치함을 증명한다.
• 결과적으로 강력한 단조성 조건을 만족시키는 것이 비례 대표성과 충돌할 수 있음을 보여주며, 다수결 승인 투표에서 공정성과 반응성 간의 근본적인 이론적 트레이드오프가 존재함을 시사한다.