카테시안 곱 그래프의 클리크 마이너와 Hadwiger 수에 관한 구조적 분석

초록

본 논문은 두 그래프의 카테시안 곱 G ⊠ H에서 발생할 수 있는 최대 클리크 마이너(=Hadwiger 수)를 연구한다. 주요 결과는 Hadwiger 수가 유계인 경우 곱 그래프가 평면 격자에 제한된 폭의 소용돌이(vortex)를 갖는 경우, 원통형 격자에 두 개의 제한된 폭 소용돌이가 있는 경우, 혹은 토러스형 격자 중 하나에 해당한다는 구조적 정리이다. 또한 Hadwiger 추측이 G ⊠ H에 대해 언제 성립하는지를 색상 수, 트리폭, 그리고 G ⊠ K₂와의 관계를 통해 규명한다. 격자 그래프와 Hamming 그래프(클리크의 곱) 등에 대한 새로운 상하한도 제시한다.

상세 분석

논문은 먼저 Hadwiger 수 η(G) 를 “클리크 마이너”라는 관점에서 정의하고, 기존의 로버트슨‑세임어의 구조 정리와 비교한다. 카테시안 곱 G ⊠ H 에 대해 “유계 Hadwiger 수 ⇔ 특정 구조”라는 정리를 증명하는데, 핵심 아이디어는 곱 그래프의 차원별 구조를 이용해 트리폭(treewidth)과 hango‑ver(새롭게 정의된 파라미터) 사이의 관계를 파악하는 것이다.

1. 트리폭과 Hadwiger 수: 식 (1) η(G) ≤ tw(G)+1 ≤ pw(G)+1 ≤ bw(G)+1 를 활용해, 트리폭이 큰 그래프는 큰 클리크 마이너를 포함한다는 사실을 재확인한다. 특히 G ⊠ K₂ 의 경우 η(G ⊠ K₂) 가 tw(G) 와 선형적으로 묶인다는 결과를 얻어, 트리폭이 Hadwiger 수의 하한이 됨을 보여준다.

2. 그리드와 하밍 그래프: Pₙ⊠Pₘ (2‑차원 격자) 에서는 η = 4 (planar) 로 고정되지만, 차원을 늘리면 η가 Θ(n^{d/2}) 로 성장한다. 저자들은 pseudo‑achromatic 색칠과 연결 지배 집합(connected dominating set) 개념을 도입해, 기존에 알려진 Ω(n^{(d‑2)/2}) 하한을 Ω(n^{d/2}) 로 끌어올렸다. 특히 짝수 차원 격자와 홀수 차원 격자에 대해 각각 Theorem 3.2, 4.4 로 정확한 상한 Θ를 제시한다.

3. Hamming 그래프 Kₙ^{⊠d}: 완전 그래프의 카테시안 곱은 Hamming 그래프라 불리며, 저자는 이 경우에도 η(Kₙ^{⊠d}) = Θ(n^{(d+1)/2}) 를 증명한다. 이는 기존에 알려진 Ω(n^{(d‑2)/2}) 보다 훨씬 강력한 결과이며, 차원 d 가 증가할수록 Hadwiger 수가 급격히 커짐을 보여준다.

4. 구조적 정리: 가장 핵심적인 Theorem 11.8 은 “G와 H가 충분히 큰 경우, η(G⊠H) 가 유한이면 세 가지 경우 중 하나”라는 정리를 제시한다. 첫 번째는 G가 bounded treewidth, H가 bounded order(정점 수)인 경우; 두 번째는 그 반대; 세 번째는 두 그래프 모두 bounded hango‑ver 를 가질 때이다. 여기서 hango‑ver 은 “경로와 두 개의 제한된 크기 서브그래프가 연결된 형태”로 정의되며, 이는 곱 그래프가 planar grid, cylindrical grid, toroidal grid 중 하나와 동형임을 의미한다.

5. Hadwiger 추측과 카테시안 곱: 저자는 χ(G) ≥ χ(H) 라는 가정 하에, |V(H)| ≥ χ(G)+1 이면 G⊠H 가 Hadwiger 추측을 만족한다는 Theorem 12.4 를 증명한다. 또한 트리폭이 χ(G) 에 비해 충분히 크면 역시 추측이 성립한다(Theorem 12.3). 가장 흥미로운 결과는 “모든 G⊠H 에 대해 Hadwiger 추측이 성립한다면, 이는 모든 G⊠K₂ 에 대해 성립한다”는 등가성이다. 이는 G⊠K₂ 의 Hadwiger 수가 트리폭과 직접 연결됨을 이용해 증명된다.

전반적으로 논문은 카테시안 곱이라는 특수한 그래프 연산에 대해 Hadwiger 수와 색채 이론을 깊이 연결시키며, 기존의 일반적인 구조 정리보다 더 구체적이고 적용 가능한 결과를 제공한다. 특히 트리폭과 hango‑ver 라는 두 파라미터를 통해 곱 그래프의 복잡성을 정량화하고, 이를 통해 Hadwiger 추측의 부분적 해결책을 제시한다는 점이 큰 의의이다.