무한 색채수를 가진 그래프에 대한 하드위거 추측

초록

본 논문은 색채수가 무한(ℵ₀)인 연결 그래프 H를 직접 구성하고, 그 그래프가 완전 그래프 K_ℵ₀를 마이너로 포함하지 않음을 증명한다. 이를 통해 색채수가 무한인 경우에는 하드위거 추측이 성립하지 않음을 보여준다.

상세 분석

하드위거 추측은 유한 그래프에 대해 “χ(G) ≥ t이면 G는 K_t를 마이너로 가진다”는 명제이다. 무한 그래프에 이를 그대로 적용하려면 두 가지 개념을 명확히 해야 한다. 첫째, 색채수 χ(G)는 최소한의 색깔 개수이며, 무한 경우에는 보통 기수 ℵ₀ 혹은 그 이상의 카디널리티로 정의한다. 둘째, 마이너 관계는 유한 그래프와 동일하게, 정점 집합을 서로 독립인 연결 성분으로 묶어 그 성분들을 수축함으로써 얻어진다. 무한 그래프에서도 이 정의는 그대로 적용 가능하지만, 무한한 정점 집합을 다루는 과정에서 새로운 현상이 나타난다.

논문은 이러한 배경을 바탕으로, χ(H)=ℵ₀이면서 K_ℵ₀를 마이너로 포함하지 않는 그래프 H를 명시적으로 만든다. 핵심 아이디어는 “무한히 많은 클러스터”를 선형으로 연결하되, 각 클러스터 내부는 서로 다른 색을 강제하는 구조를 부여하는 것이다. 구체적으로, 정점 집합을 V(H)=⋃_{n∈ℕ}({n}×ℕ) 로 두고, 같은 n값을 갖는 모든 정점을 완전 그래프 K_ℵ₀로 연결한다. 또한, 서로 다른 n값을 갖는 클러스터 사이에는 한 개의 교차점만을 통해서만 연결한다. 이렇게 하면 각 클러스터는 서로 독립적인 색채 요구를 만들며, 전체 그래프는 무한히 많은 서로 다른 색이 필요하게 된다.

색채수가 ℵ₀임을 보이기 위해서는, 임의의 유한 색 집합으로는 전체 정점을 색칠할 수 없음을 증명한다. 각 클러스터가 K_ℵ₀이므로, 하나의 클러스터 안에서는 무한히 많은 색이 필요하고, 서로 다른 클러스터가 교차점 하나만 공유하므로 색을 재사용할 수 없는 구조가 된다. 따라서 최소 색의 수는 ℵ₀가 된다.

다음으로 K_ℵ₀가 마이너가 아님을 보이기 위해서는, K_ℵ₀의 모든 정점을 서로 연결된 성분으로 묶어 수축했을 때, 그 성분들 사이에 충분히 많은 간선이 존재해야 한다는 마이너 정의를 이용한다. H에서는 각 클러스터가 완전 그래프이지만, 서로 다른 클러스터 사이의 연결은 단 하나의 교차점에 국한된다. 따라서 K_ℵ₀의 서로 다른 정점을 대응시키려면, 무한히 많은 서로 다른 클러스터를 선택해야 하는데, 각 클러스터 사이에 존재하는 간선이 하나뿐이므로, 필요한 모든 쌍을 연결하는 충분한 간선을 제공하지 못한다. 결과적으로 K_ℵ₀를 마이너로 만들 수 없음을 보인다.

이러한 구성은 기존에 알려진 무한 그래프들의 마이너 구조와는 다른 특성을 보여준다. 특히, 색채수가 무한이라 하더라도 마이너 관계가 반드시 따라오지 않는다는 점을 명확히 한다. 이는 하드위거 추측을 무한 그래프에 일반화하려는 시도에 중요한 반례를 제공한다. 또한, 무한 그래프 이론에서 색채수와 마이너 사이의 관계를 재검토해야 함을 시사한다.

마지막으로 논문은 이 결과가 갖는 의미를 논의한다. 유한 그래프에서는 하드위거 추측이 아직도 해결되지 않은 난제이지만, 무한 그래프에서는 이미 반례가 존재한다는 사실은 두 이론 사이의 차이를 강조한다. 앞으로의 연구는 어떤 추가적인 제약(예: locally finite, countable degree 등)을 두면 하드위거 형태의 명제가 다시 성립할 수 있는지를 탐구하는 방향으로 나아갈 수 있다.