[논문 리뷰] Heffter Arrays and Biembedding Graphs on Surfaces

Dan Archdeacon|arXiv (Cornell University)|2014. 12. 02.

graph theory and CDMA systems참고 문헌 12인용 수 4

한 줄 요약

이 논문은 표면 위의 완전 그래프 및 완전 다중그래프의 방향성 있는 및 비방향성의 이중埋め込み를 가능하게 하는 조합적 구조로 헤프터 배열을 도입한다. 주요 기여는 헤프터 배열 $ H(m,n;s,t) $ 에서 호환되는 순서가 존재할 경우 $ K_{2ms+1} $ 의 면이 2색으로 칠해지고, 각 색 클래스가 크기 $ s $ 와 $ t $ 인 사이클 시스템을 이룬다는 정리를 증명하는 것이다. 단순 순서일 경우 면 경계는 단순 순환을 이룬다.

ABSTRACT

A Heffter array is an m by n matrix with nonzero entries from Z_{2mn+1} such that i) every row and column sum to 0, and ii) no element from {x,-x} appears twice. We construct some Heffter arrays. These arrays are used to build current graphs used in topological graph theory. In turn, the current graphs are used to embed the complete graph K_{2mn+1} so that the faces can be 2-colored, called a biembedding. Under certain conditions each color class forms a cycle system. These generalize biembeddings of Steiner triple systems. We discuss some variations including Heffter arrays with empty cells, embeddings on nonorientable surfaces, complete multigraphs, and using integer in place of modular arithmetic.

연구 동기 및 목표

• 헤프터 배열, 커런트 그래프, 표면 위의 완전 그래프의 위상적 이중埋め込み 간의 연결 고리를 확립하기 위해.
• 스테이너 삼중체 시스템의 이중埋め込み를 일반화하여, 면 경계가 $ s $- 및 $ t $-사이클 시스템을 이루는 이중埋め込み를 구성하기 위해.
• 비방향성 표면, 빈 셀, 다중그래프, 모듈로 산술 대신 정수 산술을 포함한 다양한 변형을 탐색하기 위해.
• 면 경계가 단순 순환임을 보장하는 조건을 조사하기 위해, 특히 행 및 열 시스템에 대한 단순 순서의 사용을 중심으로 하기 위해.
• 다양한 매개변수 제약 조건 하에서 헤프터 배열의 존재성에 대한 추측을 수립하고 지원하기 위해, 정수 및 이동 가능한 배열을 포함하여.

제안 방법

• 헤프터 배열 $ H(m,n;s,t) $ 를 $ \mathbb{Z}_{2ms+1} $ 에서의 원소를 가지며, 각 행과 열의 합이 $ 2ms+1 $ 모듈로 0이 되고, $ \{x, -x\} $ 쌍이 두 번 이상 나타나지 않는 $ m \times n $ 행렬로 정의한다.
• 행렬의 셀에 대해 호환되는 순서 $ \omega_r $ 와 $ \omega_c $ 를 도입하여, 결과적으로 생성된 이중埋め込み에서 면 경계가 단순 순환임을 보장한다.
• 행렬을 이용해 완전 이분 그래프 $ K_{m,n} $ 에 커런트 할당을 정의하고, 이를 통해 방향성 있는 $ K_{2ms+1} $ 의 이중埋め込み를 생성하는 커런트 그래프를 생성한다.
• 커런트 그래프 구축 기법을 적용하여 $ K_{2ms+1} $ 를 이중埋め込み함으로써, 면이 2색으로 칠지고 각 색 클래스가 각각 크기 $ s $ 와 $ t $ 인 사이클 시스템을 이룬다.
• 비방향성 표면에 대해 약한 헤프터 배열을 도입하고, 완전 다중그래프 $ K_n^\lambda $ 를 $ \lambda $-겹 사이클 시스템을 통해 다루기 위해 구축을 수정한다.
• 정수 헤프터 배열은 정수에서의 0합 원소를 가지며, 균형 잡힌 양수와 음수 원소를 가진 이동 가능한 배열을 도입하여 구축 및 매개변수 분석을 용이하게 한다.

실험 결과

연구 질문

• RQ1 헤프터 배열 $ H(m,n;s,t) $ 가 호환되는 순서를 가지며, 그로 인해 생성된 $ K_{2ms+1} $ 의 모든 면이 단순 순환을 이룰 조건은 무엇인가?
• RQ2 헤프터 배열을 어떻게 구성하면 완전 다중그래프 $ K_n^\lambda $ 의 이중埋め込み를 얻을 수 있으며, 면 2색 칠하기와 $ \lambda $-겹 사이클 시스템이 동시에 성립하는가?
• RQ3 정수 또는 이동 가능한 헤프터 배열의 존재를 위해 $ m, n, s, t $ 에 필요한 산술 조건는 무엇인가?
• RQ4 알스파치의 추측에 따르면, 헤프터 시스템의 부분에 항상 단순 순서를 찾을 수 있으며, 이는 면 경계의 단순성에 어떤 영향을 미치는가?
• RQ5 모든 $ m,n \geq 3 $ 에 대해 헤프터 배열이 존재하는가? 그리고 어떤 조건에서 정수 또는 이동 가능한 배열이 되는가?

주요 결과

• 정리 1.1 은 호환되는 단순 순서 $ \omega_r $ 와 $ \omega_c $ 를 가진 헤프터 배열 $ H(m,n;s,t) $ 가 존재할 경우, 면 크기가 $ s $ 와 $ t $ 인 방향성 있는 이중埋め込み를 제공하며, 모든 면이 단순 순환임을 보장한다.
• 모든 $ m,n \geq 3 $ 에 대해 헤프터 배열 $ H(m,n) $ 가 존재하며, $ mn \equiv 0,3 \pmod{4} $ 일 경우 정수 헤프터 배열이 존재하고, $ m,n $ 가 4 이상의 짝수일 경우 이동 가능한 배열이 존재한다.
• 보조정리 6.1 은 정수 헤프터 배열 $ H(m,n;s,t) $ 가 존재하려면 $ ms \equiv 0,3 \pmod{4} $ 여야 함을 보여주며, 보조정리 6.2 는 이동 가능한 배열의 경우 $ s,t \geq 4 $ 이고 짝수여야 하며 $ ms \equiv 0 \pmod{4} $ 여야 함을 추가로 제약한다.
• 이 구축 방법은 기존의 삼중체 이중埋め込み(STS)를 $ s $- 및 $ t $-사이클 시스템으로 일반화하며, $ n \equiv 5,7 \pmod{12} $ 일 때 삼각형 이중埋め음의 존재를 확장한다.
• 논문은 추측 6.4 에 대한 증거를 제공하며, 모든 $ m,n \geq 3 $ 에 대해 헤프터 배열 $ H(m,n) $ 가 존재할 것임을 시사한다. 증명은 준비 중이며, 구축을 위한 컴퓨터 프로그램도 제공된다.
• 저자들은 크기 25 이하의 집합에 대해 알스파치의 단순 순서 추측을 검증하여, 단순 면 경계를 가진 이중埋め음의 구축 가능성을 뒷받침한다.