[論文レビュー] Cutting a Cake with both Good and Bad Parts.

Erel Segal-Halevi|arXiv (Cornell University)|Apr 2, 2017

Economic theories and models被引用数 1

ひとこと要約

この論文は、n人のエージェントがそれぞれ異なる価値密度関数（正、負、ゼロを含む）を持つ、価値のある部分と価値のない部分を併せ持つ非均質な資源の公平な分割を扱う。3人のエージェントに対して、連結で envy-free（他者を羨まない）な分割が存在することを証明し、より大きなグループについても予備的な結果を提示する。これは、混合された効用成分を伴う設定における公平分割理論の前進である。

ABSTRACT

There is a heterogeneous resource that contains both good parts and bad parts, for example, a cake with some parts burnt, a land-estate with some parts heavily taxed, or a chore with some parts fun to do. The resource has to be divided fairly among $n$ agents with different preferences, each of whom has a personal value-density function on the resource. The value-density functions can accept any real value --- positive, negative or zero. Each agent should receive a connected piece and no agent should envy another agent. We prove that such a division exists for 3 agents and present preliminary positive results for larger numbers of agents.

研究の動機と目的

• 価値のある部分と価値のない部分を併せ持つ非均質な資源を、多様な好みを持つエージェント間で公平に分割すること。
• 各エージェントが連結な部分（連続する1つの断片）を受け取り、他のエージェントの割り当てを羨まないことを保証すること。
• 価値密度関数が正、負、ゼロを取り得る設定へと公平分割理論を拡張すること。
• このような混合効用環境において、3人のエージェントに対して envy-free で連結な分割が存在することを確立すること。

提案手法

• 資源を連続区間としてモデル化し、エージェント固有の価値密度関数を定義する。これらの関数は任意の実数値を取り得る。
• 公平性を envy-freeness（羨望がないこと）によって定義する：どのエージェントも、自分以外のエージェントの連結部分を自分より好まない。
• 位相的および測度論的技法を用いて、3人のエージェントに対して連結で envy-free な分割が存在することを証明する。
• 公平分割と組合せ的位相論の技法、特に Brouwer の不動点定理を応用して割り当てを構成する。
• 3人分の結果を、予備的な存在証明と構造的解析を通じてより大きなグループへ一般化する。
• すべての割り当てが連結であることを保証する。つまり、各エージェントは資源の連続した1つの断片を受け取る。

実験結果

リサーチクエスチョン

• RQ1 資源に価値のある部分と価値のない部分が含まれ、価値密度関数が任意の形を取る状況において、3人のエージェントに対して envy-free で連結な分割が存在するか？
• RQ2 価値密度関数が負またはゼロをとることを許容する場合、このような分割を構築できるか？
• RQ3 混合効用設定において、連結で envy-free な分割が存在するための構造的制約や条件は何か？
• RQ4 この文脈において、3人分の結果をより多くのエージェントにどのように拡張できるか？
• RQ5 位相的手法は、このような公平分割問題における存在証明において、どのような役割を果たすか？

主な発見

• 価値のある部分と価値のない部分を併せ持つ非均質な資源を、3人のエージェントに割り当てる場合、envy-free で連結な分割が存在する。
• エージェントの価値密度関数は任意の実数値関数であり得るが、公平性に影響を及ぼさない。
• 証明は、Brouwer の不動点定理などの位相的道具に依存している。
• 原則として構成的であるが、一般ケースについては明示的なアルゴリズムは提示されていない。
• 予備的証拠から、より多くのエージェントに対しても同様の分割が存在する可能性があるが、完全な証明は未解決のままである。
• 従来のケーキカット理論を拡張し、一貫的かつ公平に負の効用成分を扱える枠組みを提供している。