[논문 리뷰] Proof of a local antimagic conjecture

John Haslegrave|arXiv (Cornell University)|2017. 05. 28.

Graph Labeling and Dimension Problems인용 수 24

한 줄 요약

이 논문은 연결된 그래프에서 고립된 간선이 없는 경우에 국한된 로컬 앤티메틱 콘저처를 증명한다. 확률적 방법을 사용하여 랜덤한 간선 레이블링이 1에서 m까지의 서로 다른 레이블을 사용할 때, 인접한 정점들을 양의 확률로 구별함을 보여, 이는 모든 연결된 그래프에서 로컬 앤티메틱 색수의 정의가 타당함을 보장한다.

ABSTRACT

An antimagic labelling of a graph $G$ is a bijection $f:E(G) o\{1,\ldots,E(G)\}$ such that the sums $S_v=\sum_{e i v}f(e)$ distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1994) is that every connected graph other than $K_2$ admits an antimagic labelling. Recently, two sets of authors (Arumugam, Premalatha, Bača \& Semaničová-Feňovčíková (2017), and Bensmail, Senhaji \& Lyngsie (2017)) independently introduced the weaker notion of a local antimagic labelling, where only adjacent vertices must be distinguished. Both sets of authors conjectured that any connected graph other than $K_2$ admits a local antimagic labelling. We prove this latter conjecture using the probabilistic method. Thus the parameter of local antimagic chromatic number, introduced by Arumugam et al., is well-defined for every connected graph other than $K_2$ .

연구 동기 및 목표

• 모든 연결된 그래프 중에서 $K_2$를 제외한 경우에 대해 로컬 앤티메틱 레이블링이 존재한다는 추측을 해결하기 위해.
• 고립된 간선이 없는 모든 연결된 그래프에 대해 로컬 앤티메틱 색수 $\chi_{la}(G)$의 정의가 타당함을 입증하기 위해.
• 랜덤한 간선 레이블링 순열이 인접한 정점을 양의 확률로 구별함을 보여주는 비구성적 증명을 제공하기 위해.
• 특정 조건 하에 간선 리스트의 크기가 $m$일 경우에도 인접한 정점을 구별하는 타당한 레이블링이 존재함을 보여, 추측을 강화하기 위해.
• 특히 거리가 2인 정점을 구별하는 데 있어, 간선 레이블링 문제에서 확률적 방법의 한계를 탐색하기 위해.

제안 방법

• 균일한 랜덤 순열을 사용하여 간선 레이블 $1$에서 $m$까지의 레이블링이 인접한 정점을 최소 $1 - \frac{1}{m}$의 확률로 구별함을 보여, 이는 확률적 방법을 적용한 것이다.
• 합집합 경계를 사용하여 어떤 인접한 쌍도 구별하지 못할 확률이 1보다 작음을 보여, 타당한 레이블링의 존재를 보장한다.
• 부분집합 합의 기수성에 관한 보조정리를 사용하여, 두 인접한 정점이 동일한 정점 합을 가질 확률을 근사한다.
• 5개 간선을 가진 그래프에서 각도가 3인 두 인접한 정점이 구별되지 않을 확률을 분석하여, 이는 $\frac{1}{m}$보다 엄밀히 작으며, 유일한 예외적인 경우를 제외하고는 그렇다.
• 모든 간선 $vw$에 대해, 랜덤 레이블링 하에서 동일한 정점 합을 가질 확률이 $\frac{1}{m}$보다 엄밀히 작음을 보여, 등호는 오직 하나의 작은 예외적인 경우에만 성립한다.
• 이러한 추론을 확장하여, 각 간선에 $m$개의 정수 리스트가 주어진 리스트 기반 변형을 제안하며, 비구별 확률이 $\frac{1}{m}$ 이하로 유지됨을 시사한다.

실험 결과

연구 질문

• RQ1 고립된 간선이 없는 모든 연결된 그래프가 인접한 정점의 정점 합이 서로 다를 수 있는 로컬 앤티메틱 레이블링을 갖는가?
• RQ2 이러한 레이블링의 존재성을 명시적인 구성 없이도 확률적 방법을 사용하여 증명할 수 있는가?
• RQ3 랜덤한 간선 레이블링이 특정한 인접한 정점 쌍을 구별하지 못할 최소 확률은 얼마인가?
• RQ4 실패 확률에 대한 $\frac{1}{m}$의 경계는 날카로운가? 등호가 성립하는 예외적인 경우가 존재하는가?
• RQ5 확률적 접근법을 각 간선에 $m$개의 허용된 레이블이 있는 리스트 기반 레이블링으로 확장할 수 있는가?

주요 결과

• 로컬 앤티메틱 콘저처가 증명됨: 고립된 간선이 없는 모든 연결된 그래프는 로컬 앤티메틱 레이블링을 갖는다.
• 고립된 간선이 없고 $m$개의 간선을 가진 그래프에 대해, $1$에서 $m$까지의 서로 다른 레이블을 랜덤 순열로 배정할 경우, 인접한 정점을 최소 $1 - \frac{1}{m}$의 확률로 구별한다.
• 특정한 인접한 정점 쌍이 랜덤 레이블링으로 인해 구별되지 않을 확률은 $\frac{1}{m}$보다 엄밀히 작으며, 오직 5개 간선의 그래프에서 각도가 3인 두 인접한 정점에 대한 예외적인 경우에만 등호가 성립한다.
• 랜덤 순열을 생성하고 타당성을 검사하는 단순한 알고리즘의 기대 실행 시간은 $m$에 대해 최대 제곱수이다.
• 고립된 간선이 없는 모든 연결된 그래프에 대해 로컬 앤티메틱 색수 $\chi_{la}(G)$는 정의가 타당하다.
• 각 간선 리스트의 크기가 $m$일 때, 인접한 정점을 구별하는 타당한 레이블링이 존재하며, 그 비구별 확률이 $\frac{1}{m}$보다 엄밀히 작다는 추측을 제안한다.