RSD를 유일하게 규정하는 효율·대칭·전략성의 경계

초록

**
본 논문은 ‘사후 효율성’, ‘동등 대우’, ‘전략적 무위’라는 세 가지 공리만으로 Random Serial Dictatorship(RSD)를 완전히 규정할 수 있는 (n, m) 쌍을 정확히 구분한다. n ≤ 3(모든 m)과 n = m = 4에서는 RSD가 유일하지만, 그 외 모든 경우에는 동일한 공리를 만족하는 다른 메커니즘이 존재한다. 추가 공리(한계 분산, 비보스니스, 교차 단조성)를 넣어도 큰 시장에서는 유일성이 회복되지 않는다.

**

상세 분석

**
논문은 먼저 기존 문헌에서 제시된 세 공리—사후 효율성(Ex‑Post Efficiency), 동등 대우(Equal Treatment of Equals, ETE), 전략적 무위(Strategy‑Proofness, SP)—가 RSD를 정의하는 데 충분한지 여부를 조사한다. 저자는 이를 “지원 효율성(support efficiency)”과 “전체 할당 성질(full‑assignment property)”이라는 약화된 형태로 재정의하고, 전략적 무위는 “상위 변동성(upper variance)”과 “하위 변동성(lower variance)”이라는 두 조건으로 분해한다. 이 세 약화된 조건은 원래 공리와 동등함을 보이며, 증명 과정에서 핵심적인 역할을 한다.

다음으로 n ≤ 3인 경우와 n = m = 4인 균형 시장을 대상으로 ‘인접 교환(swap)’ 기법을 이용한다. 즉, 한 에이전트가 선호 순서에서 두 물건을 교환했을 때 발생하는 확률 변화를 추적해, 모든 선호 프로필에 대해 할당 행렬이 유일하게 결정됨을 보인다. 이 과정에서 지원 효율성은 “에이전트가 어떤 물건을 받을 확률이 양수이면, 그 물건을 포함하는 파레토 효율적인 결정적 할당이 존재한다”는 사실을 이용하고, 전체 할당 성질은 “모든 순열에서 항상 같은 물건을 받는 에이전트는 확률 1로 그 물건을 받는다”는 점을 활용한다. 결과적으로 n ≤ 3, m arbitrary, 그리고 (4, 4)에서는 RSD가 유일함을 증명한다.

반면, n ≥ 4이면서 m ≠ n, 혹은 n, m ≥ 5인 경우에는 기존 공리만으로는 RSD를 구별할 수 없음을 보인다. 저자는 RSD를 “특정 결정적 메커니즘의 대칭화(symmetrization)”로 표현하고, 이 기반 메커니즘을 제한된 프로필 집합에서 미세하게 조정한다. 조정 후 다시 대칭화하면 사후 효율성 및 전략적 무위는 유지하면서도 원래 RSD와 다른 확률 할당을 얻는다. 이러한 구성은 Basteck‑Ehlers(2025)의 방법을 일반화한 것으로, 모든 남은 (n, m) 쌍에 대해 명시적인 대안 메커니즘을 제공한다.

추가 공리의 효과도 검토한다. ‘한계 변동성(bounded variance)’을 도입하면 일부 작은 시장에서는 유일성이 회복될 수 있지만, n ≥ 5, m ≥ 5에서는 여전히 다수의 메커니즘이 존재한다. 더 나아가 ‘비보스니스(non‑bossiness)’와 ‘교차 단조성(cross‑monotonicity)’를 포함한 강화된 공리 체계까지 고려했음에도, 큰 시장에서는 RSD를 유일하게 규정하지 못한다는 부정 결과를 제시한다. 이는 RSD의 강점이 “간단하고 직관적인” 메커니즘에 머무르며, 더 강한 공리를 만족하려면 근본적인 설계 변경이 필요함을 의미한다.

마지막으로, m = 2인 경우를 별도로 분석한다. 여기서는 모든 가능한 메커니즘을 하나의 함수로 파라미터화할 수 있음을 보이며, 이 함수가 특정 에이전트 집합에 대해 두 물건을 동일하게 순위 매긴 경우와 반대로 순위 매긴 경우의 할당 확률을 결정한다. 이를 통해 m = 2 상황에서 RSD가 유일한지 여부를 정확히 판단할 수 있다.

전반적으로 논문은 (n, m) 시장 규모에 따라 세 공리의 구분력을 완전하게 지도화하고, 기존의 “n = m = 3” 결과를 일반화·확장함으로써 메커니즘 설계자들에게 언제 RSD를 독점적으로 사용할 수 있는지, 언제 추가적인 설계 기준이 필요한지를 명확히 제시한다.

**