[論文レビュー] Further results on the inducibility of $d$-ary trees

Audace A. V. Dossou-Olory, Stephan Wagner|arXiv (Cornell University)|Nov 27, 2018

Graph theory and applications参考文献 15被引用数 6

ひとこと要約

本稿は、特にバランス木および同一の部分木を持つ木に対して、$d$-ary木の誘導可能性に関する新たな上界と下界を確立することで、$d$-ary木の誘導可能性の理解を進めた。特に、厳密に$d$-ary木における最大密度が誘導可能性に収束するレートが$O(n^{-1})$であることを証明し、極限の正確性に関する予想を支持する。構造的分解と葉に由来する部分木頻度の漸近的解析を通じて、タイトな境界を提供した。

ABSTRACT

A subset of leaves of a rooted tree induces a new tree in a natural way. The density of a tree $D$ inside a larger tree $T$ is the proportion of such leaf-induced subtrees in $T$ that are isomorphic to $D$ among all those with the same number of leaves as $D$. The inducibility of $D$ measures how large this density can be as the size of $T$ tends to infinity. In this paper, we explicitly determine the inducibility in some previously unknown cases and find general upper and lower bounds, in particular in the case where $D$ is balanced, i.e., when its branches have at least almost the same size. Moreover, we prove a result on the speed of convergence of the maximum density of $D$ in strictly $d$-ary trees $T$ (trees where every internal vertex has precisely $d$ children) of a given size $n$ to the inducibility as $n o \infty$, which supports an open conjecture.

研究の動機と目的

• これまで未知であった場合、特にバランス木や対称的構造について、$d$-ary木の誘導可能性を特定すること。
• 特に木$D$が$d$個の同型な分岐を持つ場合に、誘導可能性の一般的な上界と下界を確立すること。
• 厳密に$d$-ary木における最大密度が$n \to \infty$の下で誘導可能性に収束する速度を分析し、未解決の予想を支持すること。

提案手法

• 著者らは、誘導可能性の下界を導出するために、厳密に$d$-ary木$H_n^d$の構成を用いた。
• 彼らは定理8を適用して、サイズ$(d-1)n+1$の厳密に$d$-ary木における最大密度を評価し、$O(n^{-1})$の誤差項を導出した。
• 部分木が$d$個同一の木に対しては、多項係数と部分木の誘導可能性を用いてタイトな境界を導出した。
• 彼らは確率的構成を用いた：誘導可能性の極限が既知の木$T_n^{(i)}$を組み合わせて、$D$のコピーが各分岐から1つずつ選ばれるように大きな木$T_n$を構築した。
• この手法は、二項係数と多変量多項分布の漸近的解析に基づき、極限密度の推定に依存している。
• 彼らは、誘導可能性の定義における上極限を標準的な極限に置き換えられることを証明し、厳密な収束解析を可能にした。

実験結果

リサーチクエスチョン

• RQ1 $d$-ary木が$d$個の同一の分岐を持つ場合、その誘導可能性の正確な値は何か？ また、どのようにタイトに境界を付けることができるか？
• RQ2 $d$-ary木$D$が厳密に$d$-ary木のサイズ$n$において最大密度が$n \to \infty$の下で誘導可能性に収束する速度はどの程度か？
• RQ3 すべての$d$-ary木$D$に対して$I_d(D) = \eta_d(D)$であるという予想は成り立つか？ また、収束速度の分析によって支持できるか？
• RQ4 $d$-ary木の誘導可能性は、その部分木の誘導可能性から下界で抑えられるか？
• RQ5 精確な値が不明な場合、$d$-ary木の誘導可能性の最良の下界は何か？

主な発見

• 厳密に$d$-ary木における最大密度が誘導可能性に収束するレートは$O(n^{-1})$であり、$I_d(D) = \eta_d(D)$がすべての$d$-ary木に対して成り立つという予想を支持する。
• $d$個の同型な部分木$D'$を持つ$d$-ary木$D$に対して、誘導可能性は$\frac{\|D\|!}{d^{\|D\|}}\left(\frac{I_d(D')}{\|D'\|!}\right)^d \leq I_d(D) \leq \frac{\|D\|!}{d^{\|D\|}-d}\left(\frac{I_d(D')}{\|D'\|!}\right)^d$を満たし、タイトな境界を与える。
• 任意の$d$-ary木$D$が分岐$D_i$を持つ場合、下界$ I_d(D) \geq \binom{\|D\|}{\|D_1\|,\dots,\|D_d\|}\|D\|^{-\|D\|}\prod_{i=1}^d \|D_i\|^{\|D_i\|}\prod_{i=1}^d I_d(D_i) $が成り立つ。これは、以前の結果を一般化する。
• 三木木$T_1$に対しては、誘導可能性が$0.08535 \leq I_3(T_1) \leq 0.08537$と境界づけられ、極めてタイトであることが示された。
• 二木木$T_2$に対しては、下界が$I_2(T_2) \geq 0.32922$であり、以前の下界$\eta_2(T_2) \approx 0.27650$よりも顕著に強く、上界は$I_2(T_2) \leq 0.48387$であり、非自明なギャップがあることが示された。
• 本稿は、誘導可能性の定義における極限が存在し、サイズ$(d-1)n+1$の厳密に$d$-ary木の上での極限として取れることを確認した。これにより、解析が簡素化され、極値的構成においてこのような木の使用を支持する。