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

이 논문은 그래프 이론에서 핵심적인 개념인 클리크 마이너와 Hadwiger 수 η(G)를 카테시안 곱 G ⊠ H 에 적용해 구조적 특성을 규명한다. 서론에서는 Hadwiger 수가 그래프의 구조적 복잡성을 측정하는 중요한 지표임을 강조하고, 로버트슨‑세임어의 “bounded Hadwiger number ⇒ 그래프는 표면에 임베딩, 소용돌이, 클리크‑합” 정리를 소개한다. 저자는 이러한 일반 정리보다 더 구체적인 카테시안 곱에 대한 정리를 목표로 한다. **1. 기본 정의와 예비 결과** - 그래프 G의 정점 집합 V(G), 간선 집합 E(G), 차수 Δ(G), 색채 수 χ(G), 클리크 수 ω(G) 등을 정의한다. - 카테시안 곱 G ⊠ H 의 정점은 V(G)×V(H)이며, (v,x)와(w,y) 가 인접하려면 v=w이고 xy∈E(H) 혹은 x=y이고 vw∈E(G) 이어야 한다. - 그래프 마이너, 클리크 마이너, Hadwiger 수 η(G) 를 재정의하고, Lemma 2.1 (모든 정점이 브랜치 집합에 포함되는 마이너)와 Lemma 2.2, 2.3 (평균 차수와 정점 수·클리크 수에 대한 상한) 를 제시한다. - 트리폭(tw), 경로폭(pw), 대역폭(bw) 사이의 관계와 η(G) ≤ tw(G)+1 ≤ pw(G)+1 ≤ bw(G)+1 를 언급한다. **2. 격자 그래프(Pₙ⊠Pₘ)와 다중 격자** - 2‑차원 격자 Pₙ⊠Pₘ 은 평면이므로 η=4 (K₅ 마이너 없음)이며, Pₙ⊠P₂ 은 외부 평면이므로 η=3이다. - 3‑차원 격자 Pₙ⊠Pₘ⊠P₂ (double‑grid) 에 대해, 각 열 C_i 와 행 R_j 를 이용해 K_{n,m} 마이너를 만든 뒤, 추가 매칭을 통해 K_{m+2} 마이너를 구축한다. 이를 통해 η ≥ m+2 를 얻고, 대역폭을 이용한 상한 η ≤ 2m+1 을 얻는다. 저자는 η = m+2 가 정확한 값이라고 추측한다. - Proposition 3.1 은 일반 연결 그래프 G, H 에 대해 η(G⊠H⊠P₂) ≥ ω(G)+ω(H)+min{v(G)-ω(G), v(H)-ω(H)} 를 증명한다. 이는 최소 정점 수와 클리크 수에 기반한 일반적인 하한을 제공한다. **3. 의사‑채색과 홀수 차원 격자** - pseudo‑achromatic 색칠(모든 색 쌍이 인접) 개념을 도입해, 홀수 차원 격자 Pₙ^{⊠d} (d odd) 에서 η의 하한을 Ω(n^{(d‑1)/2}) 로 끌어올린다. 이는 Theorem 4.4 로 정리된다. **4. 연결 지배 집합과 짝수 차원 격자** - 연결 지배 집합(connected dominating set)과 그 크기 γ_c(G)를 이용해 짝수 차원 격자에 대한 상한을 도출한다. Lemma 5.2, 6.3 등을 통해 η(Pₙ^{⊠d}) ≤ Θ(n^{d/2}) 를 얻으며, 하한과 상한이 일치함을 보인다. **5. Hamming 그래프(Kₙ^{⊠d})** - 완전 그래프 Kₙ 의 카테시안 곱은 Hamming 그래프라 불리며, 각 정점은 d‑자리 n‑진법 문자열이다. 저자는 이 그래프에 대해 η(Kₙ^{⊠d}) = Θ(n^{(d+1)/2}) 를 증명한다 (Theorem 7.5). 이는 기존에 알려진 Ω(n^{(d‑2)/2}) 보다 훨씬 강력한 결과이며, 차원 d 가 커질수록 Hadwiger 수가 급격히 증가함을 보여준다. **6. 트리와 카테시안 곱에 대한 구조 정리** - Section 9에서는 트리 T₁, T₂ 의 곱 T₁⊠T₂ 에 대해 상세히 분석한다. 트리폭이 제한된 경우와 트리 구조가 “경로 + 두 개의 작은 서브그래프” 형태인 경우를 구분한다. - Section 10, 11에서는 일반 그래프와 완전 그래프, 혹은 일반 그래프와 일반 그래프의 곱에 대한 구조 정리를 확장한다. 핵심은 “bounded hango‑ver” 라는 새로운 파라미터를 도입해, 두 그래프 모두 이 파라미터가 유한하면 곱 그래프는 planar grid, cylindrical grid, toroidal grid 중 하나와 동형임을 보인다 (Theorem 11.8). **7. Hadwiger 추측과 카테시안 곱** - Hadwiger 추측 χ(G) ≤ η(G) 를 카테시안 곱에 적용한다. Theorem 12.4: |V(H)| ≥ χ(G)+1 이면 G⊠H 가 추측을 만족한다. Theorem 12.3: tw(G) 가 χ(G) 에 비해 충분히 크면 역시 만족한다. - 가장 중요한 결과는 “모든 G⊠H (χ(G)≥χ(H)) 에 대해 Hadwiger 추측이 성립한다면, 이는 모든 G⊠K₂ 에 대해 성립한다”는 등가성이다. 이를 통해 η(G⊠K₂) 와 tw(G) 사이의 정확한 관계를 도출한다 (η(G⊠K₂) = tw(G)+1 혹은 그 근사값). **8. 부록 및 참고문헌** - 부록에서는 추가적인 증명, 실험적 관찰, 그리고 최근 연구와의 연관성을 논한다. 참고문헌은 그래프 마이너, 카테시안 곱, Hadwiger 추측 등 광범위한 분야를 포괄한다. **결론** 논문은 카테시안 곱이라는 특수 연산에 대해 Hadwiger 수를 정밀하게 분석하고, 트리폭과 새로운 hango‑ver 파라미터를 통해 곱 그래프의 구조를 완전히 규정한다. 격자와 Hamming 그래프에 대한 상하한을 거의 정확히 맞추어 기존 결과를 크게 개선했으며, Hadwiger 추측에 대한 새로운 충분조건과 등가조건을 제시한다. 이러한 결과는 그래프 이론뿐 아니라 네트워크 설계, 병렬 컴퓨팅 구조, 그리고 고차원 데이터 분석 등 실용적인 분야에서도 활용 가능성을 시사한다.