[論文レビュー] A zero-one law for the existence of triangles in random key graphs

Osman Yağan, Armand M. Makowski|ArXiv.org|Oct 2, 2009

Stochastic processes and statistical mechanics参考文献 16被引用数 4

ひとこと要約

この論文は、無線センサーネットワークにおける鍵事前配布をモデル化するランダム・キーグラフにおける三角形の存在に関するゼロ-ワン法則を、一次モーメントおよび二次モーメント法を用いて確立する。ネットワークサイズが増大する際、三角形がほとんど確実に出現または消失する臨界スケーリング領域を同定し、ランダム・キーグラフが漸近的に一致するエローズ＝レニー・グラフよりも著しく多くの三角形を有することが判明し、古典的ランダムグラフモデルからの単純なエッジ確率の移行が無効であることを示している。

ABSTRACT

Random key graphs are random graphs induced by the random key predistribution scheme of Eschenauer and Gligor under the assumption of full visibility. For this class of random graphs we show the existence of a zero-one law for the appearance of triangles, and identify the corresponding critical scaling. This is done by applying the method of first and second moments to the number of triangles in the graph.

研究の動機と目的

• 無線センサーネットワークにおける鍵事前配布のモデルであるランダム・キーグラフにおける三角形の存在に関するゼロ-ワン法則を確立すること。
• n → ∞ の際、三角形がほとんど確実に出現または消滅する、鍵プールサイズ $ P_n $ および鍵リングサイズ $ K_n $ の臨界スケーリング領域を同定すること。
• エッジ確率の一致によってエローズ＝レニー・グラフから結果を移行することは、ランダム・キーグラフにおける三角形の包含に関して誤りであることを示すこと。
• 実用的WSNパラメータ下で、ランダム・キーグラフにおける三角形の期待数が、同等のエッジ確率を持つ一致するエローズ＝レニー・グラフよりも桁違いに大きいことを示すこと。

提案手法

• ランダム・キーグラフにおける三角形の数に対する一次および二次モーメント法の適用。
• ノード間の共有鍵トリプレットに関する組み合わせ的数え上げを用いた三角形の期待数の計算。
• 一般スケーリング条件 $ K_n \to \infty $, $ P_n \to \infty $ における一次および二次モーメントの漸近的解析、ただし $ K_n^2 / P_n \to 0 $ を満たす。
• 三角形数式における多項式項の係数を分析することで、二次モーメントの境界を導出すること。
• 母関数と係数抽出を用いて、分散計算における高次項を制御すること。
• 一次モーメントによるゼロ法則および二次モーメントによるワン法則の確立。漸近展開における誤差項のきめ細やかな制御が不可欠である。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ の際、$ K_n $ および $ P_n $ のどのスケーリング条件下で、ランダム・キーグラフにおける三角形の数がほとんど確実にゼロまたは無限大に収束するか？
• RQ2 同じエッジ確率を持つ漸近的に一致するエローズ＝レニー・グラフと比較して、ランダム・キーグラフにおける三角形の期待数はどのように異なるか？
• RQ3 ランダム・キーグラフにおける接続性に関する古典的ゼロ-ワン法則技術が、三角形のような部分グラフの包含に拡張可能か？
• RQ4 完全可視性とランダム鍵事前配布下で、ランダム・キーグラフにおける三角形の出現の臨界閾値は何か？
• RQ5 エローズ＝レニー・グラフとランダム・キーグラフとの間でエッジ確率を一致させても、なぜ三角形の包含に関しては失敗するのか？その背後にある構造的差異は何か？

主な発見

• ランダム・キーグラフにおける三角形の存在に関するゼロ-ワン法則が確立された：$ K_n^2 / P_n \to 0 $ のとき、$ K_n \to \infty $ であれば三角形はほとんど確実に出現し、そうでなければ消失する。
• ランダム・キーグラフにおける三角形の期待数は、常に漸近的に一致するエローズ＝レニー・グラフのそれ以上であり、実用的WSNパラメータ下では桁違いに大きい場合がある。
• 二次モーメント法がワン法則を確認できるのは、三角形数式の多項式における高次係数がきめ細かく制御されている場合に限る。これには詳細な漸近的解析が必要である。
• 三角形の出現の臨界スケーリング領域は $ K_n^2 / P_n \to 0 $ で特徴づけられ、$ K_n \to \infty $ であることにより一次モーメントが無限大に近づくことが保証される。
• モーメント法により、臨界スケーリング下で三角形数の分散が平均の二乗に対して漸近的に無視できるほど小さくなることが明らかとなり、確率収束が確認された。
• 解析により、エッジ確率の一致によるエローズ＝レニー・グラフへの移行は、ランダム・キーグラフにおける三角形の包含に関して誤りであることが示された。これは、鍵共有構造がもたらす著しいクラスタリングの高さに起因する。