[논문 리뷰] Globally simple Heffter arrays and orthogonal cyclic cycle decompositions

Simone Costa, Fiorenza Morini외 2명|arXiv (Cornell University)|2017. 09. 18.

graph theory and CDMA systems참고 문헌 8인용 수 25

한 줄 요약

이 논문은 완전 그래프와 칵테일 파티 그래프의 수직 순환 분해와 옹호 표면 위의 이중 임bedding을 가능하게 하는, 전역으로 단순한 헤프터 배열(GSHAs)이라는 새로운 종류의 정수 헤프터 배열을 도입한다. GSHAs는 행과 열이 $2nk+1$ 모듈로 자연스러운 순서(좌에서 우, 상에서 하)에 대해 단순하다. 저자들은 $k \leq 10$인 순환 길이에 대해 명시적인 GSHAs를 구성하여, 완전 그래프 $K_{2nk+1}$ 및 칵테일 파티 그래프 $CP(2nk+1)$의 수직 순환 분해의 존재성을 증명한다.

ABSTRACT

In this paper we introduce a particular class of Heffter arrays, called globally simple Heffter arrays, whose existence gives at once orthogonal cyclic cycle decompositions of the complete graph and of the cocktail party graph. In particular we provide explicit constructions of such decompositions for cycles of length $k\leq 10$. Furthermore, starting from our Heffter arrays we also obtain biembeddings of two $k$-cycle decompositions on orientable surfaces.

연구 동기 및 목표

• 전역으로 단순한 헤프터 배열(GSHAs)을 정의하고 구성하는 것. 이는 행과 열의 순서가 전역적으로 단순한 새로운 종류의 헤프터 배열이다.
• GSHAs를 사용하여 완전 그래프 $K_{2nk+1}$ 및 칵테일 파티 그래프 $CP(2nk+1)$의 수직 순환 분해의 존재성을 확립하는 것.
• 순환 길이 $k \leq 10$에 대해 이러한 분해의 명시적 구성 제공, 특히 $k=6,7,8,9,10$에 중점을 두는 것.
• GSHAs가 호환 가능한 순서를 통해 옹호 표면 위에 두 개의 $k$-순환 분해를 이중 임bedding으로 이끌 수 있음을 보여주는 것.
• 모든 $3 \leq k \leq 10$에 대해 $\mathrm{SH}^*(n;k)$의 존재 문제를 해결하여, 이러한 배열이 존재하는 것은 $n \geq k$ 이며 $nk \equiv 0,3 \pmod{4}$일 때에만임을 보여주는 것.

제안 방법

• 전역으로 단순한 헤프터 배열 $\mathrm{SH}(n;k)$를 정의한다. 이는 각 행과 열이 자연스러운 순서(좌에서 우, 상에서 하)에 따라 $2nk+1$ 모듈로 단순한 $\mathrm{H}(n;k)$이다.
• $k=6,7,8,9,10$에 대해 모듈로 산술과 부호가 있는 정수 수열을 기반으로 한 재귀적이고 매개변수화된 구성 방법을 사용하여 명시적인 $\mathrm{SH}^*(n;k)$ 배열을 구성한다.
• 행과 열 순서의 부분합이 $2nk+1$ 모듈로 서로 다를 것을 보장하기 위해 부분합의 유일성을 확보하고, 특정 케이스에 대해 직접 계산을 통해 검증한다.
• 호환 가능한 순서(예: 자연스러운 행/열 순서)의 존재를 활용하여 정리 3.1을 적용하여 GSHAs와 수직 순환 분해 간의 연결 고리를 설정한다.
• 필요하고 충분한 조건을 확립하기 위해 제2.6항과 정리 1.3을 적용한다: $n \geq k$ 이며 $nk \equiv 0,3 \pmod{4}$.
• 특정 $n$(예: $n=12$)에 대해 명시적인 배열 예제와 부분합 검증을 통해 구성 결과를 검증한다. 이는 $20n+1$ 및 $20n+2$ 모듈로 수행된다.

실험 결과

연구 질문

• RQ1 모든 $3 \leq k \leq 10$에 대해 $n$과 $k$가 어떤 조건일 때 전역으로 단순한 헤프터 배열 $\mathrm{SH}^*(n;k)$가 존재하는가?
• RQ2 전역으로 단순한 헤프터 배열을 사용하여 완전 그래프와 칵테일 파티 그래프의 수직 순환 분해를 구성할 수 있는가?
• RQ3 전역으로 단순한 헤프터 배열을 통해 옹호 표면 위에 두 개의 $k$-순환 분해를 이중 임bedding으로 만들 수 있는가?
• RQ4 $k \leq 10$에 대해 $\mathrm{SH}^*(n;k)$의 존재에 필요한 필수 조건은 무엇인가?
• RQ5 $3 \leq k \leq 10$ 범위 내에서 모든 유효한 $n$과 $k$에 대해 $\mathrm{SH}^*(n;k)$의 명시적 구성이 가능한가?

주요 결과

• 모든 $n \geq k$ 이며 $nk \equiv 0,3 \pmod{4}$일 때 $3 \leq k \leq 10$에 대해 $\mathrm{SH}^*(n;k)$가 존재함을 정리 5.1에서 증명하였다.
• 모듈로 산술과 부호가 있는 수열을 기반으로 한 매개변수화된 가족을 사용하여 $k=6,7,8,9,10$에 대해 $\mathrm{SH}^*(n;k)$의 명시적 구성이 제공되었다.
• $n=12$에 대해 명시적인 $\mathrm{SH}^*(12;10)$ 배열이 구성되었으며, 모든 행과 열의 부분합이 $241$ 및 $242$ 모듈로 서로 다름을 확인하여 전역 단순성의 확인이 이루어졌다.
• $n \equiv 1 \pmod{4}$인 $\mathrm{SH}^*(n;7)$과 $n \equiv 3 \pmod{4}$인 $\mathrm{SH}^*(n;9)$($n>11$)는 각각 순환 7-대각선형 및 순환 9-대각선형이 되어 호환 가능한 순서를 가능하게 한다.
• [16]의 $\mathrm{H}(n;5)$는 변환 $h_{2i,2j} = a_{i,j}$를 통해 순환 5-대각선형 $\mathrm{SH}^*(n;5)$로 변형되어 전역 단순성을 보장한다.
• 예외적인 $\mathrm{SH}^*(11;9)$는 명시적으로 구성되었으며, 이중 임bedding을 위한 호환 가능한 자연스러운 순서가 존재함을 검증하여 정리 1.11를 확인하였다.