[논문 리뷰] Poset Ramsey Numbers for Boolean Lattices

Linyuan Lü, Joshua C. Thompson|arXiv (Cornell University)|2019. 09. 18.

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

한 줄 요약

이 논문은 부울 래티스에서의 순서집합 라마지 수에 대한 상한을 향상시켜 $ R(Q_n, Q_n) $, $ R(Q_2, Q_n) $, 및 $ R(Q_3, Q_n) $ 에 대해 더 날카운 추정치를 확립한다. 주요 결과로는 $ R(Q_n, Q_n) \to n^2 - n + 2 $ 로, 이는 이전의 상한을 크게 감소시키며 $ m, n $ 이 큰 경우 $ R(Q_m, Q_n) = o(n^2) $ 라는 추측을 지지한다.

ABSTRACT

A subposet $Q'$ of a poset $Q$ is a extit{copy of a poset} $P$ if there is a bijection $f$ between elements of $P$ and $Q'$ such that $x \le y$ in $P$ iff $f(x) \le f(y)$ in $Q'$. For posets $P, P'$, let the extit{poset Ramsey number} $R(P,P')$ be the smallest $N$ such that no matter how the elements of the Boolean lattice $Q_N$ are colored red and blue, there is a copy of $P$ with all red elements or a copy of $P'$ with all blue elements. Axenovich and Walzer introduced this concept in extit{Order} (2017), where they proved $R(Q_2, Q_n) \le 2n + 2$ and $R(Q_n, Q_m) \le mn + n + m$, where $Q_n$ is the Boolean lattice of dimension $n$. They later proved $2n \le R(Q_n, Q_n) \le n^2 + 2n$. Walzer later proved $R(Q_n, Q_n) \le n^2 + 1$. We provide some improved bounds for $R(Q_n, Q_m)$ for various $n,m \in \mathbb{N}$. In particular, we prove that $R(Q_n, Q_n) \le n^2 - n + 2$, $R(Q_2, Q_n) \le \frac{5}{3}n + 2$, and $R(Q_3, Q_n) \le \frac{37}{16}n + \frac{39}{16}$. We also prove that $R(Q_2,Q_3) = 5$, and $R(Q_m, Q_n) \le (m - 2 + \frac{9m - 9}{(2m - 3)(m + 1)})n + m + 3$ for all $n \ge m \ge 4$.

연구 동기 및 목표

• 기존의 $ R(Q_m, Q_n) $ 상한을 개선하고, 특히 대칭 케이스인 $ R(Q_n, Q_n) $ 에 초점을 맞춘다.
• $ R(Q_m, Q_n) $ 에 대한 알려진 상한과 하한 사이의 격차를 좁히며, 특히 작은 $ m $ 과 큰 $ n $ 의 경우에 중점을 둔다.
• $ R(Q_2, Q_n) $, $ R(Q_3, Q_n) $, 및 $ m \to n $ 인 일반적인 $ R(Q_m, Q_n) $ 에 대해 더 날카운 점근적 추정치를 제공한다.
• $ R(Q_2, Q_3) = 5 $ 와 같은 정확한 값을 확인하여, 부울 래티스에서의 작은 라마지 수에 대한 기초적 이해를 기여한다.
• 큰 $ m, n $ 에 대해 $ R(Q_m, Q_n) = o(n^2) $ 라는 추측을 지지하며, 이는 대칭 케이스에서의 순서집합 라마지 수가 제곱 이하로 증가할 가능성을 시사한다.

제안 방법

• 부울 래티스 $ Q_N $ 의 색칠에 대한 케이스 분석을 수행하며, 특히 수준 집합과 포함 체인을 중심으로 $ Q_n $ 의 단색 복제본을 탐지한다.
• 극도의 순서집합 구성과 구조적 제약 조건을 활용하여, $ Q_n $ 의 단색 복제본을 형성하지 않도록 빨간색 또는 파란색 원소가 동시에 존재할 수 있는 최대 수를 제한한다.
• 차원 $ n $ 에 대한 재귀적 및 귀납적 추론을 적용하며, Axenovich 와 Walzer, Walzer의 개선된 결과에서 알려진 상한을 활용한다.
• 특히 $ n \to m \to 4 $ 인 경우에 대해 $ R(Q_m, Q_n) $ 에 대한 새로운 부등식 기반 상한을 도입하며, $ R(Q_m, Q_n) \to \big(m - 2 + \frac{9m - 9}{(2m - 3)(m + 1)}\big)n + m + 3 $ 로 표현된다.
• $ N = 5 $ 에서의 철저한 케이스별 분석을 통해 $ R(Q_2, Q_3) = 5 $ 를 증명하며, 모든 2색 칠하기에서 단색 $ Q_2 $ 또는 $ Q_3 $ 가 존재함을 검증한다.
• Lubell 함수와 순서집합 차원 개념을 활용하여 $ Q_n $-자유 가족의 크기를 제한함으로써, 라마지 수에 대한 상한을 정보화한다.

실험 결과

연구 질문

• RQ1 최대한 날카운 $ R(Q_n, Q_n) $ 상한은 무엇이며, 알려진 하한 $ 2n $ 과 비교해 볼 때 어떻게 되는가?
• RQ2 $ R(Q_2, Q_n) $ 의 상한은 $ 2n + 2 $ 를 초월해 향상시킬 수 있는가? 그리고 작은 $ n $ 에서의 정확한 값은 무엇인가?
• RQ3 $ R(Q_3, Q_n) $ 의 상한은 $ n $ 과 어떻게 척도화되며, 개선된 상수를 가진 선형 형태로 표현할 수 있는가?
• RQ4 $ m \to n $ 인 경우에 대해 $ R(Q_m, Q_n) $ 의 일반 공식이 존재하는가? 그리고 이는 제곱 이하 성장에 대한 지지를 제공하는가?
• RQ5 $ R(Q_2, Q_3) $ 의 정확한 값은 무엇이며, 이는 향후 재귀적 상한의 기초 사례로 기능하는가?

주요 결과

• 논문은 $ R(Q_n, Q_n) \to n^2 - n + 2 $ 를 확립하며, 이는 이전의 상한 $ n^2 + 1 $ 보다 향상되었고 하한 $ 2n $ 과의 격차를 좁혔다.
• $ R(Q_2, Q_n) $ 에 대해 상한이 $ \frac{5}{3}n + 2 $ 로 향상되었으며, 이는 이전의 $ 2n + 2 $ 보다 상당히 날카로워졌다.
• $ R(Q_3, Q_n) $ 에 대해 상한은 $ \frac{37}{16}n + \frac{39}{16} $ 로, 이 경우에 대해 더 날카운 선형 추정치를 제공한다.
• $ n \to m \to 4 $ 인 경우에 대해 일반적인 상한이 유도되었으며, $ R(Q_m, Q_n) \to \big(m - 2 + \frac{9m - 9}{(2m - 3)(m + 1)}\big)n + m + 3 $ 로 표현되며, 이는 점근적 성장률을 향상시킨다.
• $ R(Q_2, Q_3) = 5 $ 는 $ Q_5 $ 에서의 철저한 케이스별 분석을 통해 증명되었으며, 모든 2색 칠하기에서 단색 복제본이 존재함을 확인한다.
• 결과들은 큰 $ m, n $ 에 대해 $ R(Q_m, Q_n) = o(n^2) $ 라는 추측을 지지하며, 이는 대칭 순서집합 라마지 수가 제곱 이하로 증가할 가능성을 시사한다.