[論文レビュー] Degree powers in graphs with forbidden even cycle

Vladimir Nikiforov|ArXiv.org|Mar 31, 2009

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

ひとこと要約

この論文は、偶数長のサイクル $ C_{2k+2} $ を含まないグラフにおける頂点次数の $ p $ 乗和の最大値について、CaroとYusterの予想を解決する。長さの長いパスが存在するための新規十分条件を用いて、この最大和は漸近的に $ kn^p(1 + o(1)) $ であることを証明し、次数列解析とスペクトルグラフ理論の手法により、タイトな上界を確立する。

ABSTRACT

We prove a conjecture of Yuster and Caro about the sum of the p-powers of the degrees of a graph of order n without a specified even cycle. Our proof is based on a new sufficient condition for long paths, that may be useful in other applications as well.

研究の動機と目的

• 偶数サイクル $ C_{2k+2} $ を含まないグラフにおける頂点次数の $ p $ 乗和の最大値について、CaroとYusterの予想を解決すること。
• $ C_{2k+2} $-自由グラフの位数 $ n $ に対して、$ extstyleigsum_{u otin V(G)} d^p(u) $ の漸近的タイトな上界を確立すること。
• 与えられた頂点集合に両端点を持つ長いパスの存在に関する新しい十分条件を構築・適用し、これが証明の中心的役割を果たすこと。
• $ C_{2k+2} $-自由グラフの構造を制限するスペクトル的および次数的不等式を導出し、主結果に至ること。
• すべての $ p o ext{infty} $ に対して適用可能な洗練された一般化された上界を提供すること。

提案手法

• 頂点集合 $ A $ と $ B $ に分割されたグラフにおける長さの長いパスの存在に関する新しい十分条件（補題1）を導入。この条件は、$ A $ に接続する辺の数と、$ A $ と $ B $ 間の辺の数に基づく。
• 頂点 $ u $ の近傍を用いて、$ G - u $ を $ A = ext{u の近傍} $ と $ B = ext{非近傍} $ に分割し、$ A $-パスが長さ $ 2k+1 $ であるのを回避する。
• このようなパスが存在しないことから、$ u $ の近傍の次数の和に関する不等式を導出し、$ extstyleigsum_{v otin ext{N}(u)} d(v) ext{ が } kd(u) + k(n-1) $ で抑えられることを示す。
• すべての頂点 $ u $ について和をとることで、二重和を $ extstyleigsum_{v} d^2(v) $ に変換し、AM-QM不等式を適用して辺数の上界を導出する。
• 辺数の上界 $ m = O(n^{3/2}) $ を用いて、$ p o ext{infty} $ の場合の高次乗への一般化を図り、$ extstyleigsum d^p(u) ext{ が } kn^p + O(n^{p-1/2}) $ で抑えられることを示す。
• スペクトルグラフ理論を用いて、隣接行列の最大固有値 $ u $ に対する上界 $ u^2 - k u ext{ が } k(n-1) $ で抑えられることを導出し、主結果を支持する。

実験結果

リサーチクエスチョン

• RQ1 位数 $ n $ のグラフがサイクル $ C_{2k+2} $ を含まないとき、$ extstyleigsum_{u otin V(G)} d^p(u) $ の最大値は何か？
• RQ2 グラフにおける長さの長いパスの存在に関する新しい十分条件が、$ C_{2k+2} $-自由グラフにおける次数のべき乗和のタイトな上界を導くのに使えるか？
• RQ3 すべての $ p o ext{infty} $ に対して、$ extstyleigsum d^p(u) = kn^p(1 + o(1)) $ という予想は $ C_{2k+2} $-自由グラフで成り立つか？
• RQ4 次数列とスペクトル的性質は、$ 2k+2 $ 本の偶数長サイクルを含まないグラフの構造にどのように制限を加えるか？
• RQ5 次数の二乗和に関する上界を、組合せ的およびスペクトル的手法を用いて高次乗に拡張できるか？

主な発見

• $ C_{2k+2} $-自由グラフの位数 $ n $ における頂点次数の $ p $ 乗和の最大値は漸近的に $ kn^p(1 + o(1)) $ であり、Caro-Yusterの予想が正当化される。
• $ p = 2 $ の場合、和 $ extstyleigsum d^2(u) $ は $ 2km + k(n-1)n $ で抑えられ、これは低次の項を除いてタイトである。
• $ C_{2k+2} $-自由グラフにおける辺数 $ m $ は、$ m = O(n^{3/2}) $ を満たし、これは二乗和の上界とAM-QM不等式から導出される。
• すべての $ p o ext{infty} $ に対して、$ extstyleigsum d^p(u) ext{ が } kn^p + O(n^{p-1/2}) $ で抑えられることを示し、次数の $ p $ 乗和が $ kn^p $ のまわりにきわめて集中していることを示す。
• $ C_{2k+2} $-自由グラフにおける隣接行列の最大固有値 $ u $ に対して、$ u^2 - k u ext{ が } k(n-1) $ で抑えられることを示し、主結果を支持する。
• 新規のパス存在補題（補題1）は、偶数長サイクルを含まない極値グラフを分析する強力なツールを提供し、他の極値グラフ理論の問題への応用も可能である可能性がある。