[논문 리뷰] Inequivalent embeddings of 3-connected 3-regular planar graphs on the torus

Kengo Enami|arXiv (Cornell University)|2018. 06. 29.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 3-연결 3-정규 평면 그래프의 토러스 위에 있는 서로 동치가 아닌 임베딩을 특성화하며, 이러한 임베딩과 그래프의 구형 이중 그래프의 특정 부분그래프 사이의 일대일 대응을 수립한다. 이는 유효한 상한과 효율적인 알고리즘을 제공함으로써 유클리드 평면에서의 윌슨의 유일성 정리의 범위를 토러스로 확장한다.

ABSTRACT

Whitney's theorem states that every 3-connected planar graph is uniquely embeddable on the sphere. On the other hand, it has many inequivalent embeddings on another surface. We shall characterize structures of a $3$-connected $3$-regular planar graph $G$ embedded on the projective-plane, the torus and the Klein bottle, and give a one-to-one correspondence between inequivalent embeddings of $G$ on each surface and some subgraphs of the dual of $G$ embedded on the sphere. These results enable us to give explicit bounds for the number of inequivalent embeddings of $G$ on each surface, and propose effective algorithms for enumerating and counting these embeddings.

연구 동기 및 목표

• 3-연결 3-정규 평면 그래프의 토러스 위에 있는 서로 동치가 아닌 임베딩을 이해하고 분류하는 것.
• 구면 임베딩에 대해 유효한 윌슨의 정리를 토러스로 확장하여, 임베딩이 서로 동치가 아닐 조건을 규명하는 것.
• G의 서로 동치가 아닌 토러스 임베딩과 구면에 임베딩된 이중 그래프의 부분그래프 사이의 일대일 대응을 수립하는 것.
• 토러스 위에 있는 서로 동치가 아닌 임베딩의 수에 대한 명시적 상한을 도출하는 것.
• 이중 부분그래프 대응에 기반하여 이러한 임베딩을 열거하고 세는 데 효과적인 알고리즘을 개발하는 것.

제안 방법

• G가 구면에 임베딩된 3-연결 3-정규 평면 그래프의 이중 그래프를 사용하여, G의 서로 동치가 아닌 토러스 임베딩에 대응하는 부분그래프를 식별한다.
• 이러한 부분그래프의 구조적 성질을 특성화하여, 서로 동치가 아닌 토러스 임베딩과의 일대일 대응을 보장한다.
• 위상적 불변량과 그래프 이중성을 활용하여 토러스 위의 임베딩을 구면 위의 조합 구조로 매핑한다.
• 기존의 평면 그래프 임베딩과 이중성에 관한 결과를 적용하여 이러한 부분그래프의 수에 대한 상한을 유도하고, 이를 통해 임베딩의 수에 대한 상한을 도출한다.
• 이중 그래프의 관련 부분그래프를 체계적으로 생성하고 세는 알고리즘을 설계함으로써, G의 서로 동치가 아닌 토러스 임베딩을 열거한다.
• 대응 관계를 활용하여 열거 및 세기 절차의 정확성과 완전성을 보장한다.

실험 결과

연구 질문

• RQ1 3-연결 3-정규 평면 그래프의 토러스 위에 있는 두 임베딩이 서로 동치가 아닐 조건은 어떤 구조적 조건에 의해 결정되는가?
• RQ2 서로 동치가 아닌 토러스 임베딩은 어떻게 시스템적으로 특성화하고 열거할 수 있는가?
• RQ3 G의 서로 동치가 아닌 토러스 임베딩과 G의 이중 그래프의 특정 부분그래프 사이에 일대일 대응이 존재하는가?
• RQ4 G의 토러스 위에 있는 서로 동치가 아닌 임베딩의 수에 대해 유도할 수 있는 명시적 상한은 무엇인가?
• RQ5 이중 부분그래프 대응에 기반하여 이러한 임베딩을 열거하고 세는 데 효과적인 알고리즘을 구성할 수 있는가?

주요 결과

• 3-연결 3-정규 평면 그래프 G의 토러스 위에 있는 서로 동치가 아닌 임베딩과, 구면에 임베딩된 G의 이중 그래프의 특정 부분그래프 사이에 일대일 대응이 존재한다.
• G의 토러스 위에 있는 서로 동치가 아닌 임베딩의 수는 구면 이중 그래프의 이러한 부분그래프의 수로 제한되며, 이를 통해 명시적 상한을 도출할 수 있다.
• 이 특성화는 G의 서로 동치가 아닌 토러스 임베딩을 열거하고 세는 데 효과적인 알고리즘 개발을 가능하게 한다.
• 결과는 구면 임베딩에 대해 유효한 윌슨의 유일성 정리를 토러스로 일반화하며, 토러스에서는 유일성이 성립하지 않음을 보여준다.
• 이 방법은 오직 구면 위의 이중 그래프 구조만을 사용하여 토러스 임베딩을 분석하고 계산하는 조합적 프레임워크를 제공한다.