그래프의 결합수에 대한 새로운 상한: 토폴로지 표면 위의 결합수

초록

본 논문은 최대 차수 Δ(G)를 갖는 그래프 G가 정향성 표면( genus h) 혹은 비정향성 표면( genus k)에 임베딩될 때, 결합수 b(G)가 Δ(G)+h+2 또는 Δ(G)+k+1 보다 작거나 같다는 일반적인 상한을 제시한다. 이는 기존의 평면 및 토러스 그래프에 대한 결과를 일반화한다.

상세 분석

논문은 먼저 결합수(bondage number) b(G)의 정의와 기존의 두 가지 주요 추측—Teschner의 b(G) ≤ 3⁄2 Δ(G) 와 planar 그래프에 대한 b(G) ≤ Δ(G)+1 —을 소개한다. 이어서 그래프가 임베딩될 수 있는 토폴로지 표면을 정향성 S_h (핸들 h)와 비정향성 N_k (크로스캡 k)로 구분하고, 각각에 대한 Euler 공식(1)·(2)를 정리한다. 핵심 도구는 Hartnell·Rall의 Lemma 7으로, 임의의 변 uv에 대해 b(G) ≤ d(u)+d(v)−1−|N(u)∩N(v)| 가 성립한다. 이를 이용해 각 변에 ‘가중치’ w_i = 1/d(u)+1/d(v)와 ‘면 가중치’ f_i = 1/m′+1/m″를 정의하고, 모든 변에 대해 w_i+f_i−1 을 합산하면 Euler 식과 일치함을 보인다.

정향성 표면에 대해서는 Theorem 8을 증명한다. 가정 b(G) ≥ Δ(G)+h+3 을 두고, Lemma 7을 적용해 각 변의 양쪽 정점 차수가 최소 h+4 이상이어야 함을 얻는다. 이후 경우별로(정점 차수가 h+4, h+5, ≥ h+6) 면 경계 길이 m′, m″ 의 최소값을 이용해 ‘오리엔티드 곡률’ w_i+f_i−1+2h−2|E| 이 음수가 되는 모순을 도출한다. 비정향성 표면에 대해서도 동일한 논리를 ‘비오리엔티드 곡률’ w_i+f_i−1+k−2|E| 에 적용해 Theorem 9를 얻는다. 두 정리의 결론을 합쳐 Theorem 6, 즉 b(G) ≤ min{Δ(G)+h+2, Δ(G)+k+1} 을 얻는다.

마지막으로 저자는 현재 상한이 h, k 가 커질수록 느슨해짐을 지적하고, δ(G) 에 대한 알려진 상한(예: δ(G) ≤ ⌊5+√(1+48h²)⌋)을 Lemma 7에 대입해 b(G) ≤ Δ(G)+⌊3+√(1+48h²)⌋ 와 같은 개선된 비선형 상한을 제시한다. 또한, 상수 c_h, c′_k 에 의존하는 새로운 추측 Conjecture 10을 제안하며, 특히 Δ(G) 가 충분히 클 때 표면의 토폴로지에만 의존하는 상수 상한이 존재할 가능성을 논한다. 전체적으로 그래프 이론과 토폴로지의 교차점에서 결합수의 상한을 체계적으로 확장한 연구라 할 수 있다.