화살표와 기브바드‑사터스와이트 사이: 대칭군 표현론적 접근

초록

본 논문은 사회 선택 이론에서 아로우 정리와 기브바드‑사터스와이트 정리 사이의 중간 상황을 연구한다. 대칭군의 표현론을 활용해 ‘무관한 대안의 독립성’(IIA)의 완화 버전을 도입하고, 이를 통해 강건한 불가능성 결과를 증명한다. 결과는 IIA를 약간만 포기해도 비트랜스티브·비독재적 사회 선택 함수가 존재하지 않음을 보여준다.

상세 분석

이 연구는 사회 선택 메커니즘의 불가능성 정리를 새로운 관점에서 재조명한다. 기존의 강건한 버전들은 주로 결과의 전이성(또는 완전 순서) 자체를 완화하는 방식으로 접근했지만, 본 논문은 ‘무관한 대안의 독립성’(IIA)의 약화에 초점을 맞춘다. IIA는 한 대안 쌍의 사회적 순위가 다른 대안들의 존재 여부에 영향을 받지 않아야 한다는 조건이다. 저자들은 IIA를 완전하게 포기하지 않고, ‘대부분의 경우’에만 만족하도록 하는 약화된 형태를 정의한다. 이를 위해 대칭군 (S_n)의 표준 표현과 고유값 분해를 이용해 사회 선택 함수의 구조를 분석한다.

핵심 기술은 사회 선택 함수를 (f: X^n \to Y) 형태로 모델링하고, 이를 (S_n)의 작용에 대해 불변인 함수 공간으로 분해하는 것이다. 특히, ‘투표 프로필’이라는 입력 공간을 대칭군의 직교 표현으로 전개함으로써, 각 표현이 만족해야 할 제약을 선형 대수식으로 변환한다. 이 과정에서 ‘고유함수’와 ‘고유값’이 IIA 위반 정도를 정량화하는 지표가 된다.

표현론적 접근은 두 가지 주요 결과를 도출한다. 첫째, IIA를 약 1‑ε 수준으로만 만족하는 경우, 함수가 거의 ‘dictatorship’ 형태(즉, 한 유권자의 선호에 거의 전적으로 의존)임을 보인다. 이는 기존의 Gibbard‑Satterthwaite 정리와 유사하지만, 전이성 대신 IIA의 약화에 초점을 맞춘다. 둘째, 아로우 정리의 전이성 조건을 완화하지 않고도, IIA의 약화만으로도 ‘non‑dictatorial’이며 ‘non‑transitive’인 사회 선택 함수가 존재하지 않음을 증명한다.

이러한 결과는 대칭군의 고유표현이 사회 선택 함수의 구조적 제약을 어떻게 강제하는지를 명확히 보여준다. 특히, 고차원 표현(예: 두 번째 고유표현)까지 고려함으로써, 기존에 간과되던 ‘부분적 IIA 위반’이 전체 시스템에 미치는 영향을 정밀하게 분석한다. 논문은 또한 ‘robustness’ 개념을 정량화하기 위해 ‘noise stability’와 ‘influence’ 개념을 도입하고, 이를 통해 ε‑정밀도 하에서의 불가능성 한계를 수학적으로 엄밀히 제시한다.

결과적으로, 이 연구는 사회 선택 이론에서 불가능성 정리의 강건성을 새롭게 정의하고, 표현론을 통한 분석이 복잡한 제약 구조를 풀어내는 강력한 도구임을 입증한다. 이는 향후 다중 기준 의사결정, 집단 지능, 그리고 알고리즘적 투표 설계 등 다양한 분야에 적용 가능한 이론적 토대를 제공한다.