[論文レビュー] Game Theoretic Analysis of Auction Mechanisms Modeled by Constrained Optimization Problems.

Orçun Karaca, Pier Giuseppe Sessa+2 more|arXiv (Cornell University)|Nov 17, 2017

Auction Theory and Applications被引用数 1

ひとこと要約

本稿は、連続的財、非凸制約、2段階コストを伴う逆オークションにおけるインcentive-compatibilityを緩和することで、団体証明可能な支払いルールを提案する。凸な入札やポリマトリド制約を必要とせず、計算が効率的な2つの手法を導入し、電力市場の事例研究を通じて検証された。

ABSTRACT

This paper investigates reverse auctions that involve continuous values of different types of goods, general nonconvex constraints, and second stage costs. We seek to design the payment rules and conditions under which coalitions of participants cannot influence the auction outcome in order to obtain higher collective utility. Under the incentive-compatible Vickrey-Clarke-Groves mechanism, we show that coalition-proof outcomes are achieved if the submitted bids are convex and the constraint sets are of a polymatroid-type. These conditions, however, do not capture the complexity of the general class of reverse auctions under consideration. By relaxing the property of incentive-compatibility, we investigate further payment rules that are coalition-proof without any extra conditions on the submitted bids and the constraint sets. Since calculating the payments directly for these mechanisms is computationally difficult for auctions involving many participants, we present two computationally efficient methods. Our results are verified with several case studies based on electricity market data.

研究の動機と目的

• 連続的財と複雑な制約を伴う逆オークションにおいて、インcentive-compatibleかつ団体証明可能な支払いルールを設計する課題に対処すること。
• 団体証明可能な結果を保証するために凸な入札やポリマトリド制約を必要とするヴィクライ・クラーク・グローヴズメカニズムの制限を克服すること。
• 入札や制約集合に構造的制限を課さずに、団体証明可能な支払いルールを開発すること。
• 計算が効率的な計算手法を導入することで、大規模オークションにおける団体証明可能なメカニズムの実用的導入を可能にすること。
• 複数の事例研究を通じて、実世界の電力市場データを用いて提案されたメカニズムを検証すること。

提案手法

• 連続的財、非凸制約、2段階コストを伴う制約付き最適化問題として逆オークションを定式化する。
• インcentive-compatibilityを緩和することで団体証明可能な結果を保証する一般化された支払いルールを導入し、任意の入札および制約構造への適用を可能にする。
• 凸性やポリマトリド型制約を必要としない、計算が効率的な2つのアルゴリズムを設計して支払いを計算する。
• ゲーム理論的枠組みを用いて戦略的行動と団体の安定性を分析する。
• 双対性理論と分解技術を用いて、大規模オークションにおける支払いのスケーラブルな計算を可能にする。
• 実証的電力市場データを用いてメカニズムを検証し、堅牢性と計算可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 連続的財を伴う逆オークションにおいて、団体がオークションの結果を操作するのを防ぐために、どのような条件下で支払いルールを設計できるか？
• RQ2 凸な入札やポリマトリド制約集合を必要とせずに、団体証明可能なメカニズムをどのように達成できるか？
• RQ3 大規模な逆オークションにおける複雑な制約を伴う支払い計算を効率的に行うために、どのような計算手法が有効か？
• RQ4 提案されたメカニズムは、電力市場などの実世界の環境でどのように動作するか？
• RQ5 広範な団体証明可能性を達成するためにインcentive-compatibilityを緩和する際、生じるトレードオフは何か？

主な発見

• 提案された支払いルールは、凸な入札やポリマトリド制約を必要とせず、標準的なヴィクライ・クラーク・グローヴズメカニズムの適用範囲を拡張する。
• 支払いを計算するための2つの計算が効率的な手法が開発され、多数の参加者を含むオークションへのスケーラビリティを実現した。
• 電力市場データを用いた事例研究を通じてメカニズムが検証され、実用的妥当性と堅牢性が示された。
• インcentive-compatibilityを緩和することで、一般の制約および入札構造下でも団体証明可能な結果が達成可能となり、従来の理論的制限を克服した。
• 非凸制約や連続的財が存在する状況でも、団体証明可能性が達成可能であることが示された。これは、実世界の調達において一般的な要因である。
• 計算手法により、直接最適化に比べて支払い計算に要する時間が顕著に短縮され、リアルタイム応用に実用的であることが明らかになった。