다색 라민 수와 K₃+e·K₄‑e 조합의 새로운 경계

초록

본 논문은 3색 라민 수 $R(G_1,G_2,G_3)$에서 $G_i\in{K_3, K_3+e, K_4-e, K_4}$인 경우를 집중적으로 조사한다. 계산과 이론을 결합해 $R(K_3,K_3,K_4-e)=17$을 정확히 구하고, $R(K_3,K_4-e,K_4-e)$와 $R(K_4,K_4-e,K_4-e)$의 하한을 개선한다. 또한 $R(K_3,G,H)=R(K_3+e,G,H)$가 성립하는 새로운 사례들을 제시하고, 4색 라민 수와 관련해 $R_4(K_3)=51$이면 $R_4(K_3+e)=52$, 그 외에는 두 수가 동일하다는 흥미로운 정리를 증명한다.

상세 분석

이 연구는 라민 수의 전통적인 구간인 $R_3(K_3)=30$와 $R_3(K_4)=62$ 사이에 위치한 다채로운 경우들을 체계적으로 탐색한다. 먼저 $R(K_3,K_3,K_4-e)$에 대해, 저자들은 17개의 정점으로 이루어진 완전 그래프 $K_{17}$에 대한 모든 3색 엣지 색칠을 컴퓨터 검색으로 검증하였다. 그 결과, $K_{16}$에서는 색칠이 존재하지만 $K_{17}$에서는 반드시 색 하나에 $K_3$ 혹은 $K_4-e$가 나타난다는 것을 확인함으로써 정확한 값을 17로 확정한다. 이는 기존에 알려진 상한 $R_3(K_4-e)=18$보다 한 단계 낮은 결과이며, $K_4-e$가 $K_4$보다 약간 약한 구조임에도 불구하고 3색 상황에서 강력한 제약을 가한다는 점을 보여준다.

다음으로 $R(K_3,K_4-e,K_4-e)$와 $R(K_4,K_4-e,K_4-e)$에 대한 하한을 제시한다. 저자들은 $K_{22}$와 $K_{27}$에 대한 명시적 색칠 구성을 제시하여 각각 최소 23, 28개의 정점이 필요함을 증명한다. 이 구성은 기존에 알려진 $R(K_3,K_4,K_4)=30$보다 현저히 낮은 수치를 제공하지만, 아직 정확한 값을 규명하지는 못한다.

흥미로운 점은 $K_3$에 한 개의 추가 엣지를 붙인 $K_3+e$에 대해, 여러 경우에서 라민 수가 변하지 않는다는 사실이다. 저자들은 $R(K_3,K_3,K_4-e)=R(K_3+e,K_3+e,K_4-e)$를 포함한 새로운 동치 관계들을 증명한다. 이는 라민 수가 그래프의 미세한 구조 변화에 대해 강인함을 가지고 있음을 시사한다.

마지막으로 4색 라민 수 $R_4(K_3)$와 $R_4(K_3+e)$ 사이의 관계를 다룬다. 현재 알려진 구간 $51\le R_4(K_3)\le62$ 중 하한이 실제값이라면, $K_3+e$를 포함한 경우는 정확히 하나 더 큰 52가 필요하다는 정리를 증명한다. 반대로 $R_4(K_3)>51$이면 두 라민 수는 동일하다. 이 결과는 다색 라민 문제에서 작은 그래프 변형이 전체 상한에 미치는 영향을 정량적으로 파악하는 데 중요한 첫 걸음이다. 전체적으로 이 논문은 계산적 방법과 조합론적 논증을 결합해 라민 수 연구의 미지 영역을 크게 확장하였다.