[论文解读] Ascending auctions and Walrasian equilibrium

Oren Ben-Zwi, Ron Lavi+1 more|arXiv (Cornell University)|Jan 7, 2013

Auction Theory and Applications参考文献 20被引用 17

一句话总结

本文引入了一类新的次模效用函数子类 GGS(2,M)，该子类推广了替代品（gross substitutes）但并非替代品。论文证明了该类效用函数始终存在瓦尔拉斯一般均衡，并提出了一种自然的上升拍卖机制，该机制可收敛至该均衡——这挑战了长期以来认为唯有替代品效用函数才能保证此类结果的信念。该拍卖机制被证明与 Gul-Stacchetti 及 Ausubel 的形式化模型等价，且对收敛至均衡的证明进行了简化。

ABSTRACT

We present a family of submodular valuation classes that generalizes gross substitute. We show that Walrasian equilibrium always exist for one class in this family, and there is a natural ascending auction which finds it. We prove some new structural properties on gross-substitute auctions which, in turn, show that the known ascending auctions for this class (Gul-Stacchetti and Ausbel) are, in fact, identical. We generalize these two auctions, and provide a simple proof that they terminate in a Walrasian equilibrium.

研究动机与目标

• 识别次模效用函数的新子类，其在替代品类之外仍能保证瓦尔拉斯一般均衡的存在性。
• 为这些新的效用类设计一种可信赖地收敛至瓦尔拉斯一般均衡的上升拍卖机制。
• 简化并统一现有针对替代品效用函数的上升拍卖机制的分析，证明 Gul-Stacchetti 与 Ausubel 形式化模型之间的等价性。
• 探索在何种结构条件下可高效刻画无 envy 分配，从而支持实际的上升拍卖机制设计。
• 启动对次模效用函数类的更广泛表征，以识别那些既支持瓦尔拉斯一般均衡存在性，又能实现高效上升拍卖机制的类。

提出的方法

• 定义一个新的效用类 GGS(2,M)，其中所有大小 ≥2 的组合价值均为 M，该定义在单位需求的基础上进行了推广，确保了次模性和单调性。
• 通过无 envy 价格的结构化表征，证明对于任意来自 GGS(2,M) 的效用组合，瓦尔拉斯一般均衡始终存在。
• 设计一种上升拍卖机制，通过逐步提高过度需求商品的价格，其价格更新规则基于瓦尔拉斯一般均衡条件所导出的需求规则。
• 通过证明在替代品效用函数下，Gul-Stacchetti 与 Ausubel 的上升拍卖机制在每一步都对相同的商品提高价格，从而建立二者之间的等价性。
• 利用原始-对偶直觉与线性规划对偶性，简化对瓦尔拉斯一般均衡收敛性的证明，替代了原始复杂论证。
• 提出一种基于玩家与商品之间匹配条件的新无 envy 价格表征，从而实现算法化的价格更新。

实验结果

研究问题

• RQ1 是否存在一个非替代品的次模效用函数子类，其瓦尔拉斯一般均衡始终存在？
• RQ2 能否为该子类设计一种可收敛至瓦尔拉斯一般均衡的上升拍卖？
• RQ3 在替代品效用函数下，Gul-Stacchetti 与 Ausubel 的上升拍卖机制在价格更新规则上是否等价？
• RQ4 能否通过对偶性与结构洞察，简化针对替代品效用函数的上升拍卖收敛性证明？
• RQ5 在何种需求集的结构条件下，可实现对无 envy 价格的高效刻画，从而支持上升拍卖机制设计？

主要发现

• GGS(2,M) 是次模效用函数的一个真子类，其并非替代品，但始终存在瓦尔拉斯一般均衡。
• 针对 GGS(2,M) 的上升拍卖机制存在，且在瓦尔拉斯一般均衡处终止，其价格更新规则简单直观。
• Gul-Stacchetti 与 Ausubel 的上升拍卖机制在数学上等价：在替代品效用函数下，二者在每一步都对完全相同商品提高价格。
• 通过利用对偶性与原始-对偶直觉，建立了一种简洁的新证明，用于证明替代品效用函数上升拍卖的收敛性。
• 基于最大匹配在特定大小约束下的存在性，推导出 GGS(2,M) 无 envy 价格的表征，从而支持算法化实现。
• 该表征的存在表明，只要满足类似的结构条件，瓦尔拉斯一般均衡的存在性与拍卖收敛性可能在更广泛的次模效用类中实现，而不仅限于替代品类。