[논문 리뷰] An Anti-Ramsey Problem Concerning Complete Bipartite Graphs

Stephan Cho, Jay Cummings외 2명|arXiv (Cornell University)|2014. 12. 09.

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

한 줄 요약

이 논문은 완전 이분 그래프 $K_{m,n}$의 임의의 적절한 간선 색칠이 레인보우 $K_{a,b}$ 부분그래프를 포함하기 위한 충분조건을 확립한다: $m \geq a$ 이고 $n > (a^2 - a + 1)(b - 1)$ 이면 $K_{m,n} \rightarrow_R K_{a,b}$ 이다. 주요 기여는 이 경계가 유한한 사영 평면과의 연결을 통해 무한한 매개변수 집합에 대해 날카로운 것임을 증명한 것이며, 완전 이분 그래프에서 정점과 간선의 최소성 기반으로 새로운 반-람세이 수를 도입한 것이다.

ABSTRACT

We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.

연구 동기 및 목표

• 완전 이분 그래프 $K_{m,n}$의 모든 적절한 간선 색칠이 레인보우 $K_{a,b}$ 부분그래프를 포함하는 조건을 규명하는 것.
• 적절한 간선 색칠 하에서 레인보우 $K_{a,b}$ 부분그래프의 존재를 강제하는 최소 완전 이분 그래프 $K_{m,n}$를 조사하는 것.
• 최소한의 그래프에서 정점 수($AR_V$)와 간선 수($AR_E$) 기반으로 새로운 반-람세이 수를 정의하고 계산하는 것.
• 만일 $a-1$이 소수의 거듭제곱이라면, 유한한 사영 평면을 활용하여 경계 $n > (a^2 - a + 1)(b - 1)$ 의 날카로움을 탐구하는 것.

제안 방법

• 적절한 간선 색칠이 된 완전 이분 그래프와 라틴 직사각형 사이의 표준적 대응을 사용하여 반-람세이 문제를 직사각형 내 기호 분포에 관한 조합 문제로 변환한다.
• 열의 수에 대한 귀납법을 적용하여, $n > (a^2 - a + 1)(b - 1)$ 이면, 해당 $a \times n$ 라틴 직사각형 내에 레인보우 $a \times b$ 부분직사각형이 반드시 존재함을 보인다.
• $a-1$이 소수의 거듭제곱일 경우, 사영 평면의 순환 자기 동형에 관한 싱글러의 정리를 활용하여, 레인보우 $a \times 2$ 부분직사각형이 없는 $a \times (a^2 - a + 1)$ 라틴 직사각형을 구성한다.
• 사영 평면의 구조를 이용하여, $n > (a^2 - a + 1)(b - 1)$ 이라는 경계가 무한한 매개변수 집합에 대해 날카로운 것임을 증명한다.
• 정점 반-람세이 수 $AR_V(K_{a,b})$ 는 $K_{m,n} \rightarrow_R K_{a,b}$ 를 만족하는 $K_{m,n}$ 의 최소 정점 수로 정의하고, 유사하게 간선 반-람세이 수 $AR_E(K_{a,b})$ 도 정의한다.
• 조합적 수세기와 극값 추론을 사용하여, $a$와 $b$ 에 대한 특정 조건 하에서 $AR_V(K_{2,b}) = 3b$ 와 $AR_E(K_{a,b}) = a^2(a-1)(b-1) + ab$ 를 증명한다.

실험 결과

연구 질문

• RQ1 $m$, $n$, $a$, $b$ 에 대한 어떤 조건에서 $K_{m,n}$ 의 모든 적절한 간선 색칠이 레인보우 $K_{a,b}$ 부분그래프를 포함하는가?
• RQ2 레인보우 $K_{a,b}$ 부분그래프의 존재를 위한 경계 $n > (a^2 - a + 1)(b - 1)$ 는 날카로운가?
• RQ3 레인보우 $K_{a,b}$ 부분그래프의 존재를 강제하는 최소 완전 이분 그래프 $K_{m,n}$ 은 정점 수나 간선 수 기반으로 특성화될 수 있는가?
• RQ4 정수 $b \geq 2$ 에 대해 정점 반-람세이 수 $AR_V(K_{2,b})$ 의 값은 얼마인가?
• RQ5 $AR_E(K_{a,b}) = a^2(a-1)(b-1) + ab$ 가 성립하는 조건은 무엇인가?

주요 결과

• 논문은 $m \geq a$ 이고 $n > (a^2 - a + 1)(b - 1)$ 이면, $K_{m,n}$ 의 모든 적절한 간선 색칠이 레인보우 $K_{a,b}$ 부분그래프를 포함함을 증명한다.
• 경계 $n > (a^2 - a + 1)(b - 1)$ 는 무한한 매개변수 집합에 대해 날카로운데, $a-1$ 이 소수의 거듭제곱일 경우, $K_{a, (a^2 - a + 1)(b - 1)}$ 에 대한 적절한 간선 색칠이 존재하여 레인보우 $K_{a,b}$ 부분그래프를 피할 수 있다.
• 정점 반-람세이 수 $AR_V(K_{2,b})$ 는 모든 정수 $b \geq 2$ 에 대해 정확히 $3b$ 이다. 즉, $K_{2,3b-2}$ 는 레인보우 $K_{2,b}$ 를 보장하지 않지만, $K_{2,3b-1}$ 은 보장한다.
• 간선 반-람세이 수 $AR_E(K_{a,b})$ 는 $a-1$ 이 소수의 거듭제곱이고 $b \geq a(a-1)$ 라면 $a^2(a-1)(b-1) + ab$ 와 같으며, 이러한 그래프에 대해 이 값은 최소이다.
• $a-1$ 이 소수의 거듭제곱일 때만, 레인보우 $a \times 2$ 부분직사각형이 없는 $a \times (a^2 - a + 1)$ 라틴 직사각형을 구성할 수 있으며, 이는 극값 문제를 유한한 사영 평면과 연결한다.
• 논문은 적절한 간선 색칠의 맥락에서 완전 이분 그래프에 대해 정점 및 간선 반-람세이 수의 첫 번째 알려진 값을 도입하고 계산한다.