[論文レビュー] Optimal dynamic mechanisms with ex-post IR via bank accounts

Vahab Mirrokni, Renato Paes Leme+2 more|arXiv (Cornell University)|May 28, 2016

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

ひとこと要約

本稿では、事後的個人合理的な多段階設定において最適収益を達成するシンプルで実装可能な動的メカニズムであるバンクアカウントメカニズムを導入する。バンクアカウントを用いて段階間の効用の余剰や不足を追跡することで、著者らは、このようなメカニズムが定数倍の近似で最適収益を達成できることを証明し、離散的タイプ空間においてはFPTASを提供する。

ABSTRACT

Lately, the problem of designing multi-stage dynamic mechanisms has been shown to be both theoretically challenging and practically important. In this paper, we consider the problem of designing revenue optimal dynamic mechanism for a setting where an auctioneer sells a set of items to a buyer in multiple stages. At each stage, there could be multiple items for sale but each item can only appear in one stage. The type of the buyer at each stage is thus a multi-dimensional vector characterizing the buyer's valuations of the items at that stage and is assumed to be stage-wise independent. In particular, we propose a novel class of mechanisms called bank account mechanisms. Roughly, a bank account mechanism is no different from any stage-wise individual mechanism except for an augmented structure called bank account, a real number for each node that summarizes the history so far. We first establish that the optimal revenue from any dynamic mechanism in this setting can be achieved by a bank account mechanism, and we provide a simple characterization of the set of incentive compatible and ex-post individually rational bank account mechanisms. Based on these characterizations, we then investigate the problem of finding the (approximately) optimal bank account mechanisms. We prove that there exists a simple, randomized bank account mechanism that approximates optimal revenue up to a constant factor. Our result is general and can accommodate previous approximation results in single-shot multi-dimensional mechanism design. Based on the previous mechanism, we further show that there exists a deterministic bank account mechanism that achieves constant-factor approximation as well. Finally, we consider the problem of computing optimal mechanisms when the type space is discrete and provide an FPTAS via linear and dynamic programming.

研究の動機と目的

• 事後的個人合理的な多段階の商品販売におけるシンプルで収益最適な動的メカニズムの設計という課題に対処する。
• 高いコミットメントを要し、個人合理的性を満たさない既存の動的メカニズムの複雑さと現実的でない点を克服する。
• インcentive compatibility と個人合理的性を保ちながら、段階間で効用をバンクに預けることのできるメカニズムクラスを開発する。
• 離散的タイプ空間において最適収益を計算的に効率的に近似する方法を提供する。
• 定数倍近似と正確な計算の理論的基盤を確立する。

提案手法

• 段階的メカニズムに実数値のバンクアカウントを追加し、累積的な効用の偏差を追跡するバンクアカウントメカニズムを提案する。
• バンクアカウントを用いて、過去の段階における効用の不足や余剰を蓄積・相殺することで、長期的な効用のバランスを実現する。
• 割り当ておよび支払いルールに構造的制約を課すことにより、インcentive-compatible かつ事後的個人合理的なバンクアカウントメカニズムを特徴付ける。
• 最適収益の定数倍近似を達成する確率的バンクアカウントメカニズムを設計する。
• 同じ定数倍近似を達成する決定的バージョンのバンクアカウントメカニズムを構築する。
• 線形計画法および動的計画法の技術を用いて、タイプ空間が離散的である場合の最適メカニズムを計算するFPTASを開発する。

実験結果

リサーチクエスチョン

• RQ1 シンプルで実装可能な動的メカニズムは、事後的個人合理的性を満たしつつ、最適収益を達成できるか？
• RQ2 インcentive compatibility を損なわずに段階間で効用をバンクに預けることのできるメカニズムクラスは存在するか？
• RQ3 確率的バンクアカウントメカニズムが最適動的メカニズムに対して達成可能な近似比は何か？
• RQ4 決定的バンクアカウントメカニズムは、確率的バージョンと同等の定数倍近似を達成できるか？
• RQ5 離散的タイプ空間において、近似的に最適なメカニズムを効率的に計算するアルゴリズムは存在するか？

主な発見

• 多段階設定におけるいかなる動的メカニズムの最適収益も、バンクアカウントメカニズムによって達成可能である。
• シンプルな確率的バンクアカウントメカニズムは、最適収益の定数倍近似を達成する。
• 決定的バンクアカウントメカニズムも、最適収益の定数倍近似を達成する。
• 離散的タイプ空間において、本稿は線形計画法および動的計画法を用いて最適メカニズムを計算するFPTASを提供する。
• 近似手順における必要なクエリ数は、O(max_ξ φ(ξ)/δ + log(β_a - β_b)/(-β_b)) で上限が与えられ、効率性が保証される。
• メカニズム設計により、バンクアカウントを通じた効用の繰越が可能となり、いかなる履歴後でも負の余剰が生じないため、事後的個人合理的性が保証される。