[論文レビュー] On Distance Spectral Radius and Distance Energy of Graphs

Bo Zhou, Aleksandar Ilić|arXiv (Cornell University)|Jan 23, 2011

Graph theory and applications参考文献 32被引用数 60

ひとこと要約

本稿は、一般および二部グラフを特に対象として、グラフの距離スペクトル半径および距離エネルギーに関する新たな下界と上界を確立する。特異的結果として、二部グラフにおける距離エネルギーの鋭い下界と、直径2のグラフに対して補グラフのエネルギーを含む新しい上界が得られる。スペクトルグラフ理論と行列解析を用いて、極値を達成するグラフを同定し、タイトな不等式を導出する。

ABSTRACT

For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graphs, and characterize the extremal graphs. We also discuss upper bounds for the distance energy.

研究の動機と目的

• 一般および二部グラフの距離スペクトル半径に関するタイトな下界および上界を導出すること。
• グラフの距離エネルギーに関する新たな下界を確立し、等号を達成する極値グラフを同定すること。
• 特に直径が2以下のグラフに対して、距離エネルギーの上界を調査すること。
• 距離エネルギーと補グラフのエネルギーとの関係を調査し、改善された上界を導出すること。
• 特に極値的グラフ構造に関連する距離エネルギーに関する既存の予想を、スペクトル行列解析を用いて確認または拡張すること。

提案手法

• Perron–Frobenius定理および固有値の入れ子の性質を用いて、距離行列の最大固有値（距離スペクトル半径）の境界を導出する。
• 行列分解を適用する：直径 ≤2 のグラフに対して、D(G) = J_n - I_n + A(Ḡ) が成り立ち、これにより補グラフの性質を用いてエネルギーの境界を得る。
• 変分法および極値グラフ論を用いて、導出された境界で等号を達成するグラフ（完全グラフや半正則二部グラフなど）を同定する。
• 特異値不等式（補題1）を用いて、距離行列の特異値の和を評価し、距離エネルギーの上界を導出する。
• 最大・最小次数、直径、部集合のサイズなどのグラフパラメータを用いて、構造的不変量の観点から境界を表現する。
• 既知の隣接行列のエネルギー境界（例：E(G) ≤ n(√n + 1)/2）を応用し、距離エネルギーの改善された上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 連結グラフおよび二部グラフの距離スペクトル半径に関する、最もタイトな下界および上界は何か？ また、どのグラフがそれらを達成するか？
• RQ2 連結グラフにおける距離エネルギーの最小値は何か？ どのグラフがその最小値を達成するか？
• RQ3 特に直径2のグラフにおいて、グラフの距離エネルギーとその補グラフのエネルギーの関係は何か？
• RQ4 完全グラフまたは半正則二部グラフが最小距離エネルギーを達成する条件は何か？
• RQ5 スペクトル行列解析を用いて、距離エネルギーに関する既存の予想を確認または拡張できるか？

主な発見

• 連結グラフにおいて、最大次数が Δ₁ および Δ₂ であるとき、ρ(G) ≥ √[(2n−2−Δ₁)(2n−2−Δ₂)] が成り立ち、等号が成り立つのは G が直径 ≤2 の正則グラフである場合に限る。
• 最小次数が δ₁ および δ₂ で直径が d である連結グラフに対して、ρ(G) ≤ √[(dn−d(d−1)/2−1−δ₁(d−1))(dn−d(d−1)/2−1−δ₂(d−1))] が成り立ち、特定の極値的条件下で等号が成立する。
• 連結二部グラフの距離エネルギーは、DE(G) ≥ 2(n−2+√(n²−3⌊n/2⌋⌈n/2⌉)) を満たし、等号が成り立つのは G ≅ K_{⌊n/2⌋,⌈n/2⌉} かつ n ≤ 4 の場合に限る。
• 連結二部グラフ K_{p,q} に対して、DE(G) ≥ 2(p+q−2+√(p²+q²−pq)) が成り立ち、等号が成り立つのは 3pq ≤ 4(n−1) の場合に限る。
• 直径 ≤2 で補グラフが連結である連結グラフ G に対して、DE(G)+DE(Ḡ) ≥ 6(n−1) が成り立ち、等号が成り立つのは G および Ḡ がともに正則で、直径が2かつ正の D-固有値がちょうど1つである場合に限る。
• DE(G) ≤ 2(n−1)+E(Ḡ) という改善された上界が得られ、n≥26 および n≥5 の星形グラフ K_{1,n−1} に対して、従来の境界よりもタイトである。