[논문 리뷰] An extension of May's Theorem to three alternatives: axiomatizing Minimax voting

Wesley H. Holliday, Eric Pacuit|arXiv (Cornell University)|2023. 12. 21.

Game Theory and Voting Systems인용 수 5

한 줄 요약

이 논문은 미드의 정리(May's Theorem)를 세 후보자 선거로 확장하여, 도우미 효과(spoiler effects)와 강한 노노쇼 역설(strong no-show paradox)을 방지하는 공리들을 추가함으로써, 날카롭지 않은 프로파일(non-knife-edged profiles)에 대해 민미맥스(Minimax) 투표 방법을 유일하게 특성화한다. 이는 임의의 순위 투표 방법이 이 공리들을 만족할 경우, 간선 케이스에서 발생하지 않는 세 대안에 대한 모든 선거에서 민미맥스와 정확히 일치함을 증명한다.

ABSTRACT

May's Theorem [K. O. May, Econometrica 20 (1952) 680-684] characterizes majority voting on two alternatives as the unique preferential voting method satisfying several simple axioms. Here we show that by adding some desirable axioms to May's axioms, we can uniquely determine how to vote on three alternatives (setting aside tiebreaking). In particular, we add two axioms stating that the voting method should mitigate spoiler effects and avoid the so-called strong no show paradox. We prove a theorem stating that any preferential voting method satisfying our enlarged set of axioms, which includes some weak homogeneity and preservation axioms, must choose from among the Minimax winners in all three-alternative elections. When applied to more than three alternatives, our axioms also distinguish Minimax from other known voting methods that coincide with or refine Minimax for three alternatives.

연구 동기 및 목표

• 두 대안에 대해 원래 제시된 메이의 정리를 세 대안에 대한 선거로 확장하기 위해 최소한의 공리 집합을 사용하는 것.
• 선호도와 저항성의 바람직한 성질을 만족하는 세 대안에 대한 고유한 투표 방법을 규명하는 것.
• 날카롭지 않은 세 후보자 프로파일에서 민미맥스가 유일하게 확장된 공리들을 만족하는 방법임을 보여주는 것.
• 공정성, 중립성, 반응성의 공리들과 연결하여 민미맥스에 대한 규범적 정당성을 제공하는 것.

제안 방법

• 저자들은 메이의 원래 공리들인 익명성(anonymous), 중립성(neutral), 약한 정적 반응성(weak positive responsiveness)에 더하여, 도우미 효과에 대한 면역성과 강한 노노쇼 역설을 피하는 공리 두 가지를 추가한다.
• 투표 방법을 투표자 선호도의 프로파일에서 공백이 아닌 승리 후보자 집합으로 매핑하는 함수로 정의한다.
• 증명은 페어와이즈 다수결 비교의 마진 차이에 기반한 프로파일의 구조적 분석과 케이스 분류를 사용한다.
• 모든 날카롭지 않은 세 대안 프로파일에서, 주어진 공리 집합을 만족하는 임의의 방법은 민미맥스와 동일한 결과를 도출해야 한다는 것을 입증한다.
• 투표자와 대안의 재표기(invariance under relabeling)에 대한 검증을 위해 프로파일 제약 조건과 순열을 고려한다.
• 핵심 기술적 단계는, 만약 어떤 방법이 공리들을 만족한다면, 반드시 페어와이즈 손실의 최대값이 최소화되는 후보자를 선택해야 하며, 이는 민미맥스의 정의이다.

실험 결과

연구 질문

• RQ1 메이의 정리를 도우미 효과와 강한 노노쇼 역설에 대한 저항성을 유지하면서, 세 대안에 대해 최소한의 공리 집합으로 확장할 수 있는가?
• RQ2 민미맥스는 확장된 공리들—특히 도우미 효과에 대한 면역성과 강한 노노쇼 역설 피하기—를 만족하는 유일한 투표 방법인가?
• RQ3 공리들이 세 후보자 프로파일에서 어떻게 상호작용하는가? 결과의 유일성을 보장하는 조건은 무엇인가?
• RQ4 공리들이 민미맥스를 얼마나 잘 유일하게 결정하는가? 간선 케이스에서 비정상적인 타이가 발생하는 경우는 어떻게 되는가?

주요 결과

• 민미맥스는 날카롭지 않은 세 대안 프로파일 전역에서 메이의 원래 공리에 더해 도우미 효과 면역성과 강한 노노쇼 역설 회피 공리를 추가한 확장된 공리 집합을 만족하는 유일한 투표 방법이다.
• 이 방법은 헤드투헤드 비교에서 최대 페어와이즈 다수결 손실이 최소화되는 대안을 유일하게 선택한다.
• 공리들은 어떤 후보자가 어떤 페어와이즈 경기에서 심하게 지면 그 후보자가 승리자가 될 수 없음을 보장하며, 이는 민미맥스 기준과 일치한다.
• 증명은 민미맥스에서의 탈선이 적어도 하나의 공리, 특히 약한 정적 반응성 또는 도우미 효과 면역성 위반으로 이어질 것임을 보여준다.
• 프로파일이 날카롭지 않은 한, 투표자들이 동점이 포함된 순위를 제출하더라도 결과는 유지된다.
• 결과는 간선 케이스에서만 실패하며, 이 경우 마진에서의 타이가 일관되지 않게 해소될 수 있기 때문이다.