[论文解读] 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

一句话总结

本文通过提出具体的反例，识别并纠正了公平分配理论中的根本性错误，挑战了关于蛋糕分割程序中可加性、连续性和策略不变性的常见假设。它表明，依赖有限可加性或有缺陷的激励相容性定义的程序可能无法确保公平或诚实的分配，从而破坏了先前文献中的关键结果。

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.

研究动机与目标

• 纠正公平分配理论中广泛存在的误解和错误，特别是关于有限可加性与连续性等假设的必要性和充分性。
• 揭示在弱可加性假设下，诸如无限修剪法和移动刀法等常见程序的逻辑基础中的缺陷。
• 质疑关于分配机制中策略不变性的主张的有效性，表明激励相容性的定义常常被误用或成为空洞成立。
• 阐明公平分配程序——尤其是依赖有限可加性或非原子测度的程序——在何种条件下无法产生公平结果。
• 提供严格的反例，作为未来研究的指南，确保公平分配形式理论的数学严谨性。

提出的方法

• 在单位区间上构造一个有限可加但不可列可加的测度，该测度对所有有理数赋值为零，但对有理数集赋值为全测度，以展示无限过程中价值的损失。
• 使用递减集合序列 $ A_n = [0, 1/2 + 1/n] \setminus \{r_1, \dots, r_n\} $，表明在有限可加性下，正价值集合的极限可能具有零值。
• 在非原子但不连续的测度（如线段上的均匀测度）下分析移动刀法，表明在缺乏适当连续性时，公平性可能失效。
• 设计策略性误报情形，显示即使程序声称具有策略不变性，参与者仍可通过谎报其价值函数获益。
• 重新表述策略脆弱性和策略不变性的定义以检验其有效性，表明即使将“确定更优”替换为“至少同样好且有时更好”，仍无法消除策略性收益。
• 应用累积分布函数的变换，构造一个案例，显示即使另一名参与者如实报告，玩家仍可通过误报其真实价值测度获益。

实验结果

研究问题

• RQ1 在仅假设有限可加性时，无限修剪法在何种条件下无法产生公平分配？
• RQ2 当价值测度为非原子但不连续时，移动刀法是否可能无法产生公平份额？
• RQ3 如果一名参与者通过谎报偏好总能至少同样好，甚至有时更好，那么公平分配程序是否真正具有策略不变性？
• RQ4 涉及有限可加但不可列可加测度的反例如何揭示公平分配程序逻辑基础中的缺陷？
• RQ5 在公平性和诚实性为必要条件时，使用非连续或非原子测度在切分-选择法或移动刀法等程序中会产生何种影响？

主要发现

• 在有限可加性下，无限修剪程序可能无法产生公平分配，如一个价值严格递减并收敛于零值集合的序列所示。
• 在有限可加测度下，一个递减的正价值集合序列的极限可能具有零值，表明价值可能在无限过程中‘消失’。
• 当价值测度为非原子但不连续时，移动刀法可能无法确保公平性，如线段上的均匀测度所示。
• 根据标准定义，公平分配程序不一定是策略不变的，因为参与者即使在程序声称具有策略不变性时，仍可通过谎报偏好获益。
• 在策略脆弱性定义中，将‘确定更优’替换为‘至少同样好且有时更好’并不能挽救某些程序具有策略不变性的主张，如构造的反例所示。
• 在价值测度相同且对称的设定下，根据修订后的定义，每个公平程序都平凡地具有策略不变性，使得策略脆弱性的主张变得空洞且无效。