[論文レビュー] On the Treewidth of Triangulated 3-Manifolds

Kristóf Huszár, Jonathan Spreer+1 more|arXiv (Cornell University)|Dec 1, 2017

Advanced Graph Theory Research参考文献 57被引用数 1

ひとこと要約

この論文は、すべての閉3次元多様体が有界な木幅またはパス幅をもつ三角形分割をもつとは限らないことを証明し、計算的3次元多様体トポロジーにおける長年の未解決問題を解決している。著者らは、ヘーガードジャンルなどの位相的不変量と、双対グラフの組合せ的パラメータを結びつけることで、特定の非分解可能で非ハーケンな3次元多様体が、いかなる三角形分割に対しても任意に大きな木幅を必要とすることが示され、木幅に基づくFPTアルゴリズムの適用範囲がすべての多様体に拡張できないことが明らかになった。

ABSTRACT

In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how "simple" or "thin" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of thin position for 3-manifolds, play an important role when studying algorithmic problems; in particular, there is a variety of problems in computational 3-manifold topology - some of them known to be computationally hard in general - that become solvable in polynomial time as soon as the dual graph of the input triangulation has bounded treewidth. In view of these algorithmic results, it is natural to ask whether every 3-manifold admits a triangulation of bounded treewidth. We show that this is not the case, i.e., that there exists an infinite family of closed 3-manifolds not admitting triangulations of bounded pathwidth or treewidth (the latter implies the former, but we present two separate proofs). We derive these results from work of Agol and of Scharlemann and Thompson, by exhibiting explicit connections between the topology of a 3-manifold M on the one hand and width-type parameters of the dual graphs of triangulations of M on the other hand, answering a question that had been raised repeatedly by researchers in computational 3-manifold topology. In particular, we show that if a closed, orientable, irreducible, non-Haken 3-manifold M has a triangulation of treewidth (resp. pathwidth) k then the Heegaard genus of M is at most 48(k+1) (resp. 4(3k+1)).

研究の動機と目的

• すべての閉3次元多様体が有界な木幅またはパス幅をもつ三角形分割をもつかどうかを特定すること。
• 木幅に基づく手法のアルゴリズム的限界について、計算的3次元多様体トポロジーにおける繰り返し発生する問いを解決すること。
• 三角形分割の双対グラフの木幅とパス幅に対する位相的制約を確立すること。
• 双対グラフの幅パラメータを、ヘーガードジャンルのような位相的不変量と結びつけること。
• 木幅に基づくFPTアルゴリズムがすべての3次元多様体に普遍的に適用可能でないことを示すこと。

提案手法

• 非分解可能で非ハーケンな3次元多様体に関する、Agol、Scharlemann–Thompson、Scharlemann–Schultens–Saitoの既知の結果を用いる。
• 多様体のヘーガードジャンルに関連付けることで、木幅とパス幅に対する位相的下界を確立する。
• 動的計画法における単体の部分複体の処理方法を分析するため、三角形分割の双対グラフへの木分解の概念を適用する。
• 木幅が、木分解における各バッグで処理される部分複体のサイズを制御することを活用し、FPTアルゴリズムを可能にする。
• カット幅や混雑度といった他のグラフパラメータと比較し、アルゴリズム的効率における潜在的な利点を示す。
• ナイスな木分解（導入、忘却、結合のバッグを含む）の構造を活用して、三角形分割における動的計画法を形式化する。

実験結果

リサーチクエスチョン

• RQ1 すべての閉3次元多様体は、有界な木幅をもつ三角形分割をもつか？
• RQ2 三角形分割の双対グラフの木幅が、その背後に続く3次元多様体のヘーガードジャンルを制限できるか？
• RQ3 すべての三角形分割が無限大のパス幅または木幅を持つような3次元多様体は存在するか？
• RQ4 双対グラフの幅パラメータは、非分解性や非ハーケン性といった位相的不変量とどのように関係するか？
• RQ5 木幅に基づくFPTアルゴリズムは、すべての3次元多様体問題に普遍的に適用可能か？

主な発見

• 有界なパス幅をもつ三角形分割を持たない、無限個の閉・可縮・非分解・非ハーケンな3次元多様体の族が存在する。
• 有界な木幅をもつ三角形分割を持たない、無限個の閉・可縮・非分解・非ハーケンな3次元多様体の族が存在する。
• 任意の閉・可縮・非分解・非ハーケンな3次元多様体 M に対して、M が木幅 k の三角形分割をもつならば、そのヘーガードジャンルは 18(k + 1) 以下である。
• 同様に、M がパス幅 k の三角形分割をもつならば、そのヘーガードジャンルは 4(3k + 1) 以下である。
• これらの結果は、木幅に基づくFPTアルゴリズムがすべての3次元多様体に普遍的に適用できないことを示しており、一部の多様体は任意に大きな木幅を必要とするためである。
• 論文は、木幅が位相的不変量ではないこと、およびすべての3次元多様体においてその有界性が保証されないことを確認している。