[論文レビュー] Strategic Contention Resolution with Limited Feedback

George Christodoulou, Martin Gairing+3 more|arXiv (Cornell University)|Jun 21, 2016

Network Traffic and Congestion Control参考文献 4被引用数 3

ひとこと要約

本稿は、送信者が自身の送信が成功したかどうかしか学習できないacknowledgmentベースのフィードバックを想定した、複数アクセスチャネルにおける均衡的競合解決を研究する。2ユーザーの均衡プロトコルを提示し、有限の期待遅延を持つものであるが、より大きなグループでは、有限の期待時間で終了する年齢ベースおよびバックオフプロトコルが均衡に達できないことを証明する。一方、無限の期待遅延を持つが、高確率で線形完了時間を持つ、新しい年齢ベースのプロトコルを導入する。

ABSTRACT

In this paper, we study contention resolution protocols from a game-theoretic perspective. We focus on \emph{acknowledgment-based} protocols, where a user gets feedback from the channel only when she attempts transmission. In this case she will learn whether her transmission was successful or not. Users that do not transmit will not receive any feedback. We are interested in equilibrium protocols, where no player has an incentive to deviate. The limited feedback makes the design of equilibrium protocols a hard task as best response policies usually have to be modeled as Partially Observable Markov Decision Processes, which are hard to analyze. Nevertheless, we show how to circumvent this for the case of two players and present an equilibrium protocol. For many players, we give impossibility results for a large class of acknowledgment-based protocols, namely \emph{age-based} and \emph{backoff} protocols with finite expected finishing time. Finally, we provide an age-based equilibrium protocol, which has infinite expected finishing time, but every player finishes in linear time with high probability.

研究の動機と目的

• 送信者が自身の送信の成功/失敗しか学習できない、制限付きacknowledgmentベースのフィードバック下でのインcentive-compatibleな競合解決プロトコルの設計を目的とする。
• フィードバックが自身の送信の成功/失敗に限定される状況において、複数ユーザーが参加する均衡プロトコルが構築可能かどうかを分析することを目的とする。
• 戦略的ユーザー行動下で、有限の期待完了時間を持つ均衡を達成できる年齢ベースおよびバックオフプロトコルの限界を調査することを目的とする。
• 特に2ユーザーおよび多数ユーザーの状況に注目し、均衡プロトコルが存在する条件を特定することを目的とする。
• 期待遅延が無限大であっても、高確率で線形完了時間となる新しい年齢ベースのプロトコルを提供することを目的とする。

提案手法

• 各ユーザーが自身の送信時間の期待値を最小化するために意思決定する非協力的確率的ゲームとして、競合解決問題をモデル化する。
• 部分的観測可能性を伴うマルコフ決定過程を用いて、制限付きフィードバック下での最良応答戦略を分析し、均衡条件に焦点を当てる。
• 構造的補題（補題4.1）を適用し、均衡プロトコルにおける一貫した送信シーケンスは、プロトコルを変更した場合の期待遅延を保存する必要があることを示す。
• 背理法を用いて、3人以上のユーザーが関与する場合、年齢ベースまたはバックオフプロトコルが有限の期待遅延を持つ均衡に達できないことを証明する。
• 特定の2ユーザー均衡プロトコル（$ p_1 = \frac{2}{3} $, $ p_2 = 1 $）を構築し、期待遅延の比較によりその最適性を証明する。
• 期待遅延が無限大であるが、高確率で線形完了時間となる、慎重に設計された送信確率のシーケンスを用いた新しい年齢ベースのプロトコルを導入する。

実験結果

リサーチクエスチョン

• RQ1 acknowledgmentベースのフィードバック下で、2ユーザーの状況において有限の期待遅延を持つ均衡プロトコルを設計可能か？
• RQ2 3人以上のユーザーが関与するシステムにおいて、有限の期待完了時間を持つ年齢ベースまたはバックオフプロトコルが均衡として実装可能か？
• RQ3 特に一貫した送信シーケンスに関して、制限付きフィードバック下で均衡プロトコルが満たすべき構造的制約は何か？
• RQ4 期待遅延が無限大であっても、高確率で線形完了時間となるプロトコルを構築可能か？
• RQ5 戦略的ユーザーが関与するacknowledgmentベースのフィードバック下で、プロトコルが均衡に達するための必要十分条件は何か？

主な発見

• 2ユーザーの場合、$ p_1 = \frac{2}{3} $, $ p_2 = 1 $ を満たす均衡プロトコルが存在し、有限の期待遅延と最適な性能を達成する。
• 2ユーザーの均衡プロトコルは、$ p_1 = \frac{2}{3} $ および $ p_2 = 1 $ に限定される。これらの値から逸脱すると、少なくとも1人のユーザーが利益を得る逸脱が可能になる。
• $ n \geq 3 $ の場合、年齢ベースまたはバックオフプロトコルが有限の期待完了時間を持つ均衡に達できないのは、単一ユーザーによる逸脱時の期待遅延に構造的矛盾が生じるためである。
• 期待遅延が無限大であるが、高確率で全ユーザーが線形時間内に完了する年齢ベースの均衡プロトコルが存在する。
• 証明は、均衡における一貫した送信シーケンスが、プロトコル変更時における期待遅延を保存する必要があるという重要な補題に依拠しており、背理法による解析を可能にする。
• 期待遅延の比較において、$ p_2 < 1 $ であるプロトコルは、すべての状況で背理が生じるため、不可能性の結果はすべてのこのような構成に適用可能である。