[論文レビュー] Beyond Geometry : Towards Fully Realistic Wireless Models

Marijke H.L. Bodlaender, Magnús M. Halldórsson|arXiv (Cornell University)|Feb 20, 2014

Mobile Ad Hoc Networks参考文献 57被引用数 7

ひとこと要約

本稿は、無線ネットワークにおける幾何的信号強度モデルの一般化として、滑らかな幾何的経路損失の非現実的仮定を、任意の信号減衰パターンに置き換える「減衰空間（decay spaces）」を導入する。これは、容量最大化や分散アルゴリズムに関するSINRモデルの主要な結果が、減衰空間へと持ち越せることを確立しており、近似精度と時間計算量はメトリシティパラメータζに依存する。平面上の容量に関して、αに関する最初の非指数的近似を達成する。

ABSTRACT

Signal-strength models of wireless communications capture the gradual fading of signals and the additivity of interference. As such, they are closer to reality than other models. However, nearly all theoretic work in the SINR model depends on the assumption of smooth geometric decay, one that is true in free space but is far off in actual environments. The challenge is to model realistic environments, including walls, obstacles, reflections and anisotropic antennas, without making the models algorithmically impractical or analytically intractable. We present a simple solution that allows the modeling of arbitrary static situations by moving from geometry to arbitrary decay spaces. The complexity of a setting is captured by a metricity parameter Z that indicates how far the decay space is from satisfying the triangular inequality. All results that hold in the SINR model in general metrics carry over to decay spaces, with the resulting time complexity and approximation depending on Z in the same way that the original results depends on the path loss term alpha. For distributed algorithms, that to date have appeared to necessarily depend on the planarity, we indicate how they can be adapted to arbitrary decay spaces. Finally, we explore the dependence on Z in the approximability of core problems. In particular, we observe that the capacity maximization problem has exponential upper and lower bounds in terms of Z in general decay spaces. In Euclidean metrics and related growth-bounded decay spaces, the performance depends on the exact metricity definition, with a polynomial upper bound in terms of Z, but an exponential lower bound in terms of a variant parameter phi. On the plane, the upper bound result actually yields the first approximation of a capacity-type SINR problem that is subexponential in alpha.

研究の動機と目的

• 理論的無線モデルと現実の信号伝搬の間のギャップ、特に滑らかな幾何的経路損失とは異なる伝搬特性を解消すること。
• 壁、反射、指向性アンテナなどの現実的な環境要因を捉えつつ、計算的・解析的に取り扱いやすいモデルを構築すること。
• 距離に基づく減衰を任意の信号強度減衰関数に置き換えることで、SINRモデルを幾何学的枠組みを超えて一般化すること。
• SINRモデルの核心的なアルゴリズム的結果が、減衰空間においても有効であることを確立し、計算量がメトリシティパラメータζに依存することを示すこと。
• 分散アルゴリズムが、減衰空間に一般化可能であることを示し、特に減衰空間がダブルイング（doubling）である場合には、フェージングパラメータを用いて効率的に適応できることを示すこと。

提案手法

• ノード間の信号強度が幾何的距離に依存しない任意のペアワイズ減衰関数によって定義される減衰空間を提案する。
• 三角不等式をどれほど満たさないかを測るためのメトリシティパラメータζを導入する。
• 一般メトリクスにおけるSINRモデルのすべての結果が、減衰空間へと持ち越せることを示し、時間計算量と近似計算量が、距離損失αに依存するのと同様にζに依存することを示す。
• 分散アルゴリズム用のフェージングパラメータを導入し、任意の減衰空間へとアルゴリズムを適応可能であることを示し、そのコストはこのパラメータに依存することを示す。
• ダブルイング減衰空間ではフェージングパラメータが有界であることを示し、平面上の設定を想定した分散アルゴリズムを効率的に適応できることを示す。
• 不近似可能性を分析するための変種メトリシティパラメータφ = log φを用い、極端な経路損失がなくてもφに関して指数的困難性が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 壁、反射、指向性アンテナといった現実的な無線信号伝搬効果を、アルゴリズム的取り扱いやすさを損なわずにモデル化できるか？
• RQ2 SINRモデルを幾何的経路損失を超えて一般化できる範囲はどの程度で、核心的なアルゴリズム的結果が保持されるか？
• RQ3 メトリシティパラメータζが、任意の減衰空間における容量最大化といった核心的問題の近似可能性に与える影響はいかほどか？
• RQ4 平面上の環境を想定した分散アルゴリズムを、任意の減衰空間へと拡張可能か？その時間計算量のコストはどの程度か？
• RQ5 減衰空間における容量の近似の根本的限界は何か？パラメータζとφはこの困難性とどのように関係するか？

主な発見

• 一般の減衰空間における容量最大化問題は、メトリシティパラメータζに関して指数的上界と下界を有する。
• ユークリッド的および成長有界減衰空間では、容量の近似比はζに関して多項式的だが、変種パラメータφに関しては指数的であり、本質的困難性を示している。
• 本稿は、SINRモデルにおける容量に関して、αに関して非指数的近似を達成する最初の結果を提示し、平面上でO(α⁴)近似を達成している。これはαに関して非指数的である。
• ダブルイング減衰空間ではフェージングパラメータが有界であるため、平面上の設定を想定した分散アルゴリズムを効率的に適応可能である。
• 減衰関数がゆっくり成長する場合（例：d^αおよびd^(α+1)）でも、容量の不近似可能性結果は成立する。これは、指数的困難性が極端な経路損失に起因するのではなく、減衰の差異に起因することを示している。
• パラメータφ = log φはζよりも不近似可能性の tighter 界を与える。一般メトリクスにおいてφに関する指数的近似は、最良の可能性である。