[论文解读] Making multigraphs simple by a sequence of double edge swaps

Jonas Sjöstrand|arXiv (Cornell University)|Apr 15, 2019

Markov Chains and Monte Carlo Methods被引用 1

一句话总结

本文证明，任何具有图形度序列的环状多重图都可以通过有限次双边交换操作转化为简单图，其中每次交换均涉及至少一个环或多重边。该结果正面回答了Janson提出的问题，表明此类交换足以消除所有多重边和环，即使在对手选择交换对象的情况下也成立，从而为随机图生成中马尔可夫链蒙特卡洛采样方法提供了更强的理论基础。

ABSTRACT

We show that any loopy multigraph with a graphical degree sequence can be transformed into a simple graph by a finite sequence of double edge swaps with each swap involving at least one loop or multiple edge. Our result answers a question of Janson motivated by random graph theory, and it adds to the rich literature on reachability of double edge swaps with applications in Markov chain Monte Carlo sampling from the uniform distribution of graphs with prescribed degrees.

研究动机与目标

• 解决Janson关于在环状多重图中通过保持度不变的交换操作能否达到简单图的问题。
• 建立任何具有图形度序列的环状多重图均可仅通过涉及至少一个环或多重边的双边交换操作转化为简单图的结论。
• 证明即使对手在每一步选择使用哪些非简单边进行交换，该转换过程依然可行，从而确保方法的鲁棒性。
• 为马尔可夫链蒙特卡洛方法在固定度序列图采样中的理论基础做出贡献。

提出的方法

• 通过基于Erdös-Gallai定理的反证法，证明不存在最小反例图。
• 定义顶点类别：大度顶点（高阶度）、小度顶点（低阶度），并使用顶点对的字典序来指导交换序列。
• 推导出若干引理以分析邻接模式，特别关注小度顶点之间的边及其与大度顶点的连接关系。
• 利用双边交换——将边(v1,v2)和(v3,v4)替换为(v2,v3)和(v4,v1)——在保持度序列不变的前提下减少非简单边的多重性。
• 区分两种情况：小度顶点相邻与不相邻，利用度和不等式导出矛盾。
• 应用Erdös-Gallai判别准则，证明任何假设的最小反例图的度序列不可能是图形的，从而通过反证法完成证明。

实验结果

研究问题

• RQ1 每个具有图形度序列的环状多重图是否都能通过仅涉及至少一个环或多重边的双边交换操作转化为简单图？
• RQ2 即使对手控制每一步交换所使用的非简单边，是否仍可实现该转换？
• RQ3 此类允许交换序列的存在是否能确保切换配置模型对简单图实现渐近均匀采样？
• RQ4 是否存在某些度序列，使得所需允许交换次数在特定条件下有界或最小化？

主要发现

• 任何具有图形度序列的环状多重图均可通过有限次双边交换操作转化为简单图，且每次交换均涉及至少一个环或多重边。
• 该转换过程在每一步选择的非简单边为任意（包括对手选择）的情况下依然可行，证明了该方法的鲁棒性。
• 任何最小反例图的度序列不可能是图形的，该结论通过反证法结合Erdös-Gallai定理得以证明。
• 该结果证实了Janson的猜想：仅靠允许的交换操作即可实现图的简化，从而加强了切换配置模型的理论基础。
• 该证明表明，相邻小度顶点或孤立小度顶点的存在会引致结构约束，与假设的最小反例的最小性相矛盾。
• 本工作提供了一种构造性且理论严谨的方法，用于在保持度序列不变的前提下消除多重边和环，对随机图生成中的MCMC采样具有重要意义。