arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2006.01937math.CO
收藏

无三角形强正则图引发的一个极值问题

An Extremal Problem Motivated by Triangle-Free Strongly Regular Graphs

Alexander Razborov

摘要:

我们引入以下组合问题。设$G$是边密度为$ρ$的无三角正则图.对于总是存在两个不相邻的顶点使得它们的公共邻域的密度为$\leq a(ρ)$的最小值$a(ρ)$是多少?我们证明了各种上界的功能$a(ρ)$是紧的值$ρ=2/5,\ 5/16,\ 3/10,\ 11/50$,与$C_5$,Clebsch,彼得森和Higman-Sims是各自的极值配置。我们的证明是完全组合的,在很大程度上是基于计数密度的风格旗代数。对于小值的$ρ$,我们的边界附加组合意义的克莱因条件,可能是有趣的。我们还证明了,对于任何$ε>0$只有100多个值的$ρ$与$a(ρ)\geqε$,但这个有限性的结果是有点纯粹存在的(界是双指数在$1/ε$)。

英文摘要:

We introduce the following combinatorial problem. Let $G$ be a triangle-free regular graph with edge density $ρ$. What is the minimum value $a(ρ)$ for which there always exist two non-adjacent vertices such that the density of their common neighborhood is $\leq a(ρ)$? We prove a variety of upper bounds on the function $a(ρ)$ that are tight for the values $ρ=2/5,\ 5/16,\ 3/10,\ 11/50$, with $C_5$, Clebsch, Petersen and Higman-Sims being respective extremal configurations. Our proofs are entirely combinatorial and are largely based on counting densities in the style of flag algebras. For small values of $ρ$, our bound attaches a combinatorial meaning to Krein conditions that might be interesting in its own right. We also prove that for any $ε>0$ there are only finitely many values of $ρ$ with $a(ρ)\geqε$ but this finiteness result is somewhat purely existential (the bound is double exponential in $1/ε$).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