[논문 리뷰] Face distributions of embeddings of complete graphs

Timothy Sun|arXiv (Cornell University)|2017. 08. 07.

Advanced Graph Theory Research참고 문헌 20인용 수 7

한 줄 요약

이 논문은 오랫동안 열려 있던 문제를 해결하여 모든 완전 그래프 $K_n$가 최소 성질 임베딩을 가지며, 그 중에서 삼각형이 아닌 면이 최대 한 개 이하인 것을 증명한다. 유일한 예외는 $K_8$이며, 이는 그러한 임베딩을 가질 수 없다. 색인 3의 커런트 그래프와 정교화된 추가 인접 기법을 사용하여, 완전 그래프의 최소 성질 임베딩에서 실현 가능한 면 분포를 완전히 특성화하였으며, 임베딩 다항식의 비영계수를 완전히 분류하였다.

ABSTRACT

A longstanding open question of Archdeacon and Craft asks whether every complete graph has a minimum genus embedding with at most one nontriangular face. We exhibit such an embedding for each complete graph except $K_8$, the complete graph on 8 vertices, and we go on to prove that no such embedding can exist for this graph. Our approach also solves a more general problem, giving a complete characterization of the possible face distributions (i.e. the numbers of faces of each length) realizable by minimum genus embeddings of each complete graph. We also tackle analogous questions for nonorientable and maximum genus embeddings.

연구 동기 및 목표

• 모든 완전 그래프가 삼각형이 아닌 면이 최대 한 개인 최소 성질 임베딩을 가지는지 여부에 대한 열린 문제를 해결하기 위해.
• 완전 그래프의 최소 성질 임베딩에서 실현 가능한 모든 가능한 면 분포(즉, 각 길이의 면 수)를 특성화하기 위해.
• 비방향성 및 최대 성질 임베딩으로의 분석을 확장하여 다양한 면 분포의 실현 가능성을 규명하기 위해.
• Gross와 Furst가 정의한 바에 따라 완전 그래프의 임베딩 다항식에서 비영계수를 완전히 분류하기 위해.

제안 방법

• 거의 완전 그래프의 대칭적이고 고도로 구조화된 임베딩을 생성하기 위해 색인 3 커런트 그래프를 활용하였다.
• 손실된 간선을 핸들 또는 크로스캡 연산을 통해 추가함으로써, 거의 완전 그래프에서 $K_n$의 임베딩을 완성하기 위해 정교화된 '추가 인접' 단계를 적용하였다.
• 방향성 및 비방향성 표면 위의 임베딩을 표현하기 위해 순환체계와 순환 간선 순서를 사용하였다.
• 가능한 면 분포를 제약하고 실현 가능성을 검증하기 위해 오일러 다면체 방정식을 활용하였다.
• Gross(1975)의 거의 완전 그래프의 삼각형 임베딩에 관한 결과를 활용하여, $K_{20}$ 및 $K_{12s+9}-K_3$와 같은 복잡한 케이스를 해결하였다.
• 비방향성 표면에 대해 성질 보간을 적용하여, 거의 삼각형 최소 성질 임베딩이 크로스캡 추가를 반복함으로써 한 면 임베딩으로 변환될 수 있음을 보였다.

실험 결과

연구 질문

• RQ1 모든 완전 그래프 $K_n$는 삼각형이 아닌 면이 최대 한 개인 최소 성질 임베딩을 가지는가?
• RQ2 완전 그래프 $K_n$의 최소 성질 임베딩에서 실현 가능한 모든 가능한 면 분포(면 길이 기준)는 무엇인가?
• RQ3 오일러 다면체 방정식에 의해 예측된 면 분포를 실현하지 못하는 완전 그래프들은 어떤 것인가?
• RQ4 지수적 가족의 서로 동형이 아닌 최소 성질 임베딩을, 거의 삼각형이 아닌 경우를 포함하여 모든 면 분포에 대해 구성할 수 있는가?
• RQ5 결과들이 완전 그래프의 비방향성 및 최대 성질 임베딩으로 어떻게 확장되는가?

주요 결과

• 삼각형이 아닌 면이 최대 한 개인 최소 성질 임베딩을 가지지 않는 유일한 완전 그래프는 $K_8$이며, 이는 그러한 임베딩이 존재하지 않음을 증명하였다.
• $K_8$를 제외한 모든 $K_n$에 대해 삼각형이 아닌 면이 최대 한 개인 최소 성질 임베딩이 존재하며, 색인 3 커런트 그래프를 사용하여 이를 명시적으로 구성하였다.
• 완전 그래프 $K_n$의 최소 성질 임베딩의 면 분포는 완전히 특성화되었다: 오일러 다면체 방정식에서 허용되는 모든 분포가 실현 가능하며, 유일한 예외는 $K_5$와 $K_8$로, 이들의 실현 가능성은 제한되어 있다.
• 이러한 구성 방법은 고전적인 Ringel-Youngs 접근법을 확장하여 체계적인 추가 인접 단계를 통합함으로써, 이전에는 해결이 어려웠던 케이스들(예: $K_{20}$)을 다룰 수 있게 하였다.
• 비방향성 표면에 대해서는, $K_n$의 최소 성질과 최대 성질 사이의 모든 성질에 대해 거의 삼각형 임베딩이 존재한다. 이는 크로스캡 추가를 이용한 성질 보간을 통해 증명되었다.
• Gross와 Furst가 정의한 바에 따라 완전 그래프의 임베딩 다항식에서 비영계수의 실현 가능성을 완전히 규명하였으며, 이를 통해 완전한 조합적 분류를 제공하였다.