Condorcet 승자와 패자 기준이 긍정적 참여와 n명 해결 가능성에 맞지 않음

초록

이 논문은 Condorcet 승자·패자 기준, 긍정적(또는 부정적) 참여, 그리고 n명 해결 가능성(임의의 양의 정수 n)에 동시에 부합하는 선호 투표 방식을 존재하지 않음을 증명한다. 5명 후보와 다수의 유권자를 이용한 구체적 구성과 마진 그래프 분석을 통해, 이러한 네 가지 원칙이 서로 모순됨을 보인다. 또한, 복제 독립성이나 부정적 참여로 대체했을 때도 동일한 불가능성을 얻는다.

상세 분석

논문은 먼저 투표 방법을 “모든 가능한 유권자·후보 집합에 정의된 함수”로 설정하고, Condorcet 승자 기준(CWC)과 Condorcet 패자 기준(CLC), 긍정적 참여(PI), 그리고 n‑voter resolvability(Rₙ)를 형식적으로 정의한다. CWC는 모든 다른 후보와의 마진이 양수인 후보를 유일한 승자로 요구하고, CLC는 모든 다른 후보와의 마진이 음수인 후보를 승자 집합에서 배제한다. PI는 현재 승자인 후보 x에 대해 x를 1위로만 순위 매긴 새로운 유권자를 추가해도 x가 탈락하지 않아야 함을 의미한다. Rₙ는 다수 후보가 동점일 경우, 최대 n명의 새로운 유권자를 적절히 배치하면 원하는 후보를 유일 승자로 만들 수 있어야 한다는 강력한 해소 조건이다.

핵심 증명은 5명의 후보 a, b, c, d, e와 특정 투표 프로파일 P₁을 구성하고, 이 프로파일의 마진 그래프 M₁을 상세히 제시한다. P₁에서 a는 유일한 “defensible” 후보이며, CLC와 Lemma 3(마진 차이가 충분히 큰 경우 승자는 defensible 후보에 포함돼야 함)으로부터 F(P₁)={a}임을 얻는다. 이후 일련의 변환(P₂…P₅)을 통해 각 단계마다 특정 후보를 1위로만 순위 매긴 유권자를 추가하거나 제거한다. 각 변환은 마진 차이를 최소 4 이상 유지하도록 설계돼, Lemma 3의 가정(마진 차이가 1보다 큰 경우)을 만족한다.

이 과정에서 PI를 반복 적용하면 a가 승자에서 유지되고, Rₙ에 의해 “빈” 혹은 단일 유권자 프로파일 S₂를 삽입해 a를 여전히 유일 승자로 만든다. 다음 단계에서는 d를 1위로 하는 유권자를 추가해도 PI에 의해 d는 승자 집합에 진입하지 못한다. 그러나 M₃의 구조상 b만이 defensible 후보가 되고, Lemma 3에 의해 F(P₃+S₂)={b}가 된다. 이후 동일한 논리를 반복해 최종적으로 d가 승자 집합에 들어가야 함에도 불구하고 Lemma 3이 강제하는 d만이 유일 승자가 되는 모순에 도달한다. 따라서 CWC·CLC·PI·Rₙ를 동시에 만족하는 투표 규칙은 존재할 수 없음을 보인다.

추가적으로, 논문은 Rₙ를 임의의 n으로 일반화하고, 각 유권자를 n복 복제함으로써 마진을 n배 확대해 동일한 모순을 재현한다. 또한, CLC를 복제 독립성(Independence of Clones)으로, PI를 부정적 참여(Negative Involvement)로 교체해도 증명이 그대로 적용됨을 보여, 이 불가능성은 매우 강건하다. 마지막으로, “singleton positive involvement”와 같은 약화된 참여 개념, 혹은 “quasi‑resoluteness”와 같은 약화된 해소 개념까지도 동일한 모순을 야기한다는 점을 논의한다.

전체적으로 논문은 마진 그래프와 defensible set 개념을 활용해, 후보‑중심·유권자‑중심·해소‑참여 네 축이 동시에 만족될 수 없다는 새로운 불가능성 정리를 제시한다. 이는 기존에 알려진 Condorcet‑related 불가능성(예: Arrow, Gibbard‑Satterthwaite)과는 다른 차원의 제약을 제공한다.