[論文レビュー] Stable allocations in discrete exchange economies

Federico Echenique, Sumit Goel+1 more|arXiv (Cornell University)|Feb 9, 2022

Economic theories and models被引用数 4

ひとこと要約

本稿は、4つの異なる条件下で、非分割財を伴う離散的交換経済における安定的割り当ての存在を確立している：二値的選好、カテゴリー的経済、取引の利得、および一般化されたトップ取引サイクル（TTC）アルゴリズム。スカーフのバランス条件からターツキの不動点まで、さまざまな技術的手法を用い、これらのモデルにおいて弱コアが空でないことを証明し、移転なしの離散的多財交換における安定性の統一的枠組みを提供する。

ABSTRACT

We study stable allocations in an exchange economy with indivisible goods. The problem is well-known to be challenging, and rich enough to encode fundamentally unstable economies, such as the roommate problem. Our approach stems from generalizing the original study of an exchange economy with unit demand and unit endowments, the \emph{housing model}. Our first approach uses Scarf's theorem, and proposes sufficient conditions under which a ``convexify then round'' technique ensures that the core is nonempty. The upshot is that a core allocation exists in categorical economies with dichotomous preferences. Our second approach uses a generalization of the TTC: it works under general conditions, and finds a solution that is a version of the stable set.

研究の動機と目的

• 標準的な凸性および連続性の仮定が成り立たない、非分割財を伴う離散的交換経済における安定的割り当て（弱コアまたは交渉集合内）の存在を確立すること。
• 特に移転なしの状況において、準線形または単位需要モデルを超えたコア安定性の理論的理解を拡張すること。
• 複雑で非凸的な離散的割り当て問題、とりわけルームメイト問題のような病理的交渉構造を含む場合に、安定的結果が存在する十分条件を提供すること。
• 二値的選好、カテゴリー的消費、取引の利得、離散的TU市場といった多様なモデルを、コア存在の共通の枠組みの下に統一すること。
• 不動点およびアルゴリズム的技法を用いて、住宅市場を超えて広がる離散的交換経済へのTTCアルゴリズムの一般化を図ること。

提案手法

• 二値的選好およびカテゴリー的経済におけるコアの空でなさを示すために、スカーフのバランス条件を用い、組合せ的ラウンドオフおよび集合論的議論に依拠する。
• 非移転可能なユーティリティ（NTU）凸ゲームの理論を適用し、取引の利得および単射的ユーティリティの下でコアの存在を示し、既知の凸NTUゲームに関する結果を活用する。
• ターツキの不動点定理を用いて一般化されたTTCアルゴリズムを導入し、サイクルに基づくメカニズムを構築することで、反復的再割り当てによって安定的割り当てを保証する。
• 個々のユーティリティを潜在的取引結果へ写像するユーティリティベースの変換Tを導入し、Tの不動点が安定的割り当てに対応することを示す。
• A₂（個別的に合理的でない者）のエージェント上に有向グラフを定義し、エッジが対象的取引の可能性を表すものとし、ユーティリティ差の不等式を用いてサイクルの長さが2に限定されることを証明する。
• ユーティリティ関数の単射性を用いて、取引結果の一意性を強制し、安定性を破る可能性のない代替割り当てが存在しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 非分割財および移転なしの離散的交換経済において、弱コアが存在する条件は何か？
• RQ2 トップ取引サイクル（TTC）アルゴリズムは、住宅市場を超えてより広範な離散的交換経済へ一般化可能か？
• RQ3 二値的選好やカテゴリー的消費構造は、安定的割り当ての存在にどのように影響するか？
• RQ4 「取引の利得」仮定は、非凸的で離散的な経済においてコアの空でなさを保証するために果たす役割は何か？
• RQ5 不動点定理を用いて、離散的交換モデルにおける安定的割り当ての存在を構成的（constructively）に証明可能か？

主な発見

• 二値的選好の経済において、弱コアは空でない。これはスカーフのバランス条件を用いた証明であり、TTCに依存しないシャープレー＝スカーフの結果の一般化である。
• 各カテゴリーで最大1つの財を消費し、加法的分離可能な二値的ユーティリティを持つカテゴリー的経済において、弱コアは空でない。組合せ的ラウンドオフアルゴリズムを用いた構成的証明が可能である。
• 単射的ユーティリティおよび取引の利得仮定の下でコアは空でない。この結果は、スカーフの条件および経済を凸NTUゲームに関連付けることで両方の方法で確立されている。
• 一般化されたTTCアルゴリズムは、ユーティリティベースのグラフにおける2-サイクルを特定することで安定的割り当てを生成し、ユーティリティ差の不等式を用いてすべてのサイクルが長さ2であることが証明されている。
• TTCメカニズムの不動点定式化により、すべてのエージェントは個別的に合理的なユーティリティを得るか、そうでなければより高いユーティリティを得る。安定的反論は不可能である。
• 単射的評価におけるユーティリティ水準の一意性により、代替の取引経路が同じユーティリティを達成することはできず、構築された割り当ての安定性が保証される。