[논문 리뷰] Achieving Proportional Representation via Voting.

Haris Aziz, Barton E. Lee|arXiv (Cornell University)|2017. 08. 25.

Game Theory and Voting Systems인용 수 2

한 줄 요약

이 논문은 STV보다 더 강력한 비례대표성을 달성하고, 투표자 간의 동등한 선호를 효율적으로 처리하며, 열등한 단조성 성질을 만족하는 새로운 투표 규칙인 EAR(Expanding Approvals Rule)를 소개한다. 이는 오랫동안 해결되지 않은, 단조성 위반에 더 강건한 비례대표성(Proportional Representation, PR)을 보장하는 투표 시스템을 설계하는 데 있어 계산적으로 구현 가능한 해결책을 제공한다.

ABSTRACT

Proportional representation (PR) is often discussed in voting settings as a major desideratum. For the past century or so, it is common both in practice and in the academic literature to jump to STV (Single Transferable Vote) as the solution for achieving PR. Some of the most prominent electoral reform movements around the globe are pushing for the adoption of STV. It has been termed a major open problem to design a voting rule that satisfies the same PR properties as STV and better monotonicity properties. We present a rule called EAR (Expanding Approvals Rule) that satisfies properties stronger than the central PR axiom satisfied by STV, can handle indifferences in a convenient and computationally efficient manner, and also satisfies better candidate monotonicity properties. In view of this, our proposed rule seems to be a compelling solution for achieving proportional representation in voting settings.

연구 동기 및 목표

• STV만큼 비례대표성(PR)을 강하게 만족시키되, 더 나은 단조성 성질을 갖는 투표 규칙를 설계하는 오랫동안 열려있던 문제를 해결하기 위해.
• 비례대표 선거에서 투표자 간의 동등한 선호를 처리하기 위한 계산적으로 효율적인 방법을 제공하기 위해.
• 강력한 PR 보장을 유지하면서 후보자 단조성(후보를 지지하는 것이 그의 당선 가능성에 악영향을 주지 않도록 보장)을 향상시키는 규칙을 제안하기 위해.
• 선거개혁 운동을 위한 실용적이고 이론적으로 탄탄한 STV의 대안을 제공하기 위해.

제안 방법

• 투표자의 선호에 따라 승인 대상 후보를 단계적으로 확장하는 순차적 승인 기반 메커니즘을 사용한다.
• 각 투표자에 대해 승인 대상 후보 집합을 동적으로 결정하며, 이는 비례성을 보장하는 방식으로 승인을 확장한다.
• 이 방법은 최종 결과가 핵심 PR 공리의 더 강력한 형태를 만족함으로써 STV가 이 원칙을 만족하는 것보다 뛰어난 비례성을 보장한다.
• 투표자 간의 동등한 선호를 처리하기 위해 엄격한 순위를 요구하지 않고 동일한 선호를 표현할 수 있도록 허용함으로써 입력과 계산을 단순화한다.
• 후보자 단조성을 보장하기 위해 후보에 대한 지지가 증가하면 그의 당선 가능성은 감소하지 않도록 보장한다.
• 다항식 시간 복잡도를 가지므로 계산적으로 효율적이며 실용적인 구현이 가능하다.

실험 결과

연구 질문

• RQ1 STV보다 더 강력한 비례대표성 원칙을 만족시키는 투표 규칙를 설계할 수 있는가?
• RQ2 비례성과 계산적 효율성을 유지하면서 투표자 간의 동등한 선호를 어떻게 처리할 수 있는가?
• RQ3 강력한 PR 보장을 유지하면서 STV보다 더 나은 단조성 성질을 달성할 수 있는가?
• RQ4 이러한 규칙의 계산 복잡도는 무엇이며, 실용적으로 구현 가능한가?

주요 결과

• EAR는 STV보다 더 강력한 형태의 핵심 비례대표성 공리(Proportional Representation Axiom)를 만족하여 투표자 선호의 더 견고한 반영을 보장한다.
• 규칙은 투표자 간의 동등한 선호를 자연스럽고 효율적으로 처리하며, 엄격한 순위나 복잡한 선호 구조가 필요로 하지 않는다.
• EAR는 열등한 단조성 성질을 보이며, 후보에 대한 지지가 증가하면 그의 당선 가능성은 감소하지 않는다.
• 계산적으로 효율적이며 다항식 시간 복잡도를 가지므로 실생활 적용에 적합하다.