[論文レビュー] Product structure of graph classes with strongly sublinear separators

David R. Wood, Wood, David R.|arXiv (Cornell University)|Aug 22, 2022

Advanced Graph Theory Research被引用数 4

ひとこと要約

この論文は、強い部分線形分離子を持つ遺伝的グラフクラス——つまり、ある $\rho > 0$ に対して $O(n^{1-\rho})$ の割合で成長する分離子——が、有界な木深さを持つグラフとサイズ $O(n^{1-\rho+\delta})$ の完全グラフの強い積の部分グラフとして表現可能であることを確立している。主な貢献は、$\delta$ に依存する部分と $O(\log \log n)$ の木深さの上限が最適であることを示すきわめて明確な特徴付けであり、製品構造理論における中心的な未解決問題を解決している。

ABSTRACT

We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $ ext{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest.

研究の動機と目的

• 強い部分線形分離子を持つ遺伝的グラフクラスを製品構造定理を用いて特徴づけること。
• 強い積分解法における完全グラフ因子のサイズにおける分離子指数 $\epsilon$ の最適依存関係を特定すること。
• このようなクラスに属するすべての $n$ 頂点グラフが、有界な木幅を持つ $H$ と $m = O(n^{1-\epsilon})$ に対して $H \boxtimes K_m$ の部分グラフとして表現可能である、という予想を検証すること。
• $\delta$ に依存する部分と木深さの境界の最適性を証明すること。

提案手法

• 強い積分解法を用いて、強い部分線形分離子を持つ遺伝的クラスに属するグラフを表現すること。
• グリッドグラフにおける等周的不等式の応用により、完全グラフ因子に必要なサイズの下界を導出すること。
• 木の反復的分割を用いた極値グラフの構築により、境界のタイトさを示すこと。
• 木深さとパス分解法を用いて、分解における構造的パラメータを制限すること。
• 背理法を用いて、$\delta$ に依存する部分と $O(\log \log n)$ の木深さ境界が最適であることを示すこと。
• 既知のマイナー閉じたおよび幾何的グラフクラスに関する結果を活用し、特殊ケースにおける予想の妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 任意の $\delta > 0$ に対して、$O(n^{1-\epsilon})$ の分離子を持つすべての遺伝的グラフクラスが、有界な木深さを持つ $H$ と $m = O(n^{1-\epsilon+\delta})$ に対して $H \boxtimes K_m$ の部分グラフとして表現可能か？
• RQ2 $\delta = 0$ のとき、$H$ の $O(\log \log n)$ の木深さ境界はタイトか？
• RQ3 指数における $\delta$ 依存性を排除できるか、すなわち $H$ が有界な木幅を持つ場合に $m = O(n^{1-\epsilon})$ を達成可能か？
• RQ4 このような製品分解における木深さと $\delta$ 依存性の境界は最適か？
• RQ5 予想は、球の接触グラフ、$k$-交差非デジェネレートグラフ、またはストリンググラフなどの特定クラスに対しても成り立つか？

主な発見

• 任意の $n$ 頂点グラフが、木深さ $O(\log \log n)$ のグラフ $H$ とサイズ $O(n^{1-\epsilon+\delta})$ の完全グラフの強い積の部分グラフとして表現可能である。ここで $\delta > 0$ は任意である。
• 指数における $\delta$ 依存性が最適であることが、$\delta$ を小さくすると完全グラフ因子がより大きくなるような極値グラフの構築により示された。
• $\delta = 0$ のとき $H$ の $O(\log \log n)$ の木深さ境界が最適であることが、グリッドに類似したグラフにおける等周的議論により示された。
• 木幅 $t$ が有界なグラフに対して、論文はタイトな製品構造を証明している：それらは $H$ の木深さが $t$ で $m = O(n^{1/t})$ であるような $H \boxtimes K_m$ の部分グラフである。これは最適である。
• 予想が成り立つのは、平面グラフ、有界オイラー形式のグラフ、マイナー閉じたクラスなど、いくつかの重要なクラスに対して成り立つ。
• もし $\mathcal{G}$ が遺伝的でない場合、論文は単一のグラフを構築し、そのグラフは有界な木幅を持つ $H$ を用いたような積に埋め込めない、無限大の完全部分グラフを含むことを示した。