[論文レビュー] The metric dimension of critical Galton-Watson trees and linear preferential attachment trees

Júlia Komjáthy, Gergely Ódor|arXiv (Cornell University)|Feb 19, 2020

Graph Labeling and Dimension Problems参考文献 49被引用数 8

ひとこと要約

本稿は、臨界ガルトン＝ワトソン木および線形優先的付加木の測度次元に対して大数の法則（LLN）を確立し、木のサイズに比例して測度次元が線形に増加することを示している。フリンジ木解析と母関数を用いて、一様ランダム木、ユール木、二分探索木、m-分木増加木を含む多様な木の族に対して明示的な極限定数を導出している。

ABSTRACT

The metric dimension of a graph $G$ is the minimal size of a subset $R$ of vertices of $G$ that, upon reporting their graph distance from a distingished (source) vertex $v^\star$, enable unique identification of the source vertex $v^\star$ among all possible vertices of $G$. In this paper we show a Law of Large Numbers (LLN) for the metric dimension of some classes of trees: critical Galton-Watson trees conditioned to have size $n$, and growing general linear preferential attachment trees. The former class includes uniform random trees, the latter class includes Yule-trees (also called random recursive trees), $m$-ary increasing trees, binary search trees, and positive linear preferential attachment trees. In all these cases, we are able to identify the limiting constant in the LLN explicitly. Our result relies on the insight that the metric dimension can be related to subtree properties, and hence we can make use of the powerful fringe-tree literature developed by Aldous and Janson et al.

研究の動機と目的

• 大規模なランダム木モデルにおける測度次元の漸近的挙動を特定すること。
• 測度次元に関する既知の結果を決定的木から確率的で成長する木モデルへと拡張すること。
• 一様ランダム木や優先的付加木を含む多様な木族に対する明示的な極限定数を提供すること。
• フリンジ木理論を用いて、異なるランダム木モデルにおける測度次元の分析を統一すること。
• 正確な積分公式を用いて、m-分木増加木、二分探索木、ランダム再帰的木における測度次元の極限挙動を解明すること。

提案手法

• アルドウスとジャンソンが開発したフリンジ木理論を活用し、大規模なランダム木における部分木構造を分析する。
• 測度次元を特定の部分木構成を持つ頂点の分布に依存する関数としてモデル化する。
• 母関数とラプラス変換を用いて、頂点がソースを解明する確率を計算し、「終焉時計」モデルを用いてソース位置をモデル化する。
• ソースの根からの距離を条件付きにした上で、指数関数およびガンマ関数の恒等式を用いて、極限測度次元の正確な積分表現を導出する。
• 変数変換および級数展開（例：三項定理展開）を用いて、母関数アプローチから生じる複雑な積分を評価する。
• ソースの距離が指数分布に従うものとして、全確率を総和するための全確率の法則を適用する。

実験結果

リサーチクエスチョン

• RQ1 大規模な臨界ガルトン＝ワトソン木における測度次元の極限挙動は何か？
• RQ2 成長する線形優先的付加木（ユール木や二分探索木を含む）における測度次元はどのようにスケーリングするか？
• RQ3 m-分木増加木および関連モデルにおける測度次元を明示的に計算できるか？
• RQ4 ランダム再帰的木（ユール木）および二分探索木における測度次元の正確な極限定数は何か？
• RQ5 付加メカニズムの違い（例：次数依存付加対比一様付加）は、測度次元の漸近的挙動にどのように影響するか？

主な発見

• サイズnの臨界ガルトン＝ワトソン木を条件づけた場合、測度次元β(T_n)は大数の法則を満たし、ほとんど確実にβ(T_n)/n → cを満たす明示的な定数cが存在する。
• m-分木増加木（ρ = m, χ = -1）の場合、極限測度次元は一般化不完全ガンマ関数を含む有限和で与えられる：β(T_n^{(m,-1)})/n → ∑_{j=1}^m (m-1)/( (m-1+j)m^j ) (m choose j) − ∑_{i+j≤m, i≠0} a'_{i,j} γ( (i+j)/(m-1)+1, im/(m-1) )。
• 二分探索木（m=2）の場合、極限測度次元は(233 − 48e² + 3e⁴)/384 ≈ 0.244であり、正確なガンマ関数積分から導出される。
• ランダム再帰的木（ρ=1, χ=0）の場合、極限測度次元はe(∫₁^e v^{-1}e^{-v} dv + γ(2,1)) − 1 ≈ 0.333であり、γは下側不完全ガンマ関数を表す。
• 正の線形優先的付加木（ρ>0, χ=1）の極限測度次元は、指数関数的およびべき乗項を含む一般積分公式で与えられる。
• 解析により、測度次元は特に特定の次数と部分木サイズを持つフリンジ部分木の分布と密接に関係しており、これが正確な漸近的計算を可能にしている。