[論文レビュー] On Optimal Multi-Dimensional Mechanism Design

Constantinos Daskalakis, S. Matthew Weinberg|arXiv (Cornell University)|Dec 17, 2011

Auction Theory and Applications参考文献 18被引用数 12

ひとこと要約

本稿では、独立した入札者と有界またはモーナ・ハザードレート（MHR）分布に従う価値を持つ設定において、計算的に効率的な最適多変数メカニズム設計のためのアルゴリズムを提示する。入札者数またはアイテム数が定数である場合、加法的 $\epsilon$-近似を達成する。本稿では、対称化、強単調性、$\epsilon$-BIC から BIC への変換技術を導入し、最適ベイジアンインcentive-compatibleメカニズムの多項式時間近似を可能にする。

ABSTRACT

We efficiently solve the optimal multi-dimensional mechanism design problem for independent bidders with arbitrary demand constraints when either the number of bidders is a constant or the number of items is a constant. In the first setting, we need that each bidder's values for the items are sampled from a possibly correlated, item-symmetric distribution, allowing different distributions for each bidder. In the second setting, we allow the values of each bidder for the items to be arbitrarily correlated, but assume that the distribution of bidder types is bidder-symmetric. For all eps>0, we obtain an additive eps-approximation, when the value distributions are bounded, or a multiplicative (1-eps)-approximation when the value distributions are unbounded, but satisfy the Monotone Hazard Rate condition, covering a widely studied class of distributions in Economics. Our runtime is polynomial in max{#items,#bidders}, and not the size of the support of the joint distribution of all bidders' values for all items, which is typically exponential in both the number of items and the number of bidders. Our mechanisms are randomized, explicitly price bundles, and can sometimes accommodate budget constraints. Our results are enabled by establishing several new tools and structural properties of Bayesian mechanisms. We provide a symmetrization technique turning any truthful mechanism into one that has the same revenue and respects all symmetries in the underlying value distributions. We also prove that item-symmetric mechanisms satisfy a natural monotonicity property which, unlike cyclic-monotonicity, can be harnessed algorithmically. Finally, we provide a technique that turns any given eps-BIC mechanism (i.e. one where incentive constraints are violated by eps) into a truly-BIC mechanism at the cost of O(sqrt{eps}) revenue. We expect our tools to be used beyond the settings we consider here.

研究の動機と目的

• ベイジアンおよびインcentive-compatible制約下での最適多変数メカニズム設計の計算的課題に対処する。
• 入札者数またはアイテム数が定数である場合の収益最大化のための多項式時間アルゴリズムを開発する。
• 全結合確率分布のサポートの指数的複雑性を克服するため、入札者の価値評価における対称的かつ単調な構造に焦点を当てる。
• 有界またはMHR分布に従う価値に対して、収益損失の保証が得られる最適メカニズムの近似を可能にする。
• $\epsilon$-BICメカニズムを最小限の収益損失で真のBICメカニズムに変換するためのツールを提供する。

提案手法

• 任意の真実性を持つメカニズムを、収益に変更を加えずに価値分布のすべての対称性を満たすものに変換する対称化技術を導入する。
• アイテム対称メカニズムが強単調性を満たすことを確立し、これはアルゴリズム的に利用可能であり、巡回単調性よりも強い性質である。
• インcentive compatibility制約の数を多項式サイズに削減するための代表的価値プロファイル集合 $E$ を定義する。
• アイテムの置換に関する同値類を用いて、線形計画問題においてBIC制約をICおよび強単調性制約に置き換える。
• 離散化補題を適用し、関連する価値プロファイルの数を制限することで、全結合サポートに依存しない多項式実行時間の保証を得る。
• 変換を用いて、$\epsilon$-BICメカニズムを真のBICメカニズムに変換し、$O(\sqrt{\epsilon})$ の収益損失をもたらす。

実験結果

リサーチクエスチョン

• RQ1 入札者数またはアイテム数が定数である場合、最適多変数メカニズム設計は計算的に効率的に解けるか？
• RQ2 ベイジアンメカニズムのどの構造的性質が、対称性と相関を考慮した計算の有効性を可能にするか？
• RQ3 $\epsilon$-BICメカニズムを収益損失が有界な範囲で真のBICメカニズムに変換する方法は何か？
• RQ4 強単調性は、メカニズム設計における計算的に扱いやすい条件として、巡回単調性に代わることができるか？
• RQ5 アイテム対称性および入札者対称性は、多変数設定における収益近似の複雑さにどのような影響を与えるか？

主な発見

• 入札者数またはアイテム数が定数である場合、価値が有界であると仮定すると、本稿は最適収益に対する計算的に効率的な加法的 $\epsilon$-近似を達成する。
• 価値が無限大であるがモーナ・ハザードレート条件を満たす場合、アルゴリズムは乗法的 $(1-\epsilon)$-近似を達成する。
• 代表的集合 $E_i(\vec{v}_{-i})$ を用いることで、各プロファイルあたり最大 $|E|$ 要素を含むことにより、インcentive compatibility制約の数を多項式サイズに削減できる。
• 対称化技術は収益を保持しつつ、アイテムまたは入札者の置換に対して不変性を強制するため、対称性に配慮したメカニズム設計を可能にする。
• 強単調性の性質により、対称なアイテムに対して価値が一貫して順序付けられている場合、入札者は虚偽申告のインcentiveを持たない。
• $\epsilon$-BICからBICへの変換は、$O(\sqrt{\epsilon})$ の収益損失しか生じないため、収益制約がある設定でも近似メカニズムの使用が可能になる。