객관적 무관심 하에서 TTC의 효율·안정성 완전 분석

초록

본 논문은 Shapley‑Scarf 시장에서 모든 에이전트가 동일하게 공유하는 ‘객관적 무관심(객관적 indifferences)’이라는 제한된 선호 구조를 도입하고, 이 경우 고정된 타이 브레이킹을 적용한 최상위 거래 사이클(TTC) 알고리즘이 파레토 효율성, 집단 전략적 무위험성, 그리고 핵(core) 선택성을 모두 만족한다는 것을 증명한다. 또한 이러한 객관적 무관심이 TTC가 위 세 가지 성질을 유지할 수 있는 가장 일반적인 선호 도메인임을 최대성(maximality) 결과로 규명한다.

상세 분석

이 연구는 전통적인 Shapley‑Scarf 모델을 확장하여, 동일 유형의 물건(예: 같은 평면도와 위치를 가진 기숙사 방) 사이에 에이전트들이 구분하지 못하는 ‘객관적 무관심’이라는 구조적 제약을 도입한다. 이때 선호는 각 유형 블록 내부에서는 완전한 무관심 관계를, 블록 간에는 엄격한 순서를 가진다. 논문은 먼저 일반적인 무관심 상황에서 고정 타이 브레이킹을 적용한 TTC가 파레토 효율성(Pareto efficiency)과 집단 전략적 무위험성(Group strategy‑proofness)을 동시에 만족할 수 없으며, 핵 선택성(Core‑selecting)도 보장되지 않음을 기존 문헌(Ehlers 2002, 2014)과 연계해 재확인한다.

핵심 기여는 두 가지 정리이다. 첫째, 객관적 무관심 도메인 내에서는 TTC가 파레토 효율적이며, 모든 에이전트가 자신의 초기 물건보다 나은 물건을 얻을 수 없도록 보장하는 개별 합리성(Individual rationality)과 함께 핵에 속하는 할당을 산출한다. 이는 TTC가 원래 Shapley‑Scarf 시장에서 핵을 유일하게 구현했던 것과 동일한 결과를 무관심이 존재함에도 유지한다는 뜻이다. 둘째, ‘최대성(maximality)’ 개념을 도입해 객관적 무관심이 TTC가 위 세 가지 성질을 유지할 수 있는 가장 넓은 선호 영역임을 증명한다. 즉, 블록 내부에서 무관심이 에이전트마다 다르게 나타나는 경우(일반 무관심) 혹은 무관심이 존재하지만 블록 구조가 없는 경우에는 TTC가 파레토 효율성이나 핵 선택성을 잃게 된다.

또한 논문은 실증적 동기를 제공한다. 대학 기숙사 배정, 군사 직무 배정, 공공 주택 및 학교 선택 등에서 동일 유형의 자원에 대한 무관심이 자연스럽게 발생한다는 점을 강조한다. 특히 샌프란시스코 학교 선택 사례를 들어, 일부 가정이 특정 프로그램에 대해 무관심하고 다른 가정은 엄격히 선호하는 상황이 혼재하면 고정 타이 브레이킹 TTC가 전략적 조작에 취약해짐을 설명한다.

기술적 측면에서 저자는 선호 도메인을 (\mathcal{R}(H)) 로 정의하고, 각 에이전트의 무관심 관계가 동일한 파티션 ({H_1,\dots,H_K})에 의해 결정된다고 가정한다. TTC 알고리즘은 외부 규칙에 의해 무관심을 임의의 엄격 순서로 깨고, 그 후 전통적인 사이클 탐색을 수행한다. 이때 파티션 구조가 보존되므로, 사이클이 형성되는 과정에서 동일 블록 내 물건이 교환되지 않으며, 결과 할당은 블록 간 순위에만 의존한다. 이를 통해 파레토 효율성 증명은 기존 TTC 증명과 동일한 귀류법을 적용할 수 있고, 집단 전략적 무위험성은 무관심이 동일하게 적용되므로 어떤 연합도 공동으로 선호를 조작해 더 나은 결과를 얻을 수 없음을 보인다. 핵 선택성은 블록 내부에서 교환이 불가능하므로, 어떤 차단 연합도 자신의 초기 물건을 재배분해 모두를 엄격히 개선할 수 없다는 점에서 직접적으로 도출된다.

마지막으로, 저자는 객관적 무관심이 실제 정책 설계에서 ‘과도한 제약이 아니다’라고 주장한다. 많은 공공 배정 문제에서 물건의 물리적·기능적 동등성 때문에 자연스럽게 발생하는 구조이므로, TTC를 그대로 적용해도 중요한 메커니즘 설계 목표를 달성할 수 있다.