[論文レビュー] Limitations of randomized mechanisms for combinatorial auctions

Shaddin Dughmi, Jan Vondrák|arXiv (Cornell University)|Sep 6, 2011

Auction Theory and Applications参考文献 11被引用数 10

ひとこと要約

この論文は、値オракルモデルにおける下位モジュラー評価の組み合わせオークションにおいて、期待真実性を満たす確率的メカニズムは非自明な近似比を達成できないことを示している。以前のブレークスルーによりカバレッジ評価の(1−1/e)-近似が達成されたが、著者らは、期待真実性を満たすか、近似的に満たすいかなるメカニズムでも、下位モジュラー評価に対してはm⁻ᵞ-近似を保証できないことを証明しており、γ>0は定数である。これは、カバレッジ関数を超える確率的メカニズムの拡張における根本的な制限を示している。

ABSTRACT

Recently, a randomized mechanism has been discovered [Dughmi, Roughgarden and Yan; STOC'11] for combinatorial auctions that is truthful in expectation and guarantees a (1-1/e)-approximation to the optimal social welfare when players have coverage valuations. This approximation ratio is the best possible even for non-truthful algorithms, assuming $P eq NP$. Given the recent sequence of negative results for combinatorial auctions under more restrictive notions of incentive compatibility, this development raises a natural question: Are truthful-in-expectation mechanisms compatible with polynomial-time approximation in a way that deterministic or universally truthful mechanisms are not? In particular, can polynomial-time truthful-in-expectation mechanisms guarantee a near-optimal approximation ratio for more general variants of combinatorial auctions? We prove that this is not the case. Specifically, the result of Dughmi, Roughgarden and Yan cannot be extended to combinatorial auctions with submodular valuations in the value oracle model. (Absent strategic considerations, a (1-1/e)-approximation is still achievable in this setting.) More precisely, we prove that there is a constant γ>0 such that there is no randomized mechanism that is truthful-in-expectation--- or even approximately truthful-in-expectation --- and guarantees an m^{-γ}-approximation to the optimal social welfare for combinatorial auctions with submodular valuations in the value oracle model. We also prove an analogous result for the flexible combinatorial public projects (CPP) problem. Both our results present an unexpected separation between coverage functions and submodular functions, which does not occur for these problems without strategic considerations.

研究の動機と目的

• 期待真実性を満たす確率的メカニズムが、カバレッジ評価の既知の(1−1/e)-近似を超えて、下位モジュラー組み合わせオークションにおいて近似的最適な近似比を達成できるかどうかを調査すること。
• 値オラクルモデル下で、カバレッジ評価の確率的メカニズムの成功が、より広範な下位モジュラー評価のクラスへ一般化可能かどうかを特定すること。
• 期待真実性メカニズムの多項式時間近似保証を達成する能力に関する、下位モジュラー福利最大化問題における根本的制限を確立すること。
• 確率的メカニズム設計の文脈において、カバレッジ関数と下位モジュラー関数の間の分離を示すこと。カバレッジ関数では成功するが、下位モジュラー評価では失敗する。

提案手法

• 著者らは、下位モジュラー関数の積構成を用いて、期待真実性メカニズムにおいて近似が難しい下位モジュラー評価の困難なインスタンスを構築した。
• 彼らは、確率的構成とチェルノフ不等式を用いて、戦略的行動下でのメカニズムの期待性能を分析した。
• 鍵となる技術は、重み付きカバレッジ関数と下位モジュラー成分の和として定義された特別なプレイヤーの評価関数を導入し、近似的真実性の下で矛盾を導出できるようにしたことである。
• 証明は矛盾によるものである。期待真実性メカニズムがm⁻ᵞ-近似を達成すると仮定すると、期待効用の比較によってインcentive compatibility（インcentive適合性）が破られる。
• 濃度不等式と期待効用の精密なバウンディングを用い、下位モジュラーおよび上位モジュラー関数の性質を活用して、性能のタイトなバウンディングを導出した。
• 著者らは結果を組み合わせ型公共財プロジェクト（CPP）問題へ拡張し、下位モジュラー評価において類似の不可能性結果を示した。

実験結果

リサーチクエスチョン

• RQ1 期待真実性を満たす確率的メカニズムは、値オラクルモデルにおける下位モジュラー組み合わせオークションで非自明な近似比を達成できるか？
• RQ2 カバレッジ評価のときと同様に、期待真実性メカニズムによって下位モジュラー評価でも(1−1/e)-近似が達成可能か？
• RQ3 カバレッジ関数と比較して、下位モジュラー評価の社会的福祉近似において、確率的メカニズムの根本的制限は何か？
• RQ4 カバレッジ評価の確率的メカニズムの成功は、より一般的な下位モジュラー評価へ一般化可能か、それとも性能に明確な分離があるか？

主な発見

• 任意の定数γ>0に対して、値オラクルモデル下で下位モジュラー評価の組み合わせオークションにおいて、期待真実性または近似的に期待真実性を満たすいかなるメカニズムでも、最適社会的福祉のm⁻ᵞ-近似を達成できない。
• 非真実なアルゴリズムによって下位モジュラー評価で(1−1/e)-近似が達成可能であり、NP≠Pのもとでこれが最適であるにもかかわらず、この不可能性結果は成立する。
• 本論文は、驚くべき分離を確立した。カバレッジ関数では期待真実性メカニズムにより(1−1/e)-近似が可能であるが、一般の下位モジュラー評価では同じ比は達成不可能である。
• この結果は、組み合わせ型公共財プロジェクト（CPP）問題へも拡張され、下位モジュラー評価において、期待真実性メカニズムがm⁻ᵞ-近似を達成できないことが示された。
• 証明は、真実と非真実の報告の期待効用比較から導かれる矛盾に依拠しており、特定の評価関数構成下で、いかなるメカニズムもインcentive compatibilityを破ることが示された。
• 下限γ≥δ²/(1+δ)は解析から導出され、任意のこのようなメカニズムについて、近似比がmの多項式的に減少しなければならないことが示された。