The Zagreb index, which is defined as the sum of squares of degrees of the nodes of a tree, was studied in previous works by martingale techniques for random non-plane recursive trees and classes of random trees which are close to random plane recursive trees. These techniques are not easily amended to the generalized Zagreb index, which is defined similar but with squares replaced by higher powers. In this paper, we use the moment transfer approach to (i) obtain the first-order asymptotics of moments and to (ii) prove limit laws for the (suitable normalized) generalized Zagreb index for random non-plane and plane recursive trees; for the former, we show that for all higher powers the limit law is normal, for the latter, we show for cubes and fourth powers that its a non-normal law.
論文ID : 2510.10569タイトル : The Generalized Zagreb Index for Non-Plane and Plane Recursive Trees著者 : Qunqiang Feng(中国科学技術大学)、Michael Fuchs(国立政治大学)、Tsan-Cheng Yu(輔仁カトリック大学)分類 : math.PR(確率論)、math.CO(組合論)発表日 : 2025年10月14日(arXiv プレプリント)論文リンク : https://arxiv.org/abs/2510.10569 ザグレブ指数は木のすべてのノードの次数の二乗和として定義される。先行研究ではマルチンゲール技法を用いてランダム非平面再帰木および近似ランダム平面再帰木を研究してきた。これらの技法は、二乗をより高い累乗に置き換えた一般化ザグレブ指数に直接適用することが困難である。本論文は矩伝播法を採用して以下を実現する:(i) 矩の一次漸近性を得る、(ii) ランダム非平面および平面再帰木の(適切に正規化された)一般化ザグレブ指数の極限法則を証明する。前者については、すべての高次累乗に対して極限法則が正規分布であることを証明し、後者については、3次および4次累乗に対して極限法則が非正規分布であることを証明する。
ザグレブ指数の重要性 :ザグレブ指数は化学グラフ理論で最も広く研究されている位相指数の一つであり、1970年代にGutmanとTrinajstićによって導入された。化合物の物理化学的性質の予測に広く用いられ、定量的構造-性質関係(QSPR)および定量的構造-活性関係(QSAR)研究において重要な応用がある。一般化ザグレブ指数 :グラフG=(V,E)に対して、k次一般化ザグレブ指数は以下のように定義される:
Z G ( k ) = ∑ v ∈ V D v k = ∑ u v ∈ E ( D u k − 1 + D v k − 1 ) Z_G^{(k)} = \sum_{v \in V} D_v^k = \sum_{uv \in E} (D_u^{k-1} + D_v^{k-1}) Z G ( k ) = ∑ v ∈ V D v k = ∑ uv ∈ E ( D u k − 1 + D v k − 1 )
ここでD v D_v D v は頂点vの次数を表す。k=2の場合は第一ザグレブ指数に対応し、k=3の場合は忘却位相指数と呼ばれる。既存手法の限界 :第一ザグレブ指数(k=2)に関する先行研究は主にマルチンゲール技法とStein法を使用 これらの技法は一般的なk値への拡張が困難 一般化ザグレブ指数を扱うための新しい手法が必要 研究対象 :ランダム非平面再帰木:子ノードが無順序 ランダム平面再帰木:子ノードが左右の順序を持つ 方法の革新 :一般化ザグレブ指数の分析に矩伝播法を初めて適用し、従来のマルチンゲール技法の限界を克服理論的結果 :ランダム非平面再帰木について:すべてのk≥2に対して、適切に正規化された一般化ザグレブ指数が標準正規分布に収束することを証明 ランダム平面再帰木について:k=3,4の場合に非正規分布に収束することを証明 漸近分析 :すべての次数の矩の一次漸近表現を得て、これらの指数の統計的性質を理解するための完全な理論的枠組みを提供統一的枠組み :異なる累乗kを扱うための統一的方法を提供し、既存理論を拡張ランダム再帰木における一般化ザグレブ指数Z n ( k ) = ∑ v D v k Z_n^{(k)} = \sum_{v} D_v^k Z n ( k ) = ∑ v D v k の漸近的挙動を研究する。ここで:
入力:サイズnのランダム再帰木 出力:一般化ザグレブ指数の極限分布 制約:極限分布が存在するための適切な正規化が必要 サイズnのランダム再帰木に対して、一般化ザグレブ指数は以下の再帰関係を満たす:
Z n ( k ) = d Z I n ( k ) + Z ~ n − I n ( k ) − R I n k + ( R I n + 1 ) k − R ~ n − I n k + ( R ~ n − I n + 1 ) k Z_n^{(k)} \stackrel{d}{=} Z_{I_n}^{(k)} + \tilde{Z}_{n-I_n}^{(k)} - R_{I_n}^k + (R_{I_n}+1)^k - \tilde{R}_{n-I_n}^k + (\tilde{R}_{n-I_n}+1)^k Z n ( k ) = d Z I n ( k ) + Z ~ n − I n ( k ) − R I n k + ( R I n + 1 ) k − R ~ n − I n k + ( R ~ n − I n + 1 ) k
ここでI n I_n I n は根の最左部分木のサイズ、R n R_n R n は根の次数である。
すべての中心矩は以下の形式の再帰方程式を満たす:
a n = ∑ j = 1 n − 1 π n , j ( a j + a n − j ) + b n a_n = \sum_{j=1}^{n-1} \pi_{n,j}(a_j + a_{n-j}) + b_n a n = ∑ j = 1 n − 1 π n , j ( a j + a n − j ) + b n
ここでπ n , j = P ( I n = j ) \pi_{n,j} = P(I_n = j) π n , j = P ( I n = j ) 、b n b_n b n は低次の矩を含む関数である。
確立された漸近伝播補題を利用して、b n b_n b n の漸近性からa n a_n a n の漸近性を導く:
非平面再帰木 (補題2.5-2.6):
b n = O ^ ( n α ) b_n = \hat{O}(n^α) b n = O ^ ( n α ) かつ0 ≤ α < 1 0 ≤ α < 1 0 ≤ α < 1 ならば、a n = μ n + O ^ ( n α ) a_n = μn + \hat{O}(n^α) a n = μ n + O ^ ( n α ) b n ∼ c n α b_n \sim cn^α b n ∼ c n α かつα > 1 α > 1 α > 1 ならば、a n ∼ c ( α + 1 ) n α / ( α − 1 ) a_n \sim c(α+1)n^α/(α-1) a n ∼ c ( α + 1 ) n α / ( α − 1 ) 平面再帰木 (補題2.8-2.9):
b n ∼ c n b_n \sim c\sqrt{n} b n ∼ c n ならば、a n ∼ c n log n / π a_n \sim cn\log n/\sqrt{π} a n ∼ c n log n / π b n ∼ c n α b_n \sim cn^α b n ∼ c n α かつα > 1 / 2 α > 1/2 α > 1/2 ならば、a n ∼ c Γ ( α − 1 / 2 ) n α + 1 / 2 / Γ ( α ) a_n \sim c\Gamma(α-1/2)n^{α+1/2}/\Gamma(α) a n ∼ c Γ ( α − 1/2 ) n α + 1/2 /Γ ( α ) 混合矩分析 :再帰関係が根の次数R n R_n R n を含むため、Z n ( k ) Z_n^{(k)} Z n ( k ) とR n R_n R n の混合矩を同時に分析する必要がある帰納法による証明戦略 :( r , s ) (r,s) ( r , s ) に対して辞書式順序で帰納法を使用。ここでr r r はZ n Z_n Z n の累乗、s s s はR n R_n R n の累乗異なる正規化 :非平面木:( Z n ( k ) − μ k n ) / ( σ k n ) (Z_n^{(k)} - μ_k n)/(σ_k\sqrt{n}) ( Z n ( k ) − μ k n ) / ( σ k n ) 平面木:Z n ( k ) / n k / 2 Z_n^{(k)}/n^{k/2} Z n ( k ) / n k /2 本論文は主に理論分析であり、数値実験は含まない。分析の枠組みは以下を含む:
確率モデル :非平面再帰木:I n I_n I n は{ 1 , . . . , n − 1 } \{1,...,n-1\} { 1 , ... , n − 1 } 上に均一分布 平面再帰木:P ( I n = j ) = 2 ( n − j ) C j C n − j n C n P(I_n = j) = \frac{2(n-j)C_jC_{n-j}}{nC_n} P ( I n = j ) = n C n 2 ( n − j ) C j C n − j 矩計算 :再帰関係を通じて各次数の矩の漸近表現を計算極限定理の検証 :矩法を使用して収束性を証明k=2の場合、論文は精密な計算を提供:
非平面木:μ 2 = 6 μ_2 = 6 μ 2 = 6 平面木:E ( Z n ( 2 ) ) = 2 n log n + ( 4 log 2 + 2 γ − 2 ) n + O ( n ) E(Z_n^{(2)}) = 2n\log n + (4\log 2 + 2γ - 2)n + O(\sqrt{n}) E ( Z n ( 2 ) ) = 2 n log n + ( 4 log 2 + 2 γ − 2 ) n + O ( n ) すべてのk≥2に対して:
Z n ( k ) − μ k n σ k n → d N ( 0 , 1 ) \frac{Z_n^{(k)} - μ_k n}{σ_k\sqrt{n}} \stackrel{d}{\rightarrow} N(0,1) σ k n Z n ( k ) − μ k n → d N ( 0 , 1 )
ここでμ k , σ k > 0 μ_k, σ_k > 0 μ k , σ k > 0 は明確な定数である。
k=3またはk=4に対して:
Z n ( k ) n k / 2 → d Z ( k ) \frac{Z_n^{(k)}}{n^{k/2}} \stackrel{d}{\rightarrow} Z^{(k)} n k /2 Z n ( k ) → d Z ( k )
ここでZ ( k ) Z^{(k)} Z ( k ) は矩列によって一意に決定される非正規分布の確率変数である。
矩の漸近的挙動 :
非平面木:E ( Z ˉ n r ) ∼ g r σ k r n r / 2 E(\bar{Z}_n^r) \sim g_r σ_k^r n^{r/2} E ( Z ˉ n r ) ∼ g r σ k r n r /2 。ここでg r g_r g r は標準正規分布の矩 平面木:E ( Z n r R n s ) ∼ g r , s n ( k r + s ) / 2 E(Z_n^r R_n^s) \sim g_{r,s} n^{(kr+s)/2} E ( Z n r R n s ) ∼ g r , s n ( k r + s ) /2 収束条件 :
k=3,4の場合、矩列はCarleman条件を満たし、分布の一意性を保証 k≥5の場合、矩の増長が速すぎて矩法が適用不可 相転移現象 :非平面木と平面木は完全に異なる極限挙動を示す累乗効果 :kの値は正規化方法と極限分布の種類に大きく影響方法の限界 :矩伝播法はk≥5の場合に適用不可ザグレブ指数研究 :Gutman & Trinajstić(1972):ザグレブ指数の初期導入 QSPR/QSAR研究への広範な応用 極値問題と界の研究 ランダム木上の位相指数 :Feng & Hu(2011, 2013):マルチンゲール技法を用いた第一ザグレブ指数の研究 Zhang(2020):平面再帰木の関連研究 Erdős-Rényi ランダムグラフ上の研究 矩伝播法 :Neininger & Hwang(2002):基本的枠組みの確立 Hwang(2006):平面再帰木への応用 Chen & Fuchs(2011):方法の改善 方法の革新 :一般化ザグレブ指数に矩伝播法を初めて適用結果の完全性 :すべての実行可能なk値をカバー理論的深さ :完全な漸近分析の枠組みを提供方法の有効性 :矩伝播法はマルチンゲール技法が処理できない一般化ザグレブ指数の問題を成功裏に解決分布の相違 :非平面再帰木:すべてのk≥2が正規分布に収束 平面再帰木:k≥3が非正規分布に収束 理論的完全性 :k=3,4に対して完全な極限理論を提供方法の制限 :平面再帰木に対してk≥5の場合、矩法が失効 k=2は特別な処理が必要 技術的課題 :混合矩の分析が複雑 漸近伝播結果の応用には精密な誤差制御が必要 適用範囲 :再帰木モデルのみに適用可能 他のランダム木モデルには異なる伝播結果が必要 方法の拡張 :k≥5の場合を処理する新しい方法の探索 他のランダム木モデルへの拡張 応用研究 :化学グラフ理論における実際の応用 他の位相指数との関係 理論的貢献 :重要な未解決問題を解決 新しい分析ツールと枠組みを提供 結果は強い理論的価値を持つ 方法の革新 :矩伝播法を新しい問題に巧妙に適用 混合矩を扱う技術は一般性を持つ 分析の深さ :執筆の質 :構造が明確で論理が厳密 技術的詳細が完全 関連研究の整理が包括的 実用性の制限 :純粋な理論研究で数値検証が欠如 実際の応用との関連性が不十分 方法の限界 :特定のパラメータ範囲に対応不可 特定の再帰木モデルに依存 結果の提示 :学術的貢献 :確率論と組合論の交差研究に新しいツールを提供 他の位相指数の研究を刺激する可能性 方法の価値 :理論的意義 :ランダム木理論を豊かにする 位相指数の漸近的性質の理解を深める 理論研究 :確率論、組合論、グラフ理論研究方法論 :他のパラメータの漸近分析に参考を提供応用背景 :化学グラフ理論、ネットワーク分析における位相指数研究論文は25篇の重要な文献を引用し、ザグレブ指数、ランダム木、矩伝播法など関連分野の核心的な研究をカバーし、研究に堅実な理論的基礎を提供している。
総合評価 :これは高品質の理論論文であり、ランダム再帰木上の一般化ザグレブ指数の漸近分析問題を成功裏に解決している。方法の革新性が強く、結果は完全で深く、関連分野に重要な理論的価値を持つ。実用性の面で不足があるが、その理論的貢献と方法論的意義により、この分野の重要な進展となっている。