[論文レビュー] The Maximal Matching Energy of Tricyclic Graphs

Lin Chen, Yongtang Shi|arXiv (Cornell University)|Sep 6, 2014

Graph theory and applications参考文献 16被引用数 64

ひとこと要約

本稿では、クーロン型積分公式を用いてマッチング多項式の根を分析することで、最大マッチングエネルギーを有する三環グラフを特定している。$ n \geq 14 $ のすべての三環グラフにおいて、共通の頂点に3つのサイクルを接続して得られるグラフ（「三角ブック」グラフと呼ばれる）が最大マッチングエネルギーを達成することを示している。この結果は漸近的解析とマッチングエネルギーの積分表現の数値的検証によって確立されている。

ABSTRACT

Gutman and Wagner proposed the concept of the matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. Gutman and Cvetkoić determined the tricyclic graphs on $n$ vertices with maximal number of matchings by a computer search for small values of $n$ and by an induction argument for the rest. Based on this result, in this paper, we characterize the graphs with the maximal value of matching energy among all tricyclic graphs, and completely determine the tricyclic graphs with the maximal matching energy. We prove our result by using Coulson-type integral formula of matching energy, which is similar as the method to comparing the energies of two quasi-order incomparable graphs.

研究の動機と目的

• 順序 $ n $ の三環グラフの中でマッチングエネルギー（ME）が最大となるものを特定すること。
• 従来の三環グラフにおける最大マッチングに関する結果を、エネルギーに基づくマッチングエネルギー測度へと拡張すること。
• 解析的および計算的手法を用いて、最大MEに達する三環グラフの完全な特徴付けを確立すること。
• マッチングエネルギーにおいて比較不能なグラフを比較する問題を、積分公式と単調性の議論を活用して解決すること。

提案手法

• マッチングエネルギーに適したクーロン型積分公式を用いる：$ ME(G) = \frac{2}{\pi} \int_0^\infty \frac{1}{x^2} \ln\left(\sum_{k \geq 0} m(G,k) x^{2k}\right) dx $。
• $ k $-マッチング数に基づく準順序関係 $ \succeq $ を導入し、$ G_1 \succeq G_2 $ ならば $ ME(G_1) \geq ME(G_2) $ が成り立つようにする。
• 大きな $ n $ における被積分関数の漸近的挙動を分析し、生成関数の対数比が単調に減少することを示す。
• 奇数および偶数の $ n $ についてのケース解析を実施し、複素解析と係数の符号解析を用いて積分を比較する。
• 小規模なケース（$ n = 15 $）についてコンピュータ支援の数値的積分とMEの評価を実施し、不等式 $ ME(G_1^{(n)}) < ME(G_2^{(n)}) $ の妥当性を検証する。
• 不等式 $ \ln(1+z) < z $（$ z > -1 $）を用いて対数被積分関数を評価し、MEの厳密な減少を証明する。

実験結果

リサーチクエスチョン

• RQ1 順序 $ n $ の三環グラフの中で、マッチングエネルギーを最大にするのはどれか？
• RQ2 マッチング数 $ m(G_1,k) \not\geq m(G_2,k) $ がすべての $ k $ に対して成り立たない場合、$ m $-順序において比較不能なグラフどうしをどのように比較できるか？
• RQ3 マッチング列が比較不能なグラフのマッチングエネルギーを比較するために、クーロン型積分公式を用いることができるか？
• RQ4 大きな $ n $ におけるマッチングエネルギー積分の漸近的挙動は何か？ そして、それが最大MEを達成するグラフをどのように特定するのか？

主な発見

• 共通の頂点に3つのサイクルを接続して得られる三環グラフ $ G_1^{(n)} $（「三角ブック」とも呼ばれる）は、すべての $ n \geq 14 $ において、$ G_2^{(n)} $ よりも厳密に小さいマッチングエネルギーを持つ。
• $ n \geq 14 $ の場合、中心頂点の次数が3である「三角ブック」グラフである $ G_2^{(n)} $ は、すべての順序 $ n $ の三環グラフの中で最大マッチングエネルギーを達成する。
• $ n = 15 $ における数値的評価で、$ ME(G_1^{(15)}) = 20.0728 $ および $ ME(G_2^{(15)}) = 20.1086 $ が得られ、厳密な不等式が裏付けられた。
• マッチングエネルギー積分の被積分関数は $ n $ に関して単調に減少するため、$ n \geq 14 $ に対してエネルギー差が常に負のまま保たれる。
• 奇数および偶数の $ n $ について、それぞれ $ i^n $ の符号と多項式展開における係数の符号に基づく別個のケース解析を用いて、証明が成立する。
• 漸近的解析と対数積分の評価に基づき、$ n \geq 14 $ に対して $ ME(G_1^{(n)}) < ME(G_2^{(n)}) $ が成り立つことが確認された。