[논문 리뷰] Anti-Ramsey numbers for paths

Long‐Tu Yuan|arXiv (Cornell University)|2021. 02. 01.

Limits and Structures in Graph Theory참고 문헌 16인용 수 4

한 줄 요약

이 논문은 에르되시, 시모노비츠, 소스의 오랜 추측을 해결하여 경로에 대한 반-라미지 수를 정확히 규명한다. 완전 그래프 $K_n$에서 레인보우 경로를 갖지 않는 최대 색상 수는 이항계수와 성질에 따라 달라지는 수정항을 포함하는 정확한 공식으로 주어지며, 극한 그래프 이론의 안정성 방법을 사용하여 $n \geq k \geq 5$ 인 모든 경우에 대해 날카로운 경계를 확립한다. 결과적으로 두 가지 기존의 구성이 최적임을 확인하고, 경로에 대한 반-라미지 수의 첫 번째 정확한 공식을 제공한다.

ABSTRACT

We determine the anti-Ramsey numbers for paths. This confirms a conjecture posed by Erdős, Simonovits and Sós in 1970s.

연구 동기 및 목표

• 1970년대 에르되시, 시모노비츠, 소스가 제기한 경로에 대한 반-라미지 수의 정확한 값에 관한 추측을 해결하기 위해.
• 완전 그래프 $K_n$의 간선에 색을 칠했을 때 레인보우 복사 경로 $P_k$를 피하는 최대 색상 수를 결정하기 위해.
• 극한 그래프 이론의 안정성 결과를 활용하여 날카로운 극한 경계를 확립하고, 이전의 부분적 결과를 $n \geq k \geq 5$ 전역으로 확장하기 위해.
• 두 가지 기존 구성—$K_{k-2}$를 서로 다른 색으로 칠하고 나머지는 한 가지 색으로 칠하는 것, 또는 구조적 그래프 $H(n,k-1,\ell-1)$를 사용하는 것—이 실제로 최적임을 확인하기 위해.
• 레인보우 경로를 피하는 극한 간선 색칠 그래프의 구조적 특성을 기하학적 그래프 이론적 추론을 통해 완전히 규명하기 위해.

제안 방법

• 최근의 Füredi, Kostochka, Luo, Verstraëte의 $P_k$-free 및 $\mathcal{C}_k$-free 그래프에 대한 안정성 정리들을 활용하여, 작은 $n$ 에 대해서도 적용 가능한 결과를 도출한다.
• $P_k$-free 연결 그래프의 간선 수를 제한하기 위해 연결 투란 수 $\mathrm{ex}_{\text{con}}(n, P_k)$ 를 적용한다.
• 정점들을 집합 $A$, $B$, $C$ 로 분할하고 특정 간선 집합을 가지는 극한 구성인 $H(n,k,a)$ 극한 그래프 구조를 사용하여 극한 구성을 모델링한다.
• 가장자리 수가 $\mathrm{ar}(n,k)$ 를 초과하는 가상의 극한 색칠이 존재한다고 가정할 경우, 레인보우 $P_k$ 가 반드시 존재함을 보여주는 모순 증명을 사용한다.
• 간선 색칠된 $K_n$ 의 표현 그래프 $L_n$ 의 구조를 분석하여, 주어진 조건 하에서 $L_n$ 이 반드시 $H(n,k-1,1)$ 또는 $H(n,k-1,\ell-1)$ 의 부분그래프임을 보여준다.
• 경로 길이 $k$ 의 기수성(홀/짝)에 따라 경우를 나누어 분석하며, 도시도 또는 연결성에 기반한 추론을 통해 가정이 반-라미지 경계를 위반할 경우 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 완전 그래프 $K_n$ 에서 $k$ 개 정점으로 이루어진 경로에 대한 반-라미지 수 $\mathrm{AR}(n, P_k)$ 의 정확한 값은 무엇인가요?
• RQ2 두 가지 기존 구성—$K_{k-2}$ 를 서로 다른 색으로 칠하고 나머지는 한 가지 색으로 칠하는 것, 또는 $H(n,k-1,\ell-1)$ 그래프를 사용하는 것—이 레인보우 경로를 피하기 위해 최적입니까?
• RQ3 극한 그래프 이론의 안정성 결과를 활용하여, 작은 $n$ 에 대해서도 경로에 대한 정확한 반-라미지 수를 유도할 수 있습니까?
• RQ4 경로에 대한 반-라미지 수는 $k$ 의 기수성에 따라 어떻게 달라지며, 공식에서의 $\epsilon = 1$ 또는 $2$ 수정항은 무엇을 설명합니까?
• RQ5 모든 간선 색칠된 $K_n$ 에서 $\mathrm{ar}(n,k)$ 개를 초과하는 색상이 존재할 경우, 반드시 $k$ 개 정점으로 이루어진 레인보우 경로를 구성할 수 있습니까?

주요 결과

• 논문은 경로에 대한 정확한 반-라미지 수를 확립한다: $\mathrm{AR}(n, P_k) = \max\left\{\binom{k-2}{2}+1, \binom{\ell-1}{2} + (\ell-1)(n - \ell + 1) + \epsilon\right\}$, 여기서 $\ell = \lfloor(k-1)/2\rfloor$ 이고, $k$ 가 홀수일 경우 $\epsilon = 1$, 짝수일 경우 $\epsilon = 2$.
• $n \geq k \geq 5$ 인 경우, 간선에 색을 칠한 $K_n$ 에서 레인보우 $P_k$ 를 피하는 최대 색상 수는 정확히 두 가지 기존 극한 구성에 의해 달성된다.
• 증명은 두 구성이 최적임을 확인한다: 하나는 $K_{k-2}$ 를 서로 다른 색으로 칠하고 나머지를 한 가지 색으로 칠하는 구성이며, 다른 하나는 그래프 $H(n,k-1,\ell-1)$ 에 기반한 구성이다.
• Füredi, Kostochka, Luo, Verstraëte의 안정성 결과는 임의의 크기의 그래프에 적용 가능하여, $n$ 이 크지 않은 경우에도 정확한 경계를 도출할 수 있게 한다.
• 가장자리 수가 $\mathrm{ar}(n,k)$ 를 초과하는 색칠이 존재한다고 가정할 경우, 이는 반드시 레인보우 경로를 유도함을 보여주는 모순을 유도한다.
• 분석 결과, 이러한 모든 극한 색칠은 표현 그래프 $L_n$ 이 $H(n,k-1,1)$ 또는 $H(n,k-1,\ell-1)$ 의 부분그래프임을 보여주며, 이에 대한 이탈은 도시도 또는 연결성에 기반한 추론을 통해 모순을 이끌어낸다.