[논문 리뷰] On the Treewidth of Triangulated 3-Manifolds

Kristóf Huszár, Jonathan Spreer외 1명|arXiv (Cornell University)|2017. 12. 01.

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의 연구—를 기반으로 기약적이고 비-헤가드인 3차원 다면체를 다룸.
• 다면체의 헤가드 성질과 관련하여 트리너비와 경로너비에 대한 위상수학적 하한을 설정함.
• 동적 프로그래밍에서 테트라헤드론 하위복합체의 처리 방식을 분석하기 위해 삼각분할의 이중 그래프에 트리 분해 개념을 적용함.
• 트리너비가 트리 분해의 각 백에 처리되는 하위복합체의 크기를 제어함으로써 FPT 알고리즘을 가능하게 하는 사실을 활용함.
• 컷너비 및 혼잡도와 같은 다른 그래프 파라미터와 트리너비와 경로너비를 비교하여 알고리즘 효율성에서의 잠재적 이점을 보임.
• 좋은 트리 분해의 구조(추가, 잊기, 결합 노드)를 활용하여 삼각분할에서의 동적 프로그래밍을 체계화함.

실험 결과

연구 질문

• RQ1 모든 닫힌 3차원 다면체가 유계 트리너비를 갖는 삼각분할을 가지는가?
• RQ2 삼각분할의 이중 그래프의 트리너비가 기초가 되는 3차원 다면체의 헤가드 성질을 유계로 제한할 수 있는가?
• RQ3 모든 삼각분할에서 경로너비 또는 트리너비가 무한히 증가하는 3차원 다면체가 존재하는가?
• RQ4 이중 그래프의 너비 파라미터가 기약성 및 비-헤가드 성질과 같은 위상수학적 불변량과 어떻게 관련되는가?
• RQ5 트리너비 기반 FPT 알고리즘이 모든 3차원 다면체 문제에 일반적으로 적용될 수 있는가?

주요 결과

• 유계 경로너비를 갖는 삼각분할을 가지지 않는 닫힘, 양측성, 기약적, 비-헤가드인 3차원 다면체의 무한한 가족이 존재한다.
• 유계 트리너비를 갖는 삼각분할을 가지지 않는 닫힘, 양측성, 기약적, 비-헤가드인 3차원 다면체의 무한한 가족이 존재한다.
• 모든 닫힘, 양측성, 기약적, 비-헤가드인 3차원 다면체 M에 대해, M가 트리너비 k를 갖는 삼각분할을 가질 경우, 그 헤가드 성질은 최대 18(k + 1) 이하이다.
• 이러한 다면체 M에 대해, M가 경로너비 k를 갖는 삼각분할을 가질 경우, 그 헤가드 성질은 최대 4(3k + 1) 이하이다.
• 결과적으로 트리너비 기반 FPT 알고리즘이 모든 3차원 다면체에 일반적으로 적용될 수 없다는 것이 드러나며, 일부 다면체는 임의로 큰 트리너비를 요구하기 때문이다.
• 논문은 트리너비가 위상수학적 불변량이 아니며, 모든 3차원 다면체에서의 유계성이 보장되지 않는다는 것을 확인한다.