[논문 리뷰] Characterizations of Sequential Valuation Rules

Chris Dong, Patrick Lederer|arXiv (Cornell University)|2023. 02. 23.

Game Theory and Voting SystemsEconomics, Econometrics and Finance인용 수 3

한 줄 요약

이 논문은 순차적 평가 규칙의 범주 내에서 승인 기반 위원회(ABC) 투표 규칙에 대한 공리적 특성화를 제공하며, 일관된 위원회 단조성이라는 새로운 공리를 도입한다. 이를 통해 익명성, 중립성, 비강제성, 연속성을 만족하는 적절한 순차적 평가 규칙은 정확히 단계에 따라 달라지는 순차적 점수 규칙임을 보이며, 더 나아가 순차적 티엘 규칙과 세 가지 유명한 ABC 규칙—순차적 승인 투표, 순차적 비례 승인 투표, 순차적 챔버린-커런트 투표—를 특성화한다.

ABSTRACT

Approval-based committee (ABC) voting rules elect a fixed size subset of the candidates, a so-called committee, based on the voters' approval ballots over the candidates. While these rules have recently attracted significant attention, axiomatic characterizations are largely missing so far. We address this problem by characterizing ABC voting rules within the broad and intuitive class of sequential valuation rules. These rules compute the winning committees by sequentially adding candidates that increase the score of the chosen committee the most. In more detail, we first characterize almost the full class of sequential valuation rules based on mild standard conditions and a new axiom called consistent committee monotonicity. This axiom postulates that the winning committees of size k can be derived from those of size k-1 by only adding candidates and that these new candidates are chosen consistently. By requiring additional conditions, we derive from this result also a characterization of the prominent class of sequential Thiele rules. Finally, we refine our results to characterize three well-known ABC voting rules, namely sequential approval voting, sequential proportional approval voting, and sequential Chamberlin-Courant approval voting.

연구 동기 및 목표

• 승인 기반 위원회(ABC) 투표 규칙에 대한 공리적 특성화가 부족한 데에 대응하기 위해, 특히 넓은 범주인 순차적 평가 규칙 내에서 이를 해결하고자 한다.
• 일관된 위원회 단조성을 새로운 공리로 도입하고 형식화하여, 위원회를 안정적이고 이성적으로 순차적으로 확장할 수 있도록 보장한다.
• 익명성, 중립성, 비강제성, 연속성을 만족하는 전체 적절한 순차적 평가 규칙의 클래스를 단계에 따라 달라지는 순차적 점수 규칙으로 특성화한다.
• 추가 공리들(예: 클론 비례성)을 통해 순차적 티엘 규칙과 세 가지 특정 ABC 규칙—순차적 승인 투표, 순차적 비례 승인 투표, 순차적 챔버린-커런트 승인 투표—를 식별한다.
• 클론 비례성을 순차적 비례 승인 투표가 다른 순차적 티엘 규칙과 구별하는 핵심 성질로 설정하며, 공리적 추론을 통해 이를 입증한다.

제안 방법

• 투표자-위원회 쌍에 대한 평가 함수에 기반해 총 점수를 최대화하는 후보자를 선택함으로써 승리 위원회를 점진적으로 구성하는 순차적 평가 규칙을 도입한다.
• 투표의 크기, 위원회의 크기, 그 교차의 크기에 따라 의존하는 평가 함수를 정의함으로써 단계에 따라 달라지는 순차적 점수 규칙의 범주를 이끌어낸다.
• 위원회 단조성과 일관성을 결합하여, 두 개의 상호배타적인 투표자 집단이 동일한 후보들로 위원회를 확장할 경우, 통합된 투표자 집단도 동일한 후보들로 확장되어야 한다는 새로운 공리인 일관된 위원회 단조성을 제안한다.
• 표준 공리—익명성, 중립성, 비강제성, 연속성—을 적용하여 규칙의 범주를 좁히고 평가 함수의 구조적 성질을 도출한다.
• 모순에 의한 증명과 전략적 프로파일 구성 기법을 사용하여, 클론 비례성과 기타 정교한 공리를 만족하는 유일한 평가 함수(예: seqPAV의 조화 평가 함수)만이 존재함을 보인다.
• 티엘 수세기 함수에 대한 케이스 분석을 통해, 순차적 비례 승인 투표 이외의 순차적 티엘 규칙은 클론 비례성을 만족하지 못함을 증명한다.

실험 결과

연구 질문

• RQ1 익명성, 중립성, 비강제성, 연속성과 같은 온건한 표준 공리를 만족하는 순차적 평가 규칙는 무엇인가?
• RQ2 일관된 위원회 단조성을 어떻게 형식화할 수 있으며, 이를 통해 순차적 ABC 투표 규칙에 어떤 구조적 제약 조건을 부과하는가?
• RQ3 제안된 공리들 하에서 어떤 순차적 평가 규칙이 단계에 따라 달라지는 순차적 점수 규칙과 동치인가?
• RQ4 클론 비례성과 같은 추가 공리를 만족하는 순차적 티엘 규칙는 무엇인가?
• RQ5 공리적 성질 측면에서 순차적 비례 승인 투표는 다른 순차적 티엘 규칙과 무엇으로 구별되는가?

주요 결과

• 익명성, 중립성, 비강제성, 연속성을 만족하는 모든 적절한 순차적 평가 규칙은 투표의 크기, 위원회의 크기, 그 교차의 크기에만 의존하는 평가 함수를 가진 단계에 따라 달라지는 순차적 점수 규칙과 정확히 동일하다.
• 적절하고 일관된 위원회 단조성을 만족하는 순차적 평가 규칙의 전체 범주는 정확히 단계에 따라 달라지는 순차적 점수 규칙의 범주와 일치하며, 이는 이 규칙들의 사용에 강력한 기초를 마련한다.
• 순차적 승인 투표는 일관성, 위원회 단조성, 비강제성을 모두 만족하는 유일한 순차적 평가 규칙이며, 조화 점수 함수로 특성화된다.
• 순차적 비례 승인 투표는 클론 비례성을 만족하는 유일한 순차적 티엘 규칙로서, 다른 순차적 티엘 규칙과를 구별한다.
• 순차적 챔버린-커런트 승인 투표는 평가 함수가 교차가 비어 있지 않은지 여부에만 의존하며, 위원회가 표현의 다양성을 극대화하도록 구성된다는 점에서 특성화된다.
• 논문은 순차적 비례 승인 투표 이외의 모든 순차적 티엘 규칙이 클론 비례성을 만족하지 못함을 증명하며, 높은 승인 지지를 받는 후보를 우선적으로 선출해야 할 프로파일을 구성함으로써 이를 입증한다.