근사 복제와 독립성: 투표 규칙의 새로운 시각

초록

본 논문은 완전 복제(클론) 개념을 완화한 ‘근사 복제’를 두 가지 정량적 척도(α‑삭제 복제와 β‑스왑 복제)로 정의하고, 기존에 클론 독립성을 만족하는 IRV, Ranked Pairs, Schulze 규칙이 근사 복제에 대해서도 어느 정도 독립성을 유지하는지를 이론적으로 분석한다. 4명 이상의 후보가 있을 때는 어떠한 양의 근사성도 보장되지 않지만, 후보가 3명일 경우 α‑값이 충분히 작을 때 약한 형태의 독립성을 확보한다. 실증 분석에서는 스코틀랜드 지방선거, 미니‑배심원 실험, 피겨스케이팅 심판 데이터에서 근사 복제가 흔히 나타나며, 클론 독립성을 가진 규칙일수록 후보 삭제 시 결과 변화가 적은 경향을 확인한다.

상세 분석

논문은 먼저 전통적인 ‘클론’ 개념을 재정의한다. 두 후보 x와 y가 모든 유권자에게 인접하게 배치될 때 완전 복제라 하고, 이를 완화한 근사 복제는 두 가지 측정값으로 정량화한다. α‑삭제 복제는 전체 유권자 중 최소 α·n 명을 제외하면 x와 y가 완전 복제가 되는 최소 비율 α를 의미한다. 즉, |{i | |σ_i(x)−σ_i(y)|>1}| ≤ α·n 으로 정의된다. β‑스왑 복제는 모든 유권자에 대해 x와 y 사이의 순위 차이에서 1을 뺀 값을 합산한 뒤, 이를 n으로 나눈 값이 β 이하가 되도록 하는 최소 평균 스왑 횟수 β를 의미한다. β는 전체 순위 배열을 인접 교환으로 변환하는 비용을 측정한다는 점에서 편집 거리와 유사하다. m=3인 경우 두 척도가 동일해진다.

이후 독립성(Independence of Clones) 축을 근사 복제에 적용한다. 저자는 ‘약한 근사 복제 독립성(Weak Independence of Approximate Clones)’을 정의하여, 후보 집합 C에서 x와 y가 α‑또는 β‑근사 복제일 때, 한 후보를 삭제했을 때 승자 집합이 크게 변하지 않는지를 검증한다. 주요 정리는 다음과 같다. (1) 후보 수 m≥4이면, α>0 혹은 β>0인 모든 경우에 IRV, Ranked Pairs, Schulze 규칙은 약한 근사 복제 독립성을 위배한다. 이는 특정 반례 프로파일을 구성해, 아주 작은 비율의 비클론 유권자를 추가하거나 몇 번의 스왑만으로 승자를 바꿀 수 있음을 보임으로 증명한다. (2) 후보가 3명일 경우, α가 충분히 작을 때(예: α<1/3) IRV와 Ranked Pairs는 약한 독립성을 유지한다. Schulze 규칙은 β가 0.5 미만일 때 동일한 성질을 보인다. 이러한 결과는 클론 독립성을 만족하는 규칙이 근사 복제 상황에서도 어느 정도 강인함을 가질 수 있음을 시사한다.

실증 부분에서는 세 개의 실제 데이터셋을 이용해 근사 복제 빈도와 독립성 위반 확률을 측정한다. 스코틀랜드 지방선거에서는 후보 간 순위 차이가 작아 α가 0.1 이하인 경우가 12% 정도였으며, IRV와 Ranked Pairs는 해당 후보를 삭제해도 승자 변화가 5% 미만이었다. 미니‑배심원 실험에서는 β가 0.2 이하인 경우가 18%였고, Schulze 규칙은 거의 변동이 없었다. 피겨스케이팅 심판 데이터는 후보 수가 많아(>10) 근사 복제가 드물었지만, 발견된 경우에도 클론 독립성을 만족하는 규칙은 결과 변동을 최소화했다.

결론적으로, 완전 복제는 현실에서 드물지만 근사 복제는 충분히 흔히 발생한다. 클론 독립성을 만족하는 규칙은 특히 후보가 적은 상황에서 근사 복제에 대해 비교적 견고한 성능을 보이며, 이는 스포일러 효과를 완화하고 선거 설계에 실용적인 지침을 제공한다. 또한, α‑삭제와 β‑스왑 두 척도가 서로 보완적인 정보를 제공함을 확인했으며, 정책 입안자는 데이터에 따라 적절한 척도를 선택해 후보군을 평가할 수 있다.