Approximate Sampling and Counting of Graphs with Near-Regular Degree Intervals
Georgios Amanatidis,Pieter Kleer
DOI: https://doi.org/10.1137/23m1553121
IF: 0.868
2024-11-09
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 2812-2840, December 2024. The approximate uniform sampling of graphs with a given degree sequence is a well-known, extensively studied problem in theoretical computer science and has significant applications, e.g., in the analysis of social networks. In this work we study a generalization of the problem, where degree intervals are specified instead of a single degree sequence. We are interested in sampling and counting graphs whose degree sequences satisfy the corresponding degree interval constraints. A natural scenario where this problem arises is in hypothesis testing on networks that are only partially observed. We provide the first fully polynomial almost uniform sampler (FPAUS) as well as the first fully polynomial randomized approximation scheme (FPRAS) for sampling and counting, respectively, graphs with near-regular degree intervals, i.e., graphs in which every node has a degree from an interval not too far away from a given [math]. In order to design our FPAUS, we rely on various state-of-the-art tools from Markov chain theory and combinatorics. In particular, by carefully using Markov chain decomposition and comparison arguments, we reduce part of our problem to the recent breakthrough of Anari et al. [Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019, pp. 1–12] on sampling a base of a matroid under a strongly log-concave probability distribution, and we provide the first nontrivial algorithmic application of a breakthrough asymptotic enumeration formula of Liebenau and Wormald [J. Eur. Math. Soc., 26 (2023), pp. 1–40]. As a more direct approach, we also study a natural Markov chain recently introduced by Rechner, Strowick and Müller-Hannemann [J. Complex Netw., 6 (2018), pp. 833–858], based on three local operations—switches, hinge flips, and additions/deletions of an edge. We obtain the first theoretical results for this Markov chain, showing it is rapidly mixing for the case of near-regular degree intervals of size at most one.
mathematics, applied