{"id":"arxiv/2605.05149","url":"https://arxiv.org/abs/2605.05149","tags":["math.CO"],"score":0,"title":"Degree-sequence bounds for independent sets via multivariate local occupancy","domain":"math.CO","source":"arxiv","authors":["Ewan Davies","Juspreet Singh Sandhu","Jaehyeon Seo","Brian Tan"],"reviews":0,"subject":"math.CO","summary":"We present new degree-sequence lower bounds on the expected size of an independent set from the hard-core model. For arbitrary graphs, we establish a multivariate lower bound inspired by a conjecture of the first author and Kang and a recent bound on the multivariate partition function due to Lee and the third author. By applying a novel spectral analysis to the local occupancy linear program, our method successfully bypasses the convergence radius limitations of the cluster expansion and avoids induction. For graphs with bounded local maximum average degree, including triangle-free graphs,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}