[論文レビュー] Tight Bounds on Information Dissemination in Sparse Mobile Networks

Alberto Pettarin, Andrea Pietracaprina+2 more|arXiv (Cornell University)|Jan 24, 2011

Opportunistic and Delay-Tolerant Networks被引用数 5

ひとこと要約

本稿では、k 個のエージェントがnノードのグリッド上で独立したランダムウォークを実行するスパarsなモバイルネットワークにおける情報拡散を研究する。通信は、送信範囲rに依存する時変グラフに基づいて制御される。驚くべきことに、この論文は、すべてのrが臨界値$r_c \approx \sqrt{n/k}$未満である限り、ブロードキャスト時間は$\tilde{\Theta}(n/\sqrt{k})$にきわめて鋭く束縛されることを証明している。これは、移動速度と無線伝送速度の相対的大小にかかわらず成り立つ。この結果は、対数要因を除いてきわめて鋭い特徴付けを提供する。

ABSTRACT

Motivated by the growing interest in mobile systems, we study the dynamics of information dissemination between agents moving independently on a plane. Formally, we consider $k$ mobile agents performing independent random walks on an $n$-node grid. At time $0$, each agent is located at a random node of the grid and one agent has a rumor. The spread of the rumor is governed by a dynamic communication graph process ${G_t(r) | t \geq 0}$, where two agents are connected by an edge in $G_t(r)$ iff their distance at time $t$ is within their transmission radius $r$. Modeling the physical reality that the speed of radio transmission is much faster than the motion of the agents, we assume that the rumor can travel throughout a connected component of $G_t$ before the graph is altered by the motion. We study the broadcast time $T_B$ of the system, which is the time it takes for all agents to know the rumor. We focus on the sparse case (below the percolation point $r_c \approx \sqrt{n/k}$) where, with high probability, no connected component in $G_t$ has more than a logarithmic number of agents and the broadcast time is dominated by the time it takes for many independent random walks to meet each other. Quite surprisingly, we show that for a system below the percolation point the broadcast time does not depend on the relation between the mobility speed and the transmission radius. In fact, we prove that $T_B = ilde{O}(n / \sqrt{k})$ for any $0 \leq r < r_c$, even when the transmission range is significantly larger than the mobility range in one step, giving a tight characterization up to logarithmic factors. Our result complements a recent result of Peres et al. (SODA 2011) who showed that above the percolation point the broadcast time is polylogarithmic in $k$.

研究の動機と目的

• スパarsで移動可能なエージェントがグリッド上で独立したランダムウォークを実行するモバイルネットワークにおける、噂の拡散ダイナミクスを理解すること。
• 巨大連結成分が存在しない、臨界値$r_c \approx \sqrt{n/k}$未満のシステムにおけるブロードキャスト時間$T_B$を特徴付けること。
• 無線伝送速度がエージェント移動速度よりもはるかに速い場合に、移動性と送信範囲が情報拡散に与える影響を分析すること。
• 移動速度と伝送速度の比に依存しない、対数要因を除いてきわめて鋭い漸近的境界をブロードキャスト時間について確立すること。
• 同様の分析手法を、ガッソップ問題、カバレージ時間、捕食者・被捕食者系における絶滅時間といった関連問題に拡張すること。

提案手法

• k 個のモバイルエージェントがnノードのグリッド上で、一様にランダムに初期化される独立したランダムウォークとしてシステムをモデル化する。
• 時刻tにおけるエージェント同士が、ユークリッド距離が送信範囲r以内であれば接続される動的通信グラフ$G_t(r)$を定義する。
• 移動によるネットワーク構造の変化よりも前に、$G_t(r)$の連結成分内で噂が即座に拡散すると仮定する。
• 集中不等式やカップリングの議論を用いて、ランダムウォークの出会い時間を束縛するための確率的道具を用いる。
• ランダムウォークのフロントおよび変位の上限に関する補題を適用し、ブロードキャスト時間の下限と上限を導出する。
• フロッグモデルや捕食者・被捕食者系といった関連モデルの分析へも同様の技術を拡張する。

実験結果

リサーチクエスチョン

• RQ1 送信範囲rが臨界値$r_c \approx \sqrt{n/k}$未満であるとき、k 個のエージェントがnノードのグリッド上で独立したランダムウォークを実行するシステムにおけるブロードキャスト時間$T_B$は何か？
• RQ2 エージェントの移動速度と無線伝送速度の相対的大小が、スパarsなモバイルネットワークにおけるブロードキャスト時間に与える影響は何か？
• RQ3 移動速度と伝送速度の比に依存しない、ブロードキャスト時間のきわめて鋭い漸近的境界を確立できるか？
• RQ4 ブロードキャスト時間の結果は、カバレージ時間やモバイルエージェント系における絶滅時間といった他の関連問題とどのように関係しているか？
• RQ5 同様の分析手法を、独立したランダムウォークを用いるフロッグモデルや捕食者・被捕食者系のモデルに適用できるか？

主な発見

• すべての送信範囲rが臨界値$r_c \approx \sqrt{n/k}$未満である限り、ブロードキャスト時間$T_B$は$\tilde{\Theta}(n/\sqrt{k})$にきわめて鋭く束縛される。
• この境界は、移動範囲と送信範囲の相対的大きさにかかわらず成り立つ。伝送範囲が移動範囲よりもはるかに大きい場合でも同様である。
• 高確率で下限$\Omega(n/\sqrt{k} \log^2 n)$が確立され、これは上界と対数要因を除いて一致する。
• 移動範囲と伝送範囲の両方が非常に小さい場合でも、r < $r_c$ であればブロードキャスト時間は$\tilde{\Theta}(n/\sqrt{k})$のまま維持される。
• 同じ漸近的境界は、同じモデルにおけるガッソップ問題およびカバレージ時間に対しても適用され、$T_C = \tilde{O}(n/\sqrt{k})$となる。
• k 個の独立したランダムウォークがnグリッド上でカバレージする時間について、高確率で$O((n\log^2 n)/k + n\log n)$の上界が確立され、従来の期待値に基づく境界を改善する。