[논문 리뷰] On a combination of the 1-2-3 Conjecture and the Antimagic Labelling Conjecture

Julien Bensmail, Mohammed Senhaji외 1명|arXiv (Cornell University)|2017. 04. 04.

Graph Labeling and Dimension Problems인용 수 22

한 줄 요약

이 논문은 $K_2$의 성분을 포함하지 않는 모든 아름다운 그래프가 정확히 $1$에서 $|E(G)|$까지의 가중치를 사용하여 간선-일대일 이웃합 구분 엣지가중치 부여를 갖는지 조사한다. 저자들은 추측 1.1을 뒷받iesen하는 증거나를 제공하며, 정규 그래프, 나무, $2$-가역 그래프, 최대 평균 차수 3 이하의 그래프가 이러한 레이블링을 갖는다는 것을 보여주며, 일반적으로 $|E(G)|$를 초과하는 추가 가중치가 아주 소수의 상수값만 필요하다.

ABSTRACT

This paper is dedicated to studying the following question: Is it always possible to injectively assign the weights $1,...,|E(G)|$ to the edges of any given graph $G$ (with no component isomorphic to $K_2$) so that every two adjacent vertices of $G$ get distinguished by their sums of incident weights? One may see this question as a combination of the well-known 1-2-3 Conjecture and the Antimagic Labelling Conjecture. Throughout this paper, we exhibit evidence that this question might be true. Benefiting from the investigations on the Antimagic Labelling Conjecture, we first point out that several classes of graphs, such as regular graphs, indeed admit such assignments. We then show that trees also do, answering a recent conjecture of Arumugam, Premalatha, Bača and Semaničová-Feňovčíková. Towards a general answer to the question above, we then prove that claimed assignments can be constructed for any graph, provided we are allowed to use some number of additional edge weights. For some classes of sparse graphs, namely $2$-degenerate graphs and graphs with maximum average degree~$3$, we show that only a small (constant) number of such additional weights suffices.

연구 동기 및 목표

• 모든 아름다운 그래프가 정확히 $1$에서 $|E(G)|$까지의 가중치를 사용하여 간선-일대일 이웃합 구분 엣지가중치 부여를 갖는지 조사하는 것, 이를 추측 1.1로 형식화한다.
• 하이브리드 엣지가중치 부여 프레임워크를 통해 1-2-3 추측과 앤티메틱 레이블링 추측 간의 관계를 탐색하는 것.
• 어떤 그래프 계열에서 이러한 간선-일대일, 이웃합 구분 가중치 부여가 존재하는지, 특히 추가 가중치를 최소화할 때를 중심으로 조사하는 것.
• $\chi^{e,1}_{\Sigma}(G)$에 대한 상한을 구하는 것, 이는 $G$가 간선-일대일 이웃합 구분 $k$-엣지가중치 부여를 갖는 최소 $k$값이다.
• 최소한의 상수 $k$에 대해 $|E(G)| + k$ 형태의 상한을 갖는 희박한 그래프 계열(예: $2$-가역 그래프, 최대 평균 차수 3 이하의 그래프)으로 결과를 확장하는 것.

제안 방법

• 간선-일대일 이웃합 구분 엣지가중치 부여의 개념을 도입하고 형식화하며, 각 간선이 $1$에서 $k$까지의 유일한 가중치를 받고, 인접한 정점의 인cidnet 간선 가중치 합이 서로 다름을 보장한다.
• 최소 반례에 대한 구조적 성질을 증명하기 위해 분배 기법을 사용하며, 특히 최대 차수와 평균 차수 제약 조건에 중점을 둔다.
• 분배 기법을 적용하여 최대 평균 차수 3 이하인 그래프는 최대 차수 3 이하여야 하며, 이는 $\chi^{e,1}_{\Sigma}(G)$의 상한을 구하는 데 유용한 구조적 제약 조건을 제공한다.
• 기존의 앤티메틱 레이블링과 균형 잡힌 엣지가중치 부여 결과를 활용하여 정규 및 나무 유형의 그래프에서 간선-일대일 레이블링의 존재를 뒷받침한다.
• 조합론적 및 그래프 이론적 추론을 사용하여 특정 그래프 계열(예: 나무, 정규 그래프, $2$-가역 그래프)에 대해 명시적인 가중치 부여를 구성한다.
• 구조적 그래프 이론과 분배 기법을 활용하여, 희박한 계열에서 $\chi^{e,1}_{\Sigma}(G)$에 대한 상한을 구하며, $|E(G)|$를 초과하는 추가 가중치가 상수 개수만 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 모든 아름다운 그래프 $G$는 정확히 $1$에서 $|E(G)|$까지의 가중치를 사용하여 간선-일대일 이웃합 구분 엣지가중치 부여를 갖는가?
• RQ2 나무, 정규 그래프, $2$-가역 그래프, 최대 평균 차수 3 이하의 그래프와 같은 어떤 그래프 계열에서 추측 1.1이 성립하는가?
• RQ3 희박한 그래프 계열에서 $|E(G)|$를 초과하는 추가 엣지 가중치의 수를 작은 절대 상수로 유 bounds 할 수 있는가?
• RQ4 제안된 간선-일대일 이웃합 구분 가중치 부여 방식은 1-2-3 추측과 앤티메틱 레이블링 추측과 어떻게 관련이 있는가?
• RQ5 모든 아름다운 그래프에 대해 $\chi^{e,1}_{\Sigma}(G) \leq |E(G)| + k$ 상한이 전역 상수 $k$로 확립될 수 있는가?

주요 결과

• 정규 그래프는 모두 추측 1.1을 만족하며, 정확히 $1$에서 $|E(G)|$까지의 가중치를 사용하여 간선-일대일 이웃합 구분 엣지가중치 부여를 갖는다.
• 나무는 추측 1.1을 만족하며, 최근 아루무가무, 프레말라타, 바체아, 세마니코바-페뇨비체바의 추측을 확인한다.
• $2$-가역 그래프와 최대 평균 차수 3 이하의 그래프에 대해, 논문은 $\chi^{e,1}_{\Sigma}(G) \leq |E(G)| + 6$를 증명하며 상수 덧셈 상한을 확립한다.
• 이 결과는 최소 둘레 6인 아름다운 평면 그래프로도 확장되며, 이 경우에도 $\chi^{e,1}_{\Sigma}(G) \leq |E(G)| + 6$가 성립한다.
• 분배 기법을 사용하여 추측 1.1에 대한 최소 반례는 최대 차수 3 이하여야 함을 보여주며, 잠재적 반례에 대한 구조적 제약 조건을 지지한다.
• 논문은 $\chi^{e,1}_{\Sigma}(G) \leq \overline{\chi^{e}_{\Sigma}}(G)$를 보여주며, 간선-일대일 가중치 부여가 균형 잡힌 이웃합 구분 가중치 부여의 특수한 경우임을 입증한다.