[論文レビュー] Bargaining for Revenue Shares on Tree Trading Networks

Arpita Ghosh, Satyen Kale+2 more|arXiv (Cornell University)|Apr 22, 2013

Game Theory and Voting Systems参考文献 12被引用数 3

ひとこと要約

本稿では、木構造の取引ネットワークにおける収益配分について、エッジ上のエージェントが平等的交渉（エゴイズム的交渉）を用いて交渉する分散型交渉モデルを提案する。固定点解の存在、一意性、および効率性を証明し、多項式時間で計算可能であり、コアに属し、厳密単調性を示す良好な経済的性質を有する。

ABSTRACT

We study trade networks with a tree structure, where a seller with a single indivisible good is connected to buyers, each with some value for the good, via a unique path of intermediaries. Agents in the tree make multiplicative revenue share offers to their parent nodes, who choose the best offer and offer part of it to their parent, and so on; the winning path is determined by who finally makes the highest offer to the seller. In this paper, we investigate how these revenue shares might be set via a natural bargaining process between agents on the tree, specifically, egalitarian bargaining between endpoints of each edge in the tree. We investigate the fixed point of this system of bargaining equations and prove various desirable for this solution concept, including (i) existence, (ii) uniqueness, (iii) efficiency, (iv) membership in the core, (v) strict monotonicity, (vi) polynomial-time computability to any given accuracy. Finally, we present numerical evidence that asynchronous dynamics with randomly ordered updates always converges to the fixed point, indicating that the fixed point shares might arise from decentralized bargaining amongst agents on the trade network.

研究の動機と目的

• 中間者と買い手が余剰配分について交渉する木構造取引ネットワークにおける収益配分交渉をモデル化すること。
• 木のすべてのエッジにわたって一貫した、相互に適合する収益配分のセットが存在するかどうかを調査すること。
• 交渉システムの固定点の経済的および計算的性質を分析すること。
• 分散的で非同期的な交渉ダイナミクスが固定点解に収束するかどうかを検証すること。
• 固定点解が、効率性、コアへの属性、および厳密単調性といった望ましい性質を満たしていることを確立すること。

提案手法

• 各エッジのエンドポイントが、下流の価値に基づいて二対の平等的（比例的）交渉を実施する木ネットワーク上の交渉ゲームを形式化すること。
• 各エッジにおける収益配分の非線形方程式系を導出する。この場合、可能集合は木全体の他の場所の配分に依存し、内生的余剰価値が関与する。
• 木の交渉問題を単純化し、配分値の境界を導出するために経路交渉問題に還元すること。
• 根エッジの配分値について二分探索を用い、任意の精度で固定点解を多項式時間で計算すること。
• 木全体にわたる誤差伝播を制御する再帰的関係を確立し、ε-精度における固定点の効率的近似を可能にすること。
• 上向きおよび下向きの式を用いて反復的に配分と重みを計算し、妥当な解であることを保証するための妥当性チェックを実施すること。

実験結果

リサーチクエスチョン

• RQ1 平等的交渉のもとで、木構造取引ネットワークのすべてのエッジにわたって一貫した収益配分のセットが存在するか？
• RQ2 交渉システムの固定点は一意的で、効率的かつ基本的な協力ゲームのコアに属するか？
• RQ3 固定点解を任意の与えられた精度で多項式時間で計算できるか？
• RQ4 非同期的でランダムな順序での交渉ダイナミクスは固定点解に収束するか？
• RQ5 買い手の価値の変化が結果としての収益配分に与える影響は何か？また、解は厳密単調性を示すか？

主な発見

• 任意の木構造取引ネットワークにおいて、交渉方程式系に対して一意な固定点が存在する。
• 固定点解は効率的であり、全余剰が勝者ルートによって完全に把握されている。
• 解はコアに属しており、いかなるコалиションも逸脱によって報酬を向上させることはできない。
• 固定点は厳密単調性を示す：買い手の価値を増加させると、その買い手へのパス上に位置するすべてのエージェントの配分が増加する。
• 固定点解は、n および log(1/ε) に対して多項式時間で ε-精度で計算可能であり、実行時間は poly(n, log(1/γε)) である。
• 数値的証拠から、ランダムな更新順序をとる非同期ダイナミクスが固定点に収束することが示唆されており、分散的交渉による解の出現が可能性である。