Current browse context:
cs.DS
Change to browse by:
References & Citations
Computer Science > Data Structures and Algorithms
Title: Approximately counting independent sets of a given size in bounded-degree graphs
(Submitted on 9 Feb 2021 (v1), revised 17 Dec 2021 (this version, v2), latest version 24 Jan 2023 (v3))
Abstract: We determine the computational complexity of approximately counting and sampling independent sets of a given size in bounded-degree graphs. That is, we identify a critical density $\alpha_c(\Delta)$ and provide (i) for $\alpha < \alpha_c(\Delta)$ randomized polynomial-time algorithms for approximately sampling and counting independent sets of given size at most $\alpha n$ in $n$-vertex graphs of maximum degree $\Delta$; and (ii) a proof that unless NP=RP, no such algorithms exist for $\alpha>\alpha_c(\Delta)$. The critical density is the occupancy fraction of the hard core model on the clique $K_{\Delta+1}$ at the uniqueness threshold on the infinite $\Delta$-regular tree, giving $\alpha_c(\Delta)\sim\frac{e}{1+e}\frac{1}{\Delta}$ as $\Delta\to\infty$. Our methods apply more generally to anti-ferromagnetic 2-spin systems and motivate new questions in extremal combinatorics.
Submission history
From: Will Perkins [view email][v1] Tue, 9 Feb 2021 17:57:26 GMT (20kb)
[v2] Fri, 17 Dec 2021 18:15:25 GMT (26kb)
[v3] Tue, 24 Jan 2023 20:50:52 GMT (27kb)
Link back to: arXiv, form interface, contact.