[논문 리뷰] Chromatic Vertex Folkman Numbers

Xiaodong Xu, Meilian Liang외 1명|arXiv (Cornell University)|2016. 12. 24.

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

한 줄 요약

이 논문은 크로마틱 정점 폴크만 수를 도입하며, 이는 $K_{s+1}$-free이면서 $r$-정점 색칠 가능이고 각 색상에서 단색 $K_{s}$를 보장하는 그래프의 최소 순서로 정의된다. 저자들은 이러한 그래프가 최소 가능한 크로마틱 수 $r(s-1)+1$을 갖는다고 구축적으로 증명하며, $F_v(s,s;s+1)$의 경우 크로마틱 수가 정확히 $2s-1$임을 추측하여 대각선 케이스에서의 구성의 최적성을 시사한다.

ABSTRACT

For graph $G$ and integers $a_1 \ge \cdots \ge a_r \ge 2$, we write $G ightarrow (a_1 ,\cdots ,a_r)^v$ if and only if for every $r$-coloring of the vertex set $V(G)$ there exists a monochromatic $K_{a_i}$ in $G$ for some color $i \in \{1, \cdots, r\}$. The vertex Folkman number $F_v(a_1 ,\cdots ,a_r; s)$ is defined as the smallest integer $n$ for which there exists a $K_s$-free graph $G$ of order $n$ such that $G ightarrow (a_1 ,\cdots ,a_r)^v$. It is well known that if $G ightarrow (a_1 ,\cdots ,a_r)^v$ then $χ(G) \geq m$, where $m = 1+ \sum_{i=1}^r (a_i - 1)$. In this paper we study such Folkman graphs $G$ with chromatic number $χ(G)=m$, which leads to a new concept of chromatic Folkman numbers. We prove constructively some existential results, among others that for all $r,s \ge 2$ there exist $K_{s+1}$-free graphs $G$ such that $G ightarrow (s,\cdots_r,s)^v$ and $G$ has the smallest possible chromatic number $r(s-1)+1$ for this $r$-color arrowing to hold. We also conjecture that, in some cases, our construction is the best possible, in particular that for every $s \ge 2$ there exists a $K_{s+1}$-free graph $G$ on $F_v(s,s; s+1)$ vertices with $χ(G)=2s-1$ such that $G ightarrow (s,s)^v$.

연구 동기 및 목표

• 크로마틱 정점 폴크만 수 $F_v^\chi(a_1,\dots,a_r;s)$를 정의하고 연구하는 것. 이는 이론적 최소값인 $m = 1 + \sum (a_i - 1)$과 동일한 크로마틱 수를 가지며, 폴크만 화살표 조건을 만족하는 $K_s$-free 그래프의 최소 순서이다.
• 모든 $r,s \geq 2$에 대해 $F_v^\chi(r,s;s+1)$의 존재를 구축적으로 증명하며, 이러한 그래프가 크로마틱 수 $r(s-1)+1$을 갖는다는 것을 보여준다.
• 대각선 케이스인 $F_v(s,s;s+1)$에 대해 크로마틱 수가 정확히 $2s-1$임을 추측하여, 이 경우 최소 크로마틱 폴크만 수가 표준 폴크만 수와 일치함을 시사한다.
• 최소 도수를 갖는 최소 폴크만 그래프에서의 최소 도수를 탐구하며, $K_{s+1}$-free이면서 $(s,s)^v$를 화살표로 지정하는 정점 최소 그래프의 최소 도수 $\delta(G)$가 적어도 $2s-2$ 이상이어야 하며, 등호를 만족하는 그래프를 구성한다.
• 정규 $K_{s+1}$-free 그래프 중에서 최소 도수가 $2s-2$인 그래프가 존재하는지에 대한 열린 문제를 제기하며, 이는 $F_v^\chi(s,s;s+1)$에 대한 대체 구성법을 가능하게 할 수 있다.

제안 방법

