마진 기반 투표 규칙의 특성화와 규범적 해석

초록

본 논문은 투표 규칙이 후보 간 헤드‑투‑헤드 마진(승패 차이)만으로 결과가 결정되는 ‘마진 기반’임을, 두 개의 직관적 공리—‘선호 평등(Preferential Equality)’과 ‘중립 반전(Neutral Reversal)’—또는 동질성(Homogeneity)과 ‘블록 불변성(Block Invariance)’을 만족하는 것과 동치임을 증명한다. 또한 모든 프로필(동점 허용)과 헤드‑투‑헤드 규칙에 대한 확장, C2·C2w·준‑마진 기반 규칙 간 포함 관계를 제시하고, IRV와 같은 비마진 기반 규칙이 선호 평등을 위반함을 사례로 보여준다.

상세 분석

이 논문은 ‘마진 기반(vote‑margin‑based)’이라는 수학적 불변성을 규범적 공리 체계와 연결시키는 데 초점을 맞춘다. 먼저 후보 x와 y 사이의 마진 M_P(x,y)=#_P(x,y)−#_P(y,x) 를 정의하고, 두 선거 프로필 P와 Q가 동일한 마진 행렬을 가질 때 모든 결과가 동일해야 한다는 정의(Def. 1.1)를 제시한다. 이 정의 자체는 직관적이지만, 왜 규범적으로 받아들여야 하는지는 논의가 필요하다.

핵심 공리인 ‘선호 평등(Preferential Equality)’은 두 유권자가 동일한 인접 순위(x 위 y)를 가질 때, 한 명이 x와 y의 순서를 뒤바꾸는 효과가 다른 한 명이 같은 변화를 일으키는 것과 동일해야 한다는 내용이다. 이는 각 유권자의 ‘y 우선’ 선호가 동등하게 취급된다는 의미이며, 마진 기반 규칙은 이 공리를 자동으로 만족한다. 논문은 IRV가 이 공리를 위반하는 구체적 예시를 들어, 동일 비율의 유권자 그룹이 순서를 바꾸면 결과가 달라지는 상황을 보여준다.

두 번째 공리인 ‘중립 반전(Neutral Reversal)’은 완전히 역순인 두 투표를 동시에 추가해도 결과가 변하지 않아야 한다는 원칙이다. 이는 ‘두 유권자의 기여가 서로 상쇄된다’는 직관에 기반한다. 마진 기반 규칙은 이 공리를 만족하지만, 다수결이나 IRV는 위배한다.

주요 정리(Theorem 2.9)는 선형 프로필(모든 유권자가 완전 순위만 제출)에서 ‘선호 평등’과 ‘중립 반전’이 동시에 만족될 때와 오직 그 경우에만 규칙이 마진 기반임을 증명한다. 여기서 ‘동질성(Homogeneity)’을 추가 가정하면 ‘중립 반전’ 대신 ‘블록 불변성(Block Invariance)’으로 대체 가능함을 보이며(Thm 2.21), 이는 한 후보 순위의 복제에 무관함을 의미한다.

전체 프로필(동점 허용)으로 확장할 때는 ‘동점 보상(Tiebreaking Compensation)’과 ‘중립 무관심(Neutral Indifference)’이라는 추가 공리를 도입한다(Thm 3.8). 이는 마진 정보와 동시에 투표자 수를 고려해도 결과가 동일해야 함을 요구한다.

또한 논문은 ‘헤드‑투‑헤드(Head‑to‑Head)’ 규칙, C2·C2w 규칙, 그리고 ‘준‑마진 기반(quasi‑margin‑based)’ 규칙 사이의 포함 관계를 체계적으로 정리한다. C2는 #_P(·,·)만으로, C2w는 #_wP(·,·)만으로, 마진 기반은 M_P(·,·)만으로 정의되며, 각각이 서로 포함·배제 관계에 놓인다. 예를 들어 약한 파레토 규칙은 C2이지만 마진 기반은 아니며, ‘승리표(Winning‑Votes)’ 버전의 Minimax는 C2이지만 마진 기반이 아니다.

마지막으로 실증적 사례를 들어, 표준 Minimax와 승리표 버전이 실제 선거 데이터에서 얼마나 자주 다른 승자를 선택하는지 빈도를 제시한다. 이는 마진 기반 규칙과 비마진 기반 규칙 사이의 실질적 차이를 강조한다. 전체적으로 논문은 마진 기반 규칙을 규범적으로 정당화하고, 이를 통해 다양한 투표 규칙을 체계적으로 분류·비교할 수 있는 이론적 토대를 제공한다.