[논문 리뷰] Lower bounds for rainbow Tur\'{a}n numbers of paths and other trees

Daniel Johnston, Puck Rombach|arXiv (Cornell University)|2019. 01. 10.

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

한 줄 요약

이 논문은 레이인보우 투란 수 $ ex^*(n, F) $에 대한 새로운 하한을 확립하며, 모든 $ k \geq 3 $ 에 대해 $ k $ 개의 간선을 가진 경로 $ P_k $ 에 대해 $ ex^*(n, P_k) \geq \frac{k}{2}n + O(1) $ 임을 보여주며, 이는 이전 결과를 일반화한 것이다. 저자들은 해밍 거리 기반 색상 부여 방식을 사용하는 구조적 간선 색칠 그래프—특히 $ D_{2^s}^* $, 완전 그래프 $ K_{2^s}^* $ 의 부분그래프로서, 이는 $ \mathbb{F}_2^s $ 에서의 해밍 거리에 기반한 색상으로 구성됨—을 이용해 레이인보우 $ P_k $ 를 포함하지 않는 밀도 높은 간선 색칠 그래프를 구성하였으며, 이 방법을 브룸과 기타 소형 직경을 가진 캐터필러로 확장하였다.

ABSTRACT

For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a rainbow copy of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n, F)$, is the rainbow Tur\\'{a}n number of $F$. We show that $ex^*(n,P_k)\\geq \\frac{k}{2}n + O(1)$ where $P_k$ is a path on $k\\geq 3$ edges, generalizing a result by Maamoun and Meyniel and by Johnston, Palmer and Sarkar. We show similar bounds for brooms on $2^s-1$ edges and diameter $\\leq 10$ and a few other caterpillars of small diameter.

연구 동기 및 목표

• 모든 $ k \geq 3 $ 에 대해 기존의 $ k \in \{3,4\} $ 에서의 하한 $ ex^*(n, P_k) = \frac{k}{2}n + O(1) $ 를 일반화하여, 레이인보우 투란 극값 그래프의 보다 광범위한 구조적 이해를 확립한다.
• 경로를 초월한 다른 나무, 특히 브룸과 소형 직경을 가진 캐터필러에 대해 이 방법을 확장하여, 이러한 나무의 레이인보우 복제본을 피하는 간선 색칠 그래프를 구성한다.
• 특정 나무의 레이인보우 복제본을 피하는 적절한 간선 색칠 그래프에서의 극값 간선 밀도를 조사함으로써, 이분 그래프 및 숲 유형 그래프에 대한 레이인보우 투란 문제에 기여한다.
• 특히 $ \mathbb{F}_2^s $ 에서 유도된 $ D_{2^s}^* $ 와 같은 대수적 및 조합적 구성 방법이 레이인보우 투란 이론에서 극값 예시를 생성하는 데 어떻게 유용한지 탐색한다.

제안 방법

• 정점 수 $ 2^s $ 인 간선 색칠 완전 그래프 $ K_{2^s}^* $ 를 구성하며, 각 간선 $ vw $ 는 벡터 $ v - w \in \mathbb{F}_2^s $ 로 색칠되어 적절한 간선 색칠을 형성한다.
• 해밍 거리가 1 또는 $ s $ 인 정점 간선만 포함하는 $ D_{2^s}^* $ 를 $ K_{2^s}^* $ 의 스패닝 부분그래프로 정의하며, 이는 $ (s+1) $-정규이고 적절한 간선 색칠을 가짐을 보장한다.
• $ D_{2^s}^* $ 구성법을 이용해 $ ex^*(n, F) $ 에 대한 하한을 도출하며, 대칭성과 색상 분포의 통제를 활용해 레이인보우 경로 및 사이클의 수를 세는 방식을 사용한다.
• 세지 수 계산 기법을 적용하여 $ D_{2^s}^* $ 내에서 $ P_k $, $ C_k $ 및 기타 나무의 레이인보우 복제본 수를 추정하며, $ k = 2^s - 1 $ 일 때 레이인보우 $ C_k $ 복제본 수가 $ \Omega(k^{\ell-1}n) $ 이며 $ \ell \ll k $ 라는 것을 보여준다.
• $ D_{2^s}^* $ 기반 구성법을 브룸 $ B_{k,l} $ 과 캐터필러 $ CP_{(s_1,\dots,s_t)} $ 로 일반화하며, $ k = 2^s - 1 $ 일 때 이러한 나무의 레이인보우 복제본을 피할 수 있음을 보여준다.
• 평균 차수 분석 및 경로 연장 레디언스(예: 최대 레이인보우 경로 길이 $ k $ 의 끝점인 정점의 차수는 $ 2k-2 $ 이하임)와 같은 극값 그래프 이론 도구를 사용하여 레이인보우 경로 수를 상한하고 극값 성질을 검증한다.

