[論文レビュー] 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.

研究の動機と目的

• 多面体的組合せ論を避けて、整数計画法の標準的手法を用いて製品ミックスオークションにおけるユニモジュラリティ定理の新たな統一的証明を提供すること。
• 製品ミックスオークションなどの経済的メカニズムとトロピカル幾何学、離散凸解析を結びつけ、共通の数学的言語を提供すること。
• 2種類の財のみを含む場合に、ラティス多面体の性質を用いて製品ミックスオークションにおける競争的均衡の新たな十分条件を同定すること。
• これらの結果を高次元に一般化し、代数幾何学におけるOda予想の形式と同等であることを示すこと。
• 正則分割における最大の面が滑らかな多面体であるオークションが、競争的均衡を保証することを示し、スムーズ多面体予想と結びつけること。

提案手法

• 競争的均衡を整数制約付き線形計画問題の解として定式化する、特定の整数計画問題として製品ミックスオークションを定式化する。
• 整数計画法における古典的ユニモジュラリティ定理を適用し、線形緩和が整数解を与える条件を導出する。
• トロピカル幾何学を用いて評価多面体とその正則分割を解釈し、特に需要型と原始的辺に注目する。
• ラティス多面体の整数分解性質（IDP）を用いて、スケーリングされた多面体がミンコフスキー和に含まれるすべての整数点を含むことを保証する。
• Bruns–Gubeladze–Trungの定理（スケーリングされた多面体におけるIDP）を用い、$ c o ext{large} $ の単位数におけるオークションの細分化が、競争的均衡を保つことを証明する。
• Oda予想およびスムーズ多面体予想を安定オークションの観点から再定式化し、正則分割における最大の面の滑らかさが競争的均衡を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 分割不能財を伴う製品ミックスオークションが、どのような条件下で競争的均衡を有するか？
• RQ2 多面体的組合せ論を避けて、整数計画法の標準的道具を用いてユニモジュラリティ定理を再証明できるか？
• RQ3 ラティス多面体およびその整数分解性質（IDP）は、精錬されたオークションにおける競争的均衡の保証に果たす役割は何か？
• RQ4 Oda予想およびスムーズ多面体予想は、安定した製品ミックスオークションにおける競争的均衡の存在とどのように関係するか？
• RQ5 2種類の財のみを含むオークションについて、トロピカル幾何学的および多面体的技法を用いて、競争的均衡の十分条件を導出できるか？

主な発見

• ユニモジュラリティ定理が整数計画法における古典的ユニモジュラリティ定理を用いて再証明され、従来の手法よりも単純かつ直接的な証明が得られた。
• 2種類の財を含むオークションにおいて、需要複体の構造とラティス多面体の性質を用いて、競争的均衡の新たな十分条件が確立された。
• $ n $ 種類の財と同一の凹関数評価を持つオークションの $ c $-細分化は、$ c o n-1 $ のとき、需要型にかかわらず常に競争的均衡を保証する。
• 定理6.8は、1財あたり $ c o n-1 $ 単位の細分化が、元のオークションが均衡を持たない場合でも、競争的均衡を保証することを示している。
• 高次元における主結果の一般化は、特に1つのミンコフスキー和の多面体が滑らかで、その正規ファンが他の多面体を細分化する場合に、Oda予想と同等である。
• 代数幾何学におけるOda予想が、正則分割における最大の面が滑らかな安定した製品ミックスオークションにおける競争的均衡の十分条件と同等であることが示された。