[論文レビュー] Hypoenergetic and strongly hypoenergetic trees

Xueliang Li, Hongping Ma|ArXiv.org|May 25, 2009

Graph theory and applications参考文献 9被引用数 10

ひとこと要約

この論文は、最大次数 Δ を持つ次数 n の低エネルギー木および強く低エネルギー木の存在を完全に特徴づけ、Δ ≥ 4 の場合、すべての n ≥ Δ+1 に対して低エネルギー木が存在することを証明している。また、n に関する特定の合同条件を満たす場合に強く低エネルギー木が存在する。Δ = 4 かつ n ≡ 2 (mod 4) の場合、すべての n > 2 に対して低エネルギー木が存在するという予想は、結合とエネルギーの上限を用いて肯定的に解決された。

ABSTRACT

The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of the eigenvalues of $G$. An $n$-vertex graph is said to be hypoenergetic if $E(G)

研究の動機と目的

• 最大次数 Δ = 4 かつ n ≡ 2 (mod 4)、n > 2 の場合に、低エネルギー木がすべての n に対して存在するという未解決の予想を解決すること。
• 任意の n と Δ に対して、低エネルギー木および強く低エネルギー木の存在を完全に特徴づけること。
• Δ = 4 および Δ = 5 の場合、および Δ ≥ 6 の場合に、強く低エネルギー木が存在するための必要十分条件を確立すること。
• 木の結合とエネルギーの上限を用いた構成的技法を提示し、このような木を生成すること。
• Δ ≤ 3 の場合の低エネルギー木に関する以前の不完全な証明を修正・補完すること。

提案手法

• エネルギーを保存または減少させるように木を結合するグラフ結合操作 G ∘ H を用い、Theorem 1.4 が結合グラフのエネルギーを個々のエネルギーの和で上から抑えられることを活用した。
• Lemma 2.1 からのエネルギー上界 E(G) ≤ √(2m(n - n₀)) を適用し、m を辺数、n₀ をノルティとすると、特定の木の構成におけるエネルギーを推定した。
• Heuberger と Wagner (2007) が導入した最小エネルギー木 T_{n,d}^* を用い、最大次数 d+1 が制限された木の族 𝒯_{n,d} においてエネルギーを最小化する唯一の木であることを活用し、強く低エネルギー木を構成した。
• n を基数 d で展開した表現を用いて、T_{n,d}^* を体系的に構成し、Δ = d+1 を保証した。
• 既知の小さな低エネルギー木および強く低エネルギー木（例：T_{11}、T_{20,3}^*）と 5 頂点の星 S_5 を結合により合成し、より大きな例を生成した。エネルギーの下位加法性が結合の下で成り立つことを利用した。
• 表 2 からの直接計算により、小さな n に対して存在を検証し、帰納的結合を用いて無限族へと結果を拡張した。

実験結果

リサーチクエスチョン

• RQ1 Δ = 4 かつ n ≡ 2 (mod 4)、n > 2 の場合に、すべての such n に対して低エネルギー木が存在するか？
• RQ2 どのような n と Δ の値に対して、強く低エネルギー木が存在するか？
• RQ3 Gutman らの予想（Δ = 4 かつ n ≡ 2 (mod 4)）は、構成的技法を用いて証明可能か？
• RQ4 Δ = 4 または Δ = 5 の場合に、強く低エネルギー木が存在するための正確な n と Δ の条件は何か？
• RQ5 エネルギーの上限と結合をどのように用いて、強く低エネルギー木を体系的に生成できるか？

主な発見

• Δ = 4 かつ n ≡ 2 (mod 4)、n > 2 のすべての n に対して低エネルギー木が存在するという予想は、6 頂点の低エネルギー木とより大きな強く低エネルギー木との結合により、肯定的に証明された。
• Δ ≥ 4 の場合、すべての n ≥ Δ + 1 に対して低エネルギー木が存在し、これにより先行研究が拡張され、特徴づけが完全化された。
• Δ = 4 の場合、強く低エネルギー木が存在するのは n = 9, 13, 17, 20, 21 または n ≥ 23 の場合に限る。n ≡ 0 (mod 4) かつ n ≥ 20、n ≡ 2 (mod 4) かつ n ≥ 26、n ≡ 3 (mod 4) かつ n ≥ 23 の場合に存在が確認された。
• Δ = 5 の場合、強く低エネルギー木は n = 6 およびすべての n ≥ 9 に対して存在するが、n = 7 または 8 の場合は存在しない。
• Δ ≥ 6 の場合、強く低エネルギー木はすべての n ≥ Δ + 1 に対して存在する。
• n 頂点で最大次数 Δ ≤ 4 の木の中でエネルギーを最小化する木 T_{n,3}^* は、n = 20, 23, 26 の場合に強く低エネルギー木である。S_5 との結合により、より大きな n に対してもさらに多くの例が生成された。