실험 결과

연구 질문

• RQ1 하한 $ ex^*(n, P_k) \geq \frac{k}{2}n + O(1) $ 이 $ k = 3,4 $ 에서의 결과를 초월하여 모든 $ k \geq 3 $ 으로 확장 가능한가? 이 하한은 날카로운가?
• RQ2 $ \mathbb{F}_2^s $ 에서 유도된 $ D_{2^s}^* $ 기반 구성법이 브룸 및 소형 직경 캐터필러와 같은 다른 나무의 레이인보우 복제본을 피하는 데 극값 예시를 제공하는가?
• RQ3 적절한 간선 색칠 그래프에서 레이인보우 복제본을 피하는 데 있어 경로 $ P_k $ 가 가장 쉬운 나무(즉, $ ex^*(n, F) $ 를 최소화하는)인가? 아니면 더 작은 레이인보우 투란 수를 가진 나무가 존재하는가?
• RQ4 $ k = 2^s - 1 $ 일 때 $ K_{2^s}^* $ 내에서 레이인보우 $ C_k $ 복제본의 최대 수는 얼마이며, 이는 $ D_{2^s}^* $ 에서의 수와 어떻게 비교되는가?
• RQ5 $ D_{2^s}^* $ 외에 $ K_{2^s}^* $ 의 부분그래프 중에서 특정 나무, 예를 들어 $ t $-스파이더나 기타 캐터필러의 레이인보우 복제본을 효율적으로 피하는 것이 가능한가?

주요 결과

• 논문은 모든 $ k \geq 3 $ 에 대해 일반 하한 $ ex^*(n, P_k) \geq \frac{k}{2}n + O(1) $ 를 확립하며, 이는 이전에 $ k = 3,4 $ 에서만 알려져 있던 결과를 일반화한 것이다.
• 브룸 $ B_{k,l} $ 에 대해 $ k = 2^s - 1 $ 이고 직경이 10 이하일 경우, $ D_{2^s}^* $ 구성법으로부터 $ ex^*(n, B_{k,l}) \geq \frac{k}{2}n + O(1) $ 를 도출하며, 이는 경로와 유사한 극값 행동을 보임을 보여준다.
• 소형 직경을 가진 캐터필러 $ CP_{(s_1,\dots,s_t)} $ 에 대해 $ k = 2^s - 1 $ 이면 동일한 구성법으로 $ ex^*(n, F) \geq \frac{k}{2}n + O(1) $ 가 성립하며, 이는 이러한 나무들이 또한 조밀한 간선 색칠 그래프에서 피할 수 있음을 시사한다.
• $ k = 2^s - 1 $ 일 때 $ D_{2^s}^* $ 내 레이인보우 $ C_k $ 복제본 수는 최소 $ \frac{k(k-1)}{6}n + O(1) $ 이며, 일반적으로 $ \Omega(k^{\ell-1}n) $ ( $ \ell \ll k $ ) 이므로 풍부한 레이인보우 사이클 구조를 가짐을 보여준다.
• $ D_{2^s}^* $ 가 $ k = 2^s - 1 $ 일 때 $ C_k $-무작위임을 입증하였으며, 따라서 레이인보우 $ P_k $ 를 피하는 유효한 극값 예시로 기능함을 확인하였고, 이는 극값 구성에서의 유용성을 확인한다.
• 논문은 $ D_{2^s}^* $ 가 $ 2^s $ 개 정점과 $ (s+1) $-정규성을 가지며, $ k = 2^s - 1 $ 일 때 레이인보우 $ P_k $ 를 피함을 보여주었으며, 그 간선 밀도가 하한 $ \frac{k}{2}n + O(1) $ 를 달성하는 데 충분함을 입증하였다.