아벨리안 케이리 그래프의 사각형 임베딩에 관한 연구

초록

본 논문은 아벨리안 케이리 그래프의 최소 종(g)를 추정하는 일반적인 하한식을 제시하고, 그 하한에 정확히 도달하는 순환 그래프 군을 구성한다. 이를 통해 기존의 평면·토러스·완전·이분 그래프 등에 대한 결과를 일반화한다.

상세 분석

논문은 먼저 그래프의 종을 정의하고, 케이리 그래프가 아벨리안 군 G=ℤ_n₁×…×ℤ_n_k 로부터 생성되는 경우를 고려한다. 생성 집합 S⊂G 를 대칭적으로 선택하면 무향 케이리 그래프 Cay(G,S) 가 얻어지며, 이 그래프는 정규도 |S| 를 갖는다. 저자들은 전통적인 오일러 공식 V−E+F=2−2g 와 면의 최소 차수를 이용해, 모든 면이 최소 4개의 경계를 가져야 하는 ‘사각형 임베딩’ 상황에서 종에 대한 하한을 도출한다. 구체적으로, |G|=n, |S|=d 라고 하면, 각 면이 4개의 반사이클을 포함하므로 2E=4F 가 성립하고, 이를 오일러 식에 대입하면 g≥(d−2)n/4+1 이 얻어진다. 이 식은 기존에 알려진 평면( g=0 )이나 토러스( g=1 )에 대한 특수 경우를 포함한다.

다음으로 저자들은 이 하한이 실제로 달성될 수 있음을 보이기 위해, 순환 그래프( circulant graph ) C_n(±a₁,…,±a_m) 를 선택한다. 여기서 n 은 정점 수, a_i 는 서로 다른 양의 정수이며, 각 a_i 와 −a_i 가 생성 집합에 포함된다. 저자는 a_i 들을 적절히 배치하여, 그래프를 사각형 격자 위에 정밀하게 끼워 넣을 수 있음을 증명한다. 구체적인 구성은 전압 그래프 기법을 활용해, 기본적인 2‑차원 격자를 기본 면으로 하고, 각 전압을 a_i 로 지정함으로써 복합적인 토러스 곱을 구현한다. 결과적으로, 이러한 순환 그래프는 위에서 얻은 하한 g=(m−1)n/2+1 을 정확히 만족한다.

또한, 저자들은 하한식이 엄격히 강한 경우와 약한 경우를 구분한다. 예를 들어, d가 짝수일 때는 하한이 정수로 떨어지지만, d가 홀수일 때는 반정수값이 나오므로 실제 종은 상향 올림을 해야 한다. 논문은 이러한 경우에 대한 보정식도 제시한다.

마지막으로, 이 연구는 기존의 평면·토러스·완전·이분·카테시안 곱에 대한 결과들을 하나의 통합된 프레임워크 안에 끌어들인다. 특히, 아벨리안 케이리 그래프가 갖는 대칭성과 전압 그래프 기법의 결합을 통해, 복잡한 토러스 위의 임베딩 문제를 비교적 간단한 대수적 조건으로 환원시킨 점이 주목할 만하다.