[논문 리뷰] Robust and Verifiable Proportionality Axioms for Multiwinner Voting

Markus Brill, Jannik Peters|arXiv (Cornell University)|2023. 02. 03.

Game Theory and Voting Systems인용 수 4

한 줄 요약

이 논문은 기존 기준인 EJR 및 PSC를 완전히 단일화된 집단에만 적용 가능한 것으로부터, 거의 단일화되거나 공감대를 이룬 집단에도 적용 가능한 강건하고 검증 가능한 비례성 공리들을 도입한다. 저자들은 승인 투표에 대해 EJR+를, 순위 선호에 대해 rank-EJR+를 제안하며, 이는 항상 다항 시간 내에 만족 가능하고 검증 가능하며, 이전 공리들보다 더 강력하고 현실적인 보장을 제공한다.

ABSTRACT

When selecting a subset of candidates (a so-called committee) based on the preferences of voters, proportional representation is often a major desideratum. When going beyond simplistic models such as party-list or district-based elections, it is surprisingly challenging to capture proportionality formally. As a consequence, the literature has produced numerous competing criteria of when a selected committee qualifies as proportional. Two of the most prominent notions are Dummett's proportionality for solid coalitions (PSC) and Aziz et al.'s extended justified representation (EJR). Both guarantee proportional representation to groups of voters who have very similar preferences; such groups are referred to as solid coalitions by Dummett and as cohesive groups by Aziz et al. However, these notions lose their bite when groups are only almost solid or almost cohesive. In this paper, we propose proportionality axioms that are more robust: they guarantee representation also to groups that do not qualify as solid or cohesive. Further, our novel axioms can be easily verified: Given a committee, we can check in polynomial time whether it satisfies the axiom or not. This is in contrast to many established notions like EJR, for which the corresponding verification problem is known to be intractable. In the setting with approval preferences, we propose a robust and verifiable variant of EJR and a simply greedy procedure to compute committees satisfying it. In the setting with ranked preferences, we propose a robust variant PSC, which can be efficiently verified even for general weak preferences. In the special case of strict preferences, our notion is the first known satisfiable proportionality axiom that is violated by the Single Transferable Vote (STV). We also discuss implications of our results for participatory budgeting, querying procedures, and to the notion of proportionality degree.

연구 동기 및 목표

• 기존 비례성 공리인 EJR 및 PSC가 완전히 공감대를 이룬 투표자 집단에만 적용 가능하고, 거의 동일한 선호를 보이는 경우에 실패하는 한계를 해결하기 위해.
• 완전한 공감대나 단일화에서 약간의 편차가 있는 경우에도 강건한 비례성 공리를 개발하여, 거의 통일된 선호를 보이는 집단의 대표성을 보장하기 위해.
• 새로운 공리의 만족 여부가 다항 시간 내에 검증될 수 있도록 보장하며, EJR의 경우 검증이 계산적으로 난해하다는 점을 고려하여.
• EJR+와 같은 공리를 만족하는 위원회가 항상 존재하고, 그들을 근사 또는 가격 기반 방법을 통해 효율적으로 계산할 수 있음을 증명하기 위해.
• 참여 예산 및 순위 선호로의 프레임워크 확장을 통해 더 넓은 적용 가능성과 계산적 우수성을 입증하기 위해.

제안 방법

• 승인 기반 다중승자 투표에서 EJR의 강건하고 검증 가능한 변종인 EJR+를 제안하여, 완전히 공감대를 이룬 집단 뿐 아니라 거의 공감대를 이룬 집단의 대표성도 보장한다.
• 승인 설정에서 '가격 가능성(priceability)' 개념을 도입하고, 이를 확장하여 EJR+ 위원회의 효율적 계산 및 검증을 지원한다.
• EJR+를 만족하는 위원회를 효율적으로 계산하는 그린드 알고리즘을 설계하며, 근사도 및 위원회 크기에서 이론적 보장을 제공한다.
• 순위 선호에 대해 덤머트의 PSC를 강건하게 확장한 rank-EJR+를 정의하여, 거의 단일화된 선호를 보이는 집단의 대표성을 보장한다.
• 순위 선호로의 가격 가능성 개념을 확장하여, rank-EJR+ 위원회가 항상 존재하고 다항 시간 내에 계산될 수 있음을 증명한다.
• STV가 rank-EJR+를 위반한다는 점을 통해, 이는 순위 선호에 대해 알려진 만족 가능한 비례성 공리 중에서 유일하게 STV에 의해 위반되는 공리임을 입증하여, 그 독창성과 강도를 보여준다.

실험 결과

연구 질문

• RQ1 완전히 공감대를 이룬 집단이 아니라도 거의 공감대를 이룬 집단에도 적용 가능한 비례성 공리를 강화할 수 있는가?
• RQ2 선호의 편차에 강건하고 동시에 효율적으로 검증 가능한 비례성 공리를 정의할 수 있는가?
• RQ3 만족 가능한 위원회가 항상 존재하고, 승인 및 순위 선호 설정 모두에서 효율적으로 계산 가능한 새로운 공리를 구성할 수 있는가?
• RQ4 랜덤 인스턴스에서 기존 공리들인 EJR 및 PJR와 비교해 볼 때, 새로운 공리의 분류 능력은 어떠한가?
• RQ5 참여 예산 및 일반 유틸리티 함수를 가진 다른 설정으로도 이 프레임워크를 확장할 수 있는가?

주요 결과

• EJR+는 무작위로 생성된 승인 기반 선거에서 EJR 및 기타 기존 공리보다 더 강한 분류 능력을 보이며, 거의 공감대를 이룬 집단에 대해 엄격한 공정성 기준을 적용한다.
• EJR+의 검증 문제는 다항 시간 내에 해결 가능하지만, EJR의 경우 계산적으로 난해하다는 것이 알려져 있다.
• EJR+를 위한 그린드 알고리즘은 높은 확률로 크기가 최대 k인 위원회를 생성하며, EJR+를 만족할 확률이 1−δ이다.
• 그린드 알고리즘이 요구하는 평균 쿼리 수는 O(mk⁴ log(m) log(k))이므로, 대규모 응용에 대해 확장 가능하다.
• rank-EJR+는 STV에 의해 위반되는 것으로 알려진 유일한 만족 가능한 비례성 공리로서, 그 독창성과 더 강력한 공정성 특성을 입증한다.
• 저자들은 rank-EJR+ 위원회가 항상 존재하며, 순위 설정에서 확장된 가격 가능성 개념을 통해 효율적으로 계산될 수 있음을 증명한다.