[論文レビュー] An Algorithmic Characterization of Multi-Dimensional Mechanisms

Yang Cai, Constantinos Daskalakis+1 more|arXiv (Cornell University)|Jan 1, 2011

Auction Theory and Applications被引用数 1

ひとこと要約

この論文は、独立で加法的 bidder を持つベイジアンインcentive-compatible で、複数アイテム・複数入札者のメカニズムについて、可能なメカニズムを階層的メカニズムの分布として表現することにより、完全なアルゴリズム的特徴付けを提供する。妥当性の確認、サンプリング、実装のための多項式時間アルゴリズムを確立し、i.i.d. でない bidder に対してもボーダーの定理を一般化し、還元形式オークションの効率的計算を可能にする。

ABSTRACT

We obtain a characterization of feasible, Bayesian, multi-item multi-bidder mechanisms with independent, additive bidders as distributions over hierarchical mechanisms. Combined with cyclic-monotonicity our results provide a complete characterization of feasible, Bayesian Incentive Compatible mechanisms for this setting. Our characterization is enabled by a novel, constructive proof of Border’s theorem [5], and a new generalization of this theorem to independent (but not necessarily identically distributed) bidders, improving upon the results of [6, 12]. For a single item and independent (but not necessarily identically distributed) bidders, we show that any feasible reduced form auction can be implemented as a distribution over hierarchical mechanisms. We also give a polynomial-time algorithm for determining feasibility of a reduced form auction, or providing a separation hyperplane from the set of feasible reduced forms. To complete the picture, we provide polynomialtime algorithms to find and exactly sample from a distribution over hierarchical mechanisms consistent with a given feasible reduced form. All these results generalize to multi-item reduced form auctions for independent, additive bidders. Finally, for multiple items, additive bidders

研究の動機と目的

• 独立で加法的 bidder を持つ複数アイテム・複数入札者設定における、妥当でベイジアンインセンティブ適合なメカニズムの完全な特徴付けを提供すること。
• i.i.d. でないが独立な bidder に対してボーダーの定理を一般化し、オークション設計へのより広範な適用可能性を実現すること。
• 還元形式オークションの妥当性を判定する多項式時間アルゴリズムと、整合的な階層的メカニズムの分布からの正確なサンプリングのための多項式時間アルゴリズムを開発すること。
• 単一アイテムから複数アイテムの設定へと特徴付けを拡張し、計算効率と理論的完全性を維持すること。

提案手法

• 非 i.i.d. バイダーへの一般化の基盤をなす、ボーダーの定理の新規で構成的証明を構築する。
• 可能なメカニズムを階層的メカニズムの分布として表現し、アルゴリズム的取り扱いやサンプリングを可能にする。
• ベイジアンインセンティブ適合性を保証するために、階層的メカニズム表現と併用して循環的単調性を用いる。
• 分離超平面を用いて、与えられた還元形式オークションの妥当性をテストする多項式時間アルゴリズムを設計する。
• 妥当な還元形式と整合する階層的メカニズムの分布からの正確なサンプリングのための多項式時間アルゴリズムを開発する。
• 還元形式表現と妥当性条件を拡張することで、多項式時間の枠組みを複数アイテム設定へと一般化する。

実験結果

リサーチクエスチョン

• RQ1 独立で加法的 bidder を持つ任意の妥当な還元形式オークションは、階層的メカニズムの分布として実装可能か？
• RQ2 与えられた還元形式が複数アイテム・複数入札者設定で妥当かどうかを判定する計算複雑性はいかほどか？
• RQ3 与えられた妥当な還元形式を実現する階層的メカニズムの分布から、効率的にサンプリングする方法は何か？
• RQ4 ボーダーの定理は、i.i.d. バイダーを越えて、複数アイテムオークション設計においてどの程度一般化可能か？
• RQ5 この設定において、ベイジアンインセンティブ適合なメカニズムの構築と検証を可能にするアルゴリズム的ツールは何か？

主な発見

• 可能なベイジアンインセンティブ適合なメカニズムは、階層的メカニズムの分布として表現することにより、完全な特徴付けが達成された。
• 与えられた還元形式オークションの妥当性を確認する多項式時間アルゴリズムが提供され、不成立の場合には分離超平面を生成する。
• 妥当な還元形式と整合する階層的メカニズムの分布からの正確なサンプリングのための多項式時間アルゴリズムが開発された。
• 特徴付けは、独立で非 i.i.d. バイダーに対してもボーダーの定理を一般化し、より広範なオークション設定への適用可能性を拡張した。
• 枠組みは単一アイテムから複数アイテムの設定へと成功裏に拡張され、計算効率と理論的完全性が維持された。
• 結果として、多次元メカニズム設計問題の設計と分析のための構成的でアルゴリズム的な基盤が確立された。