[논문 리뷰] The Jordan-Brouwer theorem for graphs

Oliver Knill|arXiv (Cornell University)|2015. 06. 22.

Digital Image Processing Techniques참고 문헌 39인용 수 9

한 줄 요약

이 논문은 그래프 이론에서 Jordan-Brouwer-Schoenflies 정리의 이산적 해석을 수립하여, d-구면 그래프에 임베딩된 (d−1)-구면이 이를 두 개의 보완적인 d-구체로 나누는 것을 증명한다. Evako의 수축 가능성과 구면/구체 개념에 기반한 귀납적 그래프 정의를 사용하여, 호모토피 변형과 교차 수 논증을 활용해 보완 성분들이 수축 가능한 d-구체임을 보이며, 고전적 위상수학을 유한 그래프로 확장한다.

ABSTRACT

We prove a discrete Jordan-Brouwer-Schoenflies separation theorem telling that a (d-1)-sphere H embedded in a d-sphere G defines two different connected graphs A,B in G such a way that the intersection of A and B is H and the union is G and such that the complementary graphs A,B are both d-balls. The graph theoretic definitions are due to Evako: the unit sphere of a vertex x of a graph G=(V,E) is the graph generated by {y | (x,y) in E} Inductively, a finite simple graph is called contractible if there is a vertex x such that both its unit sphere S(x) as well as the graph generated by V-{x} are contractible. Inductively, still following Evako, a d-sphere is a finite simple graph for which every unit sphere is a (d-1)-sphere and such that removing a single vertex renders the graph contractible. A d-ball B is a contractible graph for which each unit sphere S(x) is either a (d-1)-sphere in which case x is called an interior point, or S(x) is a (d-1)-ball in which case x is called a boundary point and such that the set of boundary point vertices generates a (d-1)-sphere. These inductive definitions are based on the assumption that the empty graph is the unique (-1)-sphere and that the one-point graph K_1 is the unique 0-ball and that K_1 is contractible. The theorem needs the following notion of embedding: a sphere H is embedded in a graph G if it is a sub-graph of G and if any intersection with any finite set of mutually adjacent unit spheres is a sphere. A knot of co-dimension k in G is a (d-k)-sphere H embedded in a d-sphere G.

연구 동기 및 목표

• 유한 단순 그래프를 이용한 이산 위상수학 정의를 통해 고전적 Jordan-Brouwer-Schoenflies 정리를 확장하기 위해.
• Evako의 프레임워크에 따라 수축 가능성과 단위 구면 조건을 이용해 그래프 내에서 구면과 구체를 귀납적으로 정의하기 위해.
• 임베딩된 (d−1)-구면이 d-구면 그래프를 두 개의 보완적인 d-구체로 나누는 것을 확립하기 위해.
• 호모토피 변형과 이산적 환경에서의 교차 수 논증을 사용한 구성적 증명을 제공하기 위해.
• 보완 성분들이 연속적 변형 동안 임베딩의 구조를 유지하면서도 여전히 d-구체임을 보여주기 위해.

제안 방법

• Evako의 귀납적 정의를 사용: d-구면은 모든 단위 구면이 (d−1)-구면이며, 정점 하나를 제거하면 수축 가능한 그래프가 되는 그래프이다.
• d-구체는 수축 가능한 그래프이며, 경계 정점들이 (d−1)-구면을 이루고, 내부 정점들의 단위 구면이 (d−1)-구면임을 정의한다.
• 임베딩의 개념을 도입하여, H가 이웃 단위 구면들의 집합과의 교차가 구면이 되도록 하여 위상적 규칙성을 확보한다.
• 호모토피 변형 단계 H → H Δ x를 적용하여, H를 d-단체 x와 대칭적으로 다르게 하여 한 성분 내의 정점 수를 줄인다.
• 교차 수 논증을 사용: A와 B가 연결되어 있었다면, H와 홀수 번 교차하는 닫힌 경로가 존재하여 교차 보조정리와 모순된다.
• χ(A) + χ(B) = 2 이고, χ(G) = 1 + (−1)^d, χ(H) = 1 − (−1)^d 이므로 위상 일관성을 뒷받침한다.

실험 결과

연구 질문

• RQ1 고전적 Jordan-Brouwer-Schoenflies 정리는 이산 위상수학을 활용해 유한 단순 그래프의 맥락에서 재구성되고 증명될 수 있는가?
• RQ2 d-구면 그래프 내에 임베딩된 (d−1)-구면이 그래프를 두 개의 보완 성분으로 나누며, 이 성분들이 모두 d-구체가 되는 조건은 무엇인가?
• RQ3 호모토피 변형은 이산 그래프 내에서 구면의 임베딩과 위상적 구조를 어떻게 유지하는가?
• RQ4 경로가 임베딩된 구면과의 교차 수는 분리성과 연결성 증명에서 어떤 역할을 하는가?
• RQ5 구면에 둘러싸인 성분의 구조를 단체로 줄일 수 있는가, 이때 d-구체 성질은 유지되는가?

주요 결과

• (d−1)-구면 H가 d-구면 G에 임베딩되어 있을 때, G는 두 보완 성분 A와 B로 나뉘며, A ∪ B = G 이고 A ∩ B = H 이다.
• 성분 A와 B는 모두 d-구체이며, 즉 경계가 (d−1)-구면인 수축 가능한 그래프이다.
• 증명 과정에서 H → H Δ x 변형을 통해 한 성분 내의 정점 수를 줄이며, 최종적으로 H가 단체로 줄어들게 되어 성분이 d-구체임을 증명한다.
• 교차 수 논증에 의해, A와 B가 분리되어 있지 않다면, H와 홀수 번 교차하는 닫힌 경로가 존재하여 모순이 발생한다.
• H의 여집합에 정점이 없더라도, 변형 과정이 임베딩과 위상적 구조를 유지한다면 결과는 그대로 성립한다.
• G가 반드시 d-구면이 아니더라도 단순 연결임만 보장되면 정리가 성립하나, 전체 결과를 얻으려면 G가 d-구면이어야 한다.