[论文解读] On the number of edges in the special distance graph

Philipp Pushnyakov|arXiv (Cornell University)|Jun 24, 2015

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

一句话总结

本文研究了特殊距离图 $G(n,3,1)$ 的诱导子图中边数的最小值，其中顶点为 $[n]$ 的 3 元子集，边连接恰好有一个公共元素的子集。利用极值图论和独立集的结构分析，作者在子图大小 $l(n)$ 的四个不同范围（从次二次到接近最大）内，推导出最小边数 $r(l(n))$ 的渐近界，每种情况下均有精确的渐近表达式或紧致界。

ABSTRACT

In this paper we obtain new estimates of the number of edges in subgraphs of the special distance graph. Bibliography: 21 item.

研究动机与目标

• 确定在 $[n]$ 的 3 元子集上定义的特殊距离图 $G(n,3,1)$ 的诱导子图中边数的最小值，其中两个子集之间有边当且仅当它们恰好共享一个元素。
• 分析该最小边数 $r(l(n))$ 在 $n \to \infty$ 时的渐近行为，针对子图大小 $l(n)$ 的不同增长速率。
• 根据 $l(n)$ 相对于 $n$ 的大小，将 $r(l(n))$ 的行为划分为四个不同的渐近范畴。
• 在每个范畴内，利用独立集的结构特性和极值图论，提供 $r(l(n))$ 的紧致渐近估计或界。
• 证明最小边数受独立数 $\alpha_n \sim n$ 的严格控制，尤其在接近完整顶点集的稠密范畴中。

提出的方法

• 图 $G(n,3,1)$ 通过组合方式定义：其顶点对应于 $[n]$ 的 3 元子集，当两个顶点对应的子集交集大小恰好为 1 时，它们之间存在一条边。
• 分析依赖于已知的渐近独立数 $\alpha_n \sim n$，该结果由 Z. Nagy 的定理导出，并基于将独立集分解为三类：公共对、公共四元组和两两不相交的子集。
• 通过基于 $l(n)$ 增长速率的分情况分析，研究最小边数 $r(l(n))$，并为四个范畴识别出不同的渐近行为。
• 在范畴 1 和 2 中，使用类似图论中 Turán 型的上界，证明 $r(l(n)) \sim \frac{l(n)^2}{2\alpha_n}$，利用图的正则性以及由 Turán 定理导出的 $|E(W_1)|$ 下界。
• 在范畴 3 中，建立了下界 $\frac{l(n)^2}{\alpha_n}$ 和上界 $h(n) \sim \frac{5l(n)^2}{\alpha_n}$，表明其数量级为 $\Theta\left(\frac{l(n)^2}{\alpha_n}\right)$。
• 在范畴 4 中，当 $l(n) \sim \binom{n}{3}$ 时，通过构造一个大小与 $n^3$ 成比例的子图 $W_1$ 进行移除，推导出下界 $r(l(n)) \sim n^5\left(\frac{1}{8} - \frac{c_n}{4} + \frac{c_n^2}{72}\right)$，其中 $c_n = 1 - \frac{l(n)}{\binom{n}{3}}$。

实验结果

研究问题

• RQ1 在图 $G(n,3,1)$ 中，大小为 $l(n)$ 的诱导子图的最小边数的渐近行为是什么？
• RQ2 当 $l(n)$ 的增长速度慢于 $n^2$、约为 $n^2$ 或快于 $n^2$ 时，最小边数 $r(l(n))$ 如何变化？
• RQ3 当 $l(n)$ 接近完整顶点集 $\binom{n}{3}$ 时，能否为 $r(l(n))$ 建立紧致的渐近界？
• RQ4 在 $G(n,3,1)$ 中独立集的哪些结构特性使得这些界能够被推导出来？
• RQ5 诱导子图中的边数与独立数 $\alpha_n \sim n$ 有何关联？

主要发现

• 当 $f(n) \leq l(n) \leq g(n)$ 且满足 $n = o(f)$ 与 $g = o(n^2)$ 时，有 $r(l(n)) \sim \frac{l(n)^2}{2\alpha_n}$ 成立，当 $n \to \infty$。
• 当 $l(n) \in \Theta(n^2)$ 时，相同的渐近表达式 $r(l(n)) \sim \frac{l(n)^2}{2\alpha_n}$ 依然成立。
• 当 $n^2 = o(f(n))$ 且 $g = o(n^3)$ 时，$r(l(n))$ 的下界为 $\frac{l(n)^2}{\alpha_n}$，上界为 $h(n) \sim \frac{5l(n)^2}{\alpha_n}$，表明其数量级为 $\Theta\left(\frac{l(n)^2}{\alpha_n}\right)$。
• 当 $l(n) = \Theta(n^3)$，特别是 $l(n) \sim \binom{n}{3}$ 时，最小边数满足 $r(l(n)) \geq f(n)$，其中 $f(n) \sim n^5\left(\frac{1}{8} - \frac{c_n}{4} + \frac{c_n^2}{72}\right)$，且 $c_n = 1 - \frac{l(n)}{\binom{n}{3}}$。
• 在稠密范畴中，当 $l(n) \sim \binom{n}{3}$ 时，该界 $f(n) \sim n^5\left(\frac{1}{8} - \frac{c_n}{4} + \frac{c_n^2}{72}\right)$ 趋近于总边数 $|E_n| \sim \frac{n^5}{8}$，显示出紧致性。
• 这些结果通过分析独立集的结构，并结合图的正则性与 Turán 定理，对一个精心选择的子图的补图中的边数进行双重计数而推导得出。