### 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), last revised 24 Jan 2023 (this version, 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 complete graph $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.