[论文解读] The sum of the squares of degrees: an overdue assignement

Vladimir Nikiforov|ArXiv.org|Aug 26, 2006

Limits and Structures in Graph Theory参考文献 11被引用 3

一句话总结

本文提出了一种关于具有 n 个顶点和 m 条边的图的最大度平方和的简洁且渐近紧致的上界，该上界在几乎所有 n 和 m 的取值下均优于 de Caen 的界。该上界 F(n,m) 以分段函数形式定义，使用 (2m)^{3/2} 和 (n²−2m)^{3/2}+4mn−n³，且满足 F(n,m)−4m ≤ f(n,m) ≤ F(n,m)，其中 F(n,m) 在 m 的广泛范围内严格小于 de Caen 的界。

ABSTRACT

Let f(n,m) be the maximum of the sum of the squares of degrees of a graph with n vertices and m edges. Summarizing earlier research, we present a concise, asymptotically sharp upper bound on f(n,m), better than the bound of de Caen for almost all n and m.

研究动机与目标

• 解决长期以来对 f(n,m)（即具有 n 个顶点和 m 条边的图的最大度平方和）的简单而精确上界的需求。
• 改进 de Caen 的界，尽管其形式优雅，但对大多数 n 和 m 的取值渐近松弛。
• 提供一个统一的、渐近紧致的上界，以捕捉 f(n,m) 在整个 m 范围内的真实行为。
• 调和 Ahlswede 和 Katona 的精确但复杂的公式与 de Caen 界的简洁性，提供一种实用的替代方案。

提出的方法

• 提出一个分段定义的函数 F(n,m)，当 m ≥ n²/4 时使用 (2m)^{3/2}，当 m < n²/4 时使用 (n²−2m)^{3/2}+4mn−n³。
• 通过 Ahlswede 和 Katona 的精确公式推导出的 C(n,m) 和 S(n,m) 的界，建立不等式 f(n,m) ≤ F(n,m)。
• 利用伯努利不等式和度序列极值配置的渐近分析，证明下界 f(n,m) ≥ F(n,m)−4m。
• 证明在 m 的范围 n^{3/2} < m < binom(n,2)−n^{3/2} 内，F(n,m) < D(n,m)（即 de Caen 的界），从而表明其优越性。
• 利用对称性 f(n, binom(n,2)−m) = f(n,m)+4(n−1)m−n(n−1)^2，将上界从 m 范围的一半推广至整个范围。
• 运用微积分和不等式（如伯努利不等式）比较 F(n,m) 和 D(n,m) 的增长，证明在广泛范围内存在严格改进。

实验结果

研究问题

• RQ1 能否为具有 n 个顶点和 m 条边的图的最大度平方和 f(n,m) 推导出一个简单且渐近紧致的上界？
• RQ2 de Caen 的界与 f(n,m) 的真实值相比如何？在什么范围内其松弛性显著？
• RQ3 是否可能将 Ahlswede 和 Katona 的精确但复杂的公式统一为一个简洁且可用的上界？
• RQ4 是否存在一个既简单又在整个 m 范围内渐近紧致的上界？
• RQ5 能否证明新上界 F(n,m) 在广泛的 n 和 m 取值范围内严格优于 de Caen 的界？

主要发现

• 本文确立了 F(n,m) 作为 f(n,m) 的新上界，满足 F(n,m)−4m ≤ f(n,m) ≤ F(n,m)，其中 F(n,m) 以分段形式使用 (2m)^{3/2} 和 (n²−2m)^{3/2}+4mn−n³ 定义。
• 当 m ≥ n²/4 时，有 f(n,m) ≤ m√(8m+1)−m，且当 m 较大时，该界比 de Caen 的界 D(n,m) 更紧。
• 当 m < n²/4 时，有 f(n,m) ≤ (n²−2m)^{3/2}+4mn−n³，且当 n^{3/2} < m < binom(n,2)−n^{3/2} 时，该表达式严格小于 D(n,m)。
• 该上界 F(n,m) 是渐近紧致的，即当 n → ∞ 且 m 处于中心范围时，f(n,m) / F(n,m) → 1。
• 相较于 de Caen 的界，改进显著：当 m ≈ n²/4 且 n 较大时，D(n,m) > 1.06f(n,m)，而 F(n,m) 与真实值的差距在 O(m) 范围内。
• F(n,m) 比精确公式 f(n,m) = max{C(n,m), S(n,m)} 更为简洁，且无需为每个 m 值计算 r, q, s, t。