[논문 리뷰] The Strongly Antimagic labelings of Double Spiders

Fei-Huang Chang, Pinhui Chin외 2명|arXiv (Cornell University)|2017. 12. 27.

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

한 줄 요약

이 논문은 정확히 두 개의 차수 3 이상 정점이 있는 이중 스파이더—즉, 이중 스파이더—가 강력한 반마술적임을 증명한다. 즉, 정점의 합이 서로 다를 뿐 아니라 차수 순서대로 정렬되는 전단사 간선 레이블링을 갖는다. 저자들은 이러한 성질을 유지하는 구성적 레이블링 체계를 통해 이를 확립하였으며, 이는 이전의 스파이더와 경로에 대한 결과를 확장하고 그래프 이론에서 보편적인 반마술 레이블링 추측을 뒷받침한다.

ABSTRACT

A graph $G=(V,E)$ is strongly antimagic, if there is a bijective mapping $f: E o \{1,2,\ldots,|E|\}$ such that for any two vertices $u eq v$, not only $\sum_{e \in E(u)}f(e) e \sum_{e\in E(v)}f(e)$ and also $\sum_{e \in E(u)}f(e) < \sum_{e\in E(v)}f(e)$ whenever $°(u)< °(v) $, where $E(u)$ is the set of edges incident to $u$. In this paper, we prove that double spiders, the trees contains exactly two vertices of degree at least 3, are strongly antimagic.

연구 동기 및 목표

• 모든 나무 중에서 K₂를 제외한 나머지가 반마술적임을 추측하는 2번 추측을 이중 스파이더 계열에 대해 해결하기 위해.
• 이중 스파이더에 대해 강력한 반마술 레이블링이 존재함을 입증하기 위해, 즉 정점 합이 정확히 차수 순서대로 증가함을 보장하기 위해.
• 레마 1의 귀납적 방법을 확장하여 더 큰 강력한 반마술 그래프를 더 작은 그래프로부터 구성하기 위해.
• 핵심 경로, 왼쪽 팔, 오른쪽 팔로 분해된 이중 스파이더의 구조적 분해를 기반으로 체계적인 레이블링 프레임워크를 제공하기 위해.
• 더 복잡한 나무 계열과 그 그래프 곱에 대한 응용을 위한 미래의 강력한 반마술 레이블링 탐색의 기초를 마련하기 위해.

제안 방법

• 이중 스파이더를 세 개의 간선으로 분리된 구성요소로 분해한다: 핵심 경로 $P^{\text{core}}$, 왼쪽 팔 $L$, 오른쪽 팔 $R$, 핵심의 끝점으로서 $v_l$과 $v_r$을 정의한다.
• 왼쪽 팔과 오른쪽 팔의 팔 수, 그리고 $v_l$과 $v_r$의 차수에 따라 이중 스파이더를 네 가지 유형으로 분류하여 맞춤형 레이블링 규칙을 적용한다.
• 정점 합 $\varphi_f(u)$ 가 차수 순서대로 엄격히 증가하도록 보장하는 레이블링 규칙을 적용한다: $\deg(u) < \deg(v) \Rightarrow \varphi_f(u) < \varphi_f(v)$.
• 수정된 레이블링 전략을 사용한다: 새로운 간선의 레이블은 그 끝점의 정점 합 순서에 따라 증가하는 순서로 할당되며, 이는 차수 순서 유지 성질을 보존한다.
• 귀납적 구성(레마 1)을 활용하여 강력한 반마술 레이블링을 더 큰 그래프로 확장한다. 이때 새로운 간선 레이블은 기존 정점 합의 순서에 따라 할당된다.
• 차수 1 및 차수 2 정점에 대한 레이블링 규칙을 상세히 제시하며, 고차수 정점의 경우 전체 비교는 부록으로 연기한다.

실험 결과

연구 질문

• RQ1 모든 이중 스파이더는 강력한 반마술적인가? 즉, 정점 합이 서로 다를 뿐 아니라 차수 순서대로 정렬되는 간선 레이블링을 갖는가?
• RQ2 레마 1의 귀납적 구성 방법을 동일한 차수를 가진 정점에 간선을 추가할 경우에도 강력한 반마술 성질을 유지하도록 일반화할 수 있는가?
• RQ3 강력한 반마술 레이블링이 존재한다는 것은 모든 $k \geq 0$ 에 대해 $k$-반마술 레이블링의 존재를 의미하는가?
• RQ4 강력한 순서성질이 실패하는 경우, $(k+1)$-반마술이 아닌 $k$-반마술인 그래프가 존재하는가?
• RQ5 다수의 고차수 정점을 가진 나무의 구조적 제약을 극복하여 모든 캐터필러 또는 일반 나무에 대해 반마술 레이블링을 증명할 수 있는가?

주요 결과

• 모든 이중 스파이더는 정점 합이 차수 순서로 정렬되는 명시적 간선 레이블링을 구성함으로써 강력한 반마술적임이 증명되었다.
• 레이블링 규칙은 임의의 두 정점 $u$와 $v$에 대해 $\deg(u) < \deg(v)$ 이면 $\varphi_f(u) < \varphi_f(v)$ 임을 보장하며, 모든 정점 합은 서로 다를 것이다.
• $v_l$의 정점 합은 $v_r$의 정점 합보다 엄격히 크며, 둘 다 모든 차수 2 정점의 정점 합보다 크다. 이는 부록에서 확인되었다.
• 레마 1의 구성 방법은 강력한 반마술 그래프에 차수 순서로 잎을 추가함으로써 더 큰 강력한 반마술 그래프로 확장할 수 있음을 보여준다.
• 결과는 모든 나무 중에서 차수 $\geq 3$ 인 정점이 최대 두 개인 나무들이 반마술적임을 시사하며, 이는 이전의 스파이더와 경로에 대한 결과를 확장한다.
• 이 논문은 $k=0$ 일 때 $k$-반마술 레이블링이 강력한 반마술 레이블링과 동치임을 입증하였으며, 이러한 레이블링은 모든 $k \geq 0$ 으로 번역 가능하다.