[논문 리뷰] Partially magic labelings and the Antimagic Graph Conjecture

Matthias Beck, Maryam Farahmand|arXiv (Cornell University)|2015. 11. 13.

Graph Labeling and Dimension Problems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 마법 레이블링과 반마법 레이블링 사이의 다리를 놓기 위해 부분 마법 레이블링을 도입하며, 약한 반마법 레이블링의 수가 주기 최대 2인 준다항식임을 증명한다. 이는 $K_2$ 성분이 없는 모든 이분할 그래프가 약한 반마법 레이블링을 갖는다는 것을 보여주며, 오랫동안 남아있던 반마법 그래프 추측에 대한 새로운 접근을 제공한다.

ABSTRACT

The Antimagic Graph Conjecture asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, \dots, |E|$ is used exactly once and the sums of the labels on all edges incident to a given vertex are distinct. On the other extreme, an edge labeling is magic if the sums of the labels on all edges incident to each vertex are the same. In this paper we approach antimagic labelings by introducing partially magic labelings, where "magic occurs'' just in a subset of $V$. We generalize Stanley's theorem about the magic graph labeling counting function to the associated counting function of partially magic labelings and prove that it is a quasi-polynomial of period at most $2$. This allows us to introduce weak antimagic labelings (for which repetition is allowed), and we show that every bipartite graph satisfies a weakened version of the Antimagic Graph Conjecture.

연구 동기 및 목표

• 마법 레이블링과 반마법 레이블링 사이를 연결하는 새로운 레이블링 클래스를 도입함으로써 반마법 그래프 추측을 다루는 것.
• 에흐라르트 이론과 준군 대수를 사용하여 스탠리의 마법 레이블링 수 계산 함수를 부분 마법 레이블링으로 일반화하는 것.
• 레이블이 반복될 수 있지만 정점 합이 모두 다를 때를 조건으로 하는 약한 반마법 레이블링이 주기 최대 2인 준다항식을 이룬다는 것을 보여주는 것.
• 모든 이분할 그래프에서 $K_2$ 성분이 없는 경우 약한 반마법 레이블링이 존재함을 증명하여 반마법 그래프 추측 해결에 한 걸음 다가서는 것.
• 반마법 레이블링 수 계산 함수의 구조적 성질과 그 주기, 특히 그래프의 이분할성과 고리 제거와의 관계를 탐색하는 것.

제안 방법

• 정점 합이 특정 부분집합 $S \subseteq V$ 에서만 동일한 엣지 레이블링으로 부분 마법 레이블링을 정의한다.
• 선형 디오판틴 방정식계와 에흐라르트 이론을 사용하여, 부분 마법 레이블링이 되는 그래프의 $k$-레이블링 수를 모델링한다.
• 부분 마법 $k$-레이블링의 수 계산 함수 $M_S(k)$ 가 주기 최대 2인 준다항식임을 증명하며, $G$ 에서 고리를 제거한 그래프가 이분할일 경우 다항식 형태임을 보인다.
• 레이블 반복을 允허하고 정점 합이 모두 다를 것을 요구하는 약한 반마법 레이블링을 도입하고, 그 수 $A_G(k)$ 가 $k$ 에 대한 준다항식임을 보인다.
• $A_G(k)$ 의 준다항식 구조와 단조성 증명을 통해 $A_G(2|E|) > 0$ 를 유도함으로써, 약한 반마법 레이블링의 존재를 증명한다.
• 부분 마법 수 계산 함수의 구조를 활용하여 레이블 크기를 제한하고 주기 분석을 통해 반마법 레이블링의 존재 여부를 분석한다.

실험 결과

연구 질문

• RQ1 동일한 레이블 요구 조건을 완화함으로써 반마법 그래프 추측에 접근할 수 있는가? 즉, 반복 가능한 레이블을 允허하고 정점 합은 모두 다를 것임을 보장할 수 있는가?
• RQ2 약한 반마법 레이블링의 수 계산 함수의 대수적·조합적 구조는 무엇인가?
• RQ3 부분 마법 레이블링의 수 계산 함수의 주기는 그래프의 이분할성과 어떻게 관련이 있는가?
• RQ4 모든 이분할 그래프에서 $K_2$ 성분이 없는 경우 약한 반마법 레이블링의 존재가 보장될 수 있는가?
• RQ5 레이블 크기와 주기성은 일반 그래프에서 반마법 레이블링의 존재에 어떤 제약을 놓는가?

주요 결과

• 약한 반마법 $k$-레이블링의 수 $A_G(k)$ 는 주기 최대 2인 준다항식이다.
• 만약 $G$ 에서 고리를 제거한 그래프가 이분할이면, $A_G(k)$ 는 준다항식이 아니라 $k$ 에 대한 다항식이다.
• $K_2$ 성분이 없는 모든 이분할 그래프는 약한 반마법 레이블링을 갖는다. 이는 $A_G(2|E|) > 0$ 이기 때문이다.
• 레이블링 수는 $(k+1)^{|E|}$ 이하이므로, $A_G(k)$ 는 차수 최대 $|E|$ 이며, 최대 $|E|$ 개의 정수 근을 가진다.
• 부분 마법 $k$-레이블링의 수 계산 함수 $M_S(k)$ 는 주기 최대 2인 준다항식이며, $G$ 에서 고리를 제거한 그래프가 이분할이면 다항식이 된다.
• 약한 반마법 레이블링의 존재는 $A_G(2|E|)$ 가 양수임에 의해 유도되며, 이는 $A_G(k)$ 의 차수와 단조성에 기반한다.