Theorem REF  follows from a technical result, i.e., Theorem
REF , which we use to establish spectral
independence for the Hard-core model \(\mu _G\)  with fugacity \(\lambda \le (1-\epsilon ){\lambda _c}({\rho }_G)\) .
Once we establish spectral independence we use results from [1]} to derive
the bound on the mixing time.
