[논문 리뷰] Topics in Ramsey Theory

Mano Vikash Janardhanan|arXiv (Cornell University)|2014. 04. 29.

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

한 줄 요약

이 석사 과제는 고정된 범위 $m$를 가진 준등차수열과 관련된 램지 유형 수에 대해 확률적 방법을 사용하여 지수적 하한을 확립한다. $c > 1$ 인 어떤 $c$에 대해 $SP_m(k) > c^k$ 를 증명하며, $c$ 는 $m$ 에 따라 감소하여 $m \to \infty$ 일 때 1에 수렴한다. 이는 이전의 이차 하한에 비해 크게 향상된 결과이다.

ABSTRACT

Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of these $r$ subsets contains a $k$-term member of $\mathcal{F}$, where $[1,n]=\{1,2,3,\ldots,n\}$ and $\mathcal{F}$ is a certain family of subsets of $\mathbb{Z}^+$. When $\mathcal{F}$ is fixed to be the set of arithmetic progressions, the corresponding Ramsey-type numbers are called the van der Waerden numbers. I started the project choosing $\mathcal{F}$ to be the set of semi-progressions of scope $m$. A semi-progression of scope $m\in \mathbb{Z}^+$ is a set of integers $\{x_1,x_2,\ldots,x_k\}$ such that for some $d\in\mathbb{Z}^+$, $x_{i}-x_{i-1}\in\{d,2d,\ldots,md\}$ for all $i\in\{2,3,\ldots,k\}$. The exact values of Ramsey-type functions corresponding to semi-progressions are not known. We use $SP_m(k)$ to denote these numbers as a Ramsey-type function of $k$ for a fixed scope $m$. During this project, I used the probabilistic method to get an exponential lower bound for any fixed $m$. The first chapter starts with a brief introduction to Ramsey theory and then explains the problem considered. In the second chapter, I give the results obtained on semi-progressions. In the third chapter, I will discuss the lower bound obtained on $Q_1(k)$. When $\mathcal{F}$ is chosen to be quasi-progressions of diameter $n$, the corresponding Ramsey-type numbers obtained are denoted as $Q_n(k)$. The last chapter gives an exposition of advanced probabilistic techniques, in particular concentration inequalities and how to apply them.

연구 동기 및 목표

• 정수에서 고정된 범위 $m$를 가진 준등차수열에 대한 램지 유형 수를 조사한다.
• $SP_m(k)$의 알려진 하한을 향상시키는 것, 여기서 $SP_m(k)$ 는 $[1,N]$ 의 모든 $r$-색칠이 $k$-항 준등차수열(범위 $m$)을 단색으로 포함하는 최소 $N$ 이다.
• 확률적 방법을 적용하여 이전에 알려진 바보다 더 강력한 하한을 유도한다.
• 범위가 더 큰 직선형 수열으로 일반화할 때 이 방법의 한계를 탐색한다.
• 확률적 조합론에서 첨단 농도 부등식의 유용성을 보여준다.

제안 방법

• 확률적 방법을 사용하여 랜덤 2색칠된 $[1,N]$ 에서 단색 $k$-항 준등차수열의 기대 개수를 추정한다.
• 시작점 $a$ 와 차이 $d$ 를 고정하고, 각 색칠을 점프 횟수의 튜플로 매핑함으로써 단색 준등차수열을 포함하는 색칠 수를 세는 방법을 사용한다.
• 다항계수와 기하급수를 적용하여 $(a,d)$ 쌍 당 색칠 수의 상한을 유도하며, 결과적으로 $|\gamma_{a,d}| \leq 2^N \left(\frac{2^m - 1}{2^m}\right)^{k-1}$ 의 상한을 얻는다.
• 모든 가능한 $a$ 와 $d$ 에 대해 합산하여 악성 색칠 수의 총합 상한을 유도한다: $S \leq \frac{N^2}{k} \cdot 2^N \left(\frac{2^m - 1}{2^m}\right)^{k-1}$.
• 단색 $k$-항 준등차수열이 없는 색칠이 존재함을 보장하기 위해 조건 $S < 2^N$ 을 도입함으로써 $N < k \left(\frac{2^m}{2^m - 1}\right)^{k-1}$ 를 유도한다.
• 기저 $c = \left(\frac{2^m}{2^m - 1}\right)^{1 - \frac{1}{k}}$ 를 가진 지수적 하한 $SP_m(k) > c^k$ 를 도출하며, 이때 $c$ 는 $m \to \infty$ 일 때 1에 수렴한다.

실험 결과

연구 질문

• RQ1 단색 $k$-항 준등차수열(범위 $m$)을 포함하는 최소 $N$ 인 램지 유형 함수 $SP_m(k)$ 에 대해 알려진 최고의 하한은 무엇인가요?
• RQ2 확률적 방법을 사용하여 $SP_m(k)$ 의 알려진 이차 하한을 향상시킬 수 있을까요?
• RQ3 지수적 하한 $SP_m(k)$ 는 범위 $m$ 에 따라 어떻게 달라지나요?
• RQ4 왜 동일한 방법은 직경 $n > 1$ 인 준직선수열에 대해 지수적 하한을 도출하지 못할까요?
• RQ5 농도 부등식과 같은 첨단 확률적 도구는 이러한 하한을 정밀화하는 데 어떻게 사용될 수 있나요?

주요 결과

• 논문은 지수적 하한 $SP_m(k) > c^k$ 를 $c > 1$ 인 어떤 $c$ 에 대해 확립하며, 이는 이전의 알려진 이차 하한에 비해 크게 향상된 결과이다.
• 지수의 기저인 $c = \left(\frac{2^m}{2^m - 1}\right)^{1 - \frac{1}{k}}$ 는 $m$ 에 대해 엄밀히 감소하는 함수이며, $m \to \infty$ 일 때 1에 수렴한다.
• 범위 $m = 2$ 인 경우, 방법은 $N < k \left(\frac{4}{3}\right)^k$ 를 유도하며, 이는 $SP_2(k) > \left(\frac{3}{4}\right)^k \cdot k^{-1} \cdot 4^k$ 를 의미한다. 이는 $k$ 에 대해 지수적이다.
• 이 방법은 직경 $n > 1$ 인 준직선수열에는 실패하며, 결과적으로 $c < 1$ 인 $Q_n(k) > c^k$ 만 도출되며, 이는 하한으로서 유용하지 않다.
• 분석은 램지 유형 문제에서 다항계수 수세기와 기하급수 합산을 결합한 확률적 방법의 강력함을 보여준다.
• 이 작업는 조합적 맥락에서 랜덤 변수의 농도를 추정하는 데 있어 농도 부등식의 유용성을 부각시킨다.