• 크로마틱 정점 폴크만 수 $F_v^\chi(a_1,\dots,a_r;s)$를, $G \rightarrow (a_1,\dots,a_r)^v$ 이며 $\chi(G) = 1 + \sum_{i=1}^r (a_i - 1)$인 $K_s$-free 그래프 $G$ 중 최소 순서로 정의한다.
• 정점 확장 및 간선 추가 기법을 사용하여, 크로마틱 수 $r(s-1)+1$을 가지며 $G \rightarrow (s,\dots,s)^v$ (r번 반복)를 만족하는 $K_{s+1}$-free 그래프의 가족을 구성한다.
• 정점 최소성 및 간선 최소성 가정을 통해, 특히 임계 정점의 이웃에 대한 구조적 제약을 유도하여 최소 도수의 하한을 증명한다.
• 두 개의 서로소 $K_{s-1}$를 포함하는 이웃에 대해, $2s-2$개 원소의 부분집합에 연결된 새로운 정점을 추가하는 구성 기법을 적용하여, 임의의 2색 칠하기에서 단색 $K_s$가 나타나도록 보장한다.
• 모든 $u$에 대해 $G \rightarrow (s,s)^v$ 이지만 $G-u \not\rightarrow (s,s)^v$인 최소 그래프 $G$에서는 최소 도수 $\delta(G) \geq 2s-2$임을 증명하고, 등호를 만족하는 예시를 구성한다.
• 네šetřil-R{"o}dl 구성법을 기반으로 하여, 간선 색칠 버전 및 일반화된 폴크만 수로의 확장 가능성을 고려한다.

실험 결과

연구 질문

• RQ1 크로마틱 수 $\chi(G) = 2s-1$를 가지며 $G \rightarrow (s,s)^v$를 만족하는 $K_{s+1}$-free 그래프 $G$가 존재하는가? 그리고 $F_v^\chi(s,s;s+1) = F_v(s,s;s+1)$인가?
• RQ2 모든 $r,s \geq 2$에 대해 $F_v^\chi(r,s;s+1)$를 명시적으로 구성할 수 있으며, 이 구성이 최소 크로마틱 수 $r(s-1)+1$을 달성하는가?
• RQ3 $2s-2$-정규 $K_{s+1}$-free 그래프가 어떤 $n$ 개의 정점에서 존재하여 $G \rightarrow (s,s)^v$를 만족하는가? 이는 $F_v^\chi(s,s;s+1)$에 어떤 영향을 미치는가?
• RQ4 $(s,s)^v$를 화살표로 지정하는 정점 최소 $K_{s+1}$-free 그래프의 최소 도수의 최솟값은 얼마인가?
• RQ5 크로마틱 폴크만 수 개념을 클리크 $K_{a_i}$ 대신 임의의 그래프 $G_i$를 피하기 위해 일반화할 수 있는가?

주요 결과

• 논문은 모든 $r,s \geq 2$에 대해, $G \rightarrow (s,\dots,s)^v$ (r번 반복)이며 $\chi(G) = r(s-1)+1$인 $K_{s+1}$-free 그래프 $G$를 구성함으로써 $F_v^\chi(r,s;s+1)$의 존재를 증명한다.
• 모든 $u$에 대해 $G \rightarrow (s,s)^v$ 이지만 $G-u \not\rightarrow (s,s)^v$인 $K_{s+1}$-free 그래프 $G$는 최소 도수 $\delta(G) \geq 2s-2$를 가져야 한다는 것이 입증된다.
• 최소 도수가 $2s-2$인 $K_{s+1}$-free 그래프 $G$를 구성하여 $G \rightarrow (s,s)^v$ 이며 모든 $u$에 대해 $G-u \not\rightarrow (s,s)^v$임을 보여주며, 하한의 날카로움을 확인한다.
• 저자들은 $F_v^\chi(s,s;s+1) = F_v(s,s;s+1)$임을 추측하며, 이는 대각선 케이스에서 최소 크로마틱 폴크만 수가 표준 정점 폴크만 수와 일치함을 의미한다.
• 이 구성은 $2s-2$-정규 $K_{s+1}$-free 그래프가 폴크만 조건을 만족하는 경우, 이러한 최소 그래프의 크로마틱 수가 정확히 $2s-1$여야 한다는 것을 시사한다.
• 논문은 $G \rightarrow (a_1,\dots,a_r)^v$를 만족하는 임의의 그래프 $G$의 크로마틱 수가 최소 $m = 1 + \sum (a_i - 1)$ 이상이어야 하며, 이 하한을 $F_v^\chi$를 통해 최소화하는 개념을 도입한다.