配分函数和图多项式的确定性多项式时间近似算法111这项工作的扩展摘要已被 Eurocomb 2017 接受。
摘要
在本文中,我们展示了一种构建确定性多项式时间近似算法的新方法,用于计算有界度图上的一大类图多项式的复值评估。 特别是,我们的方法适用于 Tutte 多项式和独立多项式,以及复值自旋和边缘着色模型的配分函数。
更具体地说,我们定义了一大类图多项式 ,并证明如果 ,并且在复平面上存在一个以零为中心的圆盘 ,使得对于所有有界度图 , 在 上不消失、那么对于 内部的每个 都存在一个确定的多项式时间近似算法,用于在 处评估 。 这给出了图多项式不存在零点与有效近似算法的存在之间的明确联系,使我们能够展示众所周知的猜想之间的新关系。
我们的工作建立在 Barvinok [2, 3, 4, 5] 最近发起的一系列工作的基础上,除了现有的马尔可夫链蒙特卡罗方法和相关衰减方法之外,它还提供了一种新的算法方法。问题类型。
关键词:近似算法、Tutte多项式、独立多项式、配分函数、图同态、Holant问题。
MSC:68W25(初级)05C31,(次级)。
1简介
计算计数是计算机科学的一个重要领域,人们寻求找到有效的算法来对某些组合对象进行计数,例如独立集、适当的着色或图中的匹配。 更一般地,每个组合计数问题都有一个关联的生成函数,即独立集的独立多项式、用于适当图着色的彩色多项式和更一般的塔特多项式,以及用于匹配的匹配多项式。 此类图多项式在数学和计算机科学以及统计物理学中都有研究,通常被称为配分函数。 一个基本问题是我们可以有效地近似评估这些多项式的图形和数值。 事实上,计数问题对应于在特定值下评估这些图多项式或配分函数。
众所周知,这些计数问题中的许多问题在#P-困难的意义上是计算困难的,即使限制到最大度数最多为三个 [11, 20] 的图也是如此。 另一方面,通过使用强大的马尔可夫链蒙特卡罗技术,针对其中一些#P-hard 问题存在几种有效的随机近似算法。 在一项重大突破中,Weitz [50] 受到统计物理学思想的启发,开发了所谓的相关衰减方法,使他能够获得第一个有效的确定性近似算法,用于计算最大图中的独立集最多五级。 (对于最大度数大于 5 [44] 的图,预计不会有这样的算法,而以前最著名的(随机)算法仅适用于最大度数最多为 4 的图。) 相关衰减方法随后被改进并应用于各种其他问题;参见例如[1, 24, 36, 43] 及其参考文献。
在本文中,我们考虑一种不同的方法。 该方法非常稳健,因为它可以应用于一大类图多项式,并给出第一个通用多项式时间方法来近似有界度图的复值处的图多项式。 最近,Harvey、Srivastava 和 Vondrák [29] 也考虑了独立多项式特殊情况的复杂评估。 图多项式的复杂计算除了是实际计算的自然扩展之外,还作为有趣的计数问题出现,例如计算受限张力或流动可以建模为复杂自旋系统的配分函数(参见[25]),并且任何固定图的同态数量可以建模为复杂边的配分函数-着色模型(参见[47, 48])。
我们工作的另一个重要方面是强调图多项式的根(不存在复杂的)与评估它的有效算法之间的显式关系。 事实上,在下面的备注 1.3 中,我们给出了索卡尔关于色多项式无零区域的猜想与有效逼近有界度图中正确着色数量的臭名昭著的算法问题之间的明确联系。
我们的方法结合了许多成分,包括稀疏图极限[18]的想法、图多项式零点位置的结果和分区函数[42,41,31,8,9, 40] 以及 Barvinok [2] 的算法开发。 Barvinok 的泰勒逼近技术已用于构建确定性拟多项式时间逼近算法,用于评估许多图划分函数(对于一般图);参见例如Barvinok [2, 3, 4, 5] 的作品,Barvinok 和 Sobeŕon [8, 9] 以及第二作者 [40] 的作品t2>。 我们参考 Barvinok 最近的书 [7] 了解更多背景。
该方法可以大致描述如下。 首先,评估配分函数或图多项式的问题被转换为评估单变量多项式的问题。 接下来,识别该多项式不消失的区域;因此,在该区域中,多项式的对数可以通过低阶泰勒近似(阶,其中为多项式的次数)来很好地逼近。 最后,我们必须通过有效计算多项式的第一个 系数来计算泰勒近似。 到目前为止,这种方法只能产生在拟多项式时间内运行的算法。 本文的主要技术贡献是一种多项式时间算法,用于在我们处理有界度图时计算(本质上)一大类图多项式的第一个 系数。定理3.1,我们相信它具有独立的意义。
下面我们将陈述并讨论通过将该方法与图多项式和配分函数的根位置的(已知)结果相结合可以获得的一些具体结果。 特别是,我们获得了新的确定性多项式时间算法(FPTAS),用于评估独立多项式、Tutte 多项式,以及在有界度图的情况下计算自旋和边缘着色模型的配分函数。 在我们陈述算法结果之前,我们首先需要一个定义。 由于我们将以复数值近似多项式,因此我们定义了良好近似的含义。
Definition 1.1。
令和为非零复数。 如果 ,并且如果 和 (在 中视为向量)之间的夹角至多为 ,我们将 称为 乘法 近似值 。
1.1 独立多项式
图的独立多项式用表示,定义为
(1) |
在[50]中,Weitz基于相关衰减方法证明,如果,其中
那么存在一个确定性算法,给定最大度数最多为 和 的图 ,计算乘法 -在时间 上近似于 。 Sly 和 Sun [44] 通过证明一旦 就无法有效逼近 ,除非 NP=RP,从而证明了这是严格的。
在第4节中,我们证明了以下结果,该结果是由 Harvey、Srivastava 和 Vondrák [29] 使用相关衰减方法独立获得的。
Theorem 1.1.
让 ,并让 使得 . 然后存在一种确定性算法,给定最大度数最多为 和 的图 ,计算乘法 -在时间中近似于。
Remark 1.1.
对于正值 ,自 以来,我们的结果弱于 Weitz 的结果。 然而我们的结果是否定的444在一篇未发表的笔记[46]中,Srivastava指出Weitz的相关衰减方法实际上也适用于负与一样长。 甚至是复杂的。 案例 是相关的,因为它与 Lovász 局部引理相关,参见。 [41]。 我们在此指出,通过 Peters 和第二作者 [38] 的最新结果证实了 Sokal [45] 的猜想,并通过 4.3 下面,我们可以获得韦茨结果的另一种证明。 我们在8节中对此进行了更多讨论。
定理 1.1 中的 值源于 Shearer 的一篇论文 [42](另见 Scott 和 Sokal [41]),其中证明了对于最大度 的图形,在满足 的任何 处,独立性多项式都不会消失。 而且 的值也是紧的,因为存在最大度数最多为 和 的树序列 ,其中 使得,参见。 [41,示例 3.6]。 定理 1.1 也是紧的,最近 Galanis、Goldberg 和 Štefankovič 表明,当 时逼近 是 NP 困难的。
作为定理 1.1 的扩展,我们能够在几乎整个复平面上有效地近似特殊类无爪图的独立多项式。 我们利用 Chudnovsky 和 Seymour [17] 的结果指出无爪图的独立多项式只有负实根。 我们在4.3小节中证明了以下结果。
Theorem 1.2.
令 和 使得 不是实数负数。 然后存在一种确定性算法,给定最大度至多和的无爪图,计算乘法-在时间上近似于。
请注意,当 是某个图 的折线图时,我们有 等于 的匹配多项式。因此,特别是,定理 1.2 隐含了 Bayati、Gamarnik、Katz、Nair 和 Tetali [1] 的结果。 然而,我们的证明与[1]中的证明完全不同。
1.2 塔特多项式
图 的 Tutte 多项式的随机聚类公式是一个二变量多项式,用 表示,定义为
(2) |
其中 表示图 的组件数量。 特别地,如果,则等于的色多项式。
Jerrum 和 Sinclair [33] 表明,当 和 时,存在一种随机多项式时间近似算法,用于计算一般 Tutte 多项式的评估。 在 [27] 中,Goldberg 和 Jerrum 表明,在 和 的一般图上近似评估 Tutte 多项式与计算二分中的独立集一样困难图以及在 [28] 中,Goldberg 和 Jerrum 表明,对于实数参数 的几种选择,甚至很难在一般图上近似评估 Tutte 多项式。 Goldberg 和Guo [26] 研究了在复值处近似评估一般图的 Tutte 多项式的复杂性。
当和时,给出的颜色的数量。 Lu和Yin [36]表明,当时,存在一种确定性多项式时间算法,可以在最大次数图上逼近处的Tutte多项式大多数。 有许多上述类型的随机算法,在 上有更清晰的界限;参见例如杰鲁姆[32]和维戈达[49]。 据我们所知,有界度图上的 Tutte 多项式尚无通用结果。
通过将 视为常数,我们将 Tutte 多项式视为单变量多项式。 在第5节中我们证明了以下结果。
Theorem 1.3.
让 并让 。 Then there exists a constant (depending on and ) such that if is such that , then there exists a deterministic algorithm, which, given a loopless multigraph of maximum degree at most and , computes a multiplicative -approximation to in time .
Remark 1.2.
上述定理中的常数来自Jackson、Procacci和Sokal的一篇论文[31],不幸的是需要半页纸才能准确说明。 然而,当满足(这包括色多项式)时,常数可以被取为。
Remark 1.3.
索卡尔[30,猜想21]猜想与一样长。 结合我们的结果(以及第 4.3 节中的技术),这一猜想的证实将意味着一种高效的近似算法,可用于计算最大度最多为 的任何图 的 着色数目,这是计算计数中一个臭名昭著的问题。
1.3 自旋模型的配分函数
令 为对称矩阵。 在统计物理学的背景下, 通常被称为自旋模型 cf. [19]。 对于图,的配分函数定义为
(3) |
如果是某个图的邻接矩阵,则等于从到。 [8]中的称为图同态配分函数。
基于 Dyer 和 Greenhill [21] 以及 Bulatov 和 Grohe [12] 发起的一系列研究,完整的二分定理已被证明可以精确计算Cai、Chen 和 Lu 提出的复杂自旋模型的配分函数[13]。 这种二分法实质上是说,除非矩阵 具有某种特殊结构,否则精确计算 的配分函数是 #P 困难的。
Lu 和 Yin [36]使用相关性衰减方法证明,对于固定的 ,如果实矩阵 与全一矩阵足够接近(即对于所有 ),则存在用于计算乘法 的 时算法。对于所有 ,),则存在一种 时算法,可以在最大度最多为 的图上计算出 近似于 的乘法 。Barvinok 和 Sobéron [8]证明,对于满足 的所有 的复值矩阵 ,存在一种 时算法。
基于 Barvinok 和 Sobéron 的工作,我们在第 6 节中证明了以下结果。
Theorem 1.4.
让。 那么存在一个确定性算法,给定一个最大度数最多为的图,一个(复值)对称矩阵 使得 对于所有 和 计算乘法 - 近似于 时间 。
Remark 1.4.
如果,常量可以被替换,如果足够大,则可以被替换,参见[8]。
在[9]中,Barvinok和Soberón引入了具有多重性的图同态的配分函数,并给出了用于计算某些矩阵的拟多项式时间算法。 在第 6 节中,我们将表明我们的结果也适用于这些配分函数。
1.4边缘着色模型的配分函数
边缘着色模型起源于统计物理学,其配分函数已由 de la Harpe 和 Jones [19] 引入图论界(称为顶点模型)。 我们将任何地图称为颜色边缘着色模型。 对于图,的划分函数定义为
(4) |
其中 表示与顶点 相关的边集, 表示顶点 “看到”的多组颜色,我们用 中的关联向量来识别它,以便我们可以将 应用于它。 明确地,如果对于每个 都有 次出现颜色 ,则 被向量 标识> 在与 相关的边之间。
边着色模型的分区函数构成了一类丰富的图参数,包括匹配数(取 如果 则 定义,否则 定义),以及自旋模型的分区函数,正如 Szegedy [47, 48] 所证明的那样。 这些配分函数可以看作Holant问题;参见例如[15,16,14]。 它们也可以被视为张量网络收缩。 我们建议读者参阅[39]以了解更多背景信息。
正如自旋模型的配分函数一样,为了精确计算 Holant 问题,已经做了很多工作来建立复杂性二分法结果;请参阅[15,16,14]。 除了一些特殊情况外,人们对边缘着色模型的近似配分函数的复杂性知之甚少。 如前所述,Bayati、Gamarnik、Katz、Nair 和 Tetali [1] 找到了一种有效的近似算法,用于计算有界度图中的匹配,Lin、Liu 和 Lu [35] 找到了计算边缘覆盖的有效近似算法。 这两种算法都是基于相关衰减方法。
基于第二作者[40]的工作,我们将在第7节中证明以下结果。
Theorem 1.5.
让。 那么存在一个确定性算法,给定一个最大度数最多为的多重图,一个-颜色边缘着色模型 使得 对于所有 和 计算乘法 - 近似于 及时。
Remark 1.5.
如果常量可以被替代,如果足够大则可以被替代;请参阅[40]。 此外,对于熟悉这些配分函数的正交群不变性的读者来说,有趣的是,我们可以使用 [40] 中的推论 6b 来找到一个更大的边缘着色模型族,其中可以有效地近似配分函数。
1.5组织
2 多项式的近似计算
在本节中,我们提出了一种由 Barvinok [2] 提出的算法,用于近似评估多项式。 为了完整起见,我们采取稍微不同的方法并提供完整的细节。
令 为 次多项式 ,并假设开放磁盘中的所有 的 半径为 。在此磁盘上定义函数
(5) |
(其中我们通过将对数的主值固定在 处来固定对数的分支)。 回想一下泰勒定理,对于每个 ,。 为了在 处逼近 ,我们将通过截断 附近的泰勒扩展,在 处找到 的加法近似值。 对于每个 ,让
(6) |
然后可以将其转换为 的乘法近似值。我们使用下面推导的稍微不同的 (6) 形式会更方便。
令 为 的根。然后我们可以写和。 由此我们可以看出 以及 ,
因此将第逆幂和定义为我们看到
(7) |
在下一个命题中,我们推导出牛顿恒等式的一个变体,它将逆幂和与多项式的系数联系起来。
Proposition 2.1.
对于上面定义的多项式 及其逆幂和 ,我们对每个 有
(这里如果,我们就采用。)
证明。
Lemma 2.2.
给定满足的和,存在常数使得以下成立。 假设是次多项式,在半径的开盘中没有根。那么对于每个 , 是 的乘法近似 ,其中 。
证明。
以 为例,其中 的选择使得 和 (因此很容易检查,例如 就足够了)。 那么(8)的右边最多是。 写入。 然后我们有 和类似的 。 (这是因为对于复数 ,我们有 。) 此外,和之间的角度以为界。 这表明 是 的乘法近似 。 ∎
根据 (7) 和 Lemma 2.2,如果我们有一种有效的方法来计算从 到 的反幂和 (根据命题 2.1 本质上等价于计算 的第一个 系数),那么我们就有一种有效的方法来近似计算 在零点附近圆盘上各点的求值,其中 是非消失的。 我们在下面的推论中将其形式化。 在下一节中,我们将展示对于某些类型的图多项式,我们可以有效地计算逆幂和。
Corollary 2.3.
给定满足的和,存在常数使得以下成立。 假设是由给出的多项式,在半径为的开盘中没有根。进一步假设我们能够计算每个 的 以及时间 的逆幂和 。 然后我们可以在时间 (其中 )内计算 的乘法 近似值。
3 计算图多项式的系数
在本节中,我们将介绍我们的主要技术贡献,这是计算有界度图的一大类图多项式的逆幂和(以及系数)的有效方法。 在整个过程中,我们将重点关注图多项式,其系数可以表示为导出子图计数的线性组合。 请注意,在本节中,我们不对多项式根的位置做出任何假设。 本节中的结果仅针对图给出,但实际上对于多重图有效。 因此读者可以在本节中的任何地方阅读多重图而不是图。 (多重图中顶点的度是与该顶点相关的边的数量,其中循环被计数两次。)
我们从一些定义开始,然后陈述本节的主要结果。 如果存在双射 ,从而对于任意 ,当且仅当 时,我们有 ,则称两个图 和 为 同构。 如果存在一个子集 ,使得 与 (即 所诱导的图形)同构,我们就说 是 的诱导子图。我们将 写为 中使 与 同构的集合数(即 与 同构的诱导子图的个数)。 请注意,如果 是空图,则所有 都具有 。
通过 我们表示所有图的集合,通过 对于 我们表示最多具有 个顶点的图的集合。 图不变量是某个集合 的函数 ,它在同构图上采用相同的值。 图多项式是图不变量,其中表示复数域上变量中的多项式环数字。 如果对于所有图形 (此处 表示图形 和 的不相交联盟), 和 都是不变的,则称图形 为多变的。
Definition 3.1。
令 为乘法图多项式,定义为
(10) |
对于每个 和 。 如果存在满足以下两个条件的常数,我们将称为有界诱导图计数多项式(BIGCP):
-
(我)
对于每个图,系数满足
(11) 对于某些;
-
(二)
对于每个,可以在时间中计算系数。
例如,如果对于每个 , (10) 中的系数 等于 中大小为 的独立集合的个数,那么很容易看出 (当然是独立多项式)是一个 BIGCP。 在这种情况下,用于计算 顶点图 的系数 的明显强力算法在 时间内运行(通过检查 的所有 子集),如果 则这是拟多项式时间。 本节的主要结果是计算 BIGCP 的逆幂和(以及命题 2.1 的 BIGCP 系数)的通用算法,当应用于本示例时,计算 即使 也在多项式时间内,只要 的最大次数有界。
Theorem 3.1.
令 和 以及 为有界诱导图计数多项式。 然后有一个确定性的-时间算法,给定任何-顶点图,其最大度数最多为并且任何,计算的的逆幂和。
Remark 3.1.
上述定理中的算法只能通过BIGCP定义中的条件(ii)访问多项式,即它仅依赖于计算复数的算法>。
Remark 3.2.
假定 ,上述定理的证明实际上得到的运行时间为 ,其中 可以明确确定(并且不依赖于 和 ),我们可以粗略地取 ,其中 和 是 BIGCP 定义中的常数。
在证明定理 3.1 之前,我们将首先收集一些有关诱导子图计数以及图中出现的固定大小的连接诱导子图的数量的事实,我们将需要这些事实来进行证明。
3.1 归纳子图计数
通过定义。 因此我们将 视为图不变量。 我们可以采用这些不变量的线性组合和乘积。 特别是,对于两个图 我们有
(12) |
其中对于图 , 是 、 子集的有序对数量,使得 和 与 同构, 与 同构。 特别是,给定 和 , 仅对于有限数量的图 为非零。
计算参数通常很困难,但是如果连接(并且不太大)和,则变得更容易具有有限度。
Lemma 3.2。
令 为 顶点上的连通图,并令 。 然后
-
(我)
有一个 -时间算法,给定任何 -顶点图 最多具有最大度数,检查是否;0>
-
(二)
有一个 -时间算法,给定任何 -顶点图 最大度数最多,计算数字。0>
请注意,引理 3.2 (i) 使我们能够在 时测试有界度图之间的图同构。
证明。
让我们列出 、 的顶点,使得 顶点 在 然后,为了将 嵌入到 中,我们首先为 选择一个目标顶点,然后假设我们已将 嵌入到 对于嵌入 的位置,最多有 个选择。 经过 次迭代后,我们总共最多有 种可能的嵌入 的方法,并且在上面的过程中检查每种可能性。 因此,我们确定在 时间内 是否为零。
上面的过程给出了所有集合的列表(大小最多为),使得与,尽管列表可能包含重复项。 消除重复需要时间(通过比较中的每对元素),结果列表的长度给出的值。 ∎
接下来我们考虑如何枚举有界度图中所有可能的固定大小的连通归纳子图。 我们需要 Borgs、Chayes、Kahn 和 Lovász [10,引理 2.1] 的以下结果:
Lemma 3.3。
令为最大度的图。 修复 的顶点 。那么与顶点包含顶点的连通导出子图的数量最多为。
因此,我们可以有效地枚举有界度图 中出现的所有对数大小的连通导出子图。
Lemma 3.4。
有一种 时算法,在给定 和最大度 的 顶点图 的情况下,输出 ,即满足 和 连接的所有 的集合。
证明。
根据前面的结果,我们知道对于所有。
我们归纳构造。 对于,显然是单例顶点的集合,并且需要时间来输出。
鉴于我们已经找到了 ,我们计算 如下。 我们首先计算多重集
这里需要时间来查找(假设以邻接表形式给出)。 因此计算需要时间,这也是的大小。 最后,我们通过删除 中的重复项(通过将每个元素与所有先前元素进行比较)来计算集合 ,这需要时间 。
从开始,我们执行上述迭代次,总共需要运行次。
剩下的只是表明 包含我们想要的所有集合。 显然 并通过归纳假设 包含所有大小为 且与 连接的 。 给定 ,使得 和 连接,取 的任何树,删除叶子 并将生成的顶点集称为。 那么很明显 这意味着 。 ∎
如果对于每个 我们有 ,我们称图不变 可加性。 以下引理是 Csikvári 和 Frenkel [18] 引理的变体;这是我们方法的基础。
Lemma 3.5。
令 为由 给出的图不变量。 那么 是可加的,当且仅当 对于所有断开连接的图 而言。
证明。
让 连接起来。 然后对于,我们有,因为已连接。 因此 是可加的。 显然,加性图参数的线性组合又是加性的。 这意味着如果连接图支持 ,则 是可加的。
接下来假设 是可加的。 如果 已断开连接,我们需要显示 。 通过前一部分的证明,我们可以假设所有连通图都具有。现在让 与 和 都非空。 我们可以通过归纳假设,对于顺序严格小于 的所有图 ,我们都有 。 现在,通过可加性我们有
从 到 。 另一方面我们有
作为,这意味着并完成证明。 ∎
3.2 定理证明3.1
回想一下, 是有界归纳图计数多项式 (BIGCP)。 给定一个 顶点图 ,其最大度数至多 ,我们必须展示如何计算第一个 逆幂和时间 中 的 ,其中 。 为了减少符号,我们将 写为 ,将 的次数写为 ,将 写为 。为 的系数(来自 (10))。 回想一下 ,其中 是多项式 的根。
注意到,命题2.1给出
(13) |
对于每个 。 由(11)可知,对于,可以表示为最多具有的图的导出子图计数的线性组合> 顶点。 从 开始,这意味着 也是如此。 通过归纳,(12) 和 (13) 我们得到每个
(14) |
对于某些但未知的系数。
由于 是乘法,因此逆幂和是加法。 因此,引理 3.5 意味着如果 未连接,则 。 用 表示阶数最多为 的连通图集合,它们作为 中的导出子图出现。这样我们就可以将(14)重写如下:
(15) |
下一个引理表明我们可以有效地计算 的系数 ,其中 。
Lemma 3.6。
有一个 时间算法,给定一个 BIGCP 和一个有界最大度的 顶点图 ,计算并列出 (15) 中所有 和所有 的系数 。
证明。
使用引理3.4的算法,我们首先计算由的所有子集组成的集合,使得与相连,为。 这需要的时间以 为界。 (请注意,引理 3.4 中的算法计算并列出 的所有集合 。) 接下来,我们通过考虑图集 并使用引理 3.2 (i) 删除同构图的副本来计算并列出 中的图来测试同构。 每个 最多需要 时间,因此计算和列出 的总时间受 限制。
3.3 彩色图的扩展
在本节中,我们将处理彩色图表的情况,稍后我们将需要它。 事实上,所有早期的证明都是针对彩色案例逐行进行的,但为了便于说明,我们选择避免过度概括。 在这里,我们重申了彩色情况的各种定义并重申了主要定理。
让我们将自然数 固定为一组颜色。 令 和 为图,其顶点(分别为 边)从集合 中着色(不一定正确)。 对于顶点颜色图 和 ,我们将 和 定义为 颜色同构,如果 和 之间存在颜色同构,即图形同构 ,使得 和 对于每个 对于边缘彩色图 和 ,我们将 和 定义为 颜色同构,如果 和 之间存在颜色同构,即图形同构 ,使得 和 的每条边 在顶点和边着色的情况下,如果存在一个子集 ,使得 与 (由 (从 的着色中继承颜色)诱导的图形)颜色同构,我们就说 是 的诱导着色子图。 我们写 (分别是 )表示集合 的数量,使得 与 颜色同构(即导出的彩色子图的数量 同构于 )。
然后我们可以以自然的方式将定义扩展到它们的彩色版本。 特别地,、、分别成为所有顶点(分别为)的集合。 边)彩色图,所有顶点的集合(分别是。 边)阶数最多为 的彩色图,以及所有连接的顶点(分别为)的集合。 边)对 阶数最多为 的彩色诱导子图。请注意, 在彩色设置中变为无限,但在无色设置中变为有限,但这并不重要。 (乘法)图不变量和图多项式的定义以自然的方式扩展到顶点(分别为: 边)彩色图,特别是顶点的 BIGCP(分别是 边)彩色图的定义方式完全相同。 我们只需要注意,虽然 BIGCP 定义的第 (i) 部分中的总和在彩色版本中是无限的,但在评估彩色图 的特定选择时,除了有限多项之外,所有项都将为零。现在定理 3.1 的彩色版本如下所示。
Theorem 3.7.
令 和 并令 为顶点的有界诱导图计数多项式(分别为: 边)彩色图表。 然后有一个确定性的 时间算法,给定任何 顶点(resp. 边)最大度最多为 的彩色图 和任意 ,计算 的 的反幂和 。
4 独立多项式
4.1 有界度图上的独立多项式
定理证明1.1。
首先请注意 Shearer [42] 的结果,参见。 Scott 和 Sokal [41,推论 5.7],我们知道 对于所有最大度数最多 的所有图 以及所有满足的。
计算负值和复数值的独立多项式为我们提供了有关图中独立集分布的新信息,如以下示例所示。 我们用 表示多项式,其定义方式与独立多项式相同,只是在和 (1) 中,我们只允许基数为偶数的独立集。
Theorem 4.1.
让 并让 。 然后存在一种确定性算法,给定最大度数最多为 和 的图 ,计算乘法 -在时间中近似于。
证明。
显然 因为 的系数是非负实数。 另外因为我们根据Scott和Sokal[41]的结果知道在区间中不会消失,我们知道 在区间 内为正,因为 的所有系数都是非负实数。 因此, 在整个区间 (特别是 )上为正。 ∎
4.2 多元独立多项式
在这里,我们将简要提及我们的结果如何应用于多元独立多项式。 对于图表 和每个 定义的变量
修复我们希望评估多元独立多项式的 、 的复数值。 现在通过 定义单变量图多项式 ,其中 是我们希望估计的值。 中 的系数由大小为 的所有独立 集合的总和给出,其中独立集合与权重一起计数。 虽然我们不能再将其表示为普通诱导子图计数的线性组合,但我们可以将其视为顶点颜色诱导子图计数的线性组合,正如我们现在将解释的那样。
我们将 扩展到顶点颜色图,并用 表示此扩展。 将变量 与每种颜色 关联。 多项式的系数表示为,其中总和在所有带有着色的顶点着色图上 在 顶点上,其中 如果 是独立集,否则为零。 那么 是顶点颜色设置中的 BIGCP,参见。 3.3 小节。
现在假设 有 个标记为 的顶点。 通过为 指定标记为 的顶点颜色 ,我们将 视为顶点着色图。 然后。 因此,如果有界度,我们可以通过定理3.7有效地计算的对数阶逆幂和,如上一节所示。
希勒的结果 [42],参见斯科特和索卡尔的结果 [41,推论 5.7],也适用于多元独立多项式(即当 对于所有 和 时, 非零)。 这意味着只要对于某些,就非零。 由此可知,如果 的最大度最多为 ,并且所有 都满足 ,那么我们就能有效地近似 ,进而近似 。
4.3 无爪图上的独立多项式
在本小节中,我们将说明 Barvinok 的一种技术,通过进行仔细的多项式变换来逼近复平面较大区域上的图多项式。 我们使用这种技术来证明定理1.2,该定理表明我们可以在几乎整个复平面上逼近无爪图的独立多项式。 首先我们需要一些初步知识结果。
Proposition 4.2.
如果 是最大阶数为 的无爪图,且 是 的独立多项式 的根,则 与 .
证明。
是 Chudnovsky 和 Seymour [17] 的结果。 必须为负,因为 的所有系数都是正的。 现在 Shearer [42] 的结果表明
由此得出命题。 ∎
我们还需要以下 Barvinok [5] 引理。
Lemma 4.3。
对于 我们定义
多项式
具有以下属性:
-
(我)
和和有度;
-
(二)
如果 与 则 ,其中
Proposition 4.4.
将 修复为 。 令 与前面的引理相同,并令 表示负实数线。 然后
证明。
是复平面中与实轴平行的有界条带,因此 是将同一条带放大 倍并旋转 角。 这个命题是从初等三角学得出的。 ∎
定理证明1.2。
回想一下,我们得到了一个最大度为 和 的无爪图 ,它不是负实数,我们希望找到一个乘法 -近似于。
设置并让与。 放
并考虑多项式。 请注意, 的度数是 ,因为 的度数最多是 ,而 的度数是常数 。
我们注意到,对于上述算法中的运行时间,指数中的取决于,并且在 然而,通过采用 Barvinok [6] 所描述的引理 4.3,可以将这种依赖性降低到 。
5 Tutte 多项式
这里给出定理1.3的证明。
定理证明1.3。
根据 Jackson、Procacci 和 Sokal 的一个结果,参见 [31,定理 1.2](该结果对无环多图有效),我们知道存在一个常数 ,该常数取决于 和 ,从而对于所有具有 的 图 ,对于最大度最多为 的所有图 ,都有 。 这与我们需要应用推论 2.3 完全相反,因此让我们定义图形多项式
(17) |
对于任何图。 请注意, 的度数为 ,并且如果 是 的乘法 近似值 ,则 是 的乘法 近似值,因此找到前者就足够了。
我们将证明,对于任何最大度数至多的-顶点图,我们可以计算第一个逆幂 在时间 中的总和,其中 和 是推论 2.3 中的常数。 因此,推论 2.3 意味着我们可以计算出 的乘法 近似值,从而在 时间内计算出 近似值。
我们将证明 是一个 BIGCP,因此根据定理 3.1 我们可以得出结论:我们可以在 时间内计算第一个 逆幂和。
由于 Tutte 多项式 (作为 中的多项式)是一个单调乘性图多项式(次数 ),我们知道常数项 等于 并且 是乘法。 因此,只需在定义3.1中显示条件(i)和(ii)即可。 中 的系数等于 中 的系数,并且根据定义等于 的所有子集 的总和,这样 恰好诱导出一个具有 分量的图,其中每个子集都以权重 计算。 如果图的一个组件由多个顶点组成,我们将其称为非平凡。 假设边 的某个子集产生 分量,其中 是重要的。 然后我们有 个孤立的顶点,因此由这些重要组件的并集组成的图 具有 个顶点和 成分。 因此,我们可以在 的子集 和 的子图 之间找到对应关系,前者诱导出一个完全由 组成的图,而后者则没有满足 的孤立顶点。 因此,将子图的最小度写为,则中的系数可表示为
(18) |
事实上,第一个总和可以在最多具有 个顶点的图 上进行。 这是因为 和
因为 没有孤立的顶点。
从(18)开始,我们可以通过检查时间内的所有子集来计算的系数。 这意味着 是一个 BIGCP(采用 和 )。 ∎
Remark 5.1.
Csikvári 和 Frenkel [18] 引入了有界指数型图多项式,并证明这些多项式在有界度图上有有界根。 这在[40]中被用来给出用于评估这些多项式的拟多项式时间近似算法。 第二个参数固定的 Tutte 多项式就是此类多项式的一个示例。 我们在这里指出,上面给出的 Tutte 多项式的证明也很容易扩展到有界指数类型的图多项式。 因此[40]中的算法可以适应在有界度图上以多项式时间运行。
6 自旋模型的配分函数
在本节中,我们将陈述并证明定理1.4的推广,并将说明我们的方法如何应用于具有多重性的图同态的配分函数。
6.1 边缘彩色图的划分函数
令 为图表。 还假设对于每个 我们有一个对称的 矩阵 。 让我们写。 然后我们可以将自旋模型的配分函数的定义扩展如下:
(19) |
我们将称为的配分函数。 在[24]中,这称为马尔可夫随机场(如果非负),在[36]中,这称为多自旋系统。 显然,如果所有 都相同,则这只是简化为自旋模型的配分函数。 我们得到以下结果,这暗示了定理1.4。
Theorem 6.1.
让。 那么存在一种确定性算法,该算法给定一个最大度最多为 的图 、对称矩阵 、、以便对所有 和 以及 都适用 ,在 时间内计算出 与 的乘法 近似值。
Remark 6.1.
如果常量可以被替代,如果足够大则可以被替代;参见[8]。
证明。
令 为全 1 矩阵。 对于 ,令 并令 。 定义单变量多项式 通过
(20) |
然后是和。 Barvinok 和 Soberón [8, Theorem 1.6]证明,存在一个常数 ,使得所有 满足 时,都存在 。
我们将证明,对于任何最大度数至多的-顶点图,我们可以计算第一个逆幂 在时间 中的总和,其中 和 是推论 2.3 中的常数。 注意到 的度数最多为 ,推论 2.3 意味着我们可以在 的时间内计算出 的乘法 近似值。 因此,剩下的就是证明我们可以计算 在时间 中的第一个 逆幂和。
我们将证明我们可以将 解释为边缘颜色的 BIGCP,参见。 3.3 小节。 假设 有 边,标记为 。 使用颜色 为 标记为 的边缘着色。 根据定义, 满足
(21) |
6.2 具有重数的图同态的配分函数
令 为图表。 假设对于每个 我们有一个对称的 矩阵 。 让我们写。 让 并让 和 对于每个 使得 。 我们将这样的称为部分中的的组合。 Barvinok 和 Soberón [9] 将具有重数 的图同态的配分函数定义为
(23) |
有关此类配分函数的更多详细信息和背景,请参阅[9]。
基于 Barvinok 和 Soberón [9,第 2 部分] 的结果,并使用与上面完全相同的证明,我们直接建立以下结论:
Theorem 6.2.
让。 那么就存在一种确定性算法,它可以在给定最大度最多为 的图 的情况下,在 部分中生成 的组合 、对称矩阵 、、(使得 适用于所有 和 以及 ),在 时间内计算出 与 的近似值。
7 边缘着色模型的配分函数
7.1 顶点颜色图的划分函数
令 为图表。 假设我们为每个 都有 -颜色边缘着色模型 。 让我们写。 通常, 对称为签名网格,参见[15,16,14]。 然后我们可以将边缘着色模型的配分函数的定义扩展如下:
(24) |
我们将称为的划分函数。 显然,如果所有 相等,我们就获得了边缘着色模型的普通配分函数。 它也被称为签名网格的Holant问题 cf. [15,16,14]。 我们得到以下结果,这暗示了定理1.5。
Theorem 7.1.
让。 那么就存在一种确定性算法,在给定最大度最多为 的图 、-彩色边着色模型 、、满足 的所有 和 以及 ,在 时间内计算出与 的乘法 近似值。
Remark 7.1.
如果常量可以被替代,如果足够大则可以被替代;请参阅[40]。 此外,对于熟悉这些配分函数的正交群不变性的读者,可以使用[40]中的推论6b来找到一个更大的边缘着色模型族,可以有效地近似配分函数。
7.2 计算
根据定义,
(26) |
其中对于 , 表示 的一组边,这些边与 的至少一个顶点重合。
(26)第三行括号内的第二个和几乎是的配分函数,只不过对实际上可能不是图形,因为 的某些边没有被 跨越。 我们将这种类似图形的结构称为片段,并且中的边缘“伸出”(即不被跨越)作为半边。 形式上,片段是一对,其中是顶点颜色图,是地图,记录与每个顶点关联的半边的数量。 假设 有 个顶点,标记为 。 从现在开始,我们将把图 视为顶点着色图,其中顶点 为 获取颜色 。 对于 ,我们让 为片段 ,其中 等于连接 的边数> 与 。 请注意,通过将所有 的映射 视为 ,图 本身可以被视为片段。
显然,对于大小为 的每个 ,(26) 第三行的第二个和内的表达式仅取决于片段的同构类。 (从片段到片段的同构是底层顶点颜色图的同构,并且这样对于每个 、。) 对于片段 ,让 表示 的边集(包括半边),让 表示底层的顶点集图。假设对于每个我们有一个-color边缘着色-模型并让然后定义,
(27) |
这里我们隐式地用顶点本身来标识 顶点的颜色。 定义片段,为大小为的集合的数量,使得与 同构。写,我们可以将(26)重写为
(28) |
其中总和运行在片段上。 这展示了如何将 扩展到顶点颜色图。 让我们用表示(28)中的系数。 [40] 中证明,在所有 都相等的情况下, 可以表示为某些图形 的参数 的线性组合。如上所述,这个表达式中的系数可能不容易计算(至少我们不知道如何计算)。 因此我们必须使用参数 来代替。 这不是一个严重的问题,因为本质上如果我们用 替换 (11) 中的 ind,则定理 3.1仍然有效。 事实上,我们有以下定理。
Theorem 7.2.
让 和 。 然后有一个确定性的-时间算法,给定任何-顶点图,其最大度数最多为并且任何,计算的的逆幂和。
我们首先需要注意的是,对于片段 ,图参数 可以如下扩展为所有片段的集合:对于片段 ,我们让 表示集合 的数量,这样 与 作为顶点着色图是同构的,并且对于 的每个顶点 ,我们有 在 中的邻居数量等于 。 然后对于两个片段 和 我们有
(29) |
其中,和遍及所有片段 ,而对于一个片段 , 表示 的子集 中使 和 和 成对的个数。 (这里是由引发的片段,即,如果,那么,其中对于我们设置。) 如果图是连接的,我们称片段已连接。 我们现在调整 3 部分中结果的一些陈述和证明以包含片段。
我们从一些定义开始。 通过 我们表示所有片段的集合,通过 对于 我们表示最多具有 个顶点的片段的集合。 对于两个片段 和 、,其中 和 是映射,其限制为 是,其对的限制是。 片段不变量是某个集合的函数,它在同构片段上采用相同的值。 如果所有片段 的 和 则调用片段 multiplicative 的不变量。 片段的最大度等于超过的最大值。
Lemma 7.3。
令 为 顶点上的连接片段,并令 。 然后是一个-时间算法,给定任何-顶点片段,其最大度数最多为,计算数字。
请注意,引理 7.3 使我们能够在 时测试有界度片段之间的片段同构。
如果对于每个 我们有 ,我们称片段 additive 为不变量。 由 Csikvári 和 Frenkel [18] 引理的以下变体具有与引理 3.5 完全相同的证明;只需要在证明中的各处用片段替换图即可。
Lemma 7.4.
令 为 给出的片段的不变量。 那么 是可加的,当且仅当 对于所有断开连接的片段 而言。
现在我们概述定理7.2的证明。
7.2.1 定理证明7.2
令 为多项式 的根,并回想一下,对于 , 是第 的逆幂和。 这里表示的次数,最多为。由(28)可知,对于,可以表示为最多具有的片段的诱导片段数的线性组合> 顶点。 从 开始,这意味着 也是如此。 通过归纳,(29) 和 (13)(使用 )我们得到每个
(30) |
对于某些但未知的系数。
由于 是乘法,因此逆幂和是加法。 因此,引理 7.4 意味着如果 未连接,则 。 表示为 连接片段的集合,其顺序最多为,使得。 这样我们就可以重写(30)如下:
(31) |
下一个引理表明我们可以有效地计算 的系数 ,其中 。
Lemma 7.5。
有一个 时间算法,给定 顶点图 和 ,计算并列出系数 在 (31) 中为所有 以及所有。
8结束语和开放式问题
在本文中,我们提出了一大类图多项式(BIGCP)不存在复根与有效近似评估这些多项式的(确定性)算法的存在之间的直接联系。 我们通过给出确定性多项式时间近似算法来说明其用途,该算法用于评估 Tutte 多项式、独立多项式和从有界度图上复数的自旋和边缘着色模型获得的图多项式。
正如引言中所指出的,定理 1.1 不允许我们有效地近似 的 处的独立多项式,但这可以通过相关性来完成衰变方法 cf.韦茨[50]。 然而,为了证实 Sokal [45] 的猜想,Peters 和第二作者 [38] 证明了以下事实:
Theorem 8.1.
让 和 。 则存在,使得对于任意图,最大度数最多为,对于,存在 > 满足
(32) |
对于所有 ,我们有 。
现在将此结果与4.3节中的方法结合起来,得出结论,利用本文中的方法,我们可以有效地近似的处的独立多项式,从而给出了Weitz结果的不同证明。
让我们重申索卡尔的另一个猜想[30,猜想21],如果该猜想为真,则通过本文的方法意味着我们有一个有效的算法来近似计算-任何图中最大次数最多为的着色。
Question 8.1。
让。 对于满足 的每个 和最大度最多为 的每个图 , 是真的吗?
缺乏复数根和高效近似算法之间的这种联系自然会导致这样的问题:对这些接近(复数)根的图多项式进行近似评估有多困难。 有鉴于此,我们指出在这个问题上已经取得了一些进展。 正如简介中提到的,存在最大度数最多为 和 且 的树序列 ,使得 。 Galanis、Goldberg 和 Štefankovič 利用这一点来表明,当 时,很难近似 。
自然出现的另一个问题如下。 Barvinok [2, 5] 发现了基于不存在零的准多项式时间近似算法,用于计算某些矩阵的永久矩阵。 3 节中介绍的计算 BIGCP 在有界度图上的逆幂和的方法似乎不适用于一般矩阵的常量。 找到一种也适用于永久物的更通用的方法将是非常有趣的。
我们在第 3 节中的算法结果可以解释为给出固定参数易处理性结果,用于确定某些图 的 。如果具有有界度,则算法在时间内运行。 但是,该算法仅适用于图 ,其中 是乘法图多项式的系数。 最近,我们能够将该算法扩展到所有图;请参阅[37]。 一个自然的问题是我们的方法是否可以扩展到其他类别的图,例如平面图。 更具体地说,让我们提出以下问题。
Question 8.2。
是否有一种算法,给定一个平面(或更一般地说,有界属)图 和 ,返回大小 的独立集合的数量 在 范围内的时间?
致谢
我们感谢 Alexander Barvinok 激发了讨论、提供了有用的评论并与我们分享了 [6] 中的结果。 我们感谢 Andreas Galanis 告知我们有关 [46] 的信息。 我们感谢 Pinyan Lu 对本文早期版本的一些有用的评论。
我们还感谢匿名审稿人提出的有益的意见和建议,改进了论文的表达。
参考
- [1] M. Bayati, D. Gamarnik, D. Katz, C. Nair and P. Tetali, Simple deterministic approximation algorithms for counting matchings. In Proceedings of the thirty-ninth annual ACM symposium on Theory of computing (pp. 122–127), ACM, 2007.
- [2] A. Barvinok, Computing the permanent of (some) complex matrices, Foundations of Computational Mathematics (2014) 1–14.
- [3] A. Barvinok, Computing the partition function for cliques in a graph, Theory of Computing 11 (2015), Article 13 pp. 339–355
- [4] A. Barvinok, Computing the partition function of a polynomial on the Boolean cube, arXiv preprint, arXiv:1503.07463 (2015).
- [5] A. Barvinok, Approximating permanents and hafnians, Discrete Analysis, 2017:2, 34 pp.
- [6] A. Barvinok, Personal communication (2016).
- [7] A. Barvinok, Combinatorics and Complexity of Partition Functions Vol. 30 of Algorithms and Combinatorics, Springer, 2017.
- [8] A. Barvinok and P. Soberón, Computing the partition function for graph homomorphisms, Combinatorica (2016). doi:10.1007/s00493-016-3357-2.
- [9] A. Barvinok and P. Soberón, Computing the partition function for graph homomorphisms with multiplicities, Journal of Combinatorial Theory, Series A 137 (2016) 1–26.
- [10] C. Borgs, J. Chayes, J. Kahn and L. Lovász, Left and right convergence of graphs with bounded degree, Random Structures and Algorithms 42 (2013) 1–28.
- [11] R. Bubley, M. Dyer, C. Greenhill and M. Jerrum: On approximately counting colorings of small degree graphs, SIAM Journal on Computing 29 (1999) 387–400.
- [12] A. Bulatov and M. Grohe, The complexity of partition functions, Theoretical Computer Science 348 (2005) 148–186.
- [13] J. Cai, X. Chen and P. Lu, Graph homomorphisms with complex values: A dichotomy theorem, SIAM Journal on Computing 42 (2013) 924–1029.
- [14] J. Cai, H. Guo and T. Williams, A complete dichotomy rises from the capture of vanishing signatures, In: Proceedings of the forty-fifth annual ACM symposium on Theory of computing, pp. 635–644. ACM, 2013.
- [15] J. Cai, S. Huang and P. Lu, From Holant to #CSP and Back: Dichotomy for Holantc Problems. In ISAAC, pages 253–265, 2010.
- [16] J. Cai, P. Lu and M. Xia, Computational complexity of Holant problems, SIAM Journal on Computing 40 (2011) 1101–1132.
- [17] M. Chudnovsky and P. Seymour, The roots of the independence polynomial of a clawfree graph, Journal of Combinatorial Theory, Series B 97 (2007) 350–357.
- [18] P. Csikvári and P. E. Frenkel, Benjamini–Schramm continuity of root moments of graph polynomials, European Journal of Combinatorics 52 (2016) 302–320.
- [19] P. de la Harpe, and V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207–227.
- [20] M. Dyer and C. Greenhill, On Markov chains for independent sets, Journal of Algorithms 35 (2000) 17–49.
- [21] M. Dyer and C. Greenhill, The complexity of counting graph homomorphisms, Random Structures and Algorithms 17 (2000) 260–289.
- [22] A. Galanis, L.A. Goldberg, D. Štefankovič, Inapproximability of the independent set polynomial below the Shearer threshold, arXiv preprint, arXiv:1612.05832 [cs.CC], 2016.
- [23] A. Galanis, D. Štefankovič, E. Vigoda and L. Yang: Ferromagnetic Potts model, Refined #BIS-hardness and related results. In RANDOM 2014, LNCS 6845, pp. 677–691 2014. Full version available at http://arxiv.orgabs/1311.4839.
- [24] D. Gamarnik and D. Katz, Correlation decay and deterministic FPTAS for counting list-colorings of a graph, Journal of Discrete Algorithms 12 (2012) 29–47.
- [25] D. Garijo, A. Goodall and J. Nešetřil, Jaroslav, On the number of -flows of a graph, European Journal of Combinatorics 35 (2014) 273–285.
- [26] L.A. Goldberg and H. Guo, The complexity of approximating complex-valued Ising and Tutte partition functions, arXiv preprint arXiv:1409.5627 (2014).
- [27] L.A. Goldberg and M. Jerrum, Approximating the partition function of the ferromagnetic Potts model, Journal of the ACM 59 (2012) 1–25.
- [28] L.A. Goldberg, and M. Jerrum, The complexity of computing the sign of the Tutte polynomial (and consequent #P-hardness of approximation) In Automata, Languages, and Programming, pp. 399–410, Springer Berlin Heidelberg, 2012.
- [29] N.J. Harvey, P. Srivastava and J. Vondrák, Computing the independence polynomial in Shearer’s region for the LLL, arXiv preprint, arXiv:1608.02282, 2016.
- [30] B. Jackson, Zeros of chromatic and flow polynomials of graphs, Journal of Geometry 76 (2003) 76–95.
- [31] B. Jackson, A. Procacci and A.D. Sokal, Complex zero-free regions at large for multivariate Tutte polynomials (alias Potts-model partition functions) with general complex edge weights, Journal of Combinatorial Theory, Series B 103 (2013) 21–45.
- [32] M. Jerrum, A very simple algorithm for estimating the number of -colorings of a low-degree graph, Random Structures and Algorithms 7 (1995) 157–165.
- [33] M. Jerrum and A. Sinclair, Polynomial-time approximation algorithms for the Ising model, SIAM Journal on computing 22 (1993) 1087–1116.
- [34] T. Lee and T. Yang, Statistical theory of equations of state and phase transitions. I. Theory of condensation, Physical Review 87 (1952): 404.
- [35] C. Lin, J. Liu and P. Lu, A simple FPTAS for counting edge covers, in: Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp341–348, SIAM, 2014.
- [36] P. Lu and Y. Yin, Improved FPTAS for multi-spin systems, in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pp 639–654, Springer Berlin Heidelberg, 2013.
- [37] V. Patel, G. Regts, Computing the number of induced copies of a fixed graph in a bounded degree graph, arXiv preprint, arXiv:1707.05186 [cs.DS], 2017.
- [38] H. Peters, G. Regts, On a conjecture of Sokal concerning roots of the independence polynomial, arXiv preprint, arXiv:1701.08049[math.CO], 2017.
- [39] G. Regts, Graph Parameters and Invariants of the Orthogonal Group, PhD thesis, University of Amsterdam, 2013.
- [40] G. Regts, Zero-free regions of partition functions with applications to algorithms and graph limits, Combinatorica (2017). doi:10.1007/s00493-016-3506-7.
- [41] A.D. Scott and A.D. Sokal, The repulsive lattice gas, the independent-set polynomial, and the Lovász local lemma, Journal of Statistical Physics 118 (2005) 1151–1261.
- [42] J.B. Shearer, On a problem of Spencer, Combinatorica 5 (1998) 241–245.
- [43] A. Sinclair, P. Srivastava and M. Thurley, Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs, Journal of Statistical Physics 155 (2014) 666–686.
- [44] A. Sly and N. Sun, The computational hardness of counting in two-spin models on d-regular graphs, in Proceedings of the 53rd Annual Symposium on Foundations of Computer Science (FOCS), 2012 IEEE, pp. 361–369. IEEE, 2012.
- [45] A. Sokal, A personal list of unsolved problems concerning lattice gases and antiferromagnetic Potts models, Markov Processes And Related Fields 7 (2001) 21–38.
- [46] P. Srivastava, Approximating the hard core partition function with negative activities. Available at http://www.its.caltech.edu/ piyushs/docs/approx.pdf
- [47] B. Szegedy, Edge-coloring models and reflection positivity, Journal of the American Mathematical Society 20 (2007) 969–988.
- [48] B. Szegedy, Edge coloring models as singular vertex-coloring models, in: Fete of Combinatorics and Computer Science (G.O.H. Katona, A. Schrijver, T.Szönyi, editors), Springer, Heidelberg and János Bolyai Mathematical Society, Budapest (2010) 327–336.
- [49] E. Vigoda, Improved bounds for sampling colorings, Journal of Mathematical Physics 41 (2000), 1555–1569.
- [50] D. Weitz, Counting independent sets up to the tree threshold, in Proceedings of the thirty-eighth annual ACM symposium on Theory of computing, STOC 06, pages 140–149, New York, NY, USA, 2006. ACM.