[논문 리뷰] Common Voting Rules as Maximum Likelihood Estimators

Vincent Conitzer, Tüomas Sandholm|arXiv (Cornell University)|2012. 07. 04.

Game Theory and Voting Systems참고 문헌 11인용 수 37

한 줄 요약

이 논문은 유권자들이 진정한 기초 결과의 노이즈 있는 인식으로 간주되는 확률적 노이즈 모델 하에서 어떤 일반적인 투표 규칙이 최대우도추정량(MLE)으로 해석될 수 있는지 조사한다. 이는 독립적인 투표 가정 하에서 오직 특정 규칙—예를 들어 점수 규칙(다数, 보르다, 거부), 뱅클린, STV—만이 MLE로 유도될 수 있음을 보여주며, 코플랜드, 맥시민, 순위 쌍과 같은 다른 규칙들은 그렇지 않음을 시사한다. 주요 기여는 이 모델 하에서 어떤 규칙이 통계적으로 타당한지에 대한 공식적 특성화이다.

ABSTRACT

Voting is a very general method of preference aggregation. A voting rule takes as input every voter's vote (typically, a ranking of the alternatives), and produces as output either just the winning alternative or a ranking of the alternatives. One potential view of voting is the following. There exists a \correct" outcome (winner/ranking), and each voter's vote corresponds to a noisy perception of this correct outcome. If we are given the noise model, then for any vector of votes, we can compute the maximum likelihood estimate of<br>the correct outcome. This maximum likelihood estimate constitutes a voting rule. In this paper, we ask the following question: For which common voting rules does there exist a noise model such that the rule is the maximum likelihood estimate for that noise model? We require that the votes are drawn<br>independently given the correct outcome (we show that without this restriction, all voting rules have the property). We study the question both for the case where outcomes are winners and for the case where outcomes<br>are rankings. In either case, only some of the common voting rules have the property. Moreover, the sets of rules that satisfy the property are incomparable between the two cases (satisfying the property in the one case<br>does not imply satisfying it in the other case).

연구 동기 및 목표

• 논문은 투표자의 행동에 대한 확률적 모델 하에서 어떤 일반적인 투표 규칙이 최대우도추정량(MLE)으로 해석될 수 있는지 규명하고자 한다.
• 진정한 결과에 대해 주어진 투표 규칙이 노이즈 모델 하에서 MLE가 되는지 여부를 조사한다.
• 연구는 승자만을 고려하는 경우(MLEWIV)와 전체 순위를 고려하는 경우(MLERIV)의 두 가지 결과 유형에 집중한다.
• MLE 프레임워크 하에서 통계적으로 타당한지 여부를 기준으로 규칙들을 구분하고자 한다.
• 통계적 추정 이론을 통해 투표 규칙의 해석 가능성과 합리성에 대한 통찰을 제공하고자 한다.

제안 방법

• 저자는 순위와 결과에 기반한 투표 규칙을 정의하며, 승자만을 출력하는 경우와 전체 순위를 출력하는 경우를 구분한다.
• 진정한 결과가 주어진 조건 하에서 각 유권자의 순위가 조건부 독립이 되는 노이즈 모델을 도입한다.
• 투표 규칙이 관측된 투표의 우도를 진정한 결과에 대해 최대화하는 경우 그 규칙은 MLE로 간주된다.
• 논문은 쌍별 선거 그래프와 투표 집계 기반 기법을 사용하여 어떤 규칙이 MLE가 될 수 있는지 테스트한다.
• 논문은 레마 1을 적용하여, 두 개의 투표 집합에 대해 다른 결과를 도출하지만 그 합집합에 대해서는 동일한 결과를 도출하는 경우, 그 규칙은 MLE가 될 수 없다는 것을 보여준다.
• 코플랜드, 맥시민, 순위 쌍과 같은 규칙의 MLE 자격을 반박하기 위해 특정 투표 구성으로 반례를 구성하는 데 의존한다.

실험 결과

연구 질문

• RQ1 진정한 결과가 주어진 조건 하에서 투표가 독립적이라고 가정할 때, 어떤 일반적인 투표 규칙이 노이즈 모델 하에서 최대우도추정량(MLE)으로 표현될 수 있는가?
• RQ2 결과가 승자만인 경우와 전체 순위인 경우에서 동일한 규칙이 MLE가 되는가?
• RQ3 코플랜드, 맥시민, 순위 쌍 규칙은 어떤 독립적인 노이즈 모델 하에서도 MLE로 도출될 수 있는가?
• RQ4 MLEWIV(승자만) 규칙과 MLERIV(순위) 규칙 사이에 구조적 차이가 존재하는가?
• RQ5 유연한 독립성 가정 하에서 MLE 성질이 유지되거나 수정될 수 있는가?

주요 결과

• 다수, 보르다, 거부 규칙는 특정 노이즈 모델 하에서 MLEWIV 및 MLERIV 규칙이며, 보르다 규칙은 균일한 노이즈 모델 하에서 MLE이다.
• STV 규칙은 MLEWIV 규칙이지만 MLERIV 규칙은 아니며, 이는 MLE 해석 하에서 승자 선정과 전체 순위 간 일관성이 항상 보장되지 않음을 시사한다.
• 뱅클린 규칙은 MLEWIV 규칙이며, 이는 또한 확률적 노이즈 모델 하에서 유도될 수 있음을 보여준다.
• 코플랜드 규칙은 MLEWIV이기도 하고 MLERIV이기도 하지 않으며, MLE 일관성 조건을 위반하는 투표 구성에 의해 이를 입증한다.
• 맥시민 규칙은 MLEWIV이거나 MLERIV가 아니며, 두 투표 집합의 합이 기대된 결과와 다를 경우 반례를 통해 이를 입증한다.
• 순위 쌍 규칙은 MLEWIV이기도 하고 MLERIV이기도 하지 않으며, 제안된 방법에 따라 MLE 일관성 테스트에 실패함으로써 이를 입증한다.