[논문 리뷰] On Some Zarankiewicz Numbers and Bipartite Ramsey Numbers for Quadrilateral

Janusz Dybizbański, Tomasz Dzido외 1명|arXiv (Cornell University)|2013. 03. 21.

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

한 줄 요약

이 논문은 사각형에 대한 4색 이분Ramsey 수의 정확한 값을 결정하여 $ b_4(2) = 19 $을 증명하고, $ b_k(2) $에 대한 새로운 경계를 설정하며, $ 26 \leq b_5(2) \leq 28 $를 포함한다. 또한 $ n \leq 21 $에 대해 정확한 Zarankiewicz 수 $ z(n) $를 유도하여, 첫 번째 열린 경우는 이제 $ n = 22 $이 되었으며, 사영 평면과 조합 설계에서 유도된 구성 방법을 사용한다.

ABSTRACT

The Zarankiewicz number $z(m,n;s,t)$ is the maximum number of edges in a subgraph of $K_{m,n}$ that does not contain $K_{s,t}$ as a subgraph. The bipartite Ramsey number $b(n_1, \\cdots, n_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of $K_{n_i,n_i}$ in the $i$-th color, for some $i$, $1 \\le i \\le k$. If $n_i=m$ for all $i$, then we denote this number by $b_k(m)$. In this paper we obtain the exact values of some Zarankiewicz numbers for quadrilateral ($s=t=2$), and we derive new bounds for diagonal multicolor bipartite Ramsey numbers avoiding quadrilateral. In particular, we prove that $b_4(2)=19$, and establish new general lower and upper bounds on $b_k(2)$.

연구 동기 및 목표

• 작은 $ n $에 대해 Zarankiewicz 수 $ z(n) $의 정확한 값을 결정하기 위해 극단적 그래프 구성 방법을 활용하는 것.
• 4색 이분Ramsey 수 $ b_4(2) $의 정확한 값을 계산하여, 이 수열에서 이전에 열려 있던 첫 번째 경우를 해결하는 것.
• 특히 $ k = 5 $인 경우에 대해 다색 이분Ramsey 수 $ b_k(2) $에 대한 새로운 일반적인 하한과 상한을 도출하는 것.
• 사영 평면에서의 알려진 극단적 그래프 구성 방법을 근사 사영 구성으로 확장하여, $ n = q^2 + q + 1 - h $, $ h \leq 4 $인 경우 $ z(n) $에 대한 더 날카운 경계를 도출하는 것.
• extremal 그래프 $ z(18) $의 유일성을 구성적으로 증명하여, 이 그래프가 Steiner 삼중체계에서 유도된 알려진 설계 기반 그래프와 동형임을 보여주는 것.

제안 방법

• 순서 $ k $인 사영 평면의 인cidenc 구조를 사용하여 $ C_4 $-free 이분그래프를 구성함으로써, $ n = k^2 + k + 1 - h $, $ h \leq 4 $인 경우 $ z(n) $에 대한 하한을 도출한다.
• $ C_4 $-free 그래프에서 간선 수의 이론적 한계를 유도하기 위해 Zarankiewicz 상한 공식 $ z(m,n) \leq m/2 + \sqrt{m^2 + 4mn(n-1)}/2 $을 적용한다.
• 컴퓨터 보조 알고리즘을 사용하여 $ z(18) $의 극단적 그래프의 유일성을 검증하여, Steiner 삼중체계에서 9개의 점을 가진 설계 기반 구성과 일치함을 확인한다.
• $ 3C_6 $, $ 9K_2 $, 대칭 부분그래프를 조합한 블록 대각형 구조를 사용하여 $ K_{18,18} $의 4색 칠하기를 구성하고, 단색 $ C_4 $가 생기지 않음을 증명한다.
• 첫 두 색상을 고정한 후 이분 그래프의 여집합에 대한 4색 칠하기를 완료하기 위해 SAT 솔버를 사용하여 단색 $ C_4 $가 발생하지 않도록 보장한다.
• 대칭성과 동형 감소 기법을 활용하여 비동형 4색 칠하기를 식별하여, 총 8개의 색칠이 존재함을 밝혀내며, 이 모든 색칠이 구성된 $ \mathcal{D} $-색칠과 동형임을 확인한다.

실험 결과

연구 질문

• RQ1 4색 이분Ramsey 수 $ b_4(2) $의 정확한 값은 무엇이며, 이를 구성적으로 결정할 수 있는가?
• RQ2 $ n \leq 21 $에 대해 Zarankiewicz 수 $ z(n) $의 정확한 값은 무엇이며, 유한 기하학에서 유도된 극단적 그래프 구성과의 관계는 어떠한가?
• RQ3 $ b_k(2) $에 대해 알려진 가장 날카운 경계는 무엇이며, 특히 $ k = 5 $인 경우에 대해 $ b_5(2) $의 정확한 값은 무엇일 것인가?
• RQ4 $ z(18) $의 극단적 그래프는 유일하게 특징지어질 수 있으며, 알려진 설계 기반 구성과 동형인가?
• RQ5 SAT 솔버와 조합 설계 이론을 어떻게 융합하여 단색 $ C_4 $를 피하는 완전 이분그래프의 간선 색칠을 구성할 수 있는가?

주요 결과

• 논문은 $ b_4(2) = 19 $임을 증명하여, 사각형에 대한 대각선 다색 이분Ramsey 수 수열에서 첫 번째로 열려 있던 경우를 해결한다.
• $ z(18) $의 값이 정확히 81임을 증명하고, 극단적 그래프는 동형을 제외하고 유일하며, 순서 4의 사영 평면의 인cidenc 구조에서 특정 부분그래프를 제거한 것과 일치함을 보여준다.
• 논문은 $ n \leq 21 $에 대해 $ z(n) $의 정확한 값을 계산하였으며, 첫 번째 열린 경우는 이제 $ n = 22 $이 되었고, $ n = k^2 + k + 1 - h $, $ h \leq 4 $인 경우에 대해 $ k^3 + 2k^2 + \cdots $ 형태의 명시적 하한을 제공한다.
• $ k = 5 $인 경우, $ 26 \leq b_5(2) \leq 28 $의 경계를 설정하고, 구조적 및 계산적 증거에 기반하여 $ b_5(2) = 28 $일 것이라 추측한다.
• $ K_{18,18} $의 구성된 4색 칠하기 $ \mathcal{D} $는 각 색상에 81개의 간선을 가지며, 모든 색상이 동형인 $ C_4 $-free 그래프를 유도하고, 단색 $ C_4 $가 발생하지 않음을 확인하여 $ b_4(2) = 19 $임을 확인한다.
• 논문은 $ z(18 $의 극단적 그래프가 9개의 점을 가진 Steiner 삼중체계에서 3개의 평행 블록을 제거한 것으로 유도된 그래프와 동형임을 확인하였으며, 이 구조가 4색 칠하기 $ \mathcal{D} $의 기초가 됨을 확인한다.