[論文レビュー] Bounds For The Distance Estrada Index Of Graphs

Ş. Burcu Bozkurt, Durmuş Bozkurt|arXiv (Cornell University)|May 6, 2012

Graph theory and applications参考文献 6被引用数 4

ひとこと要約

本稿は、スペクトルグラフ理論および行列解析を用いて、連結グラフの距離エストラダ指数（DEE）の改善された下界および上界を確立する。距離固有値、距離エネルギー、構造的グラフ不変量に基づくより鋭い境界を導入し、特に再帰的距離次数列とAM-GM不等式を用いて得られる最良の下界は、P₄のようなグラフについて、従来の推定値を著しく改善する。

ABSTRACT

The D-eigenvalues μ_1,μ_2,...,μ_{n} of a connected graph G are the eigenvalues of its distance matrix. The distance Estrada index of G is defined in [15] as DEE=DEE(G)=Σ_{i=1}^n e^{μ_{i}} In this paper, we give better lower bounds for the distance Estrada index of any connected graph as well as some relations between DEE(G) and the distance energy.

研究の動機と目的

• 従来のものよりも鋭い連結グラフの距離エストラダ指数（DEE）の下界を導出すること。
• DEEと距離エネルギー $ E_D(G) $ の関係を調査し、スペクトル的グラフ不変量の理解を深めること。
• 特にパスや完全グラフのようなグラフについて、既存の境界を改善すること。
• 導出された境界で等号が成立する条件を確立し、極値グラフを特定すること。

提案手法

• 指数関数の級数展開を用いて、DEEを $ \sum_{k=0}^\infty \frac{N_k}{k!} $ として表現する。ここで $ N_k = \sum_{i=1}^n \mu_i^k $ である。
• 算術-幾何平均不等式を $ \sum_{i=1}^n e^{\mu_i} $ に適用し、$ \mu_1 $ と距離行列のべき乗のトレースを含む境界を導出する。
• 再帰的距離次数列 $ M_i^{(t)} $ を $ M_i^{(1)} = D_i^\alpha $ および $ M_i^{(t)} = \sum_j d_{ij} M_j^{(t-1)} $ で定義し、最大の $ D $-固有値 $ \mu_1 $ を評価する。
• 補題2.1を用いて $ \mu_1 \geq \sqrt{S_{t+1}/S_t} $ を導出する。ここで $ S_t = \sum_i (M_i^{(t)})^2 $ である。これによりDEEの新たな下界が得られる。
• 距離エネルギー $ E_D(G) = \sum_{i=1}^n |\mu_i| $ を用いて、DEEとスペクトルノルムの関係を確立し、$ e^x $ の凸性および単調性を応用する。
• すべての $ x $ に対して $ e^x \geq 1 + x $ および $ x > 0 $ に対して $ e^x \geq ex $ を適用し、正の $ D $-固有値の個数 $ n_+ $ を含む下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 従来のものよりも鋭い連結グラフの距離エストラダ指数（DEE）の下界は何か？
• RQ2 距離エストラダ指数は距離エネルギー $ E_D(G) $ とどのように関係しており、この関係からより良い境界が得られるか？
• RQ3 導出されたDEEの境界で等号が成立する条件は何か？ そして、どのようなグラフがこれらの条件を満たすか？
• RQ4 再帰的距離次数列 $ M_i^{(t)} $ は、最大の $ D $-固有値およびDEEを効果的に評価するために用いることができるか？

主な発見

• 本稿では新たな下界 $ DEE(G) \geq e^{\sqrt{S_{t+1}/S_t}} + \frac{n-1}{e^{\frac{1}{n-1}\sqrt{S_{t+1}/S_t}}} $ を確立し、従来の境界 $ \sqrt{n^2 + 4m} $ よりも鋭いものである。
• パスグラフ $ P_4 $ に対して、新しい境界（7）は $ DEE(P_4) \geq 175.069 $ を得るが、これは従来の境界 $ 5.291 $ よりも著しく改善されている。
• 第二の下界 $ DEE(G) \geq e^{2(n-1) - 2m/n} + e^{-(2(n-1) - 2m/n)} + n - 2 $ が導出され、等号は $ K_2 $ のみで成立する。
• 上界 $ DEE(G) \leq n - 1 + e^{E_D(G)/2} $ は、従来の境界 $ n - 1 + e^{\Delta \sqrt{n(n-1)}} $ よりも鋭い。
• 下界 $ \frac{1}{2}E_D(G)(e-1) + n - n_+ \leq DEE(G) $ が確立され、等号は $ K_1 $ のみで成立する。
• 本研究では、最良の性能を示す下界は（7）であると確認されたが、計算の観点から（14）はより実用的であるとされる。