[论文解读] Construction of simplicial complexes with prescribed degree-size sequences

Tzu-Chi Yen|arXiv (Cornell University)|Jun 1, 2021

Topological and Geometric Data Analysis参考文献 63被引用 6

一句话总结

本文提出一种带有回溯跳转和剪枝启发式的递归回溯算法，可高效判断给定节点度数和单纯形大小序列的单纯复形是否可实现。该方法识别出多项式时间可解的情形，并通过单纯配置模型的初始化实现对单纯复形系综的高效采样，结果表明在高阶网络中，更高的节点度数会减少环的数量——这与二元网络的预期相反。

ABSTRACT

We study the realizability of simplicial complexes with a given pair of integer sequences, representing the node degree distribution and the facet size distribution, respectively. While the $s$-uniform variant of the problem is $\mathsf{NP}$-complete when $s \geq 3$, we identify two populations of input sequences, most of which can be solved in polynomial time using a recursive algorithm that we contribute. Combining with a sampler for the simplicial configuration model [J.-G. Young $ extit{et al.}$, Phys. Rev. E $ extbf{96}$, 032312 (2017)], we facilitate the efficient sampling of simplicial ensembles from arbitrary degree and size distributions. We find that, contrary to expectations based on dyadic networks, increasing the nodes' degrees reduces the number of loops in simplicial complexes. Our work unveils a fundamental constraint on the degree-size sequences and sheds light on further analysis of higher-order phenomena based on local structures.

研究动机与目标

• 通过给定的节点度数和单纯形大小的整数序列，确定单纯复形的可实现性。
• 识别出可在多项式时间内求解的问题子类。
• 为单纯配置模型（SCM）提供一种初始化方法，以实现从任意度数和大小分布中高效采样。
• 揭示高阶网络中节点度数与单纯形大小之间的结构约束。
• 研究节点度数对单纯复形中环形成的影响，与二元网络行为进行对比。

提出的方法

• 提出一种带有回溯跳转的递归回溯算法，以在保持无包含约束的前提下探索候选单纯形构造。
• 基于当前最大单纯形大小维护一个候选单纯形‘袋’，并通过度数和大小的动态缩减实现剪枝。
• 使用约化子程序消除强制节点和单纯形集合，以确保与无包含约束和度数约束的一致性。
• 通过前向和后向节点索引映射（通过 f 和 f⁻¹）在递归各层之间保持一致性，从而实现正确重构。
• 引入状态缓存机制，避免重复访问相同子问题，通过记忆化提升效率。
• 通过为任意度数-大小序列提供有效初始化，与单纯配置模型（SCM）集成，从而支持MCMC采样。

实验结果

研究问题

• RQ1 我们能否高效判断给定的度数和单纯形大小序列是否可实现为一个单纯复形？
• RQ2 哪些度数-大小序列类别具有多项式时间可实现性？
• RQ3 增加节点度数如何影响单纯复形中的环数量？这是否与二元网络中的观察结果相矛盾？
• RQ4 在高阶网络中，节点度数与单纯形大小之间会涌现出何种结构约束？
• RQ5 我们能否为单纯配置模型构建一种通用的初始化方法，使其适用于任意度数和大小序列？

主要发现

• 当 s ≥ 3 时，s-一致单纯复形实现问题为 NP-完全，推广了已知的超图难题结果。
• 所提出的算法通过利用剪枝、回溯跳转和记忆化，可在多项式时间内求解广泛的一类输入。
• 该算法成功为任意度数和大小序列初始化了单纯配置模型，实现了对单纯复形系综的高效采样。
• 数值实验表明，增加节点度数会减少单纯复形中的环数量——这与二元网络中观察到的模式相反。
• 约化子程序有效强制执行无包含约束，并能早期检测不可行配置，从而提升运行效率。
• 该方法可构建同一组度数-大小序列的多种不同实现，如图1(c)所示，证实了在固定局部约束下存在结构多样性。