[論文レビュー] Convexity Conditions for 802.11 WLANs

Vijay Subramanian, Douglas J. Leith|arXiv (Cornell University)|Jun 14, 2012

Wireless Networks and Protocols参考文献 14被引用数 6

ひとこと要約

この論文は、802.11 WLANにおける非凸スルーレート領域の最大凸部分集合を特徴づけ、正の象限におけるスルーレート領域の補集合が厳密に凸であることを示している。これにより、効用関数が従来の対数凸性に基づく手法に適さない場合でも、効用最適化が取り扱える凸部分集合を特定することで、公平なスルーレート割り当てに凸最適化を適用可能にする。

ABSTRACT

In this paper we characterise the maximal convex subsets of the (non-convex) rate region in 802.11 WLANs. In addition to being of intrinsic interest as a fundamental property of 802.11 WLANs, this characterisation can be exploited to allow the wealth of convex optimisation approaches to be applied to 802.11 WLANs.

研究の動機と目的

• 802.11 WLANスルーレート領域の根本的な凸性特性を特定すること。この領域は本質的に非凸である。
• 標準的手法が失敗する状況においても、802.11 WLANにおける凸最適化技術を用いた公平なレート割り当てを可能にすること。
• 非凸スルーレート領域内における最大凸部分集合の完全かつ明示的な特徴づけを提供すること。
• 従来の対数凸性に基づく手法が除外する重要な効用関数（例：双曲的絶対的リスク回避型やべき乗的リスク回避型）の制限を克服すること。
• 多ホップ802.11ネットワークにおける効用ベースの公平性を実現するために、最適化に適した凸領域を同定すること。

提案手法

• スルーレートの表現を単純化し、凸性解析を可能にするために、送信試行確率 $\tau_i$ を $x_i = \tau_i / (1 - \tau_i)$ に変換する。
• スルーレート領域 $R$ を、$x \in [0, \infty)^n$ および $N \in \prod_{k=1}^n [\underline{N}_k, \bar{N}_k]$ の下で達成可能なスルーレート $s(x, N)$ の集合として定義し、$s_i(x, N)$ を $x$ と $N$ の有理関数として表現する。
• 関数 $h(x)$ を用いて、正の象限におけるスルーレート領域の補集合が厳密に凸であることを証明する。ここで $h(x) = 1$ が境界を定義する。
• スルーレート領域の最大凸部分集合が、変数 $x_i$ における線形制約で定義される半空間とスルーレート領域の共通部分として得られることを確立する。
• 定理1を用いて、$U(\exp(\cdot))$ が凹関数であるような凸部分集合を特定し、より広いクラスの効用関数に対して凸最適化を可能にする。
• メッシュネットワークにおける802.11クライアントグループにこのフレームワークを適用し、比例公平性と非対数的効用関数を比較する数値例を提示する。

実験結果

リサーチクエスチョン

• RQ1 802.11 WLANにおける非凸スルーレート領域の最大凸部分集合は何か？ そして、それらはどのように明示的に特徴づけられるか？
• RQ2 なぜ標準的な制約（最大送信試行確率や衝突確率など）は $n > 2$ ステーションのWLANでは凸部分集合を生成しないのか？
• RQ3 スルーレート領域が非凸であるにもかかわらず、802.11 WLANに凸最適化をどのように適用できるか？
• RQ4 従来の対数凸性に基づく手法が除外する効用関数のクラスは何か？ そして、提案されたフレームワークではそれらを処理できるか？
• RQ5 提案された凸部分集合は、$U(\exp(\cdot))$ の凹性を満たさない効用関数（例：双曲的絶対的リスク回避型やべき乗的リスク回避型）に対しても、公平なレート割り当てを可能にするか？

主な発見

• 正の象限における802.11 WLANスルーレート領域の補集合は、$h(x)$ が厳密に凸関数であり、$h(x) = 1$ が境界を定義するレベル集合を用いて、厳密に凸であることが証明された。
• スルーレート領域の最大凸部分集合は、変換変数 $x_i = \tau_i / (1 - \tau_i)$ における線形制約で定義される半空間とスルーレート領域の共通部分として形成され、それらは明示的に特徴づけられている。
• $n > 2$ ステーションのWLANでは、$\tau_i$ や $\sum \tau_i$、衝突確率、無線状態確率などの標準的制約は、凸部分集合を生成しない。
• 本フレームワークにより、$U(\exp(\cdot))$ が凹でない効用関数に対しても凸最適化が可能となり、双曲的絶対的リスク回避型やべき乗的リスク回避型の家族を含む。
• 3フローの数値例において、比例公平性の解（$x_2^* = 0.2094$）は、従来の対数凸性手法でのみ到達可能であるが、本手法では $U_1$（$x_2^* = 0.3767$）および $U_2$（$x_2^* = 0.3516$）の最適解もサポートできる。
• 本手法により、802.11メッシュネットワークに標準的な効用ベースの公平性フレームワークを直接適用可能となり、スルーレート領域の境界上での凸作業点を同定できる。