[論文レビュー] Auctions with Heterogeneous Items and Budget Limits

Paul Duetting, Monika Henzinger+1 more|arXiv (Cornell University)|Sep 28, 2012

Auction Theory and Applications参考文献 9被引用数 5

ひとこと要約

この論文は、非同一なアイテムと予算制約を伴うオークションにおける決定的および確率的メカニズムの根本的な不可能性結果を確立する。公共の予算下で、多変数評価の下では、いかなる確率的メカニズムでも、個人的合理性、パレート最適性、インcentive compatibility（インcentive適合性）を満たせないことが証明されているが、単一変数評価設定における非可分および可分アイテムを含む私的予算下では、これらの性質を満たす確率的メカニズムが提示されている。

ABSTRACT

We study individual rational, Pareto optimal, and incentive compatible mechanisms for auctions with heterogeneous items and budget limits. For multi-dimensional valuations we show that there can be no deterministic mechanism with these properties for divisible items. We use this to show that there can also be no randomized mechanism that achieves this for either divisible or indivisible items. For single-dimensional valuations we show that there can be no deterministic mechanism with these properties for indivisible items, but that there is a randomized mechanism that achieves this for either divisible or indivisible items. The impossibility results hold for public budgets, while the mechanism allows private budgets, which is in both cases the harder variant to show. While all positive results are polynomial-time algorithms, all negative results hold independent of complexity considerations.

研究の動機と目的

• 非同一なアイテムと予算制約を伴うオークションにおいて、個人的合理性、パレート最適性、インcentive compatibility（インcentive適合性）を満たすメカニズムの存在を調査すること。
• 公共の予算下で生じる決定的メカニズムの不可能性結果を、確率化が克服できるかどうかを特定すること。
• メカニズム設計における公共予算と私的予算の違いを検討し、より困難な私的予算のケースに焦点を当てる。
• 決定的設定下での不可能性結果にもかかわらず、確率的メカニズムが望ましい性質を達成できる条件を同定すること。
• 予算制約による準線形でない利得関数を伴う非同一なアイテムと非準線形利得関数の設定へ、先行研究のクライミングおよびVCG風メカニズムを拡張すること。

提案手法

• 著者たちは、多変数（各アイテムごとの任意の評価）および単一変数（エージェント固有の価値とアイテム固有の質の積としての評価）の2つの評価モデルの下でメカニズムを分析する。
• 最適な結果の構造的性質（高い評価を持つエージェントのアイテム完全配分および予算消費）を用いて、パレート最適性を証明する。
• 否定的結果のため、公共の予算下でIR、PO、ICを満たすメカニズムの存在を仮定し、エージェントが評価を戦略的に虚偽報告できる能力を活用して矛盾を構成する。
• 肯定的結果のため、私的予算に関する先行研究（例：Bhattacharyaら）のメカニズムを適応し、それらがIR（事後）、PO（事後）、NPT（事後）、IC（事後）を満たすことを示す。
• 単一アイテムメカニズムからの構造的結果の性質が、多アイテム設定への写像のもとで保存されることを証明する。
• 期待効用および事後分析を用いて、私的予算下での確率的メカニズムのインcentive compatibility（インcentive適合性）および個人的合理性を確立する。

実験結果

リサーチクエスチョン

• RQ1 公共の予算と多変数評価を伴う可分な非同一なアイテムに対して、決定的メカニズムが個人的合理性、パレート最適性、インcentive compatibility（インcentive適合性）を満たせるか？
• RQ2 公共の予算下で多変数評価に対して、個人的合理性、パレート最適性、インcentive compatibility（インcentive適合性）を満たす確率的メカニズムは存在するか？
• RQ3 多変数設定下で、公共の予算下でのこれらの性質の達成が不可能であるという結果を、確率化が克服できるか？
• RQ4 単一変数評価において、可分および非可分アイテムの両方に対して、私的予算下でIR、PO、NPT、ICを満たす確率的メカニズムは存在するか？
• RQ5 予算制約を伴う多アイテム設定において、メカニズムのどの構造的性質がパレート最適性を保証するか？

主な発見

• 可分な非同一なアイテムと多変数評価を伴う設定では、個人的合理性、パレート最適性、インcentive compatibility（インcentive適合性）を満たす決定的メカニズムは存在しない。
• 公共の予算下で多変数評価に対して、いかなる確率的メカニズムでも、個人的合理性、パレート最適性、インcentive compatibility（インcentive適合性）を満たせない。アイテムの可分性に関わらず同様の結果が成り立つ。
• 単一変数評価において、私的予算下では、個人的合理性（事後）を満たす確率的メカニズムが存在する。また、パレート最適性（事後）、正の移転なし（事後）、インcentive compatibility（インcentive適合性）（事後）も満たす。
• 単一変数評価と可分アイテムに対しては、公共の予算下で、個人的合理性、パレート最適性、正の移転なし、インcentive compatibility（インcentive適合性）を満たす決定的メカニズムが存在する。
• 公共の予算下での不可能性結果は、メカニズムが私的予算を使用を許可されても成立する。これは、不可能性を示す際により困難な設定である。
• 肯定的結果は多項式時間で計算可能であるが、否定的結果は計算複雑性に関係なく成立するため、予算制約下でのメカニズム設計の根本的限界を示している。