아론 불가능성 정리의 새로운 정량적 경계

초록

아론의 불가능성 정리는 세 개 이상의 대안이 존재할 때, 독립성(IIA)과 만장일치(Unanimity)를 만족하고 독재자가 아닌 일반화 사회복지함수(GSWF)는 반드시 비이행성을 가진다고 말한다. 2002년 칼라이는 다음과 같은 정량적 버전을 질문하였다: 임의의 ε>0에 대해, ε에만 의존하는 δ(ε) 가 존재하여, IIA를 만족하고 비이행 결과의 확률이 δ 이하인 GSWF는 독재성 혹은 만장일치 위반으로부터 ε 이하의 거리만큼만 떨어져 있다. 2009년 모셀은 δ(ε)=exp(−C/ε²¹) 형태의 함수를 제시하며 이를 k≥3개의 대안으로 일반화하였다. 본 논문에서는 δ(ε)=C·ε³ 로 더 강력한 경계를 얻고, 로그 항을 제외하고는 이 결과가 최적임을 보인다. 증명은 칼라이와 모셀의 방법을 기반으로 하면서, 보렐의 역하이퍼컨트랙티비티와 보노미‑베크너 하이퍼컨트랙티비티를 결합해 이산 입방체 위의 부울 함수들 사이의 “노이즈 상관”에 대한 상하한을 동시에 구한다. 또한 이 결과는 k개의 대안에 대해서도 동일하게 확장된다.

상세 분석

아론의 불가능성 정리는 사회선택 이론에서 가장 근본적인 결과 중 하나로, 세 개 이상의 후보가 있을 때 독립성(IIA)과 만장일치(Unanimity)를 동시에 만족하는 사회복지함수가 비이행적(즉, 사이클을 형성)해야 함을 보여준다. 이 정리는 “독재가 유일한 합리적 규칙”이라는 강력한 결론을 내포하지만, 실제 설계에서는 완전한 IIA와 만장일치를 만족시키는 것이 거의 불가능하므로, 어느 정도의 오류를 허용할 수 있는 정량적 버전이 필요하다.

칼라이가 제시한 질문은 바로 이런 정량적 버전을 묻는 것으로, 비이행 확률이 충분히 작으면 함수가 독재에 가깝거나 만장일치를 거의 위반하지 않아야 한다는 것이다. 모셀은 2009년에 이를 해결했지만, 그때 얻은 δ(ε)=exp(−C/ε²¹) 은 ε가 작아질수록 급격히 작아지는 지수함수 형태라 실용적인 의미가 제한적이었다.

본 논문의 핵심 기여는 δ(ε)를 다항식 형태인 C·ε³ 로 개선함으로써, 비이행 확률이 ε³ 수준이면 이미 함수가 독재 혹은 비만장치와 ε 거리 이내에 있음을 보인 점이다. 이는 기존 결과보다 수천 배 이상 큰 허용 오차를 제공한다. 또한 “최적성”을 논하기 위해 로그 항을 제외한 하한을 구성했으며, 이는 현재 알려진 방법들로는 더 나은 상한을 얻을 수 없음을 의미한다.

증명 전략은 크게 두 부분으로 나뉜다. 첫째, 칼라이와 모셀의 부울 함수 분석 틀을 그대로 차용한다. 여기서는 각 대안 쌍에 대한 사회선호를 부울 함수 f_{ab}: {−1,1}ⁿ → {0,1} 로 표현하고, 이 함수들의 노이즈 민감도와 상관관계를 분석한다. 둘째, 기존에 사용된 하이퍼컨트랙티비티(보노미‑베크너)와는 달리, 보렐이 제시한 역하이퍼컨트랙티비티를 동시에 적용한다. 역하이퍼컨트랙티비티는 두 함수가 높은 상관을 가질 때 그 상관을 하한으로 제한하는 도구이며, 이를 통해 “노이즈 상관”에 대한 상한과 하한을 동시에 얻을 수 있다. 이 이중 경계가 바로 ε³ 의 의존성을 도출하는 핵심이다.

또한 논문은 k≥3개의 대안에 대해서도 동일한 결과가 성립함을 보인다. 이는 각 대안 쌍에 대한 부울 함수들의 집합을 고차원 입방체에 매핑하고, 위에서 언급한 하이퍼컨트랙티비티 도구들을 다변량 형태로 확장함으로써 가능해진다. 결과적으로, 사회복지함수 설계자는 비이행 확률을 ε³ 수준 이하로 유지하면, 함수가 독재에 거의 근접하거나 만장일치를 거의 위반하지 않는다는 강력한 보장을 받을 수 있다.

이 연구는 정량적 사회선택 이론에 새로운 기준을 제시함과 동시에, 고전적인 부울 함수 분석 기법에 역하이퍼컨트랙티비티라는 새로운 도구를 도입함으로써 이산 확률론과 정보이론 분야에도 파급 효과를 미칠 것으로 기대된다.