[论文解读] A Note on Interference in Random Point Sets

Luc Devroye, Pat Morin|arXiv (Cornell University)|Feb 27, 2012

Computational Geometry and Mesh Generation参考文献 8被引用 3

一句话总结

本文分析了在单位 d 维立方体中均匀且独立分布的 n 个点所形成的几何图中的干扰。研究发现，最小生成树的干扰为 Θ((log n)^{1/2})（高概率成立），而通过分桶策略构造的更连通的图可实现 O((log n)^{1/3}) 的干扰，且任何图的干扰均无法低于 Ω((log n)^{1/4})。这些结果表明，在随机点集中干扰的增长速度非常缓慢，与最坏情况构造中干扰可线性增长于 n 的情形形成鲜明对比。

ABSTRACT

The (maximum receiver-centric) interference of a geometric graph (von Rickenbach etal (2005)) is studied. It is shown that, with high probability, the following results hold for a set, V, of n points independently and uniformly distributed in the unit d-cube, for constant dimension d: (1) there exists a connected graph with vertex set V that has interference O((log n)^{1/3}); (2) no connected graph with vertex set V has interference o((log n)^{1/4}); and (3) the minimum spanning tree of $V$ has interference Theta((\log n)^{1/2}).

研究动机与目标

• 理解在均匀独立同分布点分布下，随机几何网络中最大接收端中心干扰的行为。
• 确定在 [0,1]^d 中随机点集上连通图的最小可能干扰 I(V) 的紧致界。
• 比较最小生成树（MST）与其他精心构造图的干扰性能。
• 弥合现有随机点集中干扰的上下界之间的差距。

提出的方法

• 使用概率分析和二阶矩法，以界定每个点周围干扰节点的期望数量。
• 应用泽诺构型（Zeno configurations）的概念，以建模导致干扰的密集局部邻域。
• 采用分桶策略将单位立方体分区，并通过限制长距离连接来构造低干扰图。
• 利用集中不等式和 d 维空间中独立同分布均匀点过程的渐近分析推导上界。
• 通过反证法和极值构造建立下界，表明干扰不可能渐近小于 Ω((log n)^{1/4})。
• 利用先前工作中提出的图族 T(V)，将结果扩展至局部可计算的图构造。

实验结果

研究问题

• RQ1 在 [0,1]^d 中，n 个独立同分布均匀点的连通几何图的最小干扰 I(V) 的渐近行为是什么？
• RQ2 在随机点集中，最小生成树的干扰与其它图构造的干扰相比如何？
• RQ3 在随机点集中，干扰能否被一个严格小于 (log n)^{1/4} 的函数下界控制？
• RQ4 最小生成树的干扰与其它图的干扰之间是否存在结构性关系，例如 I(V) = O(√I(MST(V)))？

主要发现

• 对于任意常数 d ≥ 1，[0,1]^d 中 n 个独立同分布均匀点的最小生成树，其干扰以高概率为 Θ((log n)^{1/2})。
• 通过分桶策略构造的图，在 d ∈ {1,2} 时以高概率实现 O((log n)^{1/3}) 的干扰，而在 d ≥ 3 时为 O((log n)^{1/3}(log log n)^{1/2})。
• 在这样的点集中，任何连通图的干扰均无法以高概率低于 o((log n)^{1/4})，从而确立了下界。
• 最小生成树的干扰紧密集中于 (log n)^{1/2} 附近，且该值在对数因子意义下渐近最优。
• 当传输范围 r(n) 为 Ω(√(log n / n)) 时，结果可扩展至单位圆盘图模型，该条件为连通性的必要条件。
• 当 r(n) ∈ O(2^{√(log n)} / √n) 时，将 LocalRadiusReduction 算法应用于单位圆盘图，可实现以高概率 O((log n)^{1/2}) 的干扰。