[논문 리뷰] Multicolor Ramsey numbers and restricted Tur\'an numbers for the loose 3-uniform path of length three

Eliza Jackowska, Joanna Polcyn외 1명|arXiv (Cornell University)|2015. 07. 15.

Limits and Structures in Graph Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 길이 3인 루프 없는 3균형 경로 P에 대한 다색 레이먼드 수를 결정하며, 트라날 유형 결과를 정교화하여 모든 r ≤ 7에 대해 R(P; r) = r + 6임을 증명한다. 고차원 트라날 수—특히 별이 아닌 P-free 3-그래프에서의 간선 수 최댓값—를 도입함으로써, 극단적 초그래프의 구조 분석을 통해 레이먼드 수에 대한 더 날카운 경계를 확립한다.

ABSTRACT

Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-colored Ramsey number for $P$ is $R(P;r)=r+6$ for $r=2,3$, and that $R(P;r)\le 3r$ for all $r\ge3$. The latter result follows by a standard application of the Tur\'an number $ex_3(n;P)$, which was determined to be $\binom{n-1}2$ in our previous work. We have also shown that the full star is the only extremal 3-graph for $P$. In this paper, we perform a subtle analysis of the Tur\'an numbers for $P$ under some additional restrictions. Most importantly, we determine the largest number of edges in an $n$-vertex $P$-free 3-graph which is not a star. These Tur\'an type results, in turn, allow us to confirm the formula $R(P;r)=r+6$ for $r\in\{4,5,6,7\}$.

연구 동기 및 목표

• 길이 3인 루프 없는 3균형 경로 P에 대한 정확한 다색 레이먼드 수 R(P; r)를 결정하는 것.
• P에 대해 제2 및 제3차 트라날 수의 개념을 도입함으로써 고전적 트라날 수 경계를 정교화하는 것.
• 모든 별에 포함되지 않는 극단적 P-free 3-그래프 중에서 유일한 것이 코메트 초그래프 Co(n)임을 규명하여, 별이 아닌 조건 하에서 간선 수를 최대화하는 구조를 밝혀내는 것.
• r = 4에서 7까지의 레이먼드 수를 해결하여, 이 경우에 R(P; r) = r + 6임을 확인하는 것.

제안 방법

• P에 대해 s차 트라날 수의 개념을 도입하여, 어떤 별의 부분집합이 되지 않는 P-free 3-그래프에서의 간선 수 최댓값을 포괄하는 것.
• n ≥ 11에 대한 귀납법을 사용하며, 기저 사례로 n = 8, 9, 10을 고려하여, 구조적 제약 조건 하에서 P- 및 C-free 3-그래프의 간선 수를 경계하는 것.
• 고정된 부분구조 M(예: P₃² ∪ K₃³)을 조건으로 하는 조건부 트라날 수 ex(n; P|M)를 적용하고, 극단적 구성이 유일하게 코메트임을 증명하는 것.
• 핵심 집합 W₀(핵심의 어떤 간선에도 속하지 않는 정점들)의 크기를 기반으로 한 케이스 분석을 수행하며, 이전 레마에서 유도된 부등식을 활용해 간선 수를 경계하는 것.
• 기존의 극단적 결과를 활용: ex₃(n; P) = (n−1 choose 2)이며, 이 경우 유일한 극단적 초그래프는 전체 별 S₃ⁿ이다.
• 만약 H − v가 코메트 Co(n−1)이고 deg(v) = n−5이면 H는 반드시 코메트 Co(n)이므로, 간선 수 상한의 날카로움을 보장하는 것.

실험 결과

연구 질문

• RQ1 어떤 n-정점 P-free 3-그래프가 어떤 별의 부분집합이 아니며, 간선 수가 최대인가?
• RQ2 정교화된 트라날 유형 결과를 사용하여 r > 3인 경우 레이먼드 수 R(P; r)를 정확히 결정할 수 있는가?
• RQ3 코메트 초그래프 Co(n)은 별이 아닌 P-free 3-그래프 중에서 유일한 극단적 구성인가?
• RQ4 r = 4, 5, 6, 7일 때 공식 R(P; r) = r + 6가 성립하는가, 그리고 만약 그렇다면 간선 색칠의 어떤 구조적 조건에 따라 성립하는가?

주요 결과

• 제2차 트라날 수 ex²(n; P)는 4 + (n−5 choose 2)임을 보이며, 이는 코메트 초그래프 Co(n)에 의해 유일하게 달성된다.
• r = 4에서 7까지, 레이먼드 수 R(P; r)는 정확히 r + 6이며, 간선 색칠의 구조적 분석과 트라날 유형 극한 경계를 통해 확인된다.
• n-정점에서 P-free 3-그래프 중 (n−1 choose 2)개의 간선을 초과하는 것은 전체 별 S₃ⁿ 뿐이며, 별에 포함되지 않는 다른 모든 극단적 P-free 3-그래프는 Co(n)과 동형이다.
• 경계 ex₃(n; P) = (n−1 choose 2)는 날카롭고, 등호는 전체 별일 때에만 성립하며, 이는 레이먼드 수 유도에 있어 핵심적이다.
• n ≥ 11일 때, 4 + (n−5 choose 2)개의 간선을 초과하는 P-free 3-그래프는 반드시 코메트 Co(n)이어야 하며, 이 구조는 레이먼드 수 경계를 달성하기 위해 필수적이다.
• 귀납적 증명을 통해 H − v = Co(n−1)이고 deg(v) = n−5이면 H = Co(n)임을 보여, 간선 수 상한의 날카로움이 입증된다.