[논문 리뷰] Combinatorial manifolds are Hamiltonian

Oliver Knill|arXiv (Cornell University)|2018. 06. 17.

Topological and Geometric Data Analysis참고 문헌 21인용 수 3

한 줄 요약

이 논문은 모든 연결된 d-그래프—단위 구면이 구와 유사한 구조를 가진 콤비너토리 맨포ลด를 인덕티브하게 정의한 것—가 해밀턴 사이클을 가짐을 증명한다. 이는 윌슨의 1931년 결과를 확장한 것이다. 증명은 구조적이며, 이러한 그래프에서 해밀턴 사이클을 다항시간 내에 찾을 수 있음을 보여, 일반 그래프에 비해 상당한 복잡도의 이점이 있다.

ABSTRACT

Extending a theorem of Whitney of 1931 we prove that all connected d-graphs are Hamiltonian for positive d. A d-graph is a type of combinatorial manifold which is inductively defined as a finite simple graph for which every unit sphere is a (d-1)-sphere. A d-sphere is d-graph such that removing one vertex renders the graph contractible. A graph is contractible if there exists a vertex for which the unit sphere and the graph without that vertex are both contractible. These inductive definitions are primed with the assumptions that the empty graph 0 is the (-1)-sphere and that the one-point graph 1 is the smallest contractible graph. The proof is constructive and shows that unlike for general graphs, the complexity of the construction of Hamiltonian cycles in d-graphs is polynomial in the number of vertices of the graph.

연구 동기 및 목표

• 2차원 구면에서의 해밀턴 사이클에 대한 윌슨의 1931년 정리 결과를 고차원 조합적 다양체로 확장한다.
• 유도적 구면 및 수축 가능성 조건을 통해 정의된 모든 연결된 d-그래프가 해밀턴 사이클을 갖는다는 것을 입증한다.
• d-그래프에서 해밀턴 사이클을 구성하는 것이 일반 그래프와 달리 다항시간 복잡도를 갖는다는 것을 보여준다.
• d-구면과 수축 가능 그래프의 유도적 정의를 이용한 구조적 증명을 제공한다.

제안 방법

• d-그래프를 유도적으로 정의한다: d-그래프는 모든 단위 구면이 (d-1)-구면인 유한 단순 그래프이다.
• d-구면을 d-그래프로 정의한다. 이는 한 정점을 제거하면 수축 가능해지는 그래프이다.
• 유도적 기저 사례를 사용한다: 공집합 그래프는 (−1)-구면이며, 한 점으로 이루어진 그래프는 가장 작은 수축 가능 그래프이다.
• 수축 가능성을 정점의 제거와 그 단위 구면이 모두 수축 가능할 경우 존재함으로써 정의한다.
• 차원 d에 대해 귀납법을 적용하여 해밀턴 사이클을 재귀적으로 구성한다.
• 그래프의 국소적 구조를 유지함으로써 정점 수에 대해 다항시간이 유지되도록 한다.

실험 결과

연구 질문

• RQ1 d > 0 인 모든 연결된 d-그래프는 해밀턴적인가? 이는 윌슨의 2차원 구면 결과를 일반화하는가?
• RQ2 d-그래프에서 해밀턴 사이클을 다항시간 복잡도로 구성할 수 있는 구조적 알고리즘을 설계할 수 있는가?
• RQ3 구면과 수축 가능성의 유도적 정의는 해밀턴 사이클 존재를 어떻게 가능하게 하는가?
• RQ4 일반 그래프와 비교해 d-그래프에서 해밀턴 사이클을 구성하는 데 필요한 계산 복잡도는 어떻게 되는가?

주요 결과

• 모든 연결된 d-그래프는 임의의 양의 차원 d에 대해 해밀턴적이다.
• 증명은 구조적이며, 그래프 내에서 해밀턴 사이클을 명시적으로 구성한다.
• d-그래프에서 해밀턴 사이클을 구성하는 데 걸리는 시간 복잡도는 정점 수에 대해 다항식이다.
• 이 구성은 공집합 그래프와 한 점 그래프를 기저 사례로 사용하는 d-구면과 수축 가능 그래프의 유도적 정의에 기반한다.
• 단위 구면을 통한 국소적 위상적 구조를 활용함으로써 지수적 증가를 피한다.
• 이 결과는 윌슨의 1931년 정리를 2차원 구면에서 d-그래프로 정의된 모든 조합적 다양체로 일반화한다.