[论文解读] On uniform sampling simple directed graph realizations of degree sequences

M. Drew LaMar|ArXiv.org|Dec 21, 2009

Digital Image Processing Techniques参考文献 4被引用 8

一句话总结

本文确定了在简单有向图度序列的马尔可夫链蒙特卡洛采样中，何时需要进行有向三元环重定向。通过将度序列表征为 $χ_3^*$-锚定，作者表明此类重定向仅对 $χ_3$-锚定序列的一个特定子类是必要的，从而可仅使用 2-交换构造简化算法——显著提升混合时间与计算效率，同时保持均匀采样。

ABSTRACT

Choosing a uniformly sampled simple directed graph realization of a degree sequence has many applications, in particular in social networks where self-loops are commonly not allowed. It has been shown in the past that one can perform a Markov chain arc-switching algorithm to sample a simple directed graph uniformly by performing two types of switches: a 2-switch and a directed 3-cycle reorientation. This paper discusses under what circumstances a directed 3-cycle reorientation is required. In particular, the class of degree sequences where this is required is a subclass of the directed 3-cycle anchored degree sequences. An important implication of this result is a reduced Markov chain algorithm that uses only 2-switches.

研究动机与目标

• 确定在简单有向图实现的均匀采样中，何时需要进行有向三元环重定向。
• 表征需要 $χ_3$ 重定向的度序列，以提升算法效率。
• 通过识别 $χ_3$ 重定向的冗余性，实现仅使用 2-交换的马尔可夫链蒙特卡洛算法。
• 提供一种快速的线性时间度序列表征方法，用于 $χ_3^*$-锚定有向图，避免在实现中进行昂贵的环检测。

提出的方法

• 本文通过 $M$-划分对 $χ_3$-锚定有向图进行结构表征，以识别 $χ_3^*$-锚定序列。
• 定义 $χ_3^*$-锚定有向图为：在所有实现中，恰好有 $3K$ 个顶点构成 $K$ 个不相交的有向三元环。
• 该方法依赖于 $χ_3^*$-锚定有向图的度序列表征，避免了对单个实现的检查。
• 为 $χ_3^*$-锚定序列构造一个仅使用 2-交换的马尔可夫链，失败移动时加入自环。
• 算法对可能的 2-交换和重定向使用均匀概率权重，其中 $p$ 接近 1 以提高效率。
• 结构分解确保元图由 $2^k$ 个同构子图组成，其中 $k$ 为锚定三元环的数量。

实验结果

研究问题

• RQ1 在简单有向图实现的均匀采样中，何时需要进行有向三元环重定向？
• RQ2 度序列的何种结构特性会导致马尔可夫链移动集中需要 $χ_3$ 重定向？
• RQ3 对于某些度序列，是否可以仅将移动集缩减为 2-交换而不损失均匀性？
• RQ4 如何直接从度序列表征 $χ_3^*$-锚定度序列，避免在实现层面的计算？

主要发现

• 本文识别出 $χ_3$ 重定向仅对 $χ_3^*$-锚定度序列（即 $χ_3$-锚定序列的一个子类）是必要的。
• 对于 $χ_3^*$-锚定序列，元图由 $2^k$ 个同构子图组成，其中 $k$ 为锚定三元环的数量。
• $χ_3^*$-锚定有向图的度序列表征可实现线性时间识别，避免在实现中进行昂贵的环检测。
• 对于 $χ_3^*$-锚定序列，可将马尔可夫链限制为仅使用 2-交换，显著降低混合时间。
• 通过 $M$-划分的结构表征证实，$χ_3^*$-锚定有向图在所有实现中均具有固定的一组 $K$ 个不相交有向三元环。