Razborov的flag代数积分在极值3-图理论中的应用.pdfVIP

Razborov的?ag代数积分在极值3-图 理论中的应用 李阳1,? 王颖1,? 1系统与运筹学研究所 山东大学数学学院, 济南 250100 摘要 在这篇文章中, 对于有独立邻点的3-图, 我们证明了一些新的有关图兰密度的结论. 所 证明的结论如下: ? ? π(K4 , C5, F3,2) = 12/49, π(K4 , F3,2) = 5/18 and π(J4, F3,2) = π(J5, F3,2) = 3/8, ( ) 其中 是 图 它包含顶点 和规模为 的不交集合 并且 中所有 |A| 条 边 , Jt 3- , x t A, Jt 2 3- 均包含顶点 x. 另外, 我们还证明了以下两个图兰密度结论, 这两个结论限定在某些导出子 图中: ? π(F3,2, induced K4 ) = 3/8 and π(K5, 5-set spanning 8 edges) = 3/4. 类比上述 Razborov 的关于 K5 的定理, 我们可得出以下结论: π(K4, 4-set spanning 1 edges) = 5/9. 对于3-图的图兰密度, 我们给出一些新的构造, 猜想和界限, 这应该会引起这个领域研 究者的兴趣. 我们应用在 Razborov 的 ?ag 代数积分中的主要的的工具是‘Flagmatic’, 这 种工具正在推广中. 为了使Razborov的方法得到更广泛的接受, 我们已经努力使 Flagmatic 的界面尽可能的容易掌握, 以期在使用 ?ag 代数积分之前扫清最主要的障碍. 最后, 来考虑我们这个方法的局限性, 尤其是在我们也许不能解决的问题中的局限性. 我们对 ?ag 代数积分‘复杂性障碍’的讨论, 也许会引起广泛的兴趣. ?电子邮件: LiYang-Operational-Research@hotmail. com ?电子邮件: yingwangsdu@gmail. com 1 导论 近些年来, 在极值图和超图方面, 通过应用 ?ag 代数积分, Razborov 发现了一系列结 论[28]. 除了著名的 Fano 平面外, 3-图中众所周知的图兰密度理论, 和一些新理论及一些其 他问题中最著名的上界理论[29, 30], 已经用 Razborov 的方法重新证明了. 在这一方面尤其 令人印象深刻的是, 在附加条件[29]的限制下, Razborov 对图兰密度猜想的证明: π(K4, 4-set spanning 1 edge) = 5/9. 在这篇文章中, 我们用 ?ag 代数积分证明了一些新的图兰密度结论. 在3.1部分中, 我们 在有独立邻点的3-图方面扩展了极值理论, 证明了: