[論文レビュー] Counterexamples in the theory of fair division

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

Economic Theory and Institutions参考文献 17被引用数 4

ひとこと要約

本稿は、ケーキカット手順における加法性、連続性、戦略不正直性に関する一般的な仮定に反する具体的な反例を提示することで、フェアディビジョン理論における根本的な誤りを特定し是正する。有限加法性や誤ったインcentive compatibilityの定義に依存する手順は、公平または真実の配分を保証できないことが示され、先行研究の主要な結果が揺らぐことになる。

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.

研究の動機と目的

• 有限加法性や連続性といった仮定の必要性・十分性についての広範な誤解や誤りを是正すること。
• 無限のトリミングや動くナイフ法といったよく引用される手順の論理的基盤に内在する欠陥を露呈すること、特に弱い加法性仮定の下で。
• 配分メカニズムにおける戦略不正直性に関する主張の妥当性に疑問を呈すること。インcentive compatibilityの定義がしばしば誤って適用されたり、空虚に真となることが示される。
• 特に有限加法性または非原子的測度に依存するフェアディビジョン手順が、公平な結果を生まない条件を明確にすること。
• 今後の研究の指針となる厳密な反例を提供し、フェアディビジョンの形式的理論における数学的厳密性を保証すること。

提案手法

• すべての有理数にゼロの値を割り当て、有理数に全測度を割り当てる有限加法的だが可算加法的でない測度を単位区間上に構築し、無限手順における価値損失を示す。
• 集合列 $ A_n = [0, 1/2 + 1/n] \setminus \{r_1, \dots, r_n\} $ を用いて、正の値を持つ集合列の極限が有限加法性のもとでゼロの値を取うことを示す。
• 非原子的だが連続でない測度（例えば線分上の一様測度）の下で動くナイフ手順を分析し、適切な連続性がなければ公平性が成立しないことを示す。
• プレイヤーが自分の価値関数をうそついても利益を得られる戦略的虚偽報告のシナリオを設計し、手順が戦略不正直であるとされる場合でさえも成立することを示す。
• 戦略的脆弱性および戦略不正直性の定義を再定式化し、その妥当性を検証。'保証的により良い'を'少なくとも同等以上で、ときにはより良い'に置き換えても、戦略的利益が消えないことを示す。
• 累積分布関数の変換を適用し、他のプレイヤーが真実を報告している場合でも、あるプレイヤーが自らの真の価値測度をうそついて利益を得る事例を構築する。

実験結果

リサーチクエスチョン

• RQ1 有限加法性のみを仮定する場合、無限トリミング手順が公平な配分を生まない条件は何か？
• RQ2 価値測度が非原子的だが不連続な場合、動くナイフ手順が公平な配分を生まないことはあり得るか？
• RQ3 プレイヤーが常に少なくとも同等以上で、ときにはより良い結果を得られる場合、公平な配分手順は真に戦略不正直であると言えるか？
• RQ4 有限加法的だが可算加法的でない測度を含む反例は、フェアディビジョン手順の論理的基盤にどのような欠陥を露呈するか？
• RQ5 公平性と真実性が求められる状況で、カットアンドチョイスや動くナイフ手順に非連続または非原子的測度を用いる場合、どのような影響があるか？

主な発見

• 有限加法性のもとで無限トリミング手順は、値が厳密に減少する集合列がゼロの値を持つ集合に収束するため、公平な配分を生まないことがある。
• 有限加法的測度のもとで、正の値を持つ集合列の極限がゼロの値を取うことは、無限プロセスにおいて価値が'消える'ことを示している。
• 価値測度が非原子的だが連続でない場合、動くナイフ手順は公平性を保証できない。線分上の一様測度を用いた例で示される。
• 標準的な定義のもとでは、プレイヤーが自分の好みをうそついても利益を得られるため、公平な配分手順は必ずしも戦略不正直ではない。
• 戦略的脆弱性の定義において'保証的により良い'を'少なくとも同等以上で、ときにはより良い'に置き換えても、特定の手順が戦略不正直であるという主張は、構築された反例によっても成立しない。
• 同一の価値測度を持つ対称的状況では、修正された定義のもとでいかなる公平な手順も自明に戦略不正直であるため、戦略的脆弱性の主張は空虚になり、無効となる。