[論文レビュー] On Welfare Approximation and Stable Pricing

Michal Feldman, Nick Gravin+1 more|arXiv (Cornell University)|Nov 7, 2015

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

ひとこと要約

この論文は、非分割可能なアイテムと戦略的バイヤーを伴う組み合わせ的市場における社会的余剰を近似する際のアイテム価格設定の限界を調査する。2人のサブモodularバイヤーに対しても、安定したアイテム価格は最適な余剰に対するΩ(√m)近似にとどまることを示し、サブモジュラーおよびシングルマインドド評価において、余剰ベンチマークを用いた収益近似が失敗することを示唆する。

ABSTRACT

We study the power of item-pricing as a tool for approximately optimizing social welfare in a combinatorial market. We consider markets with $m$ indivisible items and $n$ buyers. The goal is to set prices to the items so that, when agents purchase their most demanded sets simultaneously, no conflicts arise and the obtained allocation has nearly optimal welfare. For gross substitutes valuations, it is well known that it is possible to achieve optimal welfare in this manner. We ask: can one achieve approximately efficient outcomes for valuations beyond gross substitutes? We show that even for submodular valuations, and even with only two buyers, one cannot guarantee an approximation better than $Ω(\sqrt{m})$. The same lower bound holds for the class of single-minded buyers as well. Beyond the negative results on welfare approximation, our results have daunting implications on revenue approximation for these valuation classes: in order to obtain good approximation to the collected revenue, one would necessarily need to abandon the common approach of comparing the revenue to the optimal welfare; a fundamentally new approach would be required.

研究の動機と目的

• 安定したアイテム価格設定が、グロスサブスティチュートス評価を超えて定数倍の余剰近似を達成できるかどうかを明らかにすること。
• サブモジュラーまたはシングルマインドド評価が、アイテム価格を用いて効率的な余剰近似を可能にするかどうかを調査すること。
• 余剰近似が本質的に劣っている場合の、収益近似への影響を検討すること。
• サブモジュラー評価の構造的部分クラス（例：バジェット加法的）が、定数倍の近似保証を満たすかどうかを検討すること。
• アイテムの非分割性と補完性が、価格設定メカニズムの能力を制限する役割を理解すること。

提案手法

• n人のシングルマインドドバイヤーとm = n(n−1)/2個のアイテムを持つ組み合わせオークションのインスタンスを構築し、各バイヤーがサイズn−1の特定のアイテム集合を希望する。
• アイテム価格に関する数え上げ的議論を用いて、最適割当（バイヤーnに割り当てる）が支持されるならば、他のバイヤーもまた集合を希望する必要があり、安定性が破られる、と示す。
• 任意の安定した価格設定均衡は、高価値集合のうち高々1つを割り当てる必要があることを示し、その結果、余剰はO(√m)以下にとどまることを示す。
• 配置の線形計画（LP）とその双対を分析し、単一マインドドバイヤーに対して、分数解の貪欲な割当により、常にO(√m)近似が達成可能であることを示す。
• 計算に依存しない存在的議論を適用し、いかなる安定した価格設定でもΩ(√m)未満の余剰近似を達成できないことを証明する。
• 安定した結果において、いかなるバイヤーも正の効用を有しないことを利用し、貪欲な割当の安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 安定したアイテム価格設定は、サブモジュラー評価に対して最適社会的余剰の定数倍近似を達成できるか？
• RQ2 グロスサブスティチュートスを超える補完なし評価に対して、安定した価格設定による余剰近似に根本的な限界があるか？
• RQ3 余剰近似が本質的に劣っている場合、安定した価格設定を用いた収益近似はどの程度達成可能か？
• RQ4 サブモジュラー評価の部分クラス（例：バジェット加法的）は、安定した価格設定による定数倍の余剰近似を満たすか？
• RQ5 シングルマインドドバイヤーに対して、Ω(√m)下界を改善または正の構成によって達成できるか？

主な発見

• 2人のサブモジュラーバイヤーに対して、いかなる安定した価格設定でも最適社会的余剰に対するΩ(√m)近似にとどまることはない。
• 同じΩ(√m)下界は、2人のバイヤーですら、シングルマインドド評価に対しても成立する。
• 下界は存在的であり、計算複雑性によるものではなく、アルゴリズム的設計にかかわらず、いかなる安定した価格設定でもΩ(√m)未満の余剰近似は達成できない。
• シングルマインドドバイヤーに対しては、最適余剰に対するO(√m)近似を達成する安定な結果が常に存在し、下界と一致する。
• この結果は、最適余剰をベンチマークとする収益近似手法が、サブモジュラーまたはシングルマインドド評価に一般化できないことを示唆する。
• 2人のバジェット加法的バイヤーに対しては、安定した価格設定による定数倍の余剰近似が常に可能であるため、評価クラス間の二分法的性質が示唆される。