[論文レビュー] Incentivizing efficient use of shared infrastructure: Optimal tolls in congestion games.

Dario Paccagnan, Rahul Chandan+2 more|arXiv (Cornell University)|Nov 22, 2019

Game Theory and Applications参考文献 3被引用数 15

ひとこと要約

本稿は、局所的情報のみを用いて、システム非効率性（アービタージュの価格）を最小化する最適な課税メカニズムを設計する、取り扱い可能な線形計画法のアプローチを提案する。多項式混雑ゲームにおける最適アービタージュの価格のタイトな境界を導出し、驚くべき負荷バランスゲームとの関連を明らかにし、従来の結果を一般化した定数課税が、離散的設定におけるマージナルコストメカニズムを上回る近似的に最適な効率性を達成することを示している。

ABSTRACT

How can we design mechanisms to promote efficient use of shared resources? Here, we answer this question in relation to the well-studied class of atomic congestion games, used to model a variety of problems, including traffic routing. Within this context, a methodology for designing tolling mechanisms that minimize the system inefficiency (price of anarchy) exploiting solely local information is so far missing in spite of the scientific interest. In this manuscript we resolve this problem through a tractable linear programming formulation that applies to and beyond polynomial congestion games. When specializing our approach to the polynomial case, we obtain tight values for the optimal price of anarchy and corresponding tolls, uncovering an unexpected link with load balancing games. We also derive optimal tolling mechanisms that are constant with the congestion level, generalizing the results of Caragiannis et al. [ACM Transactions on Algorithms, 2010] to polynomial congestion games and beyond. Finally, we apply our techniques to compute the efficiency of the marginal cost mechanism. Surprisingly, optimal tolling mechanism using only local information perform closely to existing mechanism that utilize global information [Bilo and Vinci, ACM Transactions on Economics and Computation, 2019], while the marginal cost mechanism, known to be optimal in the continuous-flow model, has lower efficiency than that encountered levying no toll. All results are tight for pure Nash equilibria, and extend to coarse correlated equilibria.

研究の動機と目的

• 局所的情報のみを用いて、アトミック混雑ゲームにおけるシステム非効率性（アービタージュの価格）を最小化する課税メカニズムの設計。
• 多項式混雑ゲームにおける最適課税の計算が取り扱い可能であるよう、既存の文献におけるギャップを埋める。
• 線形混雑ゲームを超えて、より広範な多項式クラスへと定数課税に関する先行結果を一般化すること。
• 離散的・アトミック混雑ゲームにおけるマージナルコストメカニズムの効率性を評価し、最適な局所的情報に基づく課税と比較すること。
• 純粋ナッシュ均衡から粗い協調均衡へと結果を拡張し、知見の堅牢性を保証すること。

提案手法

• リソース利用状況とプレイヤー戦略に関する局所的情報を活用する、取り扱い可能な線形計画問題として最適課税問題を定式化する。
• 線形計画法フレームワークを多項式混雑ゲームに適用し、最適課税とアービタージュの価格のタイトな境界の計算を可能にする。
• 混雑度に依存しない定数課税メカニズムを導出し、線形関数から多項式遅延関数への先行結果の一般化を実現する。
• 均衡解析を用いて、マージナルコストメカニズムと最適な局所的情報に基づく課税メカニズムの効率性を比較する。
• 分析を粗い協調均衡へと拡張し、導出された結果が純粋ナッシュ均衡を超えて成り立つことを示す。
• 負荷バランスゲームからの構造的洞察を活用し、最適課税の設計と境界に影響を与える、予期しない関連性を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 多項式混雑ゲームにおいて、局所的情報のみを用いて最適課税メカニズムを効率的に計算できるか？
• RQ2 多項式混雑ゲームにおける局所的情報に基づく課税によって達成可能なアービタージュの価格のタイトな境界は何か？
• RQ3 離散的アトミック混雑ゲームにおいて、マージナルコストメカニズムの性能は最適な局所的情報に基づく課税と比べてどうか？
• RQ4 最適課税における混雑ゲームと負荷バランスゲームとの間に構造的関連性があるか？
• RQ5 最適課税メカニズムは、純粋ナッシュ均衡にとどまらず、粗い協調均衡においても効率的であるか？

主な発見

• 提案された線形計画法の定式化により、多項式混雑ゲームにおいて局所的情報のみを用いて最適課税を正確に計算可能となり、長年の文献上のギャップが解消された。
• 多項式混雑ゲームにおける最適アービタージュの価格はタイトに境界づけられており、導出された課税メカニズムは、混雑度に依存しない定数課税により、これらの境界に達している。
• 混雑ゲームにおける最適課税と負荷バランスゲームとの間には、予期しない構造的関連性が明らかになった。これは、ゲームクラス間での均衡効率に深い関連性がある可能性を示唆する。
• 局所的情報に基づく課税メカニズムは、離散的アトミック混雑ゲームにおいて、マージナルコストメカニズムを上回る性能を示した。これは、連続的フローモデルの予想とは反対の結果である。
• 連続的モデルでは最適とされているマージナルコストメカニズムは、離散的設定では課税なしの状況よりも低い効率性を示し、連続的モデルとアトミックモデルとの間で顕著な乖離が生じていることを示している。
• すべての結果は純粋ナッシュ均衡においてタイトであり、粗い協調均衡へと拡張可能であるため、均衡概念を超えて堅牢性が確認された。