[논문 리뷰] Biembedding Steiner Triple Systems and n-cycle Systems on Orientable Surfaces

Jeffrey H. Dinitz, Amelia R. W. Mattern|arXiv (Cornell University)|2015. 05. 15.

graph theory and CDMA systems인용 수 13

한 줄 요약

이 논문은 모든 $n \geq 3$ 에 대해 완전 그래프 $K_{6n+1}$ 의 방향성 있는 이중 임베딩의 존재성을 확립한다. 여기서 각 변은 스티너 삼중체계에서 유래한 3-사이클과 $n$-사이클 체계에서 유래한 단순 $n$-사이클 양쪽에 모두 포함된다. 단순 행 및 열 순서를 가진 Heffter 배열 $H(3,n)$ 를 사용하여, Heffter 체계와 순환 사이클 분해 사이의 연결을 통해 이러한 임베딩을 구축한다. 이는 방향성 있는 표면 위에서 스티너 삼중체계와 $n$-사이클 체계의 이중 임베딩에 관한 첫 번째 일반적 결과를 증명한다.

ABSTRACT

In 2015, Archdeacon introduced the notion of Heffter arrays and showed the connection between Heffter arrays and biembedding m-cycle and an n-cycle systems on a surface. In this paper we exploit this connection and prove that for every n >= 3 there exists an orientable embedding of the complete graph on 6n+1 vertices with each edge on both a 3-cycle and an $n$-cycle. We also give an analogous (but partial) result for biembedding a 5-cycle system and an n-cycle system.

연구 동기 및 목표

• 스티너 삼중체계와 $n$-사이클 체계가 같은 표면 위에 $K_{6n+1}$ 에 대해 방향성 있는 이중 임베딩의 존재성을 확립한다.
• Archdeacon 의 Heffter 배열과 이중 임베딩 사이의 연결을 활용하여 이러한 임베딩을 구축한다.
• 모든 $n \geq 3$ 에 대해, 각 변이 3-사이클과 단순 $n$-사이클 양쪽에 포함되는 순환 이중 임베딩이 존재함을 증명한다.
• 기존 방법을 $K_{10n+1}$ 에 대해 부분적으로 확장하여 $3 \leq n \leq 100$ 에 대해 5-사이클과 $n$-사이클 체계의 이중 임베딩을 가능하게 한다.

제안 방법

• 스티너 삼중체계와 $n$-사이클 체계 분해를 모두 코딩하기 위한 조합적 프레임워크로 Heffter 배열 $H(3,n)$ 을 사용한다.
• Heffter 배열의 행과 열에서 단순 순서를 사용하여 면 사이클이 단순하고 반복되지 않도록 보장한다.
• Archdeacon 의 제2.1조를 적용하여 단순 Heffter 체계와 $K_v$ 의 순환 $k$-사이클 분해 사이의 연결을 맺는다.
• 오일러의 공식을 사용하여 방향성 있는 표면의 종수 $g = 1 - \frac{1}{2}\left[6n+1 + \binom{6n+1}{2}\left(\frac{1}{3} + \frac{1}{n} - 1\right)\right]$ 을 계산한다.
• $3 \leq n \leq 100$ 에 대해 $H(5,n)$ 배열의 행 재정렬을 통해 단순 행 순서를 확보하여 $K_{10n+1}$ 의 이중 임베딩을 가능하게 한다.
• 정리 3.5 를 기반으로 모든 $n \geq 3$ 에 대해 단순 $H(3,n)$ 배열이 존재함을 보장하여 주요 결과를 확보한다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 3$ 에 대해 $K_{6n+1}$ 에 대해 스티너 삼중체계와 $n$-사이클 체계의 방향성 있는 이중 임베딩이 존재하는가?
• RQ2 단순 행 및 열 순서를 가진 Heffter 배열 $H(3,n)$ 이 존재하여 면 사이클이 단순해지도록 보장할 수 있는가?
• RQ3 스티너 삼중체계와 $n$-사이클이 포함된 $K_{6n+1}$ 가 이중 임베딩된 방향성 있는 표면의 종수는 무엇인가?
• RQ4 이 방법을 $K_{10n+1}$ 에 대해 5-사이클과 $n$-사이클 체계의 이중 임베딩으로 확장할 수 있는가?
• RQ5 Heffter 배열 $H(m,n)$ 의 일반적 구성법이 존재하여 방향성 있는 표면 위에서 $m$-사이클과 $n$-사이클 체계의 이중 임베딩을 가능하게 할 수 있는가?

주요 결과

• 모든 $n \geq 3$ 에 대해, 각 변이 3-사이클과 단순 $n$-사이클 양쪽에 포함되는 $K_{6n+1}$ 의 방향성 있는 이중 임베딩이 존재한다.
• 이중 임베딩은 $6n+1$ 모듈로 순환적이며, 스티너 삼중체계와 $n$-사이클 체계가 모두 간선 집합의 순환 분해에서 유래한다.
• 방향성 있는 표면의 종수는 $g = 1 - \frac{1}{2}\left[6n+1 + \binom{6n+1}{2}\left(\frac{1}{3} + \frac{1}{n} - 1\right)\right]$ 로 주어지며, $n = 5$ 일 때 $g = 94$ 이다.
• $3 \leq n \leq 100$ 에 대해 단순 $5 \times n$ Heffter 배열이 존재하여, $K_{10n+1}$ 에 대해 5-사이클과 $n$-사이클 체계의 이중 임베딩이 가능하다.
• 이러한 구성은 $H(3,n)$ 배열의 단순 순서의 존재성에 의존하며, 이는 모든 $n \geq 3$ 에 대해 정리 3.5 를 통해 증명된다.
• 이 방법은 다른 $m \times n$ Heffter 배열로 일반화되며, 이는 방향성 있는 표면 위에서 $m$-사이클과 $n$-사이클 체계의 이중 임베딩에 대해 더 넓은 적용 가능성을 시사한다.