[论文解读] New Tur\'an densities for 3-graphs

Rahil Baber, John Talbot|arXiv (Cornell University)|Oct 19, 2011

Limits and Structures in Graph Theory参考文献 15被引用 4

一句话总结

本文利用Razborov的旗代数方法，建立了3-一致超图的新精确Turán密度，证明了有限个3-图族的首个无理Turán密度实例，并解决了密度为2/9、4/9、5/9和3/4的情况。此外，本文还提供了稳定性结果，并通过精确的整数运算（无浮点数运算）确认了π(K₄⁽³⁾, H) = 5/9（其中H是满足π(H) = 3/4的3-图），从而通过精确计算推翻了Chung和Graham的猜想。

ABSTRACT

If $\\mathcal{F}$ is a family of graphs then the Tur\\'an density of $\\mathcal{F}$ is determined by the minimum chromatic number of the members of $\\mathcal{F}$. The situation for Tur\\'an densities of 3-graphs is far more complex and still very unclear. Our aim in this paper is to present new exact Tur\\'an densities for individual and finite families of 3-graphs, in many cases we are also able to give corresponding stability results. As well as providing new examples of individual 3-graphs with Tur\\'an densities equal to 2/9,4/9,5/9 and 3/4 we also give examples of irrational Tur\\'an densities for finite families of 3-graphs, disproving a conjecture of Chung and Graham. (Pikhurko has independently disproved this conjecture by a very different method.) A central question in this area, known as Tur\\'an's problem, is to determine the Tur\\'an density of $K_4^{(3)}=\\{123,124, 134, 234\\}$. Tur\\'an conjectured that this should be 5/9. Razborov [On 3-hypergraphs with forbidden 4-vertex configurations, in SIAM J. Disc. Math. 24 (2010), 946-963] showed that if we consider the induced Tur\\'an problem forbidding $K_4^{(3)}$ and $E_1$, the 3-graph with 4 vertices and a single edge, then the Tur\\'an density is indeed 5/9. We give some new non-induced results of a similar nature, in particular we show that $\\pi(K_4^{(3)},H)=5/9$ for a 3-graph $H$ satisfying $\\pi(H)=3/4$. We end with a number of open questions focusing mainly on the topic of which values can occur as Tur\\'an densities. Our work is mainly computational, making use of Razborov's flag algebra framework. However all proofs are exact in the sense that they can be verified without the use of any floating point operations. Indeed all verifying computations use only integer operations, working either over $\\mathbb{Q}$ or in the case of irrational Tur\\'an densities over an appropriate quadratic extension of $\\mathbb{Q}$.

研究动机与目标

• 确定单个及有限个3-一致超图族的精确Turán密度，解决极值组合学中长期存在的开放问题。
• 通过构造具有无理密度的显式族，证明3-图的所有Turán密度均为有理数的猜想不成立。
• 为极值3-图建立稳定性结果，表明几乎极值的超图在结构上接近已知的极值构造。
• 在非诱导情形下解决K₄⁽³⁾的Turán问题，证明当3-图H满足π(H) = 3/4时，π(K₄⁽³⁾, H) = 5/9。
• 开发并应用基于Razborov旗代数的计算框架，仅使用整数或二次无理数算术，生成精确且可验证的证明。

提出的方法

• 利用Razborov的旗代数框架，通过半定规划计算Turán密度，并在ℚ或ℚ的二次扩张上使用整数算术进行精确验证。
• 通过引理8应用超饱和技术，将单个禁止超图替换为超图族，显著缩小搜索空间，提升计算效率。
• 提出一种新方法，将数值旗代数结果转化为无需预先知晓极值构造的精确符号证明，即使在存在多个非同构极值族的情况下也适用。
• 使用DensityChecker.cpp和ExactDensityBounder.cpp程序验证并复现所有结果，证明通过CSDP或SDPA等半定规划求解器生成。
• 对所有精确结果应用稳定性分析，通过旗代数不等式证明：对于某族几乎极值的超图，其结构必须接近已知的极值构造。
• 使用大整数算术（超过150位数字）确保将浮点数值结果转换为精确有理数或二次无理数表达式时的精确性。

实验结果

研究问题

• RQ1 特定3-一致超图的精确Turán密度是什么？能否在不依赖数值近似的情况下计算得出？
• RQ2 有限个3-图族的Turán密度是否可能为无理数，从而推翻所有此类密度均为有理数的猜想？
• RQ3 在非诱导情形下，K₄⁽³⁾的Turán密度是否等于5/9，特别是当与另一个满足π(H) = 3/4的3-图H组合时？
• RQ4 能否使用旗代数方法建立极值3-图的稳定性结果，即使在未预先知晓极值构造的情况下？
• RQ5 在多至何种程度可将数值旗代数结果转化为仅使用整数或代数数运算的精确、可验证证明？

主要发现

• 本文首次建立了有限个3-图族的无理Turán密度的已知实例，推翻了Chung和Graham的猜想。
• 证明了当3-图H满足π(H) = 3/4时，π(K₄⁽³⁾, H) = 5/9，扩展了Razborov对诱导问题的结果。
• 本文为单个3-图精确确定了2/9、4/9、5/9和3/4的Turán密度，其中在5/9情形下Turán构造Tₙ在渐近意义下为极值。
• 所有证明均仅使用ℚ或其二次扩张上的整数运算进行精确且可验证的计算，验证过程中未使用任何浮点数算术。
• 作者证明，可通过旗代数不等式推导出所有精确Turán密度结果的稳定性，即几乎极值的超图在结构上接近极值构造。
• 计算框架成功地将数值旗代数结果转化为精确证明，即使在存在多个非同构极值构造的情形下（如Turán的K₄⁽³⁾问题）也适用。