Makowsky，J.A。;E.V.拉夫。;Kotek，T。 逻辑学家对图多项式的看法。 （英语） Zbl 1477.03122号 Ann.纯粹应用。逻辑 170，第9期，1030-1069（2019）. 摘要：图多项式是在图同构下不变的图参数，它取具有固定有限个不定项的多项式环中的值。我们从模型理论的角度研究图多项式。在本文中，我们区分了图多项式的图论（语义）和代数（句法）意义。图多项式在文献中要么作为生成函数，要么作为广义色多项式，要么作为通过邻接矩阵或拉普拉斯矩阵的行列式导出的多项式。我们证明了这些形式是相互不可比较的，并提出了一个基于二阶逻辑可定义性的统一框架。我们证明，这几乎包含了带有固定有限不定集的图多项式的所有示例。最后我们证明了图多项式的零点位置和稳定性不是一个语义性质。本文强调模型理论观点。它统一阐述了代数组合学中的经典结果，以及分散在图论文献中的新结果和我们以前获得的一些结果。 引用于三文件 理学硕士： 03C13号机组 有限结构模型理论 05C31号 图多项式 关键词：图多项式;图不变量;色多项式;生成函数;鉴别能力;图多项式的零点 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}等人，Ann.Pure Appl。逻辑170，No.9，1030--1069（2019；Zbl 1477.03122） 全文： 内政部 arXiv公司 参考文献： [1] Alon，N。；Milman，V.，（lambda_1），图的等周不等式，和超集中器，J.Combina.Theory Ser。B、 38、1、73-88（1985）·Zbl 0549.05051号 [2] 尼玛·阿纳里；Gharan、Shayan Oveis；Rezaei、Alireza、Monte Carlo Markov链，用于强瑞利分布和行列式点过程的抽样（2016） [3] Averbouch，I。；戈德林，B。；Makowsky，J.A.，二元色多项式的扩展，欧洲组合杂志，31，1，1-17（2010）·Zbl 1198.05099号 [4] 艾弗布赫，I。；Kotek，T。；Makowsky，J.A。；Rave，E.V.，普适边消去多项式和二次多项式，电子。注释离散数学。，38, 77-82 (2011) ·Zbl 1274.05231号 [5] Balaban，A.T.，解决了化学图论中的问题和未解决的问题。Quo vadis，图论？，离散数学。，35, 109-126 (1993) ·Zbl 0786.05083号 [6] Balaban，A.T.，《化学图表：回顾和展望》，J.Chem。Inf.计算。科学。，35, 339-350 (1995) [7] Birkhoff，G.D.，地图着色方式数量的行列式，《数学年鉴》。，14, 42-46 (1912) [8] Bollobás，B.，《现代图论》（1998），斯普林格·兹伯利0902.05016 [9] Borcea，J。；Brändén，P.，稳定多项式在混合行列式中的应用：约翰逊猜想、单峰和对称Fischer积，杜克数学。J.，143，2，205-223（2008）·Zbl 1151.15013号 [10] 博尔恰，朱利叶斯；彼得·布兰登；托马斯·利格特（Thomas Liggett），《负相依性与多项式的几何》（Negative dependency and the geometry of多项式），J.阿默尔（J.Amer）。数学。Soc.，22，2，521-567（2009年）·Zbl 1206.62096号 [11] Brändén，P.，《具有半平面性质的多项式和拟阵理论》，高等数学。，216, 1, 302-320 (2007) ·Zbl 1128.05014号 [12] Brouwer，A.E。；Haemers，W.H.，《图的谱》，斯普林格大学（2012），斯普林格·Zbl 1231.05001号 [13] Brown，J.I。；希克曼，C.A。；Nowakowski，R.J.，《关于独立多项式根的位置》，J.代数组合，19，3，273-282（2004）·Zbl 1043.05087号 [14] Cherlin，G.等人。；Hrushovski，E.，《很少类型的有限结构》，《数学研究年鉴》，第152卷（2003），普林斯顿大学出版社·Zbl 1024.03001号 [15] Choe，Y.B。；Oxley，J.G。；Sokal，医学博士。；Wagner，D.G.，具有半平面性质的齐次多元多项式，Adv.Appl。数学。，32，188-187（2004年）·Zbl 1054.05024号 [16] 库塞尔，B。；Makowsky，J.A。；Rotics，U.，关于可在一元二阶逻辑中定义的图枚举问题的固定参数复杂性，离散应用。数学。，108, 1-2, 23-52 (2001) ·Zbl 0972.05023号 [17] Csikvári，P。；Oboudi，M.R.，《关于图的边覆盖多项式的根》，《欧洲组合杂志》，32，8，1407-1416（2011）·Zbl 1337.05057号 [18] Cvetković，医学博士。；杜布，M。；Sachs，H.，《图的光谱》（1995），约翰·安布罗修斯·巴思·Zbl 0824.05046号 [19] de la Harpe，P。；Jaeger，F.，有限图的色不变量：主题和多项式变化，线性代数应用。，226-228, 687-722 (1995) ·Zbl 0831.05028号 [20] Dong，F.M。；Koh，K.M。；Teo，K.L.，图的色多项式和色性（2005），《世界科学》·Zbl 1070.05038号 [21] 埃宾豪斯，H.-D。；Flum，J.，有限模型理论，数学逻辑的观点（1995），Springer·Zbl 0841.03014号 [22] Ellis-Monaghan，J.A。；Merino，C.，图多项式及其应用I:Tutte多项式，（复杂网络的结构分析（2011），Springer），219-255·Zbl 1221.05002号 [23] Farr，Graham E.，Tutte-Whitney多项式：一些历史和推广，（组合数学、复杂性和机会。组合数学、复杂度和机会，牛津数学及其应用系列讲座，第34卷（2007）），28·Zbl 1124.05020号 [24] 法雷尔，E.J。；Whitehead，E.G.，匹配多项式和色多项式之间的联系，国际数学杂志。数学。科学。，15, 4, 757-766 (1992) ·Zbl 0799.05053号 [25] Fischer，E。；Kotek，T。；Makowsky，J.A.，《逻辑在组合序列及其递归关系中的应用》，（Grohe，M.；Makowski，J.A，《有限组合数学中的模型理论方法》，《现代数学》，第558卷（2011年），美国数学学会），1-42·Zbl 1282.03019号 [26] Garijo，D。；古道尔，A。；Nešetřil，J.，同态数的多项式图不变量（2013）·Zbl 1295.05157号 [27] 戈德林，B。；Kotek，T。；Makowsky，J.A.，图多项式的评估，（第34届计算机科学中的图论概念国际研讨会，第34届计算科学中的图论概念国际会议，WG08。第34届计算机科学图论概念国际研讨会。第34届计算机科学图论概念国际研讨会，WG08，《计算机科学讲义》，第5344卷（2008），183-194·Zbl 1202.05065号 [28] 戈德林，B。；Katz，E。；Makowsky，J.A.，《图形多项式：从递归定义到子集扩展公式》，J.Logic Comput。，22, 2, 237-265 (2012) ·兹比尔1239.05095 [29] 哥德斯尔，哥伦比亚特区。；Gutman，I.，《关于匹配多项式的理论》，《图论》，5137-144（1981）·Zbl 0462.05051号 [30] Goldwurm，M。；Santini，M.，Clique多项式具有唯一的最小模根Inform。过程。莱特。，75, 3, 127-132 (2000) ·Zbl 1339.05231号 [31] 古道尔，A。；赫尔曼，M。；Kotek，T。；Makowsky，J.A。；Noble，S.D.，关于广义色多项式的复杂性（2017）·Zbl 1378.05059号 [32] 古道尔，A.J。；Nešetřil，J。；Ossona de Mendez，P.，《作为平凡结构解释的强多项式序列》，J.Appl。日志。，18, 129-149 (2016) ·Zbl 1436.05052号 [33] Gurvits，L.，《范德瓦尔登/Shrijver-Valiant-like猜想的双曲多项式方法：更清晰的边界、更简单的证明和算法应用》（第三十八届ACM计算理论年会论文集（2006），ACM），417-426·Zbl 1301.90071号 [34] 古特曼，I。；Harary，F.，匹配多项式的推广，Util。数学。，24, 97-106 (1983) ·Zbl 0527.05055号 [35] Harary，F.，《图的条件着色性》，（图与应用，第一专栏，交响曲图论，图与应用》，第一专栏交响曲图理论，科罗拉多州博尔德，1982（1985），Wiley-Intersci。出版物。，威利：威利国际。出版物。，威利纽约），127-136·Zbl 0556.05027号 [36] 海尔曼，C.J。；Lieb，E.H.，单体聚合物系统理论，通信数学。物理。，25, 190-232 (1972) ·Zbl 0228.05131号 [37] J.William，Helton；Vinnikov，Victor，集的线性矩阵不等式表示，Comm.Pure Appl。数学。，60, 5, 654-674 (2007) ·Zbl 1116.15016号 [38] 平泽，M。；Murasugi，K.，《节点和链环的亚历山大多项式的各种稳定性》（2013） [39] 霍德，C。；李，X.，图的Clique多项式和独立集多项式，离散数学。，125219-228（1994年）·兹比尔0799.05030 [40] Hoshino，R.，《循环图的独立多项式》（2007），达尔豪西大学：达尔豪斯大学哈利法克斯分校，新斯科舍省，博士论文 [41] Hosoya，H.，拓扑指数。一个新提出的表征饱和烃结构异构体拓扑性质的量，布尔。化学。Soc.Jpn.公司。，44, 9, 2332-2339 (1971) [42] Hosoya，H.，1971年前后的拓扑指数z，互联网电子。分子设计杂志。，1, 428-442 (2002) [43] Hurwitz，A.，Ueber die bedinggen，unter welchen eine gleichung nur wurzeln mit negative reellen theilen besitt，数学。安，46，2，273-284（1895） [44] Jaeger，F.，Tutte多项式和链接多项式，Proc。阿默尔。数学。Soc.，103，647-654（1988）·Zbl 0665.57006号 [45] Kotek，T.，《组合函数的可定义性》（2012年3月），Technion以色列理工学院：Technion以色列海法理工学院，博士论文 [46] Kotek，T。；Makowsky，J.A.，连接矩阵和图形参数的可定义性，Log。方法计算。科学。，10, 4 (2014) ·Zbl 1345.03054号 [47] Kotek，T。；Makowsky，J.A。；Zilber，B.，《关于广义着色的计数》，（计算机科学逻辑，计算机科学逻辑），CSL’08。计算机科学逻辑。计算机科学逻辑，CSL’08，计算机科学课堂讲稿，第5213卷（2008），339-353·Zbl 1157.05024号 [48] Kotek，T。；Makowsky，J.A。；Zilber，B.，《关于计算广义着色》（Grohe，M.；Makowsky，J.A.，《有限组合数学中的模型理论方法》，《现代数学》，第558卷（2011年），美国数学学会），207-242·Zbl 1253.05071号 [49] Kotek，T。；Makowsky，J.A。；Ravve，E.V.，研究配分函数和图多项式的计算框架（摘要），（Negru，V。；等。，科学计算符号和数字算法国际研讨会论文集。科学计算符号和数字算法国际研讨会论文集，SYNASC 2012，罗马尼亚蒂米索拉，2012（2013），IEEE计算机学会，365-368·Zbl 1364.03055号 [50] Kotek，T。；Makowsky，J.A。；Rave，E.V.，关于由图不变量产生的图多项式序列，European J.Combin，67181-198（2018）·Zbl 1371.05135号 [51] Kotek，T.等人。；Makowsky，J.A。；Ravve，E.V.，关于由图不变量产生的多项式序列（2017）·兹比尔1371.05135 [52] Libkin，L.，《有限模型理论的要素》（2004），Springer·Zbl 1060.03002号 [53] Lovász，L。；普卢默，M.D.，《匹配理论》，《离散数学年鉴》，第29卷（1986年），北荷兰·兹比尔0618.05001 [54] Makowsky，J.A.，《费费曼-沃特定理的算法应用》，Ann.Pure Appl。逻辑，126，1-3，159-213（2004）·邮编1099.03009 [55] Makowsky，J.A.，有界树宽图上的彩色Tutte多项式和考夫曼括号，离散应用。数学。，145, 2, 276-290 (2005) ·Zbl 1084.05505号 [56] 从动物园到动物学：走向图多项式的一般理论，理论计算。系统。，43, 542-562 (2008) ·Zbl 1162.68502号 [57] Makowsky，J.A。；Ravve，E.V.，关于图多项式根的位置，电子。注释离散数学。，43, 201-206 (2013) [58] Makowsky，J.A。；Ravve，E.V.，组合数学中的逻辑方法，第11讲。2009年开设的课程，编号236605，高级主题，讲稿，网址： [59] Makowsky，J.A。；Ravve，E.V.，可在二阶逻辑中定义的图多项式的语义等价，（逻辑、语言、信息和计算国际研讨会（2016），Springer），279-296·Zbl 1478.05078号 [60] Makowsky，J.A。；Zilber，B.，《图的多项式不变量与全范畴理论》（2006），MODNET预印本第21期 [61] Makowsky，J.A。；Kotek，T。；Ravve，E.V.，《配分函数和图多项式研究的计算框架》（第十二届亚洲逻辑会议论文集，2011年（2013年），世界科学出版社），210-230·Zbl 1364.03055号 [62] Makowsky，J.A。；拉夫，E.V。；Blanchard，N.K.，《关于图多项式根的位置》，《欧洲组合杂志》，第41期，第1-19页（2014年）·Zbl 1300.05136号 [63] 梅里诺，C。；Noble，S.D.，《两个图多项式与对称函数的等价性》，Combin.Probab。计算。，1860-615（2009年）·Zbl 1194.05060号 [64] （Nešetřil，J.；Winkler，P.，《图、态射和统计物理学》。图、态射和统计物理学，离散数学和理论计算机科学DIMACS系列，第63卷（2004年），AMS）·Zbl 1051.05003号 [65] Noble，S.D。；Welsh，D.J.A.，结的色不变量的加权图多项式，Ann.Inst.Fourier（格勒诺布尔），491057-1087（1999）·Zbl 0917.05025号 [66] Pemantle，R.，组合数学和概率中的双曲性和稳定多项式（2012）·Zbl 1316.62078号 [67] 西摩，P。；Chudnovsky，M.，无爪图独立多项式的根，J.Combin。B、 97、3、350-357（2007）·Zbl 1119.05075号 [68] 辛克莱，A。；Srivastava，P.，Lee-Yang定理和计算平均值的复杂性，（第四十五届ACM计算理论研讨会论文集（2013），ACM），625-634·Zbl 1293.82007年 [69] Sokal，A.D.，（二）色多项式和Potts-模型配分函数复零点的界，组合概率。计算。，10, 1, 41-77 (2001) ·Zbl 0999.82022号 [70] Sokal，A.D.，色根在整个复合体平面内密集，Combin.Probab。计算。，13, 2, 221-261 (2004) ·Zbl 1100.05040号 [71] Sokal，A.D.，图和拟阵的多元Tutte多项式（别名Potts模型），（组合数学调查，2005年）。组合数学调查，2005年，伦敦数学学会讲稿，第327卷（2005年），173-226·Zbl 1110.05020号 [72] Trinajstić，N.，《化学图论》（1992），CRC出版社 [73] Trinks，M.，《图多项式及其表示》（2012年），贝加卡德米·弗赖堡理工大学数学与信息学院，博士论文 [74] Tutte，W.T.，《对色多项式理论的贡献》，加拿大。数学杂志。，6, 80-91 (1954) ·Zbl 0055.17101号 [75] Vishnoi，N.K.，《解决旅行推销员问题的永久方法》，（2012年IEEE第53届计算机科学基础年度研讨会，2012年IEEE第53届计算科学基础年度会议，FOCS（2012），IEEE），76-80 [76] N.K.Vishnoi，多项式的零点及其在理论上的应用：入门。印前，Microsoft Research，印度班加罗尔，2013年，。 [77] Wagner，D.G.，《多元稳定多项式：理论与应用》，布尔。阿默尔。数学。Soc.，48，1，53-84（2011）·兹比尔1207.32006 [78] Wagner，D.G。；Wei，Y.，半平面性质的判据，离散数学。，309, 6, 1385-1390 (2009) ·Zbl 1194.05019号 [79] 王凯。；Michel，A.N。；Liu，D.，区间矩阵Hurwitz和Schur稳定性的充要条件，IEEE Trans。自动化。控制，39，6，1251-1255（1994）·兹比尔0810.93051 [80] 惠特尼，H.，《图的着色》，《数学年鉴》。，33，26-40（1932年） [81] Wilf，H.S.，《哪些多项式是彩色的》（Proc.Colloq.Combinatorial Theory，Proc.ColloS.Combanatorial理论，罗马（1973））·Zbl 0352.05031号 [82] Zilber，B.，《不可计数分类理论》，《数学专著翻译》，第117卷（1993年），美国数学学会·Zbl 0785.03019号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。