[논문 리뷰] Ordered Ramsey numbers

David Conlon, Jacob Fox외 2명|arXiv (Cornell University)|2014. 10. 20.

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

한 줄 요약

이 논문은 정점 순서가 단색 복제본 내에서 유지되어야 하는 레이블러드 그래프의 경우에 대해 정점 순서를 유지하는 라미지 수의 변종인 순서형 라미지 수를 도입하고 조사한다. 흩어진 그래프인 매칭과 같은 그래프조차도 순서형 라미지 수가 초다항적으로 증가할 수 있음을 증명하며, 모든 레이블러드 그래프 H에 대해 일반적인 상한 $ r_< (H) \leq r(H)^{c\log^2 n} $ 를 확립함으로써, 표준 라미지 수보다 약간 더 빠르게 증가함을 보여준다.

ABSTRACT

Given a labeled graph $H$ with vertex set $\{1, 2,\ldots,n\}$, the ordered Ramsey number $r_

연구 동기 및 목표

• 정점 순서가 레이블러드 그래프 내에서 단색 복제본에 유지되어야 하는 경우에 대해 순서형 라미지 수를 체계화하고 연구한다.
• 그래프의 구조와 레이블링이 라미지 유형의 임계점에 미치는 영향, 특히 고전적 라미지 수와의 비교를 이해한다.
• 특히 흩어진 또는 구조화된 그래프에 대해 순서형 라미지 수가 고전적 라미지 수보다 상당히 클 수 있는지 확인한다.
• 매칭, 경로, 초입방형체 등 다양한 그래프 가족에 대해 순서형 라미지 수의 일반적인 상한 및 하한을 확립한다.
• 특정 그래프 계열, 예를 들어 입방체와 유계 차수 그래프에 대해 순서형 라미지 수의 증가율에 관한 열린 문제를 탐색한다.

제안 방법

• 레이블러드 그래프 H에 대해 순서형 라미지 수 $ r_< (H) $ 를 정의한다. 이는 $ K_N $ 의 모든 2색 칠하기에서 H의 단색 순서형 복제본(정점의 상대적 순서가 H와 동일한)이 존재하는 최소의 N으로 정의된다.
• 극한 조합론과 확률적 방법을 사용하여 상한을 도출하며, 레이블러드 그래프 H에 대해 일반적인 상한 $ r_< (H) \leq r(H)^{c\log^2 n} $ 를 확립한다.
• 구간 색수와 대역폭 개념을 적용하여 매칭과 경로와 같은 구조화된 그래프를 분석하며, 유계 대역폭 그래프에 대해 다항식 상한을 증명한다.
• 금지된 0-1 행렬에 관한 Füredi와 Hajnal의 결과와 같은 기존의 극한 그래프 이론 결과를 활용하여 특정 그래프 가족의 순서형 라미지 수를 상한으로 제한한다.
• 라미지 유형 정리의 반복적 적용(예: 정리 5.4)을 통해 중첩된 단색 부분그래프를 구성함으로써, 대역폭이 유계인 그래프에 대한 상한을 도출한다.
• 입방체 그래프 $ Q_d $ 를 구간 색수와 대역폭을 이용해 분석하여 지수 상한과 하한을 도출하며, 하한이 진실에 더 가까울 것이라 추측한다.

실험 결과

연구 질문

• RQ1 고전적 라미지 수가 다항식이지만, 매칭과 같은 흩어진 그래프에 대해서도 순서형 라미지 수가 초다항적으로 증가할 수 있는가?
• RQ2 고전적 라미지 수와 정점 수에만 의존하는 일반적인 상한이 순서형 라미지 수에 존재하는가?
• RQ3 대역폭이 유계인 그래프에 대해 순서형 라미지 수가 정점 수에 대한 다항식으로 유계가 될 수 있는가?
• RQ4 초입방체 $ Q_d $ 의 순서형 라미지 수는 d에 대해 지수적으로 증가하는가? 그리고 하한이 상한보다 더 날카로운가?
• RQ5 d-정규 그래프의 순서형 라미지 수가 어떤 레이블링에서는 n에 대해 선형일 수 있는가, 아니면 항상 초선형인가?

주요 결과

• 모든 n개 정점으로 이루어진 레이블러드 그래프 H에 대해, 어떤 절대 상수 c에 대해 $ r_< (H) \leq r(H)^{c\log^2 n} $ 를 만족하며, 이는 고전적 라미지 수에 비해 쿼드라틱 폭발 정도만 증가함을 보여준다.
• 매칭에 대해 특정 레이블링을 선택할 경우, 순서형 라미지 수가 정점 수에 대해 초다항적으로 증가함을 보여주며, 순서형 라미지 수와 고전적 라미지 수 사이에 상당한 격차가 있음을 입증한다.
• 단조 경로 $ P_n $ 에 대해 순서형 라미지 수는 정확히 $ (n-1)^2 + 1 $ 이며, 이는 단조 수열에 대한 Erdős–Szekeres 정리와 일치한다.
• d차원 입방체 $ Q_d $ 에 대해 순서형 라미지 수는 최소 $ 2^{c'd^2 / \log d} $ 이고 최대 $ 2^{cd^3} $ 이며, 하한이 진실에 더 가까울 것으로 여겨진다.
• 대역폭이 최대 k인 그래프에 대해 순서형 라미지 수는 $ n^{c_k} $ 로 유계이며, 이 결과는 이후 모든 대역폭이 유계인 그래프로 확장되었다.
• 대역폭이 최대 k인 매칭에 대해 순서형 라미지 수는 $ n^{\lceil \log k \rceil + 2} $ 로 유계이며, 이 상한은 로그 인자 외에는 정확히 타이트하다.