[論文レビュー] Interpolating between truthful and non-truthful mechanisms for combinatorial auctions

Mark Braverman, Jieming Mao+1 more|arXiv (Cornell University)|Jan 10, 2016

Auction Theory and Applications参考文献 36被引用数 7

ひとこと要約

この論文は、2段階のプロトコルを用いて非真実性と真実性の両方のプロトコルを統合する補間メカニズムを導入する。まず入札者が非真実性プロトコルに参加し、その出力として真実性プロトコルが得られる。次に、選択された真実性プロトコルが実行される。主な貢献は、特定の設定において補間メカニズムが従来のプロトコルおよび真実性プロトコルを著しく上回ることを示し、同時に補間メカニズムが真実性メカニズムを常に上回ることはできないことを証明することにある。

ABSTRACT

We study the communication complexity of combinatorial auctions via interpolation mechanisms that interpolate between non-truthful and truthful protocols. Specifically an interpolation mechanism has two phases. In the first phase, the bidders participate in some non-truthful protocol whose output is itself a truthful protocol. In the second phase, the bidders participate in the truthful protocol selected during phase one. Note that virtually all existing auctions have either a non-existent first phase (and are therefore truthful mechanisms), or a non-existent second phase (and are therefore just traditional protocols, analyzed via the Price of Anarchy/Stability).The goal of this paper is to understand the benefits of interpolation mechanisms versus truthful mechanisms or traditional protocols, and develop the necessary tools to formally study them. Interestingly, we exhibit settings where interpolation mechanisms greatly outperform the optimal traditional and truthful protocols. Yet, we also exhibit settings where interpolation mechanisms are provably no better than truthful ones. Finally, we apply our new machinery to prove that the recent single-bid mechanism of Devanur et. al. [DMSW15] (the only pre-existing interpolation mechanism in the literature) achieves the optimal price of anarchy among a wide class of protocols, a claim that simply can't be addressed by appealing just to machinery from communication complexity or the study of truthful mechanisms.

研究の動機と目的

• 補間メカニズムと呼ばれる新しいメカニズムのクラスを形式化・分析し、組み合わせオークションにおける非真実性プロトコルと真実性プロトコルの間を橋渡しする。
• 通信複雑性および効率性の観点から、補間メカニズムが従来プロトコルおよび真実性メカニズムに対して理論的にどのような利点を有するかを理解すること。
• 通信複雑性や真実性メカニズム理論の枠組みを越えて、補間メカニズムを形式的に評価できる新しい分析的ツールを開発すること。
• Devanurら [DMSW15] が提唱した単一入札メカニズムの性能を新しい枠組み内で評価し、価格の悪化（price of anarchy）の観点から最適性を確立すること。

提案手法

• 2段階のメカニズムの設計：第1段階では非真実性プロトコルを用いて出力として真実性プロトコルを生成し、第2段階では選択された真実性プロトコルを実行する。
• 非真実性および真実性メカニズム分析の要素を組み合わせたハイブリッドモデルを用いて、補間メカニズムの通信複雑性を形式化する。
• Devanurら [DMSW15] の単一入札メカニズムを新しい枠組みに適用し、広範なプロトコルクラスにおいて価格の悪化が最適であることを示す。
• 通信複雑性およびメカニズム設計の理論的ツールを用いて、補間メカニズムと真実性プロトコルおよび従来プロトコルを比較する。
• 補間メカニズムが真実性メカニズムを上回る条件を確立し、逆に、補間メカニズムが真実性メカニズムに劣ることが証明可能な設定を同定する。

実験結果

リサーチクエスチョン

• RQ1 どのような設定において補間メカニズムが真実性プロトコルおよび従来の非真実性プロトコルの両方を著しく上回る優位性を示すか？
• RQ2 補間メカニズムは、既存の真実性メカニズムを上回る通信複雑性または効率性を達成できるか？
• RQ3 標準的な通信複雑性や真実性メカニズムのフレームワークを超えて、補間メカニズムを形式的に評価するために必要な分析的ツールは何か？
• RQ4 Devanurら [DMSW15] の単一入札メカニズムは、価格の悪化の観点から他のプロトコルと比較してどの程度の性能を示すか？
• RQ5 補間メカニズムが真実性メカニズムを常に上回ることを妨げる根本的な制限は存在するか？

主な発見

• 通信複雑性や効率性の観点で、最適な従来プロトコルおよび最適な真実性メカニズムを著しく上回る設定が存在する。
• 他の設定では、補間メカニズムが真実性メカニズムに劣らないことが証明可能であり、利点が文脈依存であることが示された。
• このフレームワークにより、Devanurら [DMSW15] の単一入札メカニズムが広範なプロトコルクラスにおいて最適な価格の悪化を達成することを形式的証明できるようになった。これは、従来のツールでは達成できなかった結果である。
• 補間メカニズムは、非真実性と真実性メカニズム分析の間を結ぶ形式的ブリッジを提供する新たな視点をもたらし、ハイブリッドオークション設計の分析に新たな道を開く。
• 提案された枠組みにより、構造的制限が明らかになった：補間メカニズムは、特定の状況では真実性メカニズムを上回るが、普遍的に上回ることはできない。
• 本研究により、補間メカニズムの性能がオークション環境やプロトコル構造に極めて敏感であることが明らかになった。