[论文解读] 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 \to \infty $ 时三角形几乎必然出现或消失的关键标度区域，即密钥池大小 $ P_n $ 与密钥环大小 $ K_n $ 的标度关系。
• 证明通过边概率匹配从埃拉托斯特尼随机图转移结果来分析随机密钥图中三角形包含性是无效的。
• 表明在实际无线传感器网络参数下，随机密钥图中的三角形期望数量可比匹配的埃拉托斯特尼随机图高出数个数量级。

提出的方法

• 应用一阶与二阶矩方法分析随机密钥图中三角形数量。
• 通过节点间共享密钥三元组的组合计数计算三角形的期望数量。
• 在一般标度条件 $ K_n \to \infty $, $ P_n \to \infty $ 下，对一阶与二阶矩进行渐近分析，其中 $ K_n^2 / P_n \to 0 $。
• 通过分析三角形计数表达式中多项式项的系数，推导出二阶矩的界。
• 利用生成函数与系数提取技术，控制方差计算中的高阶项。
• 通过一阶矩建立零一律，通过二阶矩建立一一律，需对渐近展开中的误差项进行精细控制。

实验结果

研究问题

• RQ1 当 $ K_n $ 与 $ P_n $ 如何标度时，随机密钥图中三角形数量在 $ n \to \infty $ 时以概率几乎为零或无穷大收敛？
• RQ2 随机密钥图中三角形的期望数量与具有相同边概率的渐近匹配埃拉托斯特尼随机图相比如何？
• RQ3 经典随机密钥图连通性中的零一律技术能否推广至子图包含性问题，如三角形？
• RQ4 在完全可见与随机密钥预分配条件下，随机密钥图中三角形出现的临界阈值是什么？
• RQ5 为何埃拉托斯特尼图与随机密钥图之间的边概率匹配在三角形包含性上失效？其结构差异原因是什么？

主要发现

• 建立了随机密钥图中三角形存在的零一律：当 $ K_n^2 / P_n \to 0 $ 时，若 $ K_n \to \infty $，则三角形几乎必然出现；否则几乎必然消失。
• 随机密钥图中三角形的期望数量始终不少于渐近匹配的埃拉托斯特尼随机图，且在实际无线传感器网络参数下可高出数个数量级。
• 除非对三角形计数多项式中的高阶系数进行严格控制，否则二阶矩方法无法确认一一律，这要求进行详细的渐近分析。
• 三角形出现的关键标度区域由 $ K_n^2 / P_n \to 0 $ 描述，且 $ K_n \to \infty $，确保一阶矩趋于无穷大。
• 矩方法表明，在关键标度下，三角形计数的方差相对于均值的平方可忽略不计，从而确认了依概率收敛。
• 分析表明，将埃拉托斯特尼图的边概率匹配用于随机密钥图中的三角形包含性是无效的，因为随机密钥图由于密钥共享结构表现出显著更高的聚类性。