선형 메트릭 다수당 선출에서 왜곡을 최소화하는 폴라 비교 규칙

초록

본 논문은 선형 메트릭 상에 배치된 유권자와 후보들을 대상으로, 다수당(위원회) 선출 시 이용자들의 순위만을 이용해 사회적 비용을 최소화하는 새로운 투표 규칙인 “폴라 비교 규칙”(Polar Comparison Rule)을 제안한다. 이용자당 전체 후보와의 거리 합을 비용으로 정의하는 유틸리터리 가법 비용 모델에서, k>2인 경우 최대 왜곡을 2.33 이하로, k=2와 k=3에 대해서는 각각 2.41·2.33의 정확한 상한을 달성한다. 또한 k의 짝·홀에 따라 다른 하한을 제시하고, 동일 규칙을 이칼리터리(최대 비용) 모델에도 확장한다.

상세 분석

이 논문은 기존 연구가 주로 q‑cost 모델(유권자가 q번째로 가까운 위원에게만 비용을 부과)이나 단일 후보 선택에 초점을 맞춘 것과 달리, 모든 위원과의 거리 합을 비용으로 보는 가법( additive) 유틸리터리 모델을 다룬다. 선형 메트릭이라는 강한 구조적 가정을 이용해, 후보들의 상대적 순서를 정확히 파악하고 ‘중앙 유권자(median voter)’를 기준으로 양쪽에 후보를 배치하는 것이 왜곡을 크게 줄인다는 직관을 수학적으로 증명한다.

핵심 아이디어는 “폴라 비교 규칙”이다. k=2일 때는 중간 유권자의 최상위 후보를 먼저 선택하고, 그 양쪽에 가장 가까운 후보 두 개를 비교한다. 비교는 두 후보에 대한 전체 유권자들의 선호 비율을 이용해, 더 많은 유권자가 선호하는 쪽을 선택하되, 이미 선택된 후보와 반대쪽에 위치한 후보에 가중치를 부여한다. k=3에서는 위 과정을 한 번 더 적용해 세 번째 후보를 선택하고, 일반 k에 대해서는 k=3과 k=2 규칙을 순차적으로 반복한다.

이 규칙을 분석하기 위해 저자들은 몇 가지 새로운 기법을 도입한다. 첫째, 파레토 우월(Pareto‑dominated) 후보를 제거한 뒤 남은 후보들의 선형 순서를 정확히 결정한다. 둘째, “유권자 이동” 기법을 사용해 최악의 왜곡을 발생시키는 인스턴스를 구성한다. 구체적으로, 모든 유권자를 특정 지점(pivot)으로 이동시키되, 각 유권자는 미리 정의된 ‘장애물(obstacle)’에 도달하면 멈춘다. 이 장애물은 비교 중인 두 후보의 중점에 놓여, 규칙이 작동하는 방식을 보존하면서 왜곡을 하한과 상한 사이에 가두는 역할을 한다.

이러한 분석을 통해 저자들은 다음과 같은 결과를 얻는다.

• k>2일 때 왜곡 상한 ≤ 7/3 ≈ 2.33, 이는 기존 3보다 현저히 개선된 수치이다.
• k=2와 k=3에 대해서는 각각 2.41와 2.33의 정확한 상한을 증명하고, 해당 상한이 최적임을 보인다(예시 인스턴스로 하한을 맞춤).
• k의 짝·홀에 따라 다른 하한을 제시한다. 예를 들어, k가 홀수이면 하한 ≥ 2 + 1/k, 짝수이면 ≥ 1 + √(1+2/k) 등이다.
• 위원회 선택이 모든 위원에게 동일하게 영향을 미치는 상황을 고려해, 이칼리터리(egalitarian) 가법 비용 모델에서도 “양극 후보 사이에 위치한 위원”을 선택하면 왜곡이 정확히 2가 됨을 보인다.

결과적으로, 폴라 비교 규칙은 선형 메트릭이라는 제한된 환경에서 다수당 선출의 왜곡을 거의 최적에 가깝게 낮추는 실용적인 알고리즘이며, 기존 규칙들(예: Plurality Veto를 k번 반복)보다 이론적·실험적 우위를 가진다.