[論文レビュー] The Transport Capacity of a Wireless Network is a Subadditive Euclidean Functional

Radha Krishna Ganti, Martin Haenggi|arXiv (Cornell University)|Jul 17, 2008

Mobile Ad Hoc Networks参考文献 10被引用数 4

ひとこと要約

本稿は、単位正方形内にi.i.d.に配置されたn個のノードからなる無線アドホックネットワークの輸送容量（TC）が、√nでスケーリングされた際、ほとんど確実に非確率的極限に収束することを証明する。部分加法的ユークリッド関数型理論を用いて、プロトコルモデル下でこの極限の存在を確立し、√n → n^{(d−1)/d} のスケーリングにより、d次元空間へ一般化する。

ABSTRACT

The transport capacity of a dense ad hoc network with n nodes scales like \sqrt(n). We show that the transport capacity divided by \sqrt(n) approaches a non-random limit with probability one when the nodes are i.i.d. distributed on the unit square. We prove that the transport capacity under the protocol model is a subadditive Euclidean functional and use the machinery of subadditive functions in the spirit of Steele to show the existence of the limit.

研究の動機と目的

• i.i.d.ノード分布を有する高密度アドホックネットワークの輸送容量（TC）が、√nでスケーリングされた際、非確率的極限に収束するかどうかという未解決の問題を解消すること。
• 確率的幾何学における極限定理を応用可能な理論的基盤を、ランダムジオメトリック無線ネットワークにおけるTCの漸近的挙動に確立すること。
• 一様分布を超えて、有界な台を持つ一般の確率密度関数（PDF）へ収束結果を拡張すること。
• TCが部分加法的ユークリッド関数型として振る舞うことを示し、確率的幾何学における既知の極限定理の適用を可能にすること。

提案手法

• スティールとキングマンの枠組みを用いた部分加法的関数型理論を適用し、スケーリングされたTCの収束を証明する。
• 不連続なネットワーク領域を結合する際の補正項o(√n)を制御することで、TCの弱部分加法性を確立する。
• 球体パッキングの上限を用いて、TCの上側尾根を制御し、辺の長さがtの正方形内にノードが存在する場合、TC ≤ C t √n が成り立つことを示す。
• 境界および長距離伝送損失を考慮した「接着補題」（補題8）を用いて、不連続領域の集合のTCを評価する。
• 大数の法則を適用し、各部分領域内のノード数が、面積測度にnを乗じたものにほとんど確実に収束することを示す。
• ステップ関数（ブロック分布）による近似を用い、一般の有界PDFへ一般化した後、極限をとることで結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 単位正方形内にi.i.d.に配置されたn個のノードからなる無線ネットワークの輸送容量が、√nでスケーリングされた際、非確率的極限に収束するか？
• RQ2 輸送容量は部分加法的ユークリッド関数型として特徴付けられるか。これにより、確率的幾何学における極限定理の適用が可能になるか？
• RQ3 TC/√nの極限値は、特に非一様密度の場合、ノードの空間的分布にどのように依存するか？
• RQ4 i.i.d.ノード分布下で、d次元空間におけるTCの漸近的挙動はいかなるものか？
• RQ5 収束結果を一様分布から、一般の有界な確率密度関数へ拡張可能か？

主な発見

• ノードが単位正方形内でi.i.d.に一様分布している場合、limₙ→∞ T(Xₙ)/√n はほとんど確実に非確率的定数に収束する。
• ℝ²上に有界なPDF f(x)に対して、極限はA₂ ∫ℝ² √f(x) dx に等しい。ここでA₂はシステムパrameterに依存する定数である。
• 平方根関数の凹性により、ノード分布が一様である場合に極限値が最大値をとる。
• d次元空間では、輸送容量はn^{(d−1)/d}に比例し、limₙ→∞ T(Xₙ)/n^{(d−1)/d} = A_d はほとんど確実に成り立つ。
• 証明はo(√n)補正項を伴う部分加法性に依拠しており、極限の存在は部分加法的関数型理論によって保証される。
• ノードが単位正方形の部分集合に制限されていても、特異部を持たない絶対連続分布であれば、この結果は成り立つ。