[论文解读] Graph structure via local occupancy

Ewan Davies, Ross J. Kang+2 more|arXiv (Cornell University)|Mar 31, 2020

Limits and Structures in Graph Theory参考文献 47被引用 11

一句话总结

本文提出了一种基于硬核模型中局部占有率的统一框架，用于推导稀疏图的强结构结果，其适用范围不仅限于无三角形图，还扩展至局部边密度、Hall 比率和团数有界的图类。通过概率方法和 Lovász 局部引理，该框架在独立数、色数以及列表/对应染色方面建立了改进的界，推广并强化了 Shearer、Alon 等人先前的结果。

ABSTRACT

The first author together with Jenssen, Perkins and Roberts (2017) recently showed how local properties of the hard-core model on triangle-free graphs guarantee the existence of large independent sets, of size matching the best-known asymptotics due to Shearer (1983). The present work strengthens this in two ways: first, by guaranteeing stronger graph structure in terms of colourings through applications of the Lov\\'asz local lemma; and second, by extending beyond triangle-free graphs in terms of local sparsity, treating for example graphs of bounded local edge density, of bounded local Hall ratio, and of bounded clique number. This generalises and improves upon much other earlier work, including that of Shearer (1995), Alon (1996) and Alon, Krivelevich and Sudakov (1999), and more recent results of Molloy (2019), Bernshteyn (2019) and Achlioptas, Iliopoulos and Sinclair (2019). Our results derive from a common framework built around the hard-core model. It pivots on a property we call local occupancy, giving a clean separation between the methods for deriving graph structure with probabilistic information and verifying the requisite probabilistic information itself.

研究动机与目标

• 将 Shearer 针对无三角形图的独立数界推广至具有局部稀疏性条件的更广泛图类。
• 通过统一的概率框架，整合并强化现有关于色数、分数色数及列表染色的研究结果。
• 将硬核模型与局部占有率的应用范围扩展至局部最大平均度、局部 Hall 比率和团数有界的图。
• 在推导结构性质与通过 Lovász 局部引理验证概率条件之间建立清晰的分离。
• 探索该框架的算法实现及其在连续几何模型（如硬球模型）中的类比，尤其关注稀疏图中的采样与染色问题。

提出的方法

• 构建以硬核模型中 '局部占有率' 概念为核心的框架，用于分析独立集与染色问题。
• 应用 Lovász 局部引理，从独立集的局部概率性质推导图的全局结构。
• 利用 Lambert W 函数与熵分析，在各种局部稀疏性约束下界占领率分数。
• 提出一个适用于局部最大平均度有界的图的一般性定理，将结果推广至无三角形图之外。
• 将该框架应用于局部 Hall 比率有界与团数有界的图，证明了新的分数染色与局部染色界。
• 建立硬核模型的占有率分数与色数之间的联系，通过对应染色与列表染色模型实现。

实验结果

研究问题

• RQ1 是否可利用硬核模型的局部占有率性质，为无三角形图以外的图类推导更强的色数界？
• RQ2 该框架在多大程度上可处理局部边密度、局部 Hall 比率或团数有界的图？
• RQ3 稀疏图的局部列表或对应染色所需的最小列表大小是多少？其与已知界相比如何？
• RQ4 该框架能否适配至连续几何模型（如硬球模型）？
• RQ5 是否存在高效的随机化算法，用于从硬核分布中采样，或在满足推导条件下对稀疏图进行染色？

主要发现

• 该框架证明：对于局部最大平均度有界的图，独立数满足 α(G) ≥ (1−o(1))|V(G)| log Δ / Δ，渐近意义上与 Shearer 的界一致。
• 对于无三角形图，色数满足 χ(G) ≤ (1+o(1))Δ / log Δ，确认并扩展了 Molloy 的结果。
• 在相同条件下，分数色数满足 χ_f(G) ≤ (1+o(1))Δ / log Δ，且无需对列表大小施加额外假设。
• 对于局部 Hall 比率有界的图，该框架得出了改进的占有率分数与分数染色界，推广了 Alon 等人的结果。
• 该方法为局部列表染色与对应染色提供了统一的处理方式，表明列表大小 Δ / log Δ 已足够保证稀疏图的可染色性。
• 配套的算法工作表明：在满足温和列表大小条件且图中短圈较少时，存在随机化多项式时间算法用于列表染色。