[논문 리뷰] Anti-Ramsey numbers of graphs with some decomposition family sequences

Long‐Tu Yuan, Xiao‐Dong Zhang|arXiv (Cornell University)|2019. 03. 25.

Limits and Structures in Graph Theory참고 문헌 17인용 수 5

한 줄 요약

이 논문은 기존의 반-람지 수에 대한 연구를 확장하여 그래프의 분해 가족 수열이라는 개념을 도입한다. $K_5$가 그 분해 가족 수열에 의해 유일하게 결정됨을 증명하고, 이 틀을 활용해 페터센 그래프와 클리크의 정점-무결성 합집합을 포함한 새로운 그래프 가족의 반-람지 수를 계산한다. 또한 이러한 경계에 도달하는 최극적 색칠 방식을 규명한다.

ABSTRACT

For a given graph $H$, the anti-Ramsey number of $H$ is the maximum number of colors in an edge-coloring of a complete graph which does not contain a rainbow copy of $H$. In this paper, we extend the decomposition family of graphs to the decomposition family sequence of graphs and show that $K_5$ is determined by its decomposition family sequence. Based on this new graph notation, we determine the anti-Ramsey numbers for new families of graphs, including the Petersen graph, vertex-disjoint union of cliques, etc., and characterize the extremal colorings.

연구 동기 및 목표

• 그래프의 분해 가족 개념을 분해 가족 수열로 확장하여, 최극적 그래프 문제의 더 세밀한 구조 분석을 가능하게 한다.
• 새로운 그래프 가족, 예를 들어 페터센 그래프와 정점-무결성 클리크의 합집합에 대해, 새로운 분해 프레임워크를 사용하여 반-람지 수를 결정한다.
• 반-람지 수 경계에 도달하는 최극적 간선 색칠 방식을 규명하여, 완전 그래프 내 색상 분포를 밝힌다.
• 분해 가족 수열에 의해 $K_5$가 유일하게 결정됨을 증명하여, 새로운 표기법의 기초적인 예를 제공한다.
• 분해 수열의 관점에서 색수, 간선-비결정성, 최극적 그래프 구조 간의 관계를 탐색한다.

제안 방법

• 그래프의 분해 가족 수열을 정의한다. 이는 원래 그래프의 간선 제거 부분그래프에서 유도된 최소 그래프들의 가족의 수열로 정의된다.
• 점진적 귀납법을 사용하여 금지된 그래프의 레이저 색상 복사본을 피하는 간선 색칠된 완전 그래프의 구조를 분석한다.
• 터런 타입 결과와 부분색수 개념을 적용하여 특정 하위구조를 피하는 그래프의 간선 수를 근사한다.
• 터런 그래프 $T(n,p)$ 가 $p$-색수 그래프 중에서 간선 수를 최대화한다는 사실을 활용하여 최극적 색칠을 식별한다.
• 최극적 색칠을 $T(n,p)$의 간선을 서로 다른 색으로 칠하고, 나머지 모든 간선을 하나의 추가 색상으로 칠하는 경우로 규명한다.
• 5개 정점과 10개 간선을 가진 그래프로 유일하게 $K_5$ 뿐임을 이용하여, 분해 가족 수열에 의해 $K_5$ 가 유일하게 결정됨을 증명한다.

실험 결과

연구 질문

• RQ1 그래프의 분해 가족 수열이 그래프를 유일하게 결정할 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ2 분해 가족 수열은 어떻게 사용하여 새로운 그래프 가족의 반-람지 수를 계산할 수 있는가?
• RQ3 특정 그래프 가족의 레이저 색상 복사본을 피하는 최극적 간선 색칠의 구조적 성질은 무엇인가?
• RQ4 어느 그래프들이 분해 가족 수열에 의해 유일하게 결정되며, 이는 색수와 간선-비결정성과 어떻게 관련되는가?
• RQ5 그래프의 분해 가족 수열은 반-람지 문제에서 그 최극적 그래프의 구조를 어느 정도 예측할 수 있는가?

주요 결과

• $K_5$의 분해 가족 수열은 그래프를 유일하게 결정한다. $\mathcal{F}_0 = \{K_5\}$, $\mathcal{F}_1 = \{K_5 - e\}$, 그리고 $\mathcal{F}_3 = \mathcal{G}_{5,6}$ 까지 내려가며, $\mathcal{G}_{5,10} = \{K_5\}$이다.
• 페터센 그래프의 반-람지 수는 분해 가족 수열 프레임워크를 사용하여 결정되었으며, 최극적 색칠은 레이저 터런 그래프 $T(n,p)$ 와 하나의 추가 색상에 기반한다.
• 정점-무결성 클리크의 합집합, 예를 들어 $k \cdot K_r$ 에 대해서는, 적절한 $p$ 에 대해 반-람지 수가 $t(n,p) + 1$ 임을 보였고, 최극적 색칠은 유사하게 규명되었다.
• 논문은 $K_5$ 가 분해 가족 수열에 의해 유일하게 결정됨을 증명하여, 새로운 표기법의 핵심 예를 제공한다.
• 이 방법을 통해 터런 타입 그래프에 의해 최극적 구조가 결정되는 그래프 가족의 반-람지 수를 결정할 수 있다.
• 반-람지 수에 도달하는 최극적 색칠은 터런 그래프 $T(n,p)$ 가 레이저이고, 나머지 모든 간선이 하나의 추가 색상으로 칠해진 경우임을 보였다.