[论文解读] An Improvement of the Lovász Local Lemma via Cluster Expansion

Rodrigo Bissacot, Roberto Fernández+2 more|arXiv (Cornell University)|Oct 9, 2009

Limits and Structures in Graph Theory参考文献 14被引用 19

一句话总结

本文通过利用统计力学中的簇展开技术，特别是硬核气体配分函数对数的解析性，改进了洛瓦兹局部引理（LLL）。该研究针对拉丁超立方矩阵和k-SAT可满足性等组合问题，推导出更紧致的界限，通过基于聚合物气体簇展开和谢雷尔关于独立集多项式联系的新型公式，显著优于经典LLL。

ABSTRACT

An old result by Shearer relates the Lovász Local Lemma with the independent set polynomial on graphs, and consequently, as observed by Scott and Sokal, with the partition function of the hard core lattice gas on graphs. We use this connection and a recent result on the analyticity of the logarithm of the partition function of the abstract polymer gas to get an improved version of the Lovász Local Lemma. As applications we obtain tighter bounds on conditions for the existence of latin transversal matrices and the satisfiability of k-SAT forms.

研究动机与目标

• 通过应用统计力学中的先进技术，特别是簇展开方法，改进洛瓦兹局部引理（LLL）。
• 为拉丁超立方矩阵和可满足的k-SAT形式等组合对象的存在性建立更紧致的充分条件。
• 通过利用谢雷尔关于LLL与独立集多项式之间联系的洞察，弥合概率组合学与统计力学之间的鸿沟。
• 提供一个系统且明确的路线图，将簇展开中的收敛估计与LLL框架中的改进界限联系起来。
• 展示近期关于配分函数对数解析性的结果在解决经典组合问题中的实际效用。

提出的方法

• 利用谢雷尔定理，将LLL重新表述为图上独立集多项式的形式，将其与硬核格气的配分函数联系起来。
• 通过复活动的抽象聚合物气体配分函数，应用斯科特与索卡尔的LLL重表述方法。
• 采用近期关于配分函数对数在簇展开中收敛半径的结果，确保其在多圆盘内的解析性。
• 利用簇展开形式化，推导出坏事件全局不发生之正概率的新充分条件。
• 引入对数配分函数级数展开的不动点公式，实现对其收敛半径的边界估计。
• 使用积分表示和控制不等式技术，对级数项进行有界处理，从而导出对避免所有坏事件概率的改进上界。

实验结果

研究问题

• RQ1 能否利用统计力学中的簇展开技术，推导出洛瓦兹局部引理中更紧致的界限？
• RQ2 簇展开的收敛半径与改进后的LLL条件之间的确切关系是什么？
• RQ3 在k-SAT和拉丁超立方等典型问题中，新LLL界限与经典LLL在数量上相比如何？
• RQ4 能否利用配分函数对数的解析性来改进组合存在性定理？
• RQ5 聚合物气体形式化在优化LLL中依赖结构方面起到什么作用？

主要发现

• 本文建立了一个新的LLL充分条件，通过簇展开估计，优于经典界限。
• 对于k-SAT，改进后的LLL条件允许在最大度数N满足N ≤ 2^k / (e k)时实现可满足性，该界限比经典的2^k / (e (k-1))更紧。
• 该方法得到的避免所有坏事件的概率上界比经典LLL呈指数级改善，其改进源于簇展开的收敛半径。
• 关键结果通过对数配分函数级数的不动点公式推导得出，该公式通过控制不等式确保了解析性，并实现了更紧的界限。
• 改进后的LLL条件在具体问题中被证明有效：对于拉丁超立方矩阵，其存在性阈值优于以往已知结果。
• 推导出界限P(∅) ≥ ∏_{x∈X} [1 - ρ_x]^{φ̃_x*(μ)}，该界限优于经典乘积形式，反映出簇展开带来的更强收敛控制。