[論文レビュー] 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.

研究の動機と目的

• n 個の頂点と m 条の辺を持つグラフにおける次数の二乗和の最大値 f(n,m) に対する、単純かつ正確な上界の長年の必要性を解決すること。
• de Caen の上界は洗練されているが、ほとんどの n と m に対して漸近的に緩いため、それを改善すること。
• f(n,m) の真の挙動を m 全体の範囲にわたって捉える、統一的で漸近的に鋭い上界を提供すること。
• Ahlswede と Katona の正確だが複雑な公式と、de Caen の上界の単純さを調和させ、実用的な代替案を提供すること。

提案手法

• m ≥ n²/4 の場合に (2m)^{3/2} を、m < n²/4 の場合に (n²−2m)^{3/2}+4mn−n³ を用いる区分的関数 F(n,m) を提案する。
• Ahlswede と Katona が得た正確な公式から導かれる C(n,m) と S(n,m) の上限を用いて、不等式 f(n,m) ≤ F(n,m) を確立する。
• Bernoulli の不等式と次数列の極値構成の漸近的解析を用いて、下界 f(n,m) ≥ F(n,m)−4m を証明する。
• n^{3/2} < m < binom(n,2)−n^{3/2} の範囲の m に対して F(n,m) < D(n,m)（de Caen の上界）であることを示し、de Caen の上界を上回ることを示す。
• 対称性 f(n, binom(n,2)−m) = f(n,m)+4(n−1)m−n(n−1)^2 を用いて、m 範囲の半分から全範囲への境界の拡張を行う。
• 微分積分学と不等式（例：Bernoulli の不等式）を用いて、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) は漸近的に鋭い、つまり m が中央付近の範囲にあるとき n → ∞ で 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 の計算を避けることができる。