[論文レビュー] Maximum Inverse Sum Indeg Index of Trees and Unicyclic Graphs with Fixed Diameter

Sunilkumar M. Hosamani|arXiv (Cornell University)|Mar 11, 2026

Graph theory and applications被引用数 0

ひとこと要約

論文は、固定直径を持つ木と一点環グラフの最大ISI（逆総入次数）結合インシデント度指数を決定し、極値構造を特定し、グラフ変換による証明を提供する。

ABSTRACT

The bond incident degree (BID) index of a graph \(G\) is defined as \(\BID(G) = \sum_{u_1u_2\in E(G)} f(d(u_1), d(u_2))\), where \(f(x,y)=f(y,x)\) is a real-valued function. In this paper, using graph transformation methods, we establish the maximum bond incident degree indices of trees and unicyclic graphs with a fixed diameter for the inverse sum indeg (ISI) index. The ISI index corresponds to the function \(f(x,y) = \frac{xy}{x+y}\). We prove that for trees \(T \in \mathbb{T}_{n,d}\) with \(d \geq 3\) and \(n \geq d+3\), the maximum ISI index is attained by the tree \(T_{n,d}^*\). For unicyclic graphs, we characterize the extremal graphs for diameters \(d=2\), \(d=3\), and \(d \geq 4\). Specifically, the maximum ISI index is achieved by \(S_n^+\) for \(d=2\), by \(C_n^*\) for \(d=3\), and by \(\mathcal{U}_{n,d}\) for \(d \geq 4\).

研究の動機と目的

• 結合インシデント度（BID）指数の枠組み内でISI指数の研究動機を提示する。
• 固定直径を持つ木の最大ISIを達成する極値構造を特徴づける。
• 直径 d=2, d=3, および d≥4 の場合において、最大ISIを達成する一点環グラフを特徴づける。
• ISI 関数が極値性の十分条件フレームワークを満たすことを検証する（不等式の向きに注意）。
• 特定のグラフに対して閉形式の極値ISI表現を提供する。

提案手法

• 固定直径の下でBID指数を比較するためにグラフ変換法と十分条件フレームワークを採用する。
• 特別な木および一点環構築（例：T_{n,d}^i, T_{n,d}^*, S_n^+, C_n^*, U_{n,d}）を定義し、エッジ次数の寄与を用いてISIを分析する。
• Suの補題に基づくパスリフティング変換を用いて、特定の動作下でBID/ISIの改善を示す。
• ケース分析と潜在的に非極値構成に対する反証によって極値性を証明する。
• 候補となる極値グラフに対して、f(x,y)=xy/(x+y)を用いて具体的なISI値を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた n および直径 d（d≥3, n≥d+3）のとき、最大ISIを達成するT_{n,d}内の極値木は何か？
• RQ2 固定直径 d に対して、U_{n,d} のどの一点環グラフがISIを最大化するか、d=2, d=3, d≥4 で極値はどう依存するか？
• RQ3 ISIの極値グラフはBID指数の十分条件フレームワークと整合するか、ISI の場合不等式はどの方向に向けるべきか？
• RQ4 固定直径の下で特定された極値グラフの閉形式ISI値とは何か？

主な発見

• 直径 d≥3 かつ n≥d+3 の木について、最大ISIは T_{n,d}^{*} により達成される。
• 直径 d=2, 3, および ≥4 の一点環グラフの最大ISIグラフは、それぞれ S_n^+（d=2）、C_n^*（d=3）、および U_{n,d}（d≥4）である。
• これらの極値構造に対して具体的なISI表現を提供しており、例として ISI(T) ≤ ISI(T_{n,d}^{*})（特定の式を伴う）および ISI(S_n^{+})/ISI(C_n^{*})/ISI(U_{n,d}) が本文中で与えられている。
• ISI関数 f(x,y)=xy/(x+y) は解析に必要な単調性/凸性の性質を満たすが、一般のBIDフレームワークと比べて不等式の向きが一部逆になる。これにより、逆変換の下でも同じ極値グラフとなる。
• 固定直径の下で極値グラフが予測された構造と一致することを総合的に検証し、一次の分岐クラスに対して詳細なケース分析を行った。