[논문 리뷰] On multicolor Ramsey numbers for loose $k$-paths of length three

Tomasz Łuczak, Joanna Polcyn외 1명|arXiv (Cornell University)|2017. 03. 28.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 $k$-균일 초그래프에서 이완된 $k$-경로의 길이가 3인 다색 레이먼드 수에 대해 유계 상한을 확립한다. 초그래프 이론의 안정성 결과—특히 밀도가 높은 $P^{(k)}$-free 초그래프는 단일 큰 별 구조에 의해 지배된다는 것—을 활용하여, 충분히 큰 $r$에 대해 레이먼드 수 $R(P^{(k)}; r)$가 $k$에 관계없이 $250r$ 이하임을 증명한다. 이는 큰 $r$에 대해 추측을 해결하며, $k$가 증가함에도 불구하고 레이먼드 수가 $r$에 대해 선형으로 증가함을 보여준다.

ABSTRACT

We show that there exists an absolute constant $A$ such that for each $k\ge2$ and every coloring of the edges of the complete $k$-uniform hypergraph on $ Ar$ vertices with $r$ colors, one of the color classes contains a loose path of length three.

연구 동기 및 목표

• 이완된 $k$-경로의 길이가 3인 $k$-균일 초그래프에서 다색 레이먼드 수 $R(P^{(k)}; r)$의 渐近적 행동을 규명하는 것.
• 레이먼드 수가 $r$에 대해 선형으로 증가하고 $k$에 관계없이 상수 요소를 가지며, $R(P^{(k)}; r) = r + 3k - 3$라는 추측을 큰 $r$에 대해 해결하는 것.
• 높은 간선 밀도를 가진 $P^{(k)}$-free $k$-그래프는 반드시 매우 높은 차수를 가진 정점을 포함하며, 이는 지배적인 별 구조를 암시한다는 안정성 결과를 수립하는 것.

제안 방법

• Füredi, Jiang, Seiver의 극한 결과에 대한 안정성 판정을 활용하여, 높은 간선 밀도를 가진 $P^{(k)}$-free $k$-그래프는 차수가 $|H| - 0.96^k \binom{n-1}{k-1}$ 이상인 정점이 존재함을 보여주는 것.
• 확률적 분할 기법을 적용: 정점 집합을 무작위로 두 부분으로 나누고, 정점 $v_f$가 한 부분에 있고 $(k-1)$-집합 $f$가 다른 부분에 있는 '적절한' 간선을 식별하는 것.
• 적절한 집합에 대해 3색 색칠 논증을 적용하여, 단색 $(k-1)$-경로의 길이가 3인 것을 강제하고, 이를 원래 초그래프에서 $k$-경로 $P^{(k)}$로 확장하는 것.
• Fact 5(하위초그래프의 최소 차수)와 Fact 6(이분 그래프의 최소 차수 하위그래프)를 사용하여 각 색 클래스에서 조밀한 하위초그래프를 추출하는 것.
• 평균화와 극한 경계를 적용하여, 만약 단색 $P^{(k)}$가 존재하지 않는다면, 차수 조건에 의해 강제되는 간선 수 때문에 모순이 발생함을 보이는 것.
• 이중 세기와 이웃 분석을 활용하여, 최대 차수가 유계일 경우 $P^{(k)}$가 반드시 존재함을 보여주며, $P^{(k)}$-freeness의 가정과 모순됨을 밝혀내는 것.

실험 결과

연구 질문

• RQ1 다색 레이먼드 수 $R(P^{(k)}; r)$는 $k$에 관계없이 상수 요소를 가지며 $r$에 대해 선형으로 증가하는가?
• RQ2 이완된 $P^{(k)}$-free $k$-그래프의 안정성 결과를 사용하여, 큰 $r$에 대해 $R(P^{(k)}; r)$에 대한 균일한 상한을 증명할 수 있는가?
• RQ3 모든 $r$-색칠에서 $K^{(k)}_{Ar}$에 대해 단색 이완 $k$-경로의 길이가 3인 것을 구성할 수 있는가?
• RQ4 모든 $k \geq 3$ 및 큰 $r$에 대해 $R(P^{(k)}; r) \leq Ar$가 균일하게 성립하는 최소의 $A$는 얼마인가?
• RQ5 큰 $n$에 대해 $P^{(k)}$-free $k$-그래프의 구조는 단일 별에 의해 지배된다고 특징지을 수 있는가?

주요 결과

• $k \geq 250$ 이고 충분히 큰 $r$에 대해, 모든 $k$에 대해 $R(P^{(k)}; r) \leq 250r$임을 증명한다.
• 논문은 안정성 결과를 증명한다: $n$개 정점에서 구성된 $P^{(k)}$-free $k$-그래프에서 $|H| \geq 0.96^k \binom{n-1}{k-1}$이면, 차수가 $|H| - 0.96^k \binom{n-1}{k-1}$ 이상인 정점이 존재한다.
• 만약 $Ar$ 개 정점에서 구성된 완전한 $k$-그래프에서 단색 $P^{(k)}$가 존재하지 않는다면, 축소된 하위그래프의 간선 수가 너무 적어지며, 이는 모순을 초래함을 보여주는 것.
• 상수 $A = 250$는 $(A-1)^k > k (0.96)^k A^{k-1}$를 만족시키도록 선택되어, 수세기 논증에서 모순이 발생함을 보장한다.
• 결과적으로, $k$가 증가함에도 불구하고 레이먼드 수가 $r$에 대해 선형으로 증가하며, 유일한 상수 요소를 가짐을 암시한다.
• 핵심 단계는, 임의의 $P^{(k)}$-free 초그래프에서 단일 정점이 간선 구조를 지배하며, 이를 사용하여 큰 완전한 $k$-그래프의 모든 $r$-색칠에서 단색 $P^{(k)}$를 강제할 수 있음을 보여주는 것.