[论文解读] Stable allocations in discrete exchange economies

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

Economic theories and models被引用 4

一句话总结

本文在四类不同条件下证明了不可分割物品交换经济中稳定分配的存在性：二元偏好、分类经济、贸易收益以及广义的Top Trading Cycle（TTC）算法。通过运用从Scarf的平衡性条件到Tarski不动点定理及算法构造等技术，本文在这些模型中证明了弱核心非空，为无交易的离散多物品交换提供了统一的稳定性框架。

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算法推广至住房市场之外的更广泛的离散交换经济。

提出的方法

• 利用Scarf的平衡性条件，证明在具有二元偏好和分类经济的经济中核心非空，依赖组合舍入与集合论论证。
• 应用非转移效用（NTU）凸博弈理论，证明在贸易收益与单射效用下核心存在，借助已知的凸NTU博弈结果。
• 通过Tarski不动点定理引入广义TTC算法，构建基于环路的机制，通过迭代重新分配确保稳定分配。
• 引入一个基于效用的变换T，将个体效用映射至潜在的交易结果，其中T的不动点对应于稳定分配。
• 在A₂类代理人（非个体理性者）上定义有向图，其中边表示两两交易的可行性，并通过效用差不等式证明所有环路长度必为二。
• 利用效用函数的单射性以确保交易结果的唯一性，确保不存在其他分配可获得相同效用而不违反稳定性。

实验结果

研究问题

• RQ1 在无货币转移的不可分割物品离散交换经济中，弱核心在何种条件下存在？
• RQ2 Top Trading Cycle（TTC）算法能否被推广至住房市场之外的更广泛的离散交换经济？
• RQ3 二元偏好或分类消费结构如何影响稳定分配的存在性？
• RQ4 ‘贸易收益’假设在非凸、离散经济中确保核心非空时起何种作用？
• RQ5 不动点定理能否用于构造性地证明离散交换模型中稳定分配的存在性？

主要发现

• 在具有二元偏好的经济中，弱核心非空，通过Scarf的平衡性条件证明，该结果推广了Shapley-Scarf的结果，且不依赖于TTC。
• 在分类经济中，代理人每类最多消费一件物品，且具有可分的二元效用，弱核心非空，且通过舍入算法提供了构造性证明。
• 在单射效用与贸易收益假设下，核心非空，该结果既通过Scarf条件，也通过将经济关联至凸NTU博弈得以确立。
• 广义TTC算法通过识别基于效用的图中的2-环路，产生稳定分配，所有环路长度为二的结论通过效用差不等式得到证明。
• TTC机制的不动点表述确保每位代理人要么获得其个体理性效用，要么通过两两交易获得更高效用，且不存在稳定反对意见。
• 在单射估值下效用水平的唯一性，防止了其他交易路径实现相同效用，从而确保所构造分配的稳定性。