단일 첨두 선호 하에서 블록 투표의 승자 연합 분석

초록

본 논문은 단일 첨두(pre‑peaked) 선호 구조를 가정한 블록 투표에서, 소수 후보·소수 당선자 상황에서 승자 연합이 인접성을 유지하는 조건을 규명하고, 다양한 Condorcet 확장 기준(Gehrlein‑stable, Condorcet set, locally stable)과의 관계를 이론적으로 분석한다. 또한 Monte Carlo 시뮬레이션을 통해 세 가지 유권자 행동 모델 하에서 이러한 연합이 실제로 얼마나 자주 나타나는지를 실험적으로 조사한다.

상세 분석

논문은 먼저 블록 투표(Bloc voting)를 정의하고, 유권자가 순위표를 제출한 뒤 상위 k 명을 투표 대상으로 삼는 방식을 설명한다. 단일 첨두 선호(single‑peaked) 가정 하에서는 후보들을 좌‑우 일차원 스펙트럼에 배치할 수 있으며, 모든 유권자는 이 순서를 따르는 ‘피크’를 하나만 가진다. 이 가정은 Median Voter Theorem을 적용해 반드시 Condorcet 승자가 존재함을 보장한다. 저자는 이러한 구조에서 승자 연합이 ‘인접(adjacent)’해야 하는 수학적 근거를 Proposition 2.7을 통해 증명한다. 핵심 아이디어는 Copland 점수(각 후보가 다른 후보와의 1대1 대결에서 얻는 승점)가 후보 순서와 정확히 일치한다는 점이다. 따라서 후보 순서상 연속된 k 명을 선택하면 언제든 Gehrlein‑stable(즉, 모든 비당선 후보와의 대결에서 승리 후보가 이긴다) 조건을 만족한다.

다음으로 Condorcet 확장의 세 가지 정의를 도입한다. 첫 번째는 Gehrlein‑stable 집합으로, 모든 비당선 후보와의 직접 대결에서 당선 후보가 이겨야 한다. 두 번째는 Condorcet set(또는 Condorcet‑set)으로, 비당선 후보마다 최소 하나의 당선 후보가 그 후보를 이긴다면 성립한다. 세 번째는 locally stable(지역 안정성)으로, 특정 쿼터 q 이상의 유권자 집단이 동일하게 비당선 후보를 선호할 경우 당선 집합이 불안정하다고 판단한다. 단일 첨두 환경에서는 Proposition 2.6에 의해 Condorcet set은 반드시 Condorcet 승자를 포함하고, Gehrlein‑stable 집합은 반드시 인접 후보들로 구성된다는 중요한 특성을 얻는다.

논문은 후보 수 m 가 4, 5, 6, 7인 경우를 구체적으로 분석한다. m = 4, 5일 때는 모든 가능한 승자 연합을 열거하고, 각각이 위의 세 기준을 만족하는지를 표로 정리한다. m = 6, 7에서는 일반적인 정리를 도출해, 인접성이 깨지는 경우(예: 중심 후보가 양쪽 극단 후보에 의해 밀려나는 ‘center squeeze’)가 발생할 수 있음을 보인다. 특히 Example 2.8은 k = 2일 때 비인접 승자 집합 {B, D}가 Condorcet set을 위배하고, 중앙 후보 C가 전체 다수에게 선호됨에도 불구하고 당선되지 않는 현상을 보여준다. 이는 블록 투표가 단일 승자 방식과 달리 ‘위원회 단조성(committee monotonicity)’을 위반할 수 있음을 강조한다.

실험 부분에서는 세 가지 유권자 행동 모델을 설정한다. (1) 균등 무작위 모델: 후보 순서를 무작위로 배치하고 단일 첨두성을 강제; (2) 정규분포 중심 모델: 중앙 후보에 대한 선호가 정규분포를 따르며 양쪽으로 점차 감소; (3) 양극화 모델: 유권자를 좌·우 두 그룹으로 나누어 각각 극단 후보를 선호하게 함. 각 모델에 대해 10⁵번 이상의 시뮬레이션을 수행하고, k = 2, 3, 4에 대해 승자 연합이 Gehrlein‑stable, Condorcet set, locally stable(쿼터 q = ⌊N/2⌋+1) 조건을 만족하는 비율을 보고한다. 결과는 단일 첨두 모델에서는 대부분의 경우 Gehrlein‑stable와 Condorcet set을 동시에 만족하지만, 양극화 모델에서는 특히 k가 커질수록 ‘center squeeze’ 현상이 빈번해져 Gehrlein‑stable 비율이 급격히 감소함을 보여준다.

전체적으로 논문은 블록 투표가 단일 첨두 선호 하에서 비교적 ‘공정’하게 작동할 수 있는 조건을 명확히 제시하고, 다수의 실험을 통해 이론적 결과가 실제 데이터에서도 일관되게 나타남을 검증한다. 또한, 다수 후보·다수 당선 상황에서 Condorcet 확장 기준을 적용하는 방법론을 제시함으로써, 정책 입안자나 선거 설계자가 블록 투표의 장단점을 정량적으로 평가하는 데 유용한 도구를 제공한다.