[論文レビュー] On the general Sombor index of unicyclic graphs with a given diameter

HU Xi-peng, Lingping Zhong|arXiv (Cornell University)|Jul 31, 2022

Graph theory and applications被引用数 6

ひとこと要約

本稿では、直径 $d$ をもつ単一サイクルを持つグラフ $G$ に対して、$0 < \alpha < 1$ のときの一般化 Sombor 指数 $SO_\alpha(G)$ の鋭い上界を確立する。グラフ変換技術と凸性の議論を用いて、$SO_\alpha(G)$ を最大にする極値グラフが、特定の単一サイクルグラフ $U(n,d)$ であることを証明する。このグラフは中心のサイクルと、直径路に沿って最適に分布した懸垂頂点から構成される。結果として、Sombor 指数および忘れられた指数に関する先行研究が、より広範な一般化 Sombor 指数の枠組みへと一般化される。

ABSTRACT

The general Sombor index of $G$ is defined as $SO_α(G)= \sum_{uv\in G}\left(d^2_{G}(u)+d^2_{G}(v) ight)^α$. For $0&lt;α&lt;1$, we have the upper bound of $SO_α(G)$ on unicyclic graphs with a fixed diameter, and the extremal graph is also characterized.

研究の動機と目的

• 与えられた直径 $d$ および $0 < \alpha < 1$ のとき、単一サイクルグラフ $G$ における一般化 Sombor 指数 $SO_\alpha(G)$ の最大値を特定すること。
• 直径制約のもとでこの最大指数を達成する一意の極値単一サイクルグラフを同定すること。
• Sombor および忘れられた指数に関する先行結果を、より広範な一般化 Sombor 指数の枠組みへと一般化すること。
• グラフ変換および凸性解析を通じて、極値グラフの構造的性質を確立すること。

提案手法

• 一般化 Sombor 指数を $SO_\alpha(G) = \sum_{uv \in E(G)} \left(d_G^2(u) + d_G^2(v)\right)^\alpha$ ($0 < \alpha < 1$) として定義する。
• 頂点 $v$ から非懸垂成分を別の頂点 $u$ に移動させるグラフ変換 $G \xrightarrow{uv} G'$ を用い、この変換により指数が増加することを示す。
• 補題 1 を用いて、凸性 $x \mapsto (x^2 + y^2)^\alpha$ の性質により、頂点次数の増加が指数項を増加させることを示す。
• 補題 3, 4, 5 を活用し、構造的変更における指数差の単調性を証明することで、変換が $SO_\alpha(G)$ を増加させることを保証する。
• $n$ に関する帰納法と直径路およびサイクルの構造的解析を用い、任意の極値グラフを標準形 $U(n,d)$ に還元する。
• 不等式 $18^\alpha - 13^\alpha + 5^\alpha - 10^\alpha < 0$ や $0 < \alpha < 1$ の場合の類似表現を用いて、$U(n,d)$ でないグラフが極値でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 $0 < \alpha < 1$ のとき、すべての $n$ 項の単一サイクルグラフで直径 $d$ をもつものについて、一般化 Sombor 指数 $SO_\alpha(G)$ の最大値は何か？
• RQ2 固定された直径制約のもとで、どの単一サイクルグラフ構造がこの最大指数を達成するか？
• RQ3 次数の再配分を伴うグラフ変換は、一般化 Sombor 指数にどのように影響するか？
• RQ4 頂点次数の再配分によるグラフ $G$ から $G'$ への移行において、一般化 Sombor 指数がどのように増加するかの条件は何か？
• RQ5 極値グラフは、中心のサイクルと直径路に沿って配置された懸垂頂点をもつ特定の単一サイクルグラフ $U(n,d)$ として一意に特徴付けられるか？

主な発見

• $n$ 項の単一サイクルグラフで直径 $d$ をもつものについて、一般化 Sombor 指数 $SO_\alpha(G)$ の最大値は、中心のサイクル長が $d$ で直径路の端点に懸垂頂点が接続されたグラフ $U(n,d)$ によって一意に達成される。
• $n = d+2$ かつ $d \geq 4$ の場合、極値グラフは $U(d+2,d)$ であり、$SO_\alpha(G) \leq SO_\alpha(U(d+2,d))$ が成り立ち、等号成立は $G \cong U(d+2,d)$ のときに限る。
• $d_G(u) \geq 2$, $d_G(v) \geq 2$, かつ $v$ が懸垂頂点にされる場合、変換 $G \xrightarrow{uv} G'$ は、$0 < \alpha < 1$ のとき関数 $x \mapsto (x^2 + y^2)^\alpha$ の凸性により $SO_\alpha(G)$ を厳密に増加させる。
• 重要なケース（例：$2 \cdot 8^\alpha - 10^\alpha - 18^\alpha < 0$）において、差 $SO_\alpha(G) - SO_\alpha(G')$ は負であるため、$U(n,d)$ でないグラフが極値でないことが証明される。
• $x > 0$ および $0 < \alpha < 1$ のとき、関数 $f(x) = (x^2 + 9)^\alpha - (x^2 + 4)^\alpha$ は単調減少である。これは証明における単調性の議論を支持する。
• 帰納法と構造的還元を用いることで、任意の極値グラフ $G^*$ は $U(n,d)$ と同型でなければならない。なぜなら、任意の逸脱は変換による指数増加により矛盾を引き起こすからである。