제한 차수 트리의 일반 자그레브·란디시 지수 비대칭성 및 평균값 분석

초록

본 논문은 차수가 Δ(≥3) 이하로 제한된 n개의 정점으로 이루어진 무향 트리 집합 𝒯⁽Δ⁾ₙ을 균등 확률공간으로 두고, 정점 차수 j의 개수와 (i, j)형 간선 개수가 각각 평균 μⱼ·n, μᵢⱼ·n, 분산 σⱼ·n, σᵢⱼ·n을 갖는 정규분포에 수렴함을 보인다. 이를 기반으로 일반 자그레브 지수 D_α와 일반 란디시 지수 R_β의 거의 모든 트리에서의 값이 Θ(n)이며 상수계수는 차수 분포의 평균값에 의해 결정된다는 결론을 얻는다.

상세 분석

논문은 먼저 Otter의 트리 열거식 t(x)≈c₁+c₂√(x₀−x)+… 를 이용해 |𝒯⁽Δ⁾ₙ|≈τ·x₀⁻ⁿ·n^{-5/2} 형태의 비대칭적 성장률을 확보한다. 이후 식생(plant) 트리와 뿌리 트리의 생성함수 p(x), r(x) 를 도입하고, 차수 j인 정점의 개수를 표시하는 이변량 생성함수 p(x,u) 를 구성한다. 핵심은 Drmota‑Otter‑Chyzak의 복합함수 정리(Lemma 1)를 적용해 시스템 y=F(x,y,u) 가 강연결 의존 그래프를 가질 때, 해 y_i(x,u) 가 형태 g_i−h_i·(1−x/f(u))^{-1} 로 전개됨을 보이는 것이다. 여기서 f(u)는 특이점 위치를 결정하고, f′(1)·f(1)⁻¹ 가 평균 μ를, 두 번째 미분이 분산 σ를 제공한다. 이 과정을 차수 j에 대해 반복하면 X_n(정점 차수 j) 가 (μⱼ+o(1))n 평균·분산·정규분포임을 증명한다.

그 다음, (i,j)형 간선 개수에 대한 생성함수 t(x,u) 를 정의하고, Otter의 관계 t(x)=r(x)−½p(x)²+½p(x²) 를 확장한다. 여기서는 t(x,u) 의 계수가 반드시 비음이 아니므로 Lemma 1 직접 적용이 어려워, 대신 Lemma 2(대칭 간선 개념)와 전이 레마를 이용해 t(x,u) 를 g(x,u)−h(x,u)(1−x/f(u))^{3/2} 형태로 변환한다. 이때 h(f(1),1)≠0 임을 확인함으로써 Proposition 1을 적용, X_n(간선 (i,j)) 가 평균 μᵢⱼ·n, 분산 σᵢⱼ·n을 갖는 정규분포에 수렴함을 약하게 주장한다(정규성 증명은 미완).

마지막으로 일반 자그레브 지수 D_α=∑ d_v^α 와 일반 란디시 지수 R_β=∑ (d_u d_v)^β 를 차수 분포 평균 μⱼ 를 이용해 D_α≈(∑ j^α μⱼ) n, R_β≈(∑_{i≤j} (i j)^β μᵢⱼ) n 로 근사한다. 차수가 Δ 로 제한되므로 상수 d_α, r_β 가 존재하고, 거의 모든 트리에서 이 값이 Θ(n) 임을 결론짓는다.

핵심 기여는 (1) 제한 차수 트리에서 정점 차수와 (i,j)형 간선 수가 정규분포에 수렴한다는 엄밀한 증명, (2) 이러한 통계량을 이용해 일반 자그레브·란디시 지수의 선형 성장률을 구한 점이다. 한계로는 (i,j)형 간선의 정규성 증명이 완전하지 않으며, 상수 μⱼ, μᵢⱼ 를 구체적으로 계산하지 않아 실제 수치 예시가 부족한 점이 있다. 향후 연구에서는 이러한 상수를 정확히 추정하고, 더 일반적인 그래프 클래스(예: 평면 트리, 라벨 트리)로 확장하는 것이 기대된다.