加载中…
We establish a degree-independent bound on spectral independence for log-concave Holant problems on simple graphs. As a corollary, we obtain relaxation-time bounds for Glauber dynamics of for the monomer-dimer model at activity and for -matchings at fugacity , where is the number of edges. For uniform -matchings, the relaxation-time bound improves to . The main proof ideas were found using GPT-5.6 Sol.

生成讲解博客的中文版本

生成AI智能校验的中文版本