[论文解读] Product-Mix Auctions and Tropical Geometry

Ngoc Mai Tran, Josephine Yu|arXiv (Cornell University)|May 15, 2015

Auction Theory and Applications参考文献 16被引用 10

一句话总结

本文在经济学中的产品组合拍卖与热带几何之间建立了新联系，通过整数规划方法对保证不可分割商品拍卖中一般竞争均衡存在的单一模定理提供了新颖的证明。该研究引入了一个统一的框架，利用格多面体，并将均衡存在的充分条件与代数几何中的深层猜想（包括Oda猜想）联系起来。

ABSTRACT

In a recent and ongoing work, Baldwin and Klemperer explored a connection between tropical geometry and economics. They gave a sufficient condition for the existence of competitive equilibrium in product-mix auctions of indivisible goods. This result, which we call the Unimodularity Theorem, can also be traced back to the work of Danilov, Koshevoy, and Murota in discrete convex analysis. We give a new proof of the Unimodularity Theorem via the classical unimodularity theorem in integer programming. We give a unified treatment of these results via tropical geometry and formulate a new sufficient condition for competitive equilibrium when there are only two types of product. Generalizations of our theorem in higher dimensions are equivalent to various forms of the Oda conjecture in algebraic geometry.

研究动机与目标

• 通过整数规划方法，提供产品组合拍卖中单一模定理的新统一证明，避免使用复杂的多面体运算。
• 弥合产品组合拍卖等经济机制与热带几何及离散凸分析之间的鸿沟，提供一种共同的数学语言。
• 在仅有两种商品类型的情况下，利用格多面体的性质，识别产品组合拍卖中一般竞争均衡的新充分条件。
• 将这些结果推广至高维情形，并证明其与代数几何中Oda猜想的等价性。
• 证明：当其正规剖分的最大面为光滑多面体时，稳定拍卖可保证一般竞争均衡，从而与光滑多面体猜想建立联系。

提出的方法

• 将产品组合拍卖表述为特定整数规划问题，将一般竞争均衡定义为带整数约束的线性规划的解。
• 应用整数规划中经典的单一模定理，推导出线性松弛能产生整数解的条件。
• 利用热带几何解释估值多面体及其正规剖分，特别关注需求类型和本原边。
• 利用格多面体的整数分解性质（IDP），确保其闵可夫斯基和的缩放多面体包含所有整数点。
• 应用Bruns–Gubeladze–Trung定理于缩放多面体的IDP，证明当 $ c o ext{large} $ 时，拍卖的细化过程保持一般竞争均衡。
• 以稳定拍卖的形式重新表述Oda猜想与光滑多面体猜想，表明正规剖分中最大面的光滑性蕴含一般竞争均衡。

实验结果

研究问题

• RQ1 在何种条件下，具有不可分割商品的产品组合拍卖会存在一般竞争均衡？
• RQ2 如何仅使用整数规划的标准工具，而非多面体组合学方法，重新证明单一模定理？
• RQ3 格多面体及其整数分解性质（IDP）在保证细化拍卖中一般竞争均衡方面起什么作用？
• RQ4 Oda猜想与光滑多面体猜想如何与稳定产品组合拍卖中一般竞争均衡的存在性相关联？
• RQ5 能否利用热带几何与多面体技术，为仅有两种商品类型拍卖推导出一般竞争均衡的充分条件？

主要发现

• 通过整数规划中的经典单一模定理，重新证明了单一模定理，其证明比以往方法更简单、更直接。
• 对于仅有两种商品类型的拍卖，利用需求复形结构与格多面体，建立了新的竞争均衡充分条件。
• 对于具有 $ n $ 种商品类型且估值函数完全相同的拍卖，其 $ c $-细化在 $ c o n-1 $ 时，无论需求类型为何，均保证竞争均衡。
• 定理6.8表明，当每种商品的单位数为 $ c o n-1 $ 时，即使原始拍卖不具竞争均衡，其细化仍能保证竞争均衡。
• 主结果在高维情形的推广等价于Oda猜想，特别是当闵可夫斯基和中的一个多面体为光滑多面体且其法线扇形细化其他多面体时。
• 在代数几何中，Oda猜想被证明等价于稳定产品组合拍卖中一般竞争均衡的充分条件，前提是其正规剖分中最大面为光滑多面体。