[论文解读] On a conjecture of Erd\H{o}s on locally sparse Steiner triple systems

Stefan Glock, Daniela Kühn+2 more|arXiv (Cornell University)|Feb 12, 2018

Limits and Structures in Graph Theory参考文献 29被引用 8

一句话总结

该论文通过分析一种贪心避免禁止配置（如Pasch、mitre）的随机过程，证明了Erdős关于局部稀疏Steiner三元系的猜想。结果表明，对于任意固定的k，存在一个n阶的k-稀疏部分Steiner三元系，其三元组数量为(1/6 - o(1))n²，渐近达到最大可能密度，同时避免所有j ≤ k+2的(j, j-2)-配置。

ABSTRACT

A famous theorem of Kirkman says that there exists a Steiner triple system of order $n$ if and only if $n\\equiv 1,3\\mod{6}$. In 1973, Erd\\H{o}s conjectured that one can find so-called `sparse' Steiner triple systems. Roughly speaking, the aim is to have at most $j-3$ triples on every set of $j$ points, which would be best possible. (Triple systems with this sparseness property are also referred to as having high girth.) We prove this conjecture asymptotically by analysing a natural generalization of the triangle removal process. Our result also solves a problem posed by Lefmann, Phelps and R\\"odl as well as Ellis and Linial in a strong form, and answers a question of Krivelevich, Kwan, Loh, and Sudakov. Moreover, we pose a conjecture which would generalize the Erd\\H{o}s conjecture to Steiner systems with arbitrary parameters and provide some evidence for this.

研究动机与目标

• 解决Erdős关于存在高圈长局部稀疏Steiner三元系的长期猜想。
• 证明对于任意固定的k，当n充分大且满足可实现条件时，存在k-稀疏Steiner三元系。
• 为Lefmann、Phelps与Rödl提出的问题提供强解，即存在具有有界密度下限的部分Steiner三元系。
• 通过分析Pasch和mitre等禁止子结构，扩展对3-一致超图极值配置的理解。
• 基于圈长条件与稀疏性，提出一个适用于任意参数的Steiner系的广义猜想。

提出的方法

• 使用类似于三角形移除过程的随机过程，迭代添加三元组，同时避免禁止的(j, j-2)-配置。
• 通过精心构建的依赖图应用Lovász局部引理，控制违反稀疏性约束的概率。
• 定义关键事件B_S、B_e和B_ee'以追踪违规情况：在j-集合上过多三元组、在r-集合上度数不规则，以及在一对r-集合上共度数过高。
• 采用Chernoff型界估计度数与配置违规的概率，确保其集中在期望值附近。
• 引入辅助超图并应用定理7.4以提取大匹配，从而获得覆盖几乎所有r-集合的部分Steiner系。
• 引入参数θ以平衡稀疏性与密度之间的权衡，确保坏事件发生的概率呈指数衰减。

实验结果

研究问题

• RQ1 Erdős关于k-稀疏Steiner三元系存在的猜想是否可对所有固定的k渐近验证？
• RQ2 即使k增大，是否仍能在k-稀疏部分Steiner三元系中实现接近1/6的密度？
• RQ3 避免所有j ≤ k+2的(j, j-2)-配置的部分Steiner三元系的最大可能密度是多少？
• RQ4 通过贪心添加三元组并避免禁止配置的随机过程，是否能产生接近最优规模的系统？
• RQ5 当n → ∞且k固定时，最大可能的k-稀疏部分Steiner三元系的渐近行为如何？

主要发现

• 对于每个固定的k，存在一个n阶的k-稀疏部分Steiner三元系，其三元组数量为(1/6 - o(1))n²，从而渐近证实了Erdős的猜想。
• 此类系统的密度趋近于1/6，解决了Lefmann、Phelps与Rödl的问题，表明当k增大时c_k → 1/6。
• 结果表明，避免所有j ≤ k+2的(j, j-2)-配置的部分Steiner三元系的最大密度渐近最优。
• 该证明表明，类似三角形移除的过程可扩展为生成圈长较高且接近最大规模的系统。
• 该方法证实了系统可避免所有在至多k+2个顶点上的Erdős-配置，包括Pasch与mitre配置。
• 作者提出了一个适用于任意参数的Steiner系的广义猜想，推测对所有可实现参数，高圈长系统均存在。