[논문 리뷰] Rainbow Ramsey problems for the Boolean lattice

Fei-Huang Chang, Dániel Gerbner외 5명|arXiv (Cornell University)|2018. 09. 23.

Limits and Structures in Graph Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 불리안 랏스터에서의 레인보우 라미지 수를 도입하고 조사하여, $B_n$ 내에서 단색 및 레인보우 복사본을 갖는 부분순서집합(posets)에 대한 첫 번째 체계적 연구를 수행한다. 많은 부분순서집합 $P$와 $Q$에 대해 약한 레인보우 라미지 수 $RR(P,Q)$가 고전적 라미지 수 $R_{|Q|-1}(P)$와 같음을 증명하며, 강한 형태에서의 엄밀한 부등식을 보여주는 구성도 제시하여 불리안 랏스터 내에서의 극단적 부분순서집합 이론에 대한 이해를 발전시킨다.

ABSTRACT

We address the following rainbow Ramsey problem: For posets $P,Q$ what is the smallest number $n$ such that any coloring of the elements of the Boolean lattice $B_n$ either admits a monochromatic copy of $P$ or a rainbow copy of $Q$. We consider both weak and strong (non-induced and induced) versions of this problem. We also investigate related problems on (partial) $k$-colorings of $B_n$ that do not admit rainbow antichains of size $k$.

연구 동기 및 목표

• 불리안 랏스터 $B_n$ 내에서 부분순서집합에 대한 레인보우 라미지 수를 정의하고 조사하여, 고전적 라미지 이론에 레인보우(다색) 하위부분순서집합을 포함시키는 확장.
• 모든 $k$-색 칠하기에서 부분순서집합 $P$의 단색 사본 또는 부분순서집합 $Q$의 레인보우 사본을 포함하는 최소의 $n$을 결정하며, 이는 약한 및 강한(유도된) 설정 모두에서 적용.
• 레인보우 라미지 수와 고전적 라미지 수 간의 관계를 탐구하며, 특히 $RR(P,Q) = R_{|Q|-1}(P)$가 등호 또는 엄밀한 부등호를 가질지 여부를 검토.
• $B_n$의 $k$-색 칠하기에서 크기 $k$인 레인보우 반사상(antichain)을 피하는 방법을 분석하여, 문제를 극단적 집합 이론과 루벨 유사 경계와 연결.
• 강한 레인보우 복사본을 갖는 반사상 $A_k$를 피하는 색칠을 구성하여 $F'(n,k)/2^{\floor{n/2}} \to \infty$가 $n,k \to \infty$일 때 성립함을 보여냄.

제안 방법

• 불리안 랏스터 $B_n$ 내에서 부분순서집합 $P$와 $Q$에 대해 약한 및 강한 레인보우 라미지 수 $RR(P,Q)$와 $RR^*(P,Q)$를 정의하며, 여기서 레인보우 복사본은 모든 원소가 서로 다른 색을 가져야 한다.
• extremal set theory와 관련하여 $k$-LYM 부등식을 통해 $P$-free 가족을 분석하기 위해 Lubell-mass $λ_n({\mathcal{F}})$를 사용.
• 색칠 증명을 통해 $RR(P,Q) \geq R_{|Q|-1}(P)$를 증명: $|Q|-1$개의 색만 사용하면 레인보우 $Q$가 존재할 수 없으므로, 고전적 라미지 수의 하한이 적용됨.
• 확률적 방법을 활용하여, 상호 교차 수가 작은 크기 $\lfloor n/2\rfloor + l_k$의 랜덤 집합을 사용해 강한 레인보우 반사상 크기 $k$를 피하는 명시적 색칠을 구성.
• 이러한 구성에서 색 클래스의 크기를 분석하여 $|\phi^{-1}(i)| \geq (2^{l_k} - o(1))2^{\lfloor n/2\rfloor}$를 도출함으로써 $F'(n,k)$의 성장을 증명.
• $\alpha$와 $\beta$를 포함하는 대수적 부등식을 사용해, 레인보우-프리 색칠의 최대 크기와 관련된 표현을 경계하며, 특정 조건 하에서 $1+\beta + \frac{1}{1-(\alpha-\beta)} \leq 1+\sqrt{2}$임을 증명.

실험 결과

연구 질문

• RQ1 어떤 부분순서집합 $P$와 $Q$ 쌍에 대해 약한 레인보우 라미지 수 $RR(P,Q)$가 고전적 라미지 수 $R_{|Q|-1}(P)$와 같아지는가?
• RQ2 강한 레인보우 라미지 수 $RR^*(P,Q) > R^*_{|Q|-1}(P)$에서 엄밀한 부등호가 발생할 수 있으며, 만약 그렇다면 어떤 조건에서 발생하는가?
• RQ3 강한 레인보우 복사본을 갖는 반사상 $A_k$를 피하는 $k$-색 칠하기의 최대 크기는 얼마인가?
• RQ4 함수 $F'(n,k)$는 $n,k \to \infty$일 때 점점 커지며, 그 점근적 성장률은 어떻게 되는가?
• RQ5 레인보우 라미지 수 $RR(P,Q) > R_{|Q|-1}(P)$가 성립하는 부분순서집합 $P$와 $Q$가 존재하는가, 즉 하한에서 엄밀한 부등호가 발생하는가?

주요 결과

• 많은 부분순서집합 $P$와 $Q$에 대해 약한 레인보우 라미지 수는 $RR(P,Q) = R_{|Q|-1}(P)$를 만족하며, 이는 제1.3조의 하한에서의 등호를 보여준다.
• 논문은 $B_n$에 대한 $k$-색 칠하기를 구성하여 강한 레인보우 복사본을 갖는 반사상 $A_k$를 피함을 증명하며, 이에 따라 $F'(n,k) \geq (2^{l_k} - o(1))2^{\lfloor n/2\rfloor}$가 성립한다. 여기서 $l_k = \lfloor \log(k-1)/2 \rfloor$이며, 이는 $n,k \to \infty$일 때 $F'(n,k)/2^{\lfloor n/2\rfloor} \to \infty$임을 의미한다.
• 일부 부분순서집합 $P,Q$에 대해 강한 레인보우 라미지 수는 $RR^*(P,Q) > R^*_{|Q|-1}(P)$를 만족하며, 이는 제1.3조(ii)의 하한이 엄격할 수 있음을 보여준다.
• 이 구성은 크기 $\lfloor n/2\rfloor + l_k$의 랜덤 집합을 사용하며, 상호 교차 수가 최대 $0.26n$ 이하이므로, 어떤 색 클래스도 크기 $k$의 완전한 레인보우 반사상을 지닌다.
• 표현 $1+\beta + \frac{1}{1-(\alpha-\beta)}$의 분석은 제약 조건 $\alpha < \frac{1}{2+\sqrt{2}-\beta}$ 하에서 $1+\sqrt{2}$ 이하로 경계됨을 보여주며, 이는 증명의 핵심 부등식을 뒷받침한다.
• 논문은 $0 \leq \beta \leq 1/2$일 때 $\beta(-\beta^2 + (1+2\sqrt{2})\beta - 2) \leq 0$임을 증명하며, 이는 구성에서 관련 표현의 상한을 확립하는 데 핵심적인 역할을 한다.