[논문 리뷰] Essentially tight bounds for rainbow cycles in proper edge-colourings

Noga Alon, Matija Bucić외 3명|arXiv (Cornell University)|2023. 09. 08.

Limits and Structures in Graph TheoryMathematics인용 수 3

한 줄 요약

이 논문은 $n$개 정점으로 이루어진 적절한 간선 색칠을 가진 그래프에서 레인보우 사이클이 존재하지 않을 경우의 최대 평균 차수에 대해 거의 날카로운 경계를 확립한다. 이는 $O(\log n \cdot \log \log n)$의 평균 차수로도 그러한 사이클이 보장됨을 증명한다. 이 결과는 기존 하한값에 비해 $\log\log n$ 요소의 차이만 남기고 상한값을 하한값에 가깝게 좁혀, 오랫동안 남아있던 극적 문제를 해결하며, 비아벨 군에서의 가군 체계론과의 연결을 제시한다.

ABSTRACT

An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstraëte from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.

연구 동기 및 목표

• 적절한 간선 색칠을 가진 그래프에서 레인보우 사이클의 존재를 보장하는 평균 차수의 정확한 점근적 임계값을 결정하는 것.
• 기존에 알려진 하한값인 $\Omega(\log n)$와 이전까지의 최良 상한값인 $O(\log^2 n)$ 사이의 격차를 좁히는 것.
• 상한값에서의 $\log\log n$ 요소가 본질적으로 필요하다는 것을 입증하여, 하위항을 제외한 극적 문제를 해결하는 것.
• 레인보우 사이클 문제와 비아벨 군에서의 가군 체계론, 특히 다벤포트 상수와 대칭군에서의 전치 집합 간의 관계를 밝혀내고 활용하는 것.

제안 방법

• 레인보우 사이클이 없는 적절한 간선 색칠을 가진 그래프의 구조적 분석을 새롭게 도입하여, 부분 그래프의 색상 분포와 연결성 특성에 중점을 둔다.
• 확률론적 및 극적 기법을 적용하며, 부분 샘플링 및 강력한 비선형 확산 성질을 활용하여 색상이 풍부한 부분 구조의 성장을 통제한다.
• 핵심 기법은 색상 팔레트를 두 부분으로 분해하고, 유도된 부분 그래프의 연결성을 분석함으로써 평균 차수에 대한 정교한 경계를 도출하는 것이다.
• 그래프 이론 문제에서의 축소를 통해 기존의 가군 체계론 결과를 비아벨 군으로 확장한다.
• 그래프 이론적 극적 추론과 가군 수론 도구를 결합하며, 특히 분리 집합과 플러스마이너스 다벤포트 상수의 연구를 활용한다.
• 레인보우 사이클 문제를 대칭군 $\mathcal{S}_k$에서의 문제로 축소하여, 항등원이 되는 순서로 곱해지는 전치 집합의 최소 크기를 분석한다.

실험 결과

연구 질문

• RQ1 적절한 간선 색칠을 가진 $n$개 정점의 그래프에서 레인보우 사이클을 피하는 최대 평균 차수는 얼마인가?
• RQ2 상한값 $O(\log^2 n)$에서의 $\log\log n$ 요소를 제거할 수 있는가, 아니면 그 요소는 점근적으로 필수적인가?
• RQ3 레인보우 사이클의 극적 경계는 비아벨 군에서의 가군 다벤포트 상수와 어떻게 관련되어 있는가?
• RQ4 대칭군 $\mathcal{S}_k$에서 항등원이 되는 순서로 곱해지는 전치 집합의 최소 크기는 얼마인가?
• RQ5 강력한 비선형 확산성을 지닌 그래프의 색상 팔레트를 두 부분으로 분할할 수 있는가, 이때 각 부분이 유도된 연결 부분 그래프를 유도하는가?

주요 결과

• 이 논문은 임의의 $n$개 정점으로 이루어진 적절한 간선 색칠을 가진 그래프가 평균 차수가 어떤 절대 상수 $C > 0$에 대해 $C \cdot \log n \cdot \log \log n$ 이상일 경우 반드시 레인보우 사이클을 포함함을 입증한다.
• 이 경계는 거의 날카로우며, 기존에 알려진 최상의 하한값인 $\Omega(\log n)$와 비교했을 때 $\log\log n$ 요소가 상수 요소의 범위 내에서 필수적임이 입증된다.
• 이 결과는 키프라시, 무바이, 수다코프, 버스트라에테가 제기한 극적 문제를 해결하며, 기존의 최상의 하한과 상한 사이의 격차를 $\log\log n$ 요소의 범위 내로 좁힌다.
• 저자들은 레인보우 사이클 문제와 비아벨 군에서의 플러스마이너스 다벤포트 상수 간의 연결고리를 확립하여, 크기가 $n$인 군의 가군 차원에 대해 $d(n) \leq O(\log n \cdot \log \log n)$임을 보였다.
• 대칭군 $\mathcal{S}_k$에 대해, 항등원이 되는 순서로 곱해지는 전치 집합의 최소 크기 $t(k)$는 $k(\log k)^{1-o(1)} \leq t(k) \leq O(k(\log k)^2)$를 만족한다.
• 이 논문은 이전의 경계에서의 $\log\log n$ 항이 방법의 부작용이 아니라 실제로 필수적임을 보이며, 이 경계가 하위항을 제외한 범위에서 날카로움을 뒷받침하는 증거를 제공한다.