[論文レビュー] On paths, stars and wyes in trees

Sébastien Bubeck, Katherine Edwards+2 more|arXiv (Cornell University)|Jan 8, 2016

Advanced Combinatorial Mathematics参考文献 1被引用数 3

ひとこと要約

この論文は、任意の木における5頂点のワイズ、パス、スターフォームの数に関するタイトな線形境界 $ Y \leq 9S + P + 6 $ を証明することで、木におけるローカルプロファイルの理解を進めた。これにより、1ミリペド木と2ミリペド木の間の線分が5プロファイルの凸集合の面をなすことが確立された。驚くべきことに、$ d \geq 4 $ の場合、線分 $[d\text{-ミリペド}, (d+1)\text{-ミリペド}]$ は面でないことが、標準的なミリペド木の凸包の外にある一般化されたミリペド木の構成によって示された。

ABSTRACT

We further the study of local profiles of trees. Bubeck and Linial showed that the set of 5-profiles contains a certain polytope, namely the convex hull of d-millipedes, and they proved that the segment [0-millipede, 1-millipede] corresponds to a face of the set of 5-profiles. Our main result shows that the segment [1-millipede, 2-millipede] also corresponds to a face. Surprisingly we also show that for d > 3 the segment [d-millipede, (d+1)-millipede] is not a face of the set of 5-profiles. We do so by exhibiting new trees which are generalized millipedes with intriguing patterns for their degree sequence. The plot thickens, and the set of 5-profiles remains a mysterious convex set.

研究の動機と目的

• 木における5頂点部分木の数の既知の線形境界を精緻化すること、特に以前の境界 $ Y \leq 36S + P + 4 $ の改善を目的とする。
• 連続する $ d $-ミリペド木の間の線分が、大きな木における達成可能な5プロファイルの集合である凸集合 $ \Delta_{\mathcal{T}}(5) $ の面をなすかどうかを特定すること。
• BubeckとLinial (2013) のオープン問題1を解決し、新しい境界に対応する正確な面を同定すること。
• オープン問題3に答え、パスの割合が0に近づくならばスターフォームの割合が1に近づくことを示し、パスとスターフォームの頻度の非線形関係を明らかにすること。

提案手法

• 先行研究で用いられた $(1,0)$-カットの一般化である、新しい $(i,j)$-カット操作の拡張に基づく帰納的議論を用いる。
• $(0,0)$, $(1,0)$, $(1,1)$, および $(2,1)$-カットを導入し、$ P $, $ S $, および $ Y $ の変化を追跡しながら木構造を操作する。
• 次数2の頂点を削除しても不等式に影響を与えない還元補題を用い、最小次数3の木に分析を簡略化する。
• 次数列に基づく $ Y(T) $ の上界を適用し、$ Y(T) \leq 2\sum_v d_v^{2+\sqrt{3}} $ を示し、$ 2+\sqrt{3} $ が最適な指数であることを証明する。
• ジェンセンの不等式と部分木数の組合せ的評価を用いて、大きな木におけるパスとスターフォームの割合の非線形不等式を導出する。
• 特定の次数列を持つ一般化されたミリペド木を構成し、$ d \geq 4 $ の場合 $[d\text{-ミリペド}, (d+1)\text{-ミリペド}]$ が $ \Delta_{\mathcal{T}}(5) $ の面でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 線分 $[1\text{-ミリペド}, 2\text{-ミリペド}]$ は5プロファイルの凸集合 $ \Delta_{\mathcal{T}}(5) $ の面に対応するか？
• RQ2 $ d \geq 4 $ の場合、線分 $[d\text{-ミリペド}, (d+1)\text{-ミリペド}]$ は $ \Delta_{\mathcal{T}}(5) $ の面か？
• RQ3 すべての木に対して、$ Y \leq 36S + P + 4 $ よりもタイトな線形境界を確立できるか？
• RQ4 5頂点部分木におけるパスの割合が0に近づくとき、スターフォームの割合の漸近的挙動は？
• RQ5 $ Y(T) $ の次数列に基づく上界における最適な指数は何か？ また、その指数は達成可能か？

主な発見

• 境界 $ Y \leq 9S + P + 6 $ はタイトかつ最適であり、任意に大きな $ S, P, Y $ に対して等号が達成可能であることが証明された。
• 線分 $[1\text{-ミリペド}, 2\text{-ミリペド}]$ は5プロファイルの凸集合 $ \Delta_{\mathcal{T}}(5) $ の面に対応し、新しい境界を特徴づける。
• $ d \geq 4 $ の場合、線分 $[d\text{-ミリペド}, (d+1)\text{-ミリペド}]$ は $ \Delta_{\mathcal{T}}(5) $ の面でない。これは、標準的なミリペド木の凸包の外にある一般化されたミリペド木の構成によって示された。
• 新たな $ Y(T) $ の上界が確立された：$ Y(T) \leq 2\sum_v d_v^{2+\sqrt{3}} $、かつ指数 $ 2+\sqrt{3} $ が最適であることが証明された。
• 非線形不等式 $ p_2 \geq 1 - e(k-1)!(k-1)^\varepsilon p_1^{1-\varepsilon/(k-1)} $ が $ k \geq 6 $ に対して導出され、$ k=5 $ の場合に特定の形をとる。これによりオープン問題3が解決された。
• 結果として、$ k $-頂点パスの割合が0に近づくならば、$ k $-頂点スターフォームの割合が1に近づくことが確認され、明示的な定量的レートが得られた。