[论文解读] Counting Independent Sets and Colorings on Random Regular Bipartite Graphs

Chao Liao, Jiabao Lin+2 more|arXiv (Cornell University)|Jan 1, 2019

Limits and Structures in Graph Theory参考文献 37被引用 12

一句话总结

本论文提出了一种全多项式时间近似方案（FPTAS），用于在随机∆-正则二分图上计数独立集和合法q-染色，其核心是基于基态簇的新型聚合物模型框架。当∆ ≥ 53且逸度λ ≥ 1，或∆足够大且λ = e^Ω(1/∆)时，该FPTAS以高概率成立。该方法扩展了先前对硬核模型的研究，能够处理重叠配置，并证明远离基态的配置贡献呈指数衰减。

ABSTRACT

We give a fully polynomial-time approximation scheme (FPTAS) to count the number of independent sets on almost every $Δ$-regular bipartite graph if $Δ\ge 53$. In the weighted case, for all sufficiently large integers $Δ$ and weight parameters $λ= ildeΩ\left(\frac{1}Δ ight)$, we also obtain an FPTAS on almost every $Δ$-regular bipartite graph. Our technique is based on the recent work of Jenssen, Keevash and Perkins (SODA, 2019) and we also apply it to confirm an open question raised there: For all $q\ge 3$ and sufficiently large integers $Δ=Δ(q)$, there is an FPTAS to count the number of $q$-colorings on almost every $Δ$-regular bipartite graph.

研究动机与目标

• 为随机∆-正则二分图上的独立集计数问题设计FPTAS，当∆ ≥ 53且λ ≥ 1时成立。
• 将FPTAS扩展至加权独立集问题（即硬核模型），适用于大∆和λ = e^Ω(1/∆)的情形。
• 解决一个开放性问题：在随机∆-正则二分图上，对所有q ≥ 3且∆充分大时，是否存在q-染色的FPTAS。
• 证明可通过聚焦于主导的“基态簇”附近的配置来高效近似划分函数，而非单独考虑每个基态。
• 证明远离所有基态簇的配置贡献呈指数级微小，从而可通过聚合物模型实现高效近似。

提出的方法

• 引入“基态簇”的概念——即配置族（例如，独立集中的单侧所有顶点，或限制在部分颜色上的染色）——以推广基态的定义。
• 定义一种聚合物模型，表示相对于每个基态簇的偏离，将划分函数重写为基于聚合物及其权重（由配置计数导出）的和。
• 利用随机∆-正则二分图的展开性质（特别是(α, β)-展开，其中β = ∆^{1/2}/3），控制邻接顶点数量并约束聚合物权重。
• 证明聚合物模型满足Kotecký–Preiss收敛条件，确保划分函数在原点附近某圆盘内非零，从而支持高效近似。
• 应用先前工作中提出的聚合物模型FPTAS，对每个基态簇的划分函数进行近似，再通过对称性与容斥原理处理重叠簇的估计组合。
• 对小图或ε极小时采用暴力计算，对较大实例使用FPTAS，确保整体算法在n和1/ε的多项式时间内运行。

实验结果

研究问题

• RQ1 当∆ ≥ 53且λ ≥ 1时，能否为随机∆-正则二分图上的独立集计数设计FPTAS？
• RQ2 在λ = e^Ω(1/∆)且∆足够大时，此类图上的加权独立集问题（硬核模型）是否存在FPTAS？
• RQ3 对所有q ≥ 3且∆充分大时，随机∆-正则二分图上的合法q-染色计数是否存在FPTAS？
• RQ4 在无权重情形下，能否严格证明远离基态簇的配置贡献呈指数衰减？
• RQ5 如何处理重叠的基态簇（如染色情形）以避免重复计数，同时保持近似精度？

主要发现

• 对于所有∆ ≥ 53且λ ≥ 1，随机∆-正则二分图上的独立集计数存在FPTAS，且当n → ∞时以高概率成立。
• 对于所有足够大的∆和逸度λ = e^Ω(1/∆)，随机∆-正则二分图上的加权独立集问题（硬核模型）已建立FPTAS。
• 当q ≥ 3且∆ ≥ 100q^10时，随机∆-正则二分图上的合法q-染色计数存在FPTAS，且以高概率成立。
• 该方法证实了Jenssen、Keevash与Perkins（SODA 2019）关于此类图上q-染色FPTAS存在的猜想。
• 聚合物模型方法成功处理了重叠的基态簇，并证明远离所有簇的配置对总数的贡献呈指数级微小。
• 通过Kotecký–Preiss条件保证了聚合物模型的收敛性，收敛半径下界为R = 2，确保了高效近似算法的存在性。