[논문 리뷰] Equitable chromatic threshold of Kronecker products of complete graphs

Zhidan Yan, Wei Wang|arXiv (Cornell University)|2012. 08. 04.

Advanced Graph Theory Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 $n \geq m \geq 2$ 인 완전 그래프 $K_m$ 및 $K_n$ 의 크로네커 곱에 대한 정당한 색칠 임계값 $\chi_=^*(K_m \times K_n)$ 를 결정한다. 이는 $n$ 이 $m+1$ 로 나눈 나머지에 따라 달라지는 폐쇄형 표현을 제공하며, $n \equiv 0,1 \pmod{m+1}$ 또는 $n \equiv 2,\dots,m \pmod{m+1}$ 인 경우로 나누어지며, 임계값은 $\lceil \frac{mn}{m+1} \rceil$ 또는 $m\lceil \frac{n}{s^*} \rceil$ 로 주어진다. 여기서 $s^*$ 는 $n$ 의 최소 약수이며 $m+2$ 이상이다. 이 결과는 이러한 그래프 곱의 정당한 색칠 가능 임계값을 완전히 특성화한다.

ABSTRACT

A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most 1. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $k$ such that $G$ is equitably $k^\prime$-colorable for all $k^\prime \ge k$. Let $G imes H$ denote the direct product of graphs $G$ and $H$. For $n\ge m\ge 2$ we prove that $χ_=^*(K_{m} imes K_n)$ equals $\lceil\frac{mn}{m+1} ceil$ if $n\equiv 2,...,m ( extup{mod} m+1)$, and equals $m\lceil\frac{n}{s^\star} ceil$ if $n\equiv 0,1 ( extup{mod} m+1)$, where $s^\star$ is the minimum positive integer such that $s^\star mid n$ and $s^\star\ge m+2.$

연구 동기 및 목표

• 완전 그래프의 크로네커 곱에 대해 $n \geq m \geq 2$ 인 경우 정당한 색칠 임계값 $\chi_=^*(K_m \times K_n)$ 을 결정하는 것.
• $K_m \times K_n$ 이 모든 $k' \geq k$ 에 대해 정당한 $k'$-색칠 가능이 되는 최소 $k$ 를 특성화하는 것.
• $n$ 이 $m+1$ 모듈로에서 갖는 다양한 조건에 따라 임계값 행동을 해결하는 것. 특히 $n \equiv 0,1 \pmod{m+1}$ 과 $n \equiv 2,\dots,m \pmod{m+1}$ 를 구분하는 것.
• $s^*$ 라는 매개변수, 즉 $n$ 의 최소 약수 중 $m+2$ 이상인 것을 도입하고, 특정 나머지 클래스에 대해 임계값 공식에 활용하는 것.

제안 방법

• 저자들은 크로네커 곱 $K_m \times K_n$ 의 구조를 분석하며, 이는 $mn$ 개의 정점과 $(m-1)(n-1)$-정규 그래프임을 확인한다.
• 정당한 색칠 조건에 기반한 조합적 추론을 적용하여, 각 색 클래스의 크기가 최대 1 이하로 다를 수 있도록 보장한다.
• 임계값은 $mn$ 개의 정점이 $k$ 개의 색 클래스로 나뉘어지며, 각 클래스의 크기가 $\lceil \frac{mn}{k} \rceil$ 이하가 되도록 하는 최소 $k$ 를 분석함으로써 유도된다. 이때 최대 클래스 크기가 최소화된다.
• $n \equiv 2,\dots,m \pmod{m+1}$ 인 경우, 최대 색 클래스 크기의 경계를 통해 임계값이 $\lceil \frac{mn}{m+1} \rceil$ 임을 보여준다.
• $n \equiv 0,1 \pmod{m+1}$ 인 경우, $s^* \geq m+2$ 를 만족하는 $n$ 의 최소 약수 $s^*$ 를 사용하여 임계값이 $m \lceil \frac{n}{s^*} \rceil$ 임을 도출한다.
• 증명은 모듈로 산술과 약수의 성질에 기반한 케이스 분석을 포함하여, 임계값 이후로 정당한 색칠 가능성이 달성됨을 보장한다.

실험 결과

연구 질문

• RQ1 완전 그래프 $K_m \times K_n$ 에 대해 $n \geq m \geq 2$ 인 경우 정당한 색칠 임계값 $\chi_=^*(K_m \times K_n)$ 은 무엇인가?
• RQ2 임계값은 $n$ 이 $m+1$ 모듈로에서 갖는 나머지에 따라 어떻게 달라지며, 특히 $n \equiv 0,1 \pmod{m+1}$ 과 $n \equiv 2,\dots,m \pmod{m+1}$ 를 어떻게 구분하는가?
• RQ3 $s^*$, 즉 $s^* \geq m+2$ 를 만족하는 $n$ 의 최소 약수는 왜 $n \equiv 0,1 \pmod{m+1}$ 인 경우 임계값을 결정하는 데 핵심적인가?
• RQ4 모든 $n \geq m \geq 2$ 에 대해 정당한 색칠 임계값을 폐쇄형으로 표현할 수 있는가?
• RQ5 $n \equiv 2,\dots,m \pmod{m+1}$ 인 경우, 임계값 $\lceil \frac{mn}{m+1} \rceil$ 이 정당한 $k'$-색칠 가능성을 위한 충분하고 필수 조건인가?

주요 결과

• 만약 $n \equiv 2,\dots,m \pmod{m+1}$ 라면, 정당한 색칠 임계값 $\chi_=^*(K_m \times K_n)$ 는 $\lceil \frac{mn}{m+1} \rceil$ 이다.
• 만약 $n \equiv 0,1 \pmod{m+1}$ 라면, 임계값은 $m \lceil \frac{n}{s^*} \rceil$ 이며, 여기서 $s^*$ 는 $s^* \geq m+2$ 를 만족하는 $n$ 의 최소 약수이다.
• 임계값은 항상 정수이며, $K_m \times K_n$ 이 모든 $k' \geq k$ 에 대해 정당한 $k'$-색칠 가능이 되는 최소 $k$ 이다.
• 임계값 표현은 $n$ 이 $m+1$ 모듈로에서 갖는 나머지 클래스에 따라 결정되며, 색칠 가능성 행동의 구조적 단계 전환을 나타낸다.
• $n \equiv 0,1 \pmod{m+1}$ 인 경우, $s^*$ 는 정당한 조건 하에서 색 클래스 크기가 균형을 이루도록 보장한다.
• 결과적으로 이 논문은 모든 $n \geq m \geq 2$ 인 $K_m \times K_n$ 에 대해 정당한 색칠 임계값을 완전히 특성화하였으며, 그래프 곱의 정당한 색칠 문제에 대한 열린 문제를 해결하였다.