[논문 리뷰] Counterexamples in the theory of fair division

Theodore P. Hill, Kent E. Morrison|arXiv (Cornell University)|2009. 01. 15.

Economic Theory and Institutions참고 문헌 17인용 수 4

한 줄 요약

이 논문은 케이크 자르기 절차에서 가성비, 연속성, 전략 수호성에 대한 일반적인 가정에 도전하는 구체적인 반례를 제시함으로써, 정의로운 분배 이론의 근본적인 오류를 밝히고 수정한다. 유한 가법성 또는 잘못된 인센티브 호환성 정의에 의존하는 절차는 정의로운 또는 정직한 배분을 보장하지 못할 수 있으며, 이는 이전 문헌의 핵심 결과들을 약화시킨다.

ABSTRACT

The formal mathematical theory of fair division has a rich history dating back at least to Steinhaus in the 1940's. In recent work in this area, several general classes of errors have appeared along with confusion about the necessity and sufficiency of certain hypotheses. It is the purpose of this article to correct the scientific record and to point out with concrete examples some of the pitfalls that have led to these mistakes. These examples may serve as guideposts for future work.

연구 동기 및 목표

• 유한 가법성과 연속성과 같은 가정의 필요성과 충분성에 관해 널리 퍼진 오해와 오류를 바로잡는 것.
• 무한 절단 및 움직이는 칼 기법과 같은 일반적으로 인용되는 절차의 논리적 기초에 있는 결함을 드러내는 것, 특히 약한 가법성 가정 하에서.
• 배분 메커니즘에서의 전략 수호성에 대한 주장의 타당성을 도전하는 것, 인센티브 호환성 정의가 자주 잘못 적용되거나 당연히 참인 경우가 많다는 것을 보여주는 것.
• 특히 유한 가법성 또는 비가환 측도에 의존하는 정의로운 분배 절차가 공정한 결과를 산출하지 못하는 조건을 명확히 하는 것.
• 미래 연구를 위한 안내자 역할을 하는 엄밀한 반례를 제공함으로써, 정의로운 분배의 형식 이론에서 수학적 엄밀성을 확보하는 것.

제안 방법

• 모든 유리수에 대해 0의 값을 할당하고 유리수 집합에 대해 전체 측도를 할당하는 단위 구간 위의 유한 가법적이지만 가산 가법성이 없는 측도를 구성함으로써, 무한 절차에서 값이 손실되는 것을 보여주는 것.
• 값이 양수인 집합들의 감소 수열 $ A_n = [0, 1/2 + 1/n] \setminus \{r_1, \dots, r_n\} $을 사용하여, 유한 가법성 하에서 양수의 값을 가진 집합들의 극한이 0의 값을 가질 수 있음을 보여주는 것.
• 비가환적이지만 연속적이지 않은 측도(예: 선분 위의 균일 측도) 하에서 움직이는 칼 절차를 분석하여, 적절한 연속성이 없으면 공정성이 실패할 수 있음을 보여주는 것.
• 플레이어가 자신의 가치 함수를 거짓으로 보고함으로써 이득을 볼 수 있는 전략적 보고 시나리오를 설계하여, 전략 수호성으로 주장되는 절차에서도 여전히 이득을 볼 수 있음을 보여주는 것.
• 전략 취약성과 전략 수호성의 정의를 재구성하여 그 타당성을 시험하고, '확실히 더 좋다'를 '적어도 동일하거나 더 좋고, 가끔 더 좋다'로 바꾸어도 전략적 이득이 여전히 존재함을 보여주는 것.
• 누적 분포 함수의 변환을 적용하여, 다른 플레이어가 진실로 보고하더라도 자신의 진짜 가치 측도를 거짓으로 보고함으로써 이득을 볼 수 있는 경우를 구성하는 것.

실험 결과

연구 질문

• RQ1 유한 가법성만을 가정할 경우, 무한 절단 절차가 정의로운 배분을 산출하지 못하는 조건는 무엇인가?
• RQ2 가치 측도가 비가환적이지만 불연속적일 경우, 움직이는 칼 절차가 정의로운 배분을 산출하지 못할 수 있는가?
• RQ3 플레이어가 항상 동일하거나 더 좋고, 가끔 더 좋은 결과를 얻을 수 있다면, 정의로운 배분 절차가 진정으로 전략 수호성인가?
• RQ4 유한 가법적이지만 가산 가법성이 없는 측도를 포함하는 반례는 정의로운 분배 절차의 논리적 기초에 어떤 결함을 드러내는가?
• RQ5 정의로움과 정직함이 요구되는 상황에서, 쪼개고 고르기 또는 움직이는 칼 절차와 같은 절차에 비연속적이거나 비가환 측도를 사용할 경우의 함의는 무엇인가?

주요 결과

• 유한 가법성 하에서 무한 절단 절차는 점차 감소하는 값을 가지는 집합들의 수열이 0의 값을 가진 집합으로 수렴함으로써 정의로운 배분을 산출하지 못할 수 있다.
• 유한 가법 측도 하에서 양수의 값을 가진 감소 수열의 극한이 0의 값을 가질 수 있음을 보여주며, 이는 유한 가법성 하에서 값이 '사라질 수 있음'을 보여준다.
• 가격 측도가 비가환적이지만 연속적이지 않을 경우, 움직이는 칼 절차는 공정성을 보장하지 못할 수 있다. 이는 선분 위의 균일 측도로 보여진다.
• 표준 정의 하에서 정의로운 배분 절차가 반드시 전략 수호성이 아니며, 플레이어가 자신의 선호를 거짓으로 보고함으로써 이득을 볼 수 있음을 보여준다. 이는 절차가 전략 수호성으로 주장되더라도 마찬가지다.
• 전략 취약성의 정의에서 '확실히 더 좋다'를 '적어도 동일하거나 더 좋고, 가끔 더 좋다'로 바꾸어도, 특정 절차가 전략 수호성임을 주장하는 것은 여전히 성립하지 않으며, 구성된 반례로 이를 보여준다.
• 동일한 가치 측도를 가진 대칭적인 설정에서는, 수정된 정의 하에서 모든 정의로운 절차가 자명하게 전략 수호성임을 보여주며, 이는 전략 취약성 주장이 공허해지고 타당하지 않음을 의미한다